Search results for "Safety-critical systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Jeronimo Dzaack, Leon Urbas	Multilevel Analysis of Human Performance Models in Safety-Critical Systems.	HCI	2009	DBLP DOI BibTeX RDF	multilevel analysis, evaluation and design, human factor, tools, safety-critical systems, cognitive architectures, human performance models
3	Matthias Giese, Tomasz Mistrzyk, Andreas Pfau, Gerd Szwillus, Michael von Detten	AMBOSS: A Task Modeling Approach for Safety-Critical Systems.	TAMODIA/HCSE	2008	DBLP DOI BibTeX RDF	task editor, simulation, task modeling, safety-critical systems, socio-technical systems, task patterns
3	Pao-Ann Hsiung, Yean-Ru Chen, Yen-Hung Lin	Model Checking Safety-Critical Systems Using Safecharts.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Safecharts, extended timed automaton, model checking, Safety-critical systems
3	Yean-Ru Chen, Pao-Ann Hsiung, Sao-Jie Chen	Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts.	SAFECOMP	2007	DBLP DOI BibTeX RDF	Safecharts, FTO-failure, SO-failure, NC-failure, Effective repair actions, Ineffective repair actions, Safety-critical systems
3	Philippe A. Palanque, Sandra Basnyat, Regina Bernhaupt, Ronald L. Boring, Chris Johnson, Peter Johnson	Beyond usability for safety critical systems: how to be sure (safe, usable, reliable, and evolvable)?	CHI Extended Abstracts	2007	DBLP DOI BibTeX RDF	reliability safety critical systems, usability, safety, human error
3	Satish Subramanian, Sanjai Rayadurgam, Wei-Tek Tsai	Design for Constraint Violation Detection in Safety-Critical Systems. (PDF / PS)	HASE	1998	DBLP DOI BibTeX RDF	design patterns, object-oriented design, Safety-critical systems, implantable medical devices
3	Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura	An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL.	ICECCS	1998	DBLP DOI BibTeX RDF	railway crossing controller, verification, formal specification, formal methods, Safety-critical systems, functional requirements, safety requirements
3	T. M. Bull, E. J. Younger, Keith H. Bennett, Z. Luo	Bylands: reverse engineering safety-critical systems. (PDF / PS)	ICSM	1995	DBLP DOI BibTeX RDF	safety-critical software maintenance, Bylands, real-time existing code, high level design extraction, formal transformations, abstract representation, requirements analyses, very-high-level domain languages, real-time systems, reverse engineering, reverse engineering, software maintenance, systems analysis, safety-critical systems, high level languages, safety-critical software, temporal constraints
2	Andrew J. Kornecki, Janusz Zalewski	Certification of software for real-time safety-critical systems: state of the art.	ISSE	2009	DBLP DOI BibTeX RDF	Tool qualification, Real-time systems, Software tools, Safety-critical systems, Software safety, Software certification
2	Ben Swarup Medikonda, Seetha Ramaiah Panchumarthy	A framework for software safety in safety-critical systems.	ACM SIGSOFT Software Engineering Notes	2009	DBLP DOI BibTeX RDF	software quality, safety-critical system, software safety
2	Andrew J. Kornecki, Brian Butka, Janusz Zalewski	Software Tools for Safety-Critical Systems According to DO-254.	IEEE Computer	2008	DBLP DOI BibTeX RDF
2	Janice Hill, Daniel Victor	The Product Engineering Class in the Software Safety Risk Taxonomy for Building Safety-Critical Systems.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	software safety requirements, software safety risk taxonomy, legacy systems, safety-critical, safety case
2	Hassan Reza, Steve Buettner, Varun Krishna	A Method to Test Component Off-the-Shelf (COTS) Used in Safety Critical Systems.	ITNG	2008	DBLP DOI BibTeX RDF	Software Fault Tree Analysis, UML Communication Diagrams, Software Testing, COTS
2	Jonas Elmqvist, Simin Nadjm-Tehrani	Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems.	HASE	2008	DBLP DOI BibTeX RDF
2	Renato Donini, Stefano Marrone, Nicola Mazzocca, Antonio Orazzo, Domenico Papa, Salvatore Venticinque	Testing Complex Safety-Critical Systems in SOA Context.	CISIS	2008	DBLP DOI BibTeX RDF
2	Jakob E. Bardram, Niels Nørskov	A context-aware patient safety system for the operating room.	UbiComp	2008	DBLP DOI BibTeX RDF	CAPSIS, context-aware computing, safety-critical systems, pervasive healthcare, operating room
2	Zeshan Kurd, Tim Kelly, Jim Austin	Developing artificial neural networks for safety critical systems.	Neural Computing and Applications	2007	DBLP DOI BibTeX RDF	Symbolic knowledge, Neural network, Faults, Safety critical, Lifecycle, Hazards, Criteria
2	Luís Almeida, Sebastian Fischmeister, Madhukar Anand, Insup Lee	A dynamic scheduling approach to designing flexible safety-critical systems.	EMSOFT	2007	DBLP DOI BibTeX RDF	dynamic QoS management, real-time systems, embedded systems, utilization bounds, flexible scheduling
2	Matthias Güdemann, Frank Ortmeier, Wolfgang Reif	Using Deductive Cause-Consequence Analysis (DCCA) with SCADE.	SAFECOMP	2007	DBLP DOI BibTeX RDF	deductive cause consequence analysis, dcca, SCADE, formal methods, dependability, safety critical systems, safety analysis
2	Alek Radjenovic, Richard F. Paige	Architecture Description Languages for High-Integrity Real-Time Systems.	IEEE Software	2006	DBLP DOI BibTeX RDF	software architecture, architecture description languages, safety-critical systems, modeling methodologies, model development
2	Alek Radjenovic, Richard F. Paige	The View Glue.	WADS	2006	DBLP DOI BibTeX RDF	view consistency, modelling, software architectures, safety critical systems, architectural views
2	Todd A. DeLong, D. Todd Smith, Barry W. Johnson	Dependability metrics to assess safety-critical systems.	IEEE Transactions on Reliability	2005	DBLP DOI BibTeX RDF
2	Jennifer Morris, Philip Koopman	Representing design tradeoffs in safety-critical systems.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	fault-tolerance, modeling, integrity, dependability, availability, safety
2	Pao-Ann Hsiung, Yen-Hung Lin	Modeling and Verification of Safety-Critical Systems Using Safecharts.	FORTE	2005	DBLP DOI BibTeX RDF
2	Wei Dong, Ji Wang	Contract-Based Formal Specification of Safety Critical Systems.	COMPSAC	2005	DBLP DOI BibTeX RDF
2	Andrew J. Kornecki, Janusz Zalewski	Experimental evaluation of software development tools for safety-critical real-time systems.	ISSE	2005	DBLP DOI BibTeX RDF	Tool qualification, Safety-critical systems, CASE tools, Software safety
2	Athanasios Kakarountas, Vassilis Spiliotopoulos, Spiridon Nikolaidis, Constantinos E. Goutis	The Impact of Low-Power Techniques on the Design of Portable Safety-Critical Systems.	PATMOS	2004	DBLP DOI BibTeX RDF
2	Fan Ye, Tim Kelly	COTS Product Selection for Safety-Critical Systems.	ICCBSS	2004	DBLP DOI BibTeX RDF
2	Per Johannessen, Fredrik Törner, Jan Torin	Actuator Based Hazard Analysis for Safety Critical Systems.	SAFECOMP	2004	DBLP DOI BibTeX RDF
2	Philippe A. Palanque, Floor Koornneef, Chris Johnson, Gerd Szwillus, Peter Wright	Safety-critical interaction: usability in incidents and accidents.	CHI Extended Abstracts	2004	DBLP DOI BibTeX RDF	usability, reliability, safety critical systems, human error
2	Hermann Kopetz	On the Fault Hypothesis for a Safety-Critical Real-Time System.	ASWSD	2004	DBLP DOI BibTeX RDF	Fault-Hypothesis, Error-Containment, State Repair, Fault-tolerance, Error Detection, Safety-Critical Systems
2	Jan Jürjens, Siv Hilde Houmb	Development of Safety-Critical Systems and Model-Based Risk Analysis with UML.	LADC	2003	DBLP DOI BibTeX RDF
2	Jan Jürjens	Developing Safety-Critical Systems with UML.	UML	2003	DBLP DOI BibTeX RDF
2	Luís Almeida	A Word for Operational Flexibility in Distributed Safety-Critical Systems.	WORDS	2003	DBLP DOI BibTeX RDF
2	Julia Padberg, Bettina Enders	Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems.	ICGT	2002	DBLP DOI BibTeX RDF
2	Felix Redmill	A Community Club on Safety-Critical Systems.	SCS	2002	DBLP BibTeX RDF
2	John McMullan	Negligence: Engineering Safety-Critical Systems.	SCS	2002	DBLP BibTeX RDF
2	Tony Cant	Computer-Based Safety Critical Systems in Defence: Def (Aust) 5679.	SCS	2002	DBLP BibTeX RDF
2	John C. Knight	Safety critical systems: challenges and directions.	ICSE	2002	DBLP DOI BibTeX RDF
2	Michael Mahemoff, Andrew Hussey, Lorraine Johnston	Pattern-Based Reuse of Successful Designs: Usability of Safety-Critical Systems.	Australian Software Engineering Conference	2001	DBLP DOI BibTeX RDF	usability, user-interface, design patterns, Safety-critical
2	Peter A. Lindsay	Improved Acquisition Processes for Safety-Critical Systems in the Australian Department of Defence.	SCS	2001	DBLP BibTeX RDF
2	Rune Winther, Ole-Arnt Johnsen, Bjørn Axel Gran	Security Assessments of Safety Critical Systems Using HAZOPs.	SAFECOMP	2001	DBLP DOI BibTeX RDF
2	Juan-Carlos Ruiz-Garcia, Jean-Charles Fabre, Pascale Thévenod-Fosse	Testing MetaObject Protocols Generated by Open Compilers for Safety-Critical Systems.	Reflection	2001	DBLP DOI BibTeX RDF
2	Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè	Using symbolic execution for verifying safety-critical systems.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	verification, formal methods, C, symbolic execution, safety-critical system
2	A. Hilton, J. Hall	On Applying Software Development Best Practice to FPFAs in Safety Critical Systems.	FPL	2000	DBLP DOI BibTeX RDF
2	Carsten Sühl	Applying RT-Z to Develop Safety-Critical Systems.	FASE	2000	DBLP DOI BibTeX RDF
2	Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli	Testing embedded real-time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	embedded real-time system testing, system correctness, implementation testing, real-time components, communicating timed input-output automata, testing in context, testing in isolation, timed Wp-method, embedded systems, formal specification, formal verification, program testing, conformance testing, conformance testing, timing constraints, safety-critical systems, test case generation, safety-critical software, automata theory, concurrent processes, communicating processes, system quality, partial product
2	Simeon Veloudis, Nimal Nissanke	Modelling Coordinated Atomic Actions in Timed CSP.	FTRTFT	2000	DBLP DOI BibTeX RDF	CA actions, real-time systems, safety-critical systems, Timed CSP
2	Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo	A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors.	TACAS	2000	DBLP DOI BibTeX RDF	fault tolerant behavior, model checking, formal verifications, safety critical systems, linear temporal logic
2	Jeffrey M. Thompson, Mats Per Erik Heimdahl	An Integrated Development Environment for Prototyping Safety Critical Systems. (PDF / PS)	IEEE International Workshop on Rapid System Prototyping	1999	DBLP DOI BibTeX RDF	Specification-based Prototyping, Software Engineering, Embedded Systems, Safety-critical Systems, RSML
2	Hamdan Dammag, Nimal Nissanke	Safecharts for Specifying and Designing Safety Critical Systems. (PDF / PS)	SRDS	1999	DBLP DOI BibTeX RDF
2	Monika Heiner, Maritta Heisel	Modeling Safety-Critical Systems with Z and Petri Nets.	SAFECOMP	1999	DBLP DOI BibTeX RDF
2	Horst Wedde, Jon A. Lind	Novel Principles for Developing and Evaluating Distributed Safety-Critical Systems. (PDF / PS)	ISADS	1999	DBLP DOI BibTeX RDF
2	Beth Plale, Karsten Schwan	Run-time Detection in Parallel and Distributed Systems: Application to Safety-Critical Systems.	ICDCS	1999	DBLP DOI BibTeX RDF	run-time detection, distributed and parallel computing, safety-critical systems, temporal queries, on-line monitoring
2	Guy A. Boy	Cognitive Function Analysis for Human-Centered Automation of Safety-Critical Systems.	CHI	1998	DBLP DOI BibTeX RDF	function allocation, evaluation, participatory design, automation, safety critical systems, active documents, organizational memory systems, aeronautics
2	Christophe Aussaguès, Vincent David	A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems.	ICECCS	1998	DBLP DOI BibTeX RDF	modeling, real-time, analysis, safety critical systems, timeliness
2	Bernd J. Krämer	A Case Study in Developing Complex Safety Critical Systems.	HICSS	1997	DBLP DOI BibTeX RDF
2	Frédéric Salles, Jean Arlat, Jean-Charles Fabre	Can we rely on COTS microkernels for building fault-tolerant systems?	FTDCS	1997	DBLP DOI BibTeX RDF	COTS microkernels, functional primitives, fault containment mechanisms, detection mechanisms, Chorus microkernel, embedded fault-tolerant systems, commercial executives, dependability, fault injection, application program interfaces, API, safety-critical systems, fault-tolerant systems, application software, Commercial-Off-The-Shelf components
2	Bojan Cukic	Combining Testing and Correctness Verification in Software Reliability Assessment. (PDF / PS)	HASE	1997	DBLP DOI BibTeX RDF	probability of correctness, process-control software, Software reliability, safety-critical systems, statistical sampling
2	Tim Bull	Comprehension of Safety-Critical Systems Using Domain-Specific Languages. (PDF / PS)	WPC	1996	DBLP DOI BibTeX RDF	Program Transformations, Domain-Specific Languages, Safety-Critical Systems
2	Jan Peleska	Test Automation for Safety-Critical Systems: Industrial Application and Future Developments.	FME	1996	DBLP DOI BibTeX RDF	test driver, test monitors, refinement, test generation, CSP, reactive systems, test oracles, FDR
2	E. J. Younger, Z. Luo, Keith H. Bennett, T. M. Bull	Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis. (PDF / PS)	WCRE	1996	DBLP DOI BibTeX RDF	transformation based approach, core kernel language, formal program transformations, type proof tools, parallel programming, reverse engineering, software maintenance, concurrent programs, formal modelling, safety critical systems, type theory, formal analysis, type checking, WSL, sequential systems
2	Joanne M. Atlee, John A. McDermid	Integrating requirements analysis and safety analysis. (PDF / PS)	RE	1995	DBLP DOI BibTeX RDF	system safety requirements, design description, formal specification, systems analysis, requirements analysis, requirements specification, safety critical systems, safety-critical software, safety critical software, functional requirements, safety analysis, high level design
2	Jonathan S. Ostroff	Verification of Safety Critical Systems Using TTM/RTTL.	REX Workshop	1991	DBLP DOI BibTeX RDF	Verification, Timed Transition Systems, Real-time Temporal Logic
1	Rizwan Ahmed, June Mo Koo, Yong Hoon Jeong, Gyunyoung Heo	Design of safety-critical systems using the complementarities of success and failure domains with a case study.	Rel. Eng. & Sys. Safety	2011	DBLP DOI BibTeX RDF
1	Wang Fei, Ying-Tao Xu	Non-preemptive fuzzy classification algorithm for non-traditional safety-critical systems.	J. Embedded Computing	2011	DBLP DOI BibTeX RDF
1	Zahid Hussain Qaisar, Shafiq ur Réhman	A safe regression testing approach for safety critical systems.	Advances in Engineering Software	2011	DBLP DOI BibTeX RDF
1	Sandeep K. Shukla, Jean-Pierre Talpin	Guest Editors' Introduction: Special Section on Science of Design for Safety Critical Systems.	IEEE Trans. Computers	2011	DBLP DOI BibTeX RDF
1	Xujie Jia, Lirong Cui	Optimization of joint maintenance strategy for safety-critical systems with different reliability degrees.	Expert Systems	2011	DBLP DOI BibTeX RDF
1	Guy A. Boy, Yvonne Barnard	Knowledge Management in Safety-Critical Systems Analysis.	Encyclopedia of Knowledge Management	2011	DBLP BibTeX RDF
1	Alexander Drozd, Vyacheslav S. Kharchenko, Svetlana Antoshchuk, J. Sulima, Miroslav Drozd	Checkability of the digital components in safety-critical systems: Problems and solutions.	EWDTS	2011	DBLP DOI BibTeX RDF
1	S. Phani Kumar, P. Seetha Ramaiah, V. Khanaa	Architectural patterns to design software safety based safety-critical systems.	ICCCS	2011	DBLP DOI BibTeX RDF
1	Marko Miklo, Carl R. Elks, Ronald D. Williams	Design of a high performance FPGA based fault injector for real-time safety-critical systems.	ASAP	2011	DBLP DOI BibTeX RDF
1	Guoqi Li, Boxuan Wang	SysML Aided Safety Analysis for Safety-Critical Systems.	AICI	2011	DBLP DOI BibTeX RDF
1	Brett H. Meyer, Nishant J. George, Benton H. Calhoun, John Lach, Kevin Skadron	Reducing the cost of redundant execution in safety-critical systems using relaxed dedication.	DATE	2011	DBLP DOI BibTeX RDF
1	Jaume Abella, Francisco J. Cazorla, Eduardo Quiñones, Arnaud Grasset, Sami Yehia, Philippe Bonnot, Dimitris Gizopoulos, Riccardo Mariani, Guillem Bernat	Towards improved survivability in safety-critical systems.	IOLTS	2011	DBLP DOI BibTeX RDF
1	Jaume Abella, Eduardo Quiñones, Francisco J. Cazorla, Mateo Valero, Yanos Sazeides	RVC-based time-predictable faulty caches for safety-critical systems.	IOLTS	2011	DBLP DOI BibTeX RDF
1	Irem Y. Tumer, Carol Smidts	Integrated Design-Stage Failure Analysis of Software-Driven Hardware Systems.	IEEE Trans. Computers	2011	DBLP DOI BibTeX RDF	Integrated design-stage analysis, software-hardware reliability, failure propagation analysis, safety-critical systems, formalisms
1	Albrecht Schmidt	Engineering interactive ubiquitous computing systems.	EICS	2011	DBLP DOI BibTeX RDF
1	Kyung Chang Lee, Man Ho Kim, Suk Lee	Kalman Predictive Redundancy System for Fault Tolerance of Safety-critical Systems.	IEEE Trans. Industrial Informatics	2010	DBLP DOI BibTeX RDF
1	Johannes Kloos, Robert Eschbach	A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems.	Electr. Notes Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Vitaly Schetinin, Jonathan E. Fieldsend, Derek Partridge, Wojtek J. Krzanowski, Richard M. Everson, Trevor C. Bailey, Adolfo Hernandez	A Bayesian Methodology for Estimating Uncertainty of Decisions in Safety-Critical Systems	CoRR	2010	DBLP BibTeX RDF
1	Martha Grabowski, Zhuyu You, Huawei Song, Haiyuan Wang, Jason R. W. Merrick	Sailing on Friday: Developing the Link Between Safety Culture and Performance in Safety-Critical Systems.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2010	DBLP DOI BibTeX RDF
1	Wolfgang Herzner, Rupert Schlick, W. Schütz, Harald Brandl, Willibald Krenn	Towards generation of efficient test cases from UML/OCL models for complex safety-critical systems.	Elektrotechnik und Informationstechnik	2010	DBLP DOI BibTeX RDF
1	Andrew J. Kornecki, Janusz Zalewski	Hardware certification for real-time safety-critical systems: State of the art.	Annual Reviews in Control	2010	DBLP DOI BibTeX RDF
1	Frank Reichenbach, Alexander Wold	Multi-core Technology -- Next Evolution Step in Safety Critical Systems for Industrial Applications?	DSD	2010	DBLP DOI BibTeX RDF
1	Janice Hill, Scott Tilley	Creating Safety Requirements Traceability for Assuring and Recertifying Legacy Safety-Critical Systems.	RE	2010	DBLP DOI BibTeX RDF
1	Marie-Agnès Peraldi-Frati, Arnaud Albinet	Requirement traceability in safety critical systems.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	modeling, validation, time, safety, traceability, non-functional requirement, MARTE
1	Andreas Baumgart, Philipp Reinkemeier, Achim Rettberg, Ingo Stierand, Eike Thaden, Raphael Weber	A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems.	SEUS	2010	DBLP DOI BibTeX RDF
1	Julien Delange, Laurent Pautet, Jérôme Hugues, Dionisio de Niz	An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical Systems.	ICECCS	2010	DBLP DOI BibTeX RDF
1	Matthew Hause, Andrew Stuart, David Richards, Jon Holt	Testing Safety Critical Systems with SysML/UML.	ICECCS	2010	DBLP DOI BibTeX RDF
1	T. Correa, Leandro Buss Becker, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, François Vernadat	Supporting the Design of Safety Critical Systems Using AADL.	ICECCS	2010	DBLP DOI BibTeX RDF
1	Anh Tuan Luu, Man Chun Zheng, Quan Thanh Tho	Modeling and Verification of Safety Critical Systems: A Case Study on Pacemaker.	SSIRI	2010	DBLP DOI BibTeX RDF	PAT, model checking, verification, Pacemaker
1	Stefan Henkler, Jan Meyer, Wilhelm Schäfer, Markus von Detten, Ulrich Nickel 0002	Legacy component integration by the Fujaba real-time tool suite.	ICSE	2010	DBLP DOI BibTeX RDF	integration, formal verification, model-driven engineering, safety-critical systems, legacy system
1	Ales Plsek, Lei Zhao, Veysel H. Sahin, Daniel Tang, Tomas Kalibera, Jan Vitek	Developing safety critical Java applications with oSCJ/L0.	JTRES	2010	DBLP DOI BibTeX RDF	memory management, Java virtual machine, safety critical systems
1	Daniel Tang, Ales Plsek, Jan Vitek	Static checking of safety critical Java annotations.	JTRES	2010	DBLP DOI BibTeX RDF	verification, annotations, safety critical systems, memory safety
1	Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, Rahul Mangharam	Real-Time Heart Model for Implantable Cardiac Device Validation and Verification.	ECRTS	2010	DBLP DOI BibTeX RDF	sotware validation, real-time systems, formal verification, safety-critical systems, cyber-physical systems, Medical Devices, pacemaker
1	Patrick J. Graydon, John C. Knight	Software Process Synthesis in Assurance Based Development of Dependable Systems.	EDCC	2010	DBLP DOI BibTeX RDF	assurance arguments, software processes, safety-critical systems, software assurance, software dependability
1	Jonathan Back, Duncan P. Brumby, Anna Louise Cox	Locked-out: investigating the effectiveness of system lockouts to reduce errors in routine tasks.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	lockout, resumption delay, interruptions, human error
1	Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux	Use of formal methods for building qualified code generator for safer automotive systems.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	software engineering, formal verification, certification, automatic code generator, automotive systems