Search results for "R-crash"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Yige Hu, Youngjin Kwon, Vijay Chidambaram, Emmett Witchel	From Crash Consistency to Transactions.	HotOS	2017	DBLP DOI BibTeX RDF
14	Ryoya Kawasaki, Hirofumi Onishi, Tutomu Murase	Performance evaluation on V2X communication with PC5-based and Uu-based LTE in Crash Warning Application.	GCCE	2017	DBLP DOI BibTeX RDF
14	Caetano Sauer, Gilson Souza, Goetz Graefe, Theo Härder	Come and crash our database! - Instant recovery in action.	EDBT	2017	DBLP DOI BibTeX RDF
14	Gidon Ernst	A Verified POSIX-Compliant Flash File System - Modular Verification Technology & Crash Tolerance.		2017	RDF
14	Shaohua Wang 0002, Foutse Khomh, Ying Zou 0001	Improving bug management using correlations in crash reports.	Empir. Softw. Eng.	2016	DBLP DOI BibTeX RDF
14	Aude Marzuoli, Emmanuel Boidot, Pablo Colomar, Mathieu Guerpillon, Eric Feron, Alexandre M. Bayen, Mark Hansen	Improving Disruption Management With Multimodal Collaborative Decision-Making: A Case Study of the Asiana Crash and Lessons Learned.	IEEE Trans. Intell. Transp. Syst.	2016	DBLP DOI BibTeX RDF
14	Aude Marzuoli, Emmanuel Boidot, Eric Feron, Paul B. C. van Erp, Alexis Ucko, Alexandre M. Bayen, Mark Hansen	Multimodal Impact Analysis of an Airside Catastrophic Event: A Case Study of the Asiana Crash.	IEEE Trans. Intell. Transp. Syst.	2016	DBLP DOI BibTeX RDF
14	Zahid Halim, Rizwana Kalsoom, Shariq Bashir, Ghulam Abbas 0002	Artificial intelligence techniques for driving safety and vehicle crash prediction.	Artif. Intell. Rev.	2016	DBLP DOI BibTeX RDF
14	Lobna Nassar, Mohamed S. Kamel, Fakhri Karray	VANET IR-CAS for Safety ACN: Information Retrieval Context Aware System for VANET Automatic Crash Notification Safety Application.	Int. J. Intell. Transp. Syst. Res.	2016	DBLP DOI BibTeX RDF
14	Ehsan Moradi-Pari, Amin Tahmasbi-Sarvestani, Yaser Pourmohammadi Fallah	A Hybrid Systems Approach to Modeling Real-Time Situation-Awareness Component of Networked Crash Avoidance Systems.	IEEE Syst. J.	2016	DBLP DOI BibTeX RDF
14	Daniel Reich, Yuhui Shi, Marina A. Epelman, Amy Cohn, Ellen Barnes, Kirk Arthurs, Erica Klampfl	Scheduling Crash Tests at Ford Motor Company.	Interfaces	2016	DBLP DOI BibTeX RDF
14	Achour Mostéfaoui, Michel Raynal	Two-Bit Messages are Sufficient to Implement Atomic Read/Write Registers in Crash-prone Systems.	CoRR	2016	DBLP BibTeX RDF
14	Achour Mostéfaoui, Michel Raynal	Time-Efficient Read/Write Register in Crash-prone Asynchronous Message-Passing Systems.	CoRR	2016	DBLP BibTeX RDF
14	Vincenzo De Florio, Geert Deconinck, Rudy Lauwereins	An Algorithm for Tolerating Crash Failures in Distributed Systems.	CoRR	2016	DBLP BibTeX RDF
14	Lili Su, Nitin H. Vaidya	Asynchronous Distributed Hypothesis Testing in the Presence of Crash Failures.	CoRR	2016	DBLP BibTeX RDF
14	Jacek Gondzio	Crash start of interior point methods.	Eur. J. Oper. Res.	2016	DBLP DOI BibTeX RDF
14	Selma Jayech	The contagion channels of July-August-2011 stock market crash: A DAG-copula based approach.	Eur. J. Oper. Res.	2016	DBLP DOI BibTeX RDF
14	Jeffrey C. Carver, Jordi Cabot, Leandro L. Minku, Marco Torchiano	Regression Testing, Spoken Language, Crash-Inducing Commits, UML, and Legal Policy.	IEEE Softw.	2016	DBLP DOI BibTeX RDF
14	Joshua Charles Campbell, Eddie A. Santos, Abram Hindle	The unreasonable effectiveness of traditional information retrieval in crash report deduplication.	PeerJ Prepr.	2016	DBLP DOI BibTeX RDF
14	Joshua Charles Campbell, Eddie Antonio Santos, Abram Hindle	Anatomy of a crash repository.	PeerJ Prepr.	2016	DBLP DOI BibTeX RDF
14	Dennis Grunert, Jörg Fehr	Erratum to: Identification of nonlinear behavior with clustering techniques in car crash simulations for better model reduction.	Adv. Model. Simul. Eng. Sci.	2016	DBLP DOI BibTeX RDF
14	Dennis Grunert, Jörg Fehr	Identification of nonlinear behavior with clustering techniques in car crash simulations for better model reduction.	Adv. Model. Simul. Eng. Sci.	2016	DBLP DOI BibTeX RDF
14	Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif	Modular, crash-safe refinement for ASMs with submachines.	Sci. Comput. Program.	2016	DBLP DOI BibTeX RDF
14	Yanfang Yang, Yong Qin 0002, Limin Jia 0002, Honghui Dong	Traffic Safety Region Estimation Based on SFS-PCA-LSSVM: An Application to Highway Crash Risk Evaluation.	Int. J. Softw. Eng. Knowl. Eng.	2016	DBLP DOI BibTeX RDF
14	Bernard B. Munyazikwiye, Hamid Reza Karimi, Kjell G. Robbersmyr	A Mathematical Model for Vehicle-Occupant Frontal Crash Using Genetic Algorithm.	UKSim	2016	DBLP DOI BibTeX RDF
14	Yair Wiseman, Ilan Grinberg	Circumspectly crash of autonomous vehicles.	EIT	2016	DBLP DOI BibTeX RDF
14	Sayanti Mondal, Chandreyee Chowdhury, Sarbani Roy, Sumanta K. Deb, Sarmistha Neogy	Crash failure immune offloading framework.	ANTS	2016	DBLP DOI BibTeX RDF
14	Aljosha Judmayer, Edgar R. Weippl	Condensed Cryptographic Currencies Crash Course (C5).	CCS	2016	DBLP DOI BibTeX RDF
14	I. Isaksson-Hellman, Magdalena Lindman	Using insurance claims data to evaluate the collision-avoidance and crash-mitigating effects of Collision Warning and Brake Support Combined with Adaptive Cruise Control.	Intelligent Vehicles Symposium	2016	DBLP DOI BibTeX RDF
14	John M. Scanlon, Rini Sherony, Hampton C. Gabler	Preliminary potential crash prevention estimates for an Intersection Advanced Driver Assistance System in straight crossing path crashes.	Intelligent Vehicles Symposium	2016	DBLP DOI BibTeX RDF
14	Mingyang Chen, Xichan Zhu, Zhixiong Ma, Lin Li, Dazhi Wang, Junyong Liu	Brake response time under near-crash cases with cyclist.	Intelligent Vehicles Symposium	2016	DBLP DOI BibTeX RDF
14	Lili Su, Nitin H. Vaidya	Asynchronous Non-Bayesian Learning in the Presence of Crash Failures.	SSS	2016	DBLP DOI BibTeX RDF
14	Yanfang Yang, Yong Qin	Traffic Safety Region Estimation Based on SFS-PCA-LSSVM: An Application to Highway Crash Risk Evaluation.	SEKE	2016	DBLP DOI BibTeX RDF
14	Lobna Nassar, Fakhri Karray	Fuzzy Logic in VANET context aware Congested Road and Automatic Crash Notification.	FUZZ-IEEE	2016	DBLP DOI BibTeX RDF
14	Aljosha Judmayer, Edgar R. Weippl	Cryptographic Currencies Crash Course (C4): Tutorial.	WWW (Companion Volume)	2016	DBLP DOI BibTeX RDF
14	Eric Koskinen, Junfeng Yang	Reducing crash recoverability to reachability.	POPL	2016	DBLP DOI BibTeX RDF
14	Aimin Zhang, Yi He, Yong Jiang 0001	CrashFuzzer: Detecting input processing related crash bugs in android applications.	IPCCC	2016	DBLP DOI BibTeX RDF
14	François-Xavier Standaert	Towards Fair and Efficient Evaluations of Leaking Cryptographic Devices - Overview of the ERC Project CRASH, Part I (Invited Talk).	SPACE	2016	DBLP DOI BibTeX RDF
14	Christian Fernández-Campusano, Mikel Larrea, Roberto Cortiñas, Michel Raynal	A communication-efficient leader election algorithm in partially synchronous systems prone to crash-recovery and omission failures.	ICDCN	2016	DBLP DOI BibTeX RDF
14	Robert Gawlik, Benjamin Kollenda, Philipp Koppe, Behrad Garmany, Thorsten Holz	Enabling Client-Side Crash-Resistance to Overcome Diversification and Information Hiding.	NDSS	2016	DBLP BibTeX RDF
14	Yongfeng Gu, Jifeng Xuan, Tieyun Qian	Automatic Reproducible Crash Detection.	SATE	2016	DBLP DOI BibTeX RDF
14	Damien Imbs, Michel Raynal, Julien Stainer	Are Byzantine Failures Really Different from Crash Failures?	DISC	2016	DBLP DOI BibTeX RDF
14	Joseph Izraelevitz, Hammurabi Mendes, Michael L. Scott	Linearizability of Persistent Memory Objects Under a Full-System-Crash Failure Model.	DISC	2016	DBLP DOI BibTeX RDF
14	Hayami Ito, Tutomu Murase, Kazuyuki Sasajima	Congestion control and energy savings for V2P communication crash warnings with proximity relying.	ICCVE	2016	DBLP DOI BibTeX RDF
14	Harit Sharma, Ravi Kanth Reddy, Archana Karthik	S-CarCrash: Real-time crash detection analysis and emergency alert using smartphone.	ICCVE	2016	DBLP DOI BibTeX RDF
14	Achour Mostéfaoui, Michel Raynal	Time-Efficient Read/Write Register in Crash-Prone Asynchronous Message-Passing Systems.	NETYS	2016	DBLP DOI BibTeX RDF
14	Yanyan Jiang 0001, Haicheng Chen, Feng Qin, Chang Xu 0001, Xiaoxing Ma, Jian Lu 0001	Crash consistency validation made easy.	SIGSOFT FSE	2016	DBLP DOI BibTeX RDF
14	Haogang Chen 0001, Daniel Ziegler 0002, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich	Using Crash Hoare Logic for Certifying the FSCQ File System.	USENIX Annual Technical Conference	2016	DBLP BibTeX RDF
14	Arthur Martens, Christoph Borchert, Manuel Nieke, Olaf Spinczyk, Rüdiger Kapitza	CrossCheck: A Holistic Approach for Tolerating Crash-Faults and Arbitrary Failures.	EDCC	2016	DBLP DOI BibTeX RDF
14	Ritchie Qi, William Liu, Jairo A. Gutiérrez, Asad W. Malik	Crash me if you can: Rethinking sustainable Data Center Networking from a topological perspective.	INFOCOM Workshops	2016	DBLP DOI BibTeX RDF
14	Iryna Veryzhenko, Nathalie Oriol	Post Flash Crash Recovery: An Agent-based Analysis.	ICAART (1)	2016	DBLP DOI BibTeX RDF
14	Achour Mostéfaoui, Michel Raynal	Two-Bit Messages are Sufficient to Implement Atomic Read/Write Registers in Crash-prone Systems.	PODC	2016	DBLP DOI BibTeX RDF
14	Gadi Taubenfeld	Brief Announcement: Computing in the Presence of Weak Crash Failures.	PODC	2016	DBLP DOI BibTeX RDF
14	Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang 0005	Push-Button Verification of File Systems via Crash Refinement.	OSDI	2016	DBLP BibTeX RDF
14	Ramnatthan Alagappan, Aishwarya Ganesan, Yuvraj Patel, Thanumalayan Sankaranarayana Pillai, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau	Correlated Crash Vulnerabilities.	OSDI	2016	DBLP BibTeX RDF
14	Marco Tarabini, Bortolino Saggin, Marco Bocciolone, Diego Scaccabarozzi, Marianna Magni	Falls in older adults: Kinematic analyses with a crash test dummy.	MeMeA	2016	DBLP DOI BibTeX RDF
14	Andrzej Jarynowski, Andrzej Buda, Maciej Piasecki	Multilayer Network Analysis of Polish Parliament 4 Years before and after Smolenńk Crash.	ENIC	2016	DBLP DOI BibTeX RDF
14	Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal	Implementing Snapshot Objects on Top of Crash-Prone Asynchronous Message-Passing Systems.	ICA3PP	2016	DBLP DOI BibTeX RDF
14	Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, David A. Rosenblueth, Corentin Travers	Decentralized Asynchronous Crash-Resilient Runtime Verification.	CONCUR	2016	DBLP DOI BibTeX RDF
14	Marcus Müller 0003, Parthasarathy Nadarajan, Michael Botsch, Wolfgang Utschick, Dennis Böhmländer, Stefan Katzenbogen	A statistical learning approach for estimating the reliability of crash severity predictions.	ITSC	2016	DBLP DOI BibTeX RDF
14	Mozhan Soltani, Annibale Panichella, Arie van Deursen	Evolutionary testing for crash reproduction.	SBST@ICSE	2016	DBLP DOI BibTeX RDF
14	Mateusz Wasik, Wojciech Skarka	Simulation of Crash Tests for Electrically Propelled Flying Exploratory Autonomous Robot.	TE	2016	DBLP DOI BibTeX RDF
14	Hin-Yan Liu	Structural Discrimination and Autonomous Vehicles: Immunity Devices, Trump Cards and Crash Optimisation.	Robophilosophy/TRANSOR	2016	DBLP DOI BibTeX RDF
14	Joshua Charles Campbell, Eddie Antonio Santos, Abram Hindle	The unreasonable effectiveness of traditional information retrieval in crash report deduplication.	MSR	2016	DBLP DOI BibTeX RDF
14	Samil Temel, Mehmet C. Vuran, Mohammad M. R. Lunar, Ronald K. Faller, Cody Stolle	Vehicle-to-barrier communication during real-world vehicle crash tests.	VNC	2016	DBLP DOI BibTeX RDF
14	Yifu Liu, Paul Watta, Bochen Jia, Yi Lu Murphey	Vehicle position and context detection using V2V communication with application to pre-crash detection and warning.	SSCI	2016	DBLP DOI BibTeX RDF
14	James Bornholt, Antoine Kaufmann, Jialin Li 0001, Arvind Krishnamurthy, Emina Torlak, Xi Wang 0005	Specifying and Checking File System Crash-Consistency Models.	ASPLOS	2016	DBLP DOI BibTeX RDF
14	Haogang Chen 0001	Certifying a crash-safe file system.		2016	RDF
14	Meysam Effati, Jean-Claude Thill, Shahin Shabani	Geospatial and machine learning techniques for wicked social science problems: analysis of crash severity on a regional highway corridor.	J. Geogr. Syst.	2015	DBLP DOI BibTeX RDF
14	Howie Fang, Qian Wang, David C. Weggel	Crash analysis and evaluation of cable median barriers on sloped medians using an efficient finite element model.	Adv. Eng. Softw.	2015	DBLP DOI BibTeX RDF
14	Werner Leitgeb, Alex Thaler	Safe crash integration of inherently unsafe battery technologies.	Elektrotech. Informationstechnik	2015	DBLP DOI BibTeX RDF
14	Meysam Effati, Mohammd Ali Rajabi, Farshad Hakimpour, Shahin Shabani	Prediction of Crash Severity on Two-Lane, Two-Way Roads Based on Fuzzy Classification and Regression Tree Using Geospatial Analysis.	J. Comput. Civ. Eng.	2015	DBLP DOI BibTeX RDF
14	Dao Li, Chunsheng Ma, Ming Shen, Peiyu Li, Jinhuan Zhang	Brain Injury Differences in Frontal Impact Crash Using Different Simulation Strategies.	Comput. Math. Methods Medicine	2015	DBLP DOI BibTeX RDF
14	David Shinar	Cognitive Workload ≠ Crash Risk: Rejoinder to Study by Strayer et al. (2015).	Hum. Factors	2015	DBLP DOI BibTeX RDF
14	Ning Chen, Sunghun Kim 0001	STAR: Stack Trace Based Automatic Crash Reproduction via Symbolic Execution.	IEEE Trans. Software Eng.	2015	DBLP DOI BibTeX RDF
14	Klaus Bothe, Zoran Putnik	Master crash course on "software engineering" in a multi-cultural environment.	Comput. Appl. Eng. Educ.	2015	DBLP DOI BibTeX RDF
14	Damien Imbs, Michel Raynal, Julien Stainer	From Byzantine Failures to Crash Failures in Message-Passing Systems: a BG Simulation-based approach.	CoRR	2015	DBLP BibTeX RDF
14	Sergio Arévalo, Ernesto Jiménez, Jian Tang 0010, Rommel Torres	Set agreement and the loneliness failure detector in crash-recovery systems.	Comput. Syst. Sci. Eng.	2015	DBLP BibTeX RDF
14	Thanumalayan Sankaranarayana Pillai, Vijay Chidambaram, Ramnatthan Alagappan, Samer Al-Kiswany, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau	Crash consistency.	Commun. ACM	2015	DBLP DOI BibTeX RDF
14	Sunday M. Ofochebe, Chigbogu G. Ozoegwu, Samuel Ogbonna Enibe	Performance evaluation of vehicle front structure in crash energy management using lumped mass spring system.	Adv. Model. Simul. Eng. Sci.	2015	DBLP DOI BibTeX RDF
14	Afshin Shariat-Mohaymany, Matin Shahri, Babak Mirbagheri, Ali Akbar Matkan	Exploring Spatial Non-Stationarity and Varying Relationships between Crash Data and Related Factors Using Geographically Weighted Poisson Regression.	Trans. GIS	2015	DBLP DOI BibTeX RDF
14	Yining Wu, Mikolaj Podlaszewski	Implementing crash-resistance and non-interference in logic-based argumentation.	J. Log. Comput.	2015	DBLP DOI BibTeX RDF
14	Thanumalayan Sankaranarayana Pillai, Vijay Chidambaram, Ramnatthan Alagappan, Samer Al-Kiswany, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau	Crash Consistency.	ACM Queue	2015	DBLP DOI BibTeX RDF
14	Dennis Böhmländer, Sinan Hasirlioglu, Vitor Yano, Christian Lauerer, Thomas Brandmeier, Alessandro Zimmer	Advantages in Crash Severity Prediction Using Vehicle to Vehicle Communication.	DSN Workshops	2015	DBLP DOI BibTeX RDF
14	Venkata Krishnan Paila, Jaile Sebes	Automating Crash Report Analysis Using 'Exception-based Patterns' & 'Reference Assembly mapping'.	ISEC	2015	DBLP DOI BibTeX RDF
14	John M. Scanlon, Kristofer D. Kusano, Rini Sherony, Hampton C. Gabler	Potential of intersection driver assistance systems to mitigate straight crossing path crashes using U.S. nationally representative crash data.	Intelligent Vehicles Symposium	2015	DBLP DOI BibTeX RDF
14	Xiao Luo, Wenjing Du, Jinhuan Zhang	Safety benefits of belt pretensioning in conjunction with precrash braking in a frontal crash.	Intelligent Vehicles Symposium	2015	DBLP DOI BibTeX RDF
14	Atsuo Murata, Kensuke Naitoh	An Attempt to Predict Point in Time with High Risk of Crash Using Psychological Rating on Drowsiness and X-Bar Chart of Behavioral Measures.	HCI (6)	2015	DBLP DOI BibTeX RDF
14	Renran Tian, Lingxi Li, Kai Yang 0009, Feng Jiang, Yaobin Chen, Rini Sherony	Single-Variable Scenario Analysis of Vehicle-Pedestrian Potential Crash Based on Video Analysis Results of Large-Scale Naturalistic Driving Data.	HCI (17)	2015	DBLP DOI BibTeX RDF
14	Jinglei Ren, Jishen Zhao, Samira Manabi Khan, Jongmoo Choi, Yongwei Wu, Onur Mutlu	ThyNVM: enabling software-transparent crash consistency in persistent memory systems.	MICRO	2015	DBLP DOI BibTeX RDF
14	Irina Vitalevna Vasilyeva, Semen Vladimirivich Mesherakov, Sergey Borosovich Arseniev, Zanna Borisovna Semenova	The Prognostic Scale CRASH in the Treatment of Children with Severe Traumatic Brain Injury.	ICIMTH	2015	DBLP DOI BibTeX RDF
14	Julia Lahn, Heiko Peter, Peter Braun	Car crash detection on smartphones.	iWOAR	2015	DBLP DOI BibTeX RDF
14	Mathieu Nayrolles, Abdelwahab Hamou-Lhadj, Sofiène Tahar, Alf Larsson	JCHARMING: A bug reproduction approach using crash traces and directed model checking.	SANER	2015	DBLP DOI BibTeX RDF
14	Le An, Foutse Khomh	Challenges and Issues of Mining Crash Reports.	SWAN@SANER	2015	DBLP DOI BibTeX RDF
14	Xuhua Rui, Mino Ku, Na-Yun Cho, Kihong Han, Hwasoo Yeo, Dugki Min	A Freeway Crash Involvement Analysis Model based on Real-Time and Historical Traffic BigData.	BigDAS	2015	DBLP DOI BibTeX RDF
14	Ki-Jin Eom, Joon-Young Paik, Seong-Kyun Mok, Hyeon-Gu Jeon, Eun-Sun Cho, Dong-Woo Kim, Jaecheol Ryu	Automated Crash Filtering for ARM Binary Programs.	COMPSAC	2015	DBLP DOI BibTeX RDF
14	Hayami Ito, Kenta Wako, Tutomu Murase, Kazuyuki Sasajima	Crash warning for intersection and head-on car collision in vehicle-to-vehicle communication.	ICCVE	2015	DBLP DOI BibTeX RDF
14	Jifeng Xuan, Xiaoyuan Xie, Martin Monperrus	Crash reproduction via test case mutation: let existing test cases help.	ESEC/SIGSOFT FSE	2015	DBLP DOI BibTeX RDF
14	Zuolong Wei, Hamid Reza Karimi, Kjell G. Robbersmyr	EEMD based analysis of vehicle crash responses.	IECON	2015	DBLP DOI BibTeX RDF
14	Haogang Chen 0001, Daniel Ziegler 0002, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich	Using Crash Hoare logic for certifying the FSCQ file system.	SOSP	2015	DBLP DOI BibTeX RDF