Software safety: why, what, and how
ACM Computing Surveys (CSUR)
An experimental evaluation of the assumption of independence in multiversion programming
IEEE Transactions on Software Engineering
Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Modeling the penalty costs of software failure
Modeling the penalty costs of software failure
Safety Analysis Using Petri Nets
IEEE Transactions on Software Engineering
The dependability approach to critical computing systems
Proc. of the 1st European Software Engineering Conference on ESEC '87
Safety verification in Murphy using fault tree analysis
ICSE '88 Proceedings of the 10th international conference on Software engineering
Software Requirements Analysis for Real-Time Process-Control Systems
IEEE Transactions on Software Engineering
Validation of ultrahigh dependability for software-based systems
Communications of the ACM
Targeting safety-related errors during software requirements analysis
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
How good is good enough?: an ethical analysis of software construction and use
Communications of the ACM
Reliable software and communication: software quality, reliability, and safety
ICSE '93 Proceedings of the 15th international conference on Software Engineering
A formal specifications maturity model
Communications of the ACM
A validation framework for a maturity measurement model for safety-critical software systems
ACM-SE 36 Proceedings of the 36th annual Southeast regional conference
Systems engineering for software engineers
Annals of Software Engineering - Special issue on software engineering education
Intent Specifications: An Approach to Building Human-Centered Specifications
IEEE Transactions on Software Engineering
Software engineering for safety: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Ravenscar-Java: a high integrity profile for real-time Java
JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande
Relational programs: An architecture for robust real-time safety-critical process-control systems
Annals of Software Engineering
The Challenge of Building Process-Control Software
IEEE Software
A Binary Markov Process Model for Random Testing
IEEE Transactions on Software Engineering
From Safety Analysis to Software Requirements
IEEE Transactions on Software Engineering
Hazard Analysis in Formal Specification
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Human values, ethics, and design
The human-computer interaction handbook
Assessment of the Java programming language for use in high integrity systems
ACM SIGPLAN Notices
Assessing Software Reliability Performance Under Highly Critical But Infrequent Event Occurrences
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Encyclopedia of Computer Science
A software fault tree key node metric
Journal of Systems and Software
Deriving Safety Software Requirements from an AltaRica System Model
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
FlashBox: a system for logging non-deterministic events in deployed embedded systems
Proceedings of the 2009 ACM symposium on Applied Computing
Challenges in the successful transfer of formal methods technology into industrial applications
Information and Software Technology
Requirements modeling for embedded realtime systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
A proposal to detect errors in Enterprise Application Integration solutions
Journal of Systems and Software
Critical systems development methodology using formal techniques
Proceedings of the Third Symposium on Information and Communication Technology
Structuring variability in the context of embedded systems during software engineering
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
| Hi-index | 48.27 |