Evaluation of safety-critical software
Communications of the ACM
Software safety in embedded computer systems
Communications of the ACM
Detecting Unsafe Error Recovery Schedules
IEEE Transactions on Software Engineering
The choice of computer languages for use in safety critical systems
Software Engineering Journal - Special issue on safety-critical systems
Software engineering (4th ed.): instructor's guide
Software engineering (4th ed.): instructor's guide
Computer related risks
Using failure cost information for testing and reliability assessment
ACM Transactions on Software Engineering and Methodology (TOSEM)
Completeness and Consistency in Hierarchical State-Based Requirements
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Disney's Aladdin: first steps toward storytelling in virtual reality
SIGGRAPH '96 Proceedings of the 23rd annual conference on Computer graphics and interactive techniques
Targeting safety-related errors during software requirements analysis
Journal of Systems and Software
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Strategic directions in software engineering and programming languages
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Research directions for concurrency
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Engineering safety-critical systems
Computing tomorrow
Documentation for safety critical software
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Formal Requirements Analysis of an Avionics Control System
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Classification of research efforts in requirements engineering
ACM Computing Surveys (CSUR)
Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software
IEEE Transactions on Software Engineering
Experiences Using Lightweight Formal Methods for Requirements Modeling
IEEE Transactions on Software Engineering
Component Based Design of Multitolerant Systems
IEEE Transactions on Software Engineering
Software engineering: theory and practice
Software engineering: theory and practice
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications
IEEE Transactions on Software Engineering
Rapid application of lightweight formal methods for consistency analyses
IEEE Transactions on Software Engineering
A Strategy for Improving Safety Related Software Engineering Standards
IEEE Transactions on Software Engineering
Inside risks: robust open-source software
Communications of the ACM
Specifying the mode logic of a flight guidance system in CoRE and SCR
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Information survivability control systems
Proceedings of the 21st international conference on Software engineering
Fundamentals of fault-tolerant distributed computing in asynchronous environments
ACM Computing Surveys (CSUR)
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Software safety and reliability: techniques, approaches, and standards of key industrial sectors
Software safety and reliability: techniques, approaches, and standards of key industrial sectors
Extending the product family approach to support safe reuse
Journal of Systems and Software
Communications of the ACM
Safety Critical Computer Systems
Safety Critical Computer Systems
Fatal Defect: Chasing Killer Computer Bugs
Fatal Defect: Chasing Killer Computer Bugs
Software Assessment: Reliability, Safety, Testability
Software Assessment: Reliability, Safety, Testability
Testing Safety-Related Software: A Practical Handbook
Testing Safety-Related Software: A Practical Handbook
Requirements analysis using forward and backward search
Annals of Software Engineering
Computer
Using Immersive Virtual Environments for Certification
IEEE Software
Software Safety Certification: A Multidomain Problem
IEEE Software
The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software
IEEE Transactions on Software Engineering
From Safety Analysis to Software Requirements
IEEE Transactions on Software Engineering
Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software
Proceedings of the 7th International Conference on Computer Aided Verification
PVS: Combining Specification, Proof Checking, and Model Checking
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Logics and Models of Real Time: A Survey
Proceedings of the Real-Time: Theory in Practice, REX Workshop
The Galileo Fault Tree Analysis Tool
FTCS '99 Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing
Implementing Statecharts in PROMELA/SPIN
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Reconciling System Requirements and Runtime Behavior
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
The Safety Requirements Engineering Dilemma
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Proceedings of the Conference on The Future of Software Engineering
Software engineering for real-time: a roadmap
Proceedings of the Conference on The Future of Software Engineering
DPS: An Architectural Style for Development of Secure Software
InfraSec '02 Proceedings of the International Conference on Infrastructure Security
PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool
Automated Software Engineering
Trust-By-Contract: Modelling, Analysing And Predicting Behaviour Of Software Architectures
Journal of Integrated Design & Process Science
Safety and Software Intensive Systems: Challenges Old and New
FOSE '07 2007 Future of Software Engineering
Safety analysis of software product lines using state-based modeling
Journal of Systems and Software
Safety Hazard Identification by Misuse Cases: Experimental Comparison of Text and Diagrams
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
A framework for software safety in safety-critical systems
ACM SIGSOFT Software Engineering Notes
Digital Watermarking Schemes Using Multi-resolution Curvelet and HVS Model
IWDW '09 Proceedings of the 8th International Workshop on Digital Watermarking
Integrated safety analysis of software-controlled critical systems
ACM SIGSOFT Software Engineering Notes
Generalizable safety annotations for specification of failure patterns
Software—Practice & Experience
A comparison of two approaches to safety analysis based on use cases
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Supporting human-intensive systems
Proceedings of the FSE/SDP workshop on Future of software engineering research
Software fault tree analysis for product lines
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Modeling and analyzing faults to improve election process robustness
EVT/WOTE'10 Proceedings of the 2010 international conference on Electronic voting technology/workshop on trustworthy elections
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Trustworthy organic computing systems: challenges and perspectives
ATC'10 Proceedings of the 7th international conference on Autonomic and trusted computing
Towards an integration of standard component-based safety evaluation techniques with SaveCCM
QoSA'06 Proceedings of the Second international conference on Quality of Software Architectures
Security aspects of cyber-physical device safety in assistive environments
Proceedings of the 4th International Conference on PErvasive Technologies Related to Assistive Environments
Controlled experimentation with agents: models and implementations
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Trace queries for safety requirements in high assurance systems
REFSQ'12 Proceedings of the 18th international conference on Requirements Engineering: foundation for software quality
Agile requirements traceability using domain-specific modelling languages
Proceedings of the 2012 Extreme Modeling Workshop
Hi-index | 0.00 |