Search results for "safety specification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	John Harrison	Formal Verification.	Software and Systems Safety - Specification and Verification	2011	DBLP DOI BibTeX RDF
2	Carlo Ghezzi	Engineering Evolving and Self-Adaptive Systems: An Overview.	Software and Systems Safety - Specification and Verification	2011	DBLP DOI BibTeX RDF
2	Doron Peled	Model Checking.	Software and Systems Safety - Specification and Verification	2011	DBLP DOI BibTeX RDF
2	Manfred Broy	Towards a Theory of Architectural Contracts: - Schemes and Patterns of Assumption/Promise Based System Specification.	Software and Systems Safety - Specification and Verification	2011	DBLP DOI BibTeX RDF
2	Tony Hoare, John Wickerson	Unifying Models of Data Flow.	Software and Systems Safety - Specification and Verification	2011	DBLP DOI BibTeX RDF
2	Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane	Model-Based Verification and Analysis for Real-Time Systems.	Software and Systems Safety - Specification and Verification	2011	DBLP DOI BibTeX RDF
2	Holger Hermanns, Lijun Zhang	From Concurrency Models to Numbers - Performance and Dependability.	Software and Systems Safety - Specification and Verification	2011	DBLP DOI BibTeX RDF
2	Mark Timmer, Ed Brinksma, Mariëlle Stoelinga	Model-Based Testing.	Software and Systems Safety - Specification and Verification	2011	DBLP DOI BibTeX RDF
2	Constance L. Heitmeyer	Requirements Models for Critical Systems.	Software and Systems Safety - Specification and Verification	2011	DBLP DOI BibTeX RDF
2	Jinzhao Wu, Shihan Yang	Timed CSP for Safety Specification of Hybrid System.	ICYCS	2008	DBLP DOI BibTeX RDF
2	Sandeep S. Kulkarni, Ali Ebnenasir	The Effect of the Specification Model on the Complexity of Adding Masking Fault Tolerance.	IEEE Trans. Dependable Sec. Comput.	2005	DBLP DOI BibTeX RDF	safety specification, Fault-tolerance, formal methods, program synthesis, automatic addition of fault tolerance
2	Arshad Jhumka, Neeraj Suri	Designing Efficient Fail-Safe Multitolerant Systems.	FORTE	2005	DBLP DOI BibTeX RDF	multitolerance, safety specification, program transformation, automation, program synthesis, Detectors, fail-safe
1	Manfred Broy, Christian Leuxner, Tony Hoare (eds.)	Software and Systems Safety - Specification and Verification		2011	DBLP DOI BibTeX RDF
1	Amit Bhatia, Emilio Frazzoli	Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems.	HSCC	2008	DBLP DOI BibTeX RDF
1	Ali Ebnenasir	Diconic addition of failsafe fault-tolerance.	ASE	2007	DBLP DOI BibTeX RDF	addition of fault-tolerance, formal methods, satisfiability, divide and conquer
1	Aaron R. Bradley, Zohar Manna	Checking Safety by Inductive Generalization of Counterexamples to Induction.	FMCAD	2007	DBLP DOI BibTeX RDF
1	Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger, Sanjit A. Seshia	An Application ofWeb-Service Interfaces.	ICWS	2007	DBLP DOI BibTeX RDF
1	Raquel S. Whittlesey-Harris, Mikhail Nesterenko	Fault-Tolerance Verification of the Fluids and Combustion Facility of the International Space Station.	ICDCS Workshops	2006	DBLP DOI BibTeX RDF
1	Koushik Sen, Grigore Rosu, Gul Agha	Online efficient predictive safety analysis of multithreaded programs.	STTT	2006	DBLP DOI BibTeX RDF	JMPaX, Multithreaded analysis, Runtime monitoring, Vector clock, Predictive analysis
1	Sandeep S. Kulkarni, Ali Ebnenasir	Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance.	IEEE Trans. Dependable Sec. Comput.	2005	DBLP DOI BibTeX RDF	Fault-tolerance, formal methods, distributed programs, program synthesis, automatic addition of fault-tolerance
1	Christian Boulinier, Franck Petit, Vincent Villain	When graph theory helps self-stabilization.	PODC	2004	DBLP DOI BibTeX RDF	asynchronous unison, local (group) mutual exclusion, synchronization, self-stabilization
1	Koushik Sen, Grigore Rosu, Gul Agha	Online Efficient Predictive Safety Analysis of Multithreaded Programs.	TACAS	2004	DBLP DOI BibTeX RDF
1	Sandeep S. Kulkarni, Ali Ebnenasir	Enhancing The Fault-Tolerance of Nonmasking Programs.	ICDCS	2003	DBLP DOI BibTeX RDF	Fault-tolerance, Formal methods, Program transformation, Distributed programs, Program synthesis, Automatic addition of fault-tolerance
1	Arshad Jhumka, Neeraj Suri, Martin Hiller	A Framework for the Design and Validation of Efficient Fail-Safe Fault-Tolerant Programs.	SCOPES	2003	DBLP DOI BibTeX RDF	fault tolerance, test cases, software synthesis, Detectors, fail-safe
1	Sandeep S. Kulkarni, Ali Ebnenasir	The Complexity of Adding Failsafe Fault-Tolerance. (PDF / PS)	ICDCS	2002	DBLP DOI BibTeX RDF	Fault-tolerance, Formal methods, Program transformation, Distributed programs, Program synthesis
1	Eugene Asarin, Thao Dang, Oded Maler	The d/dt Tool for Verification of Hybrid Systems.	CAV	2002	DBLP DOI BibTeX RDF
1	Axel van Lamsweerde, Emmanuel Letier	From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering.	RISSEF	2002	DBLP DOI BibTeX RDF	specification building process, safety, Goal-oriented requirements engineering, lightweight formal methods, high assurance systems
1	Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Guido M. Miconi, Ugo Pozzi, Tiziano Villa, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli	Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine.	HSCC	2000	DBLP DOI BibTeX RDF