Specification and Checking of Software Contracts for Conditional Information Flow
FM '08 Proceedings of the 15th international symposium on Formal Methods
Runtime Verification
A direct path to dependable software
Communications of the ACM - A Direct Path to Dependable Software
Algorithms for Automatically Computing the Causal Paths of Failures
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
A Software Certification Consortium and its Top 9 Hurdles
Electronic Notes in Theoretical Computer Science (ENTCS)
An axiom system for sequence-based specification
Theoretical Computer Science
From a federated to an integrated automotive architecture
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Medical cyber physical systems
Proceedings of the 47th Design Automation Conference
Communications of the ACM
Engineering high confidence medical device software
ACM SIGBED Review - Special Issue on the 2nd Joint Workshop on High Confidence Medical Devices, Software, and Systems (HCMDSS) and Medical Device Plug-and-Play (MD PnP) Interoperability
Separation of concerns for dependable software design
Proceedings of the FSE/SDP workshop on Future of software engineering research
Evidence-based software production
Proceedings of the FSE/SDP workshop on Future of software engineering research
Needed foundations for assuring the desirable behavior of software-reliant systems
Proceedings of the FSE/SDP workshop on Future of software engineering research
Challenges of a project-based learning approach towards requirement engineering
SEPADS'11 Proceedings of the 10th WSEAS international conference on Software engineering, parallel and distributed systems
A Metric for Quantifying Similarity between Timing Constraint Sets in Real-Time Systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A lightweight code analysis and its role in evaluation of a dependability case
Proceedings of the 33rd International Conference on Software Engineering
Software certification: is there a case against safety cases?
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
Proceedings of the 2011 Conference of the Center for Advanced Studies on Collaborative Research
Trace queries for safety requirements in high assurance systems
REFSQ'12 Proceedings of the 18th international conference on Requirements Engineering: foundation for software quality
Reducing test effort: A systematic mapping study on existing approaches
Information and Software Technology
AdvoCATE: an assurance case automation toolset
SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
Modeling and analysis of CPU usage in safety-critical embedded systems to support stress testing
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Model-based, event-driven programming paradigm for interactive web applications
Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software
Contracting for assurance of military aviation software systems
ASSC '12 Proceedings of the Australian System Safety Conference - Volume 145
Software health management: a necessity for safety critical systems
Innovations in Systems and Software Engineering
| Hi-index | 0.02 |