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)
Design and test strategies for a safety-critical embedded executive
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
What happens when a medical office information system fails
ACM SIGCAS Computers and Society
Inside risks: a risks-related bookshelf
Communications of the ACM
Issues arising from medical system's failure
ACM SIGSOFT Software Engineering Notes
ICSE '97 Proceedings of the 19th international conference on Software engineering
Experiences Using Lightweight Formal Methods for Requirements Modeling
IEEE Transactions on Software Engineering
NSPW '97 Proceedings of the 1997 workshop on New security paradigms
Looking into safety with the safety and security Rapporteur group
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Integrating obstacles in goal-driven requirements engineering
Proceedings of the 20th international conference on Software engineering
Toward safe reuse of product family specifications
SSR '99 Proceedings of the 1999 symposium on Software reusability
Safety analysis of Hawk In Flight monitor
Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
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
An impact analysis method for safety-critical user interface design
ACM Transactions on Computer-Human Interaction (TOCHI) - Special issue on interface design for safety-critical interactive systems: when there is no room for user error
Intent Specifications: An Approach to Building Human-Centered Specifications
IEEE Transactions on Software Engineering
The ethics of safety-critical systems
Communications of the ACM
Software reliability and dependability: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
Completeness in formal specification language design for process-control systems
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Eliminating Exception Handling Errors with Dependability Cases: A Comparative, Empirical Study
IEEE Transactions on Software Engineering
A real world object modeling method for creating simulation environment of real-time systems
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
HCI in the global knowledge-based economy: designing to support worker adaptation
ACM Transactions on Computer-Human Interaction (TOCHI) - Special issue on human-computer interaction in the new millennium, Part 2
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Safety critical systems based on formal models
ACM SIGAda Ada Letters - special issue on presentations from SIGAda 2000
Survivability analysis of networked systems
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Automated deductive requirements analysis of critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Information security is information risk management
Proceedings of the 2001 workshop on New security paradigms
Limits in modelling evolving computer-based systems
Proceedings of the 2002 ACM symposium on Applied computing
Contradictions and critical issues during system evolution
Proceedings of the 2002 ACM symposium on Applied computing
Design criteria to classified information systems numerically
Sec '01 Proceedings of the 16th international conference on Information security: Trusted information: the new decade challenge
Towards model based prediction of human error rates in interactive systems
AUIC '01 Proceedings of the 2nd Australasian conference on User interface
Extending and evaluating a pattern language for safety-critical user interfaces
SCS '01 Proceedings of the Sixth Australian workshop on Safety critical systems and software - Volume 3
Modelling erroneous operator behaviours for an air-traffic control task
AUIC '02 Proceedings of the Third Australasian conference on User interfaces - Volume 7
Dependability of embedded systems
Proceedings of the 24th International Conference on Software Engineering
The essence of information assurance and its implications for the Ada community
Proceedings of the 2002 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies
Requirements analysis using forward and backward search
Annals of Software Engineering
CREWS-SAVRE: Scenarios for Acquiring and Validating Requirements
Automated Software Engineering
Benefits and Effective Application of Software Engineering Standards
Software Quality Control
Real-Time Systems - Special issue on safety-critical systems
A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems*
Real-Time Systems
Software Safety Certification: A Multidomain Problem
IEEE Software
Certifying Software for High-Assurance Environments
IEEE Software
Crazy Clocks: Counterintuitive Consequences of "Intelligent" Automation
IEEE Intelligent Systems
Guest Editors' Introduction: Human-Centered Computing at NASA
IEEE Intelligent Systems
Model Checking Large Software Specifications
IEEE Transactions on Software Engineering
Understanding BGP misconfiguration
Proceedings of the 2002 conference on Applications, technologies, architectures, and protocols for computer communications
Preventing user errors by systematic analysis of deviations from the system task model
International Journal of Human-Computer Studies
Work domain analysis and sensors II: pasteurizer II case study
International Journal of Human-Computer Studies
IEEE Transactions on Software Engineering
Applying RT-Z to Develop Safety-Critical Systems
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Certifying KBSs: Using CommonKADS to Provide Supporting Evidence for Fitness for Purpose of KBSs
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
Intent Specifications: An Approach to Building Human-Centered Specifications
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Safety Analysis of Requirements for a Product Family
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Requirements Definition for Survivable Network Systems
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Viewpoints for Requirements Elicitation: A Practical Approach
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Model Checking Operator Procedures
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Building Software Recovery Assertions from a Fault Injection-based Propagation Analysis
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Building Formal Requirements Models for Reliable Software
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Upgrading Embedded Software in the Field: Dependability and Survivability
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Software Hazard and Safety Analysis
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Requirements Evolution from Process to Product Oriented Management
PROFES '01 Proceedings of the Third International Conference on Product Focused Software Process Improvement
Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Refinement of Safety-Related Hazards into Verifiable Code Assertions
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Linking Hazard Analysis to Formal Specification and Design in B
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Patterns for Safer Human-Computer Interfaces
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
The Integration of Safety and Security Requirements
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Comparing Fault Trees and Bayesian Networks for Dependability Analysis
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
System and Software Safety Analysis for the ERA Control Computer
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Dependability Evaluation: Model and Method Based on Activity Theory
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Causal Reasoning about Aircraft Accidents
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Programmable Electronic System Design & Verification Utilizing DFM
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
A Survey on Safety-Critical Multicast Networking
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Deriving Quantified Safety Requirements in Complex Systems
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Risk Ordering of States in Safecharts
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Forensic Software Engineering and the Need for New Approaches to Accident Investigation
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Empirical Assessment of Software On-Line Diagnostics Using Fault Injection
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Controlling Requirements Evolution: An Avionics Case Study
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Checking General Safety Criteria on UML Statecharts
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Designing Safety into Medical Decisions and Clinical Processes
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Analysis of Incidents Involving Interactive Systems
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Formal Support for Fault Modelling and Analysis
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Analyzing Human-Machine Interactions in Safety-Critical Systems: A Basic Applicable Approach
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Safety Patterns - The Key to Formal Specification of Safety Requirements
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Architectural Considerations in the Certification of Modular Systems
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
A Strategy for Improving the Efficiency of Procedure Verification
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
Analysing the Safety of a Software Development Process
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
How AI Can Help SE; or: Randomized Search Not Considered Harmful
AI '01 Proceedings of the 14th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence
Safety Analysis in Formal Specification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Difficulties Measuring Software Risk in an Industrial Environment
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Hazard Analysis in Object Oriented Design of Dependable Systems
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
IFL '00 Selected Papers from the 12th International Workshop on Implementation of Functional Languages
Hazard Analysis in Formal Specification
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
A search-based automated test-data generation framework for safety-critical systems
Systems engineering for business process change
Reliability assessment through probabilistic refinement
Nordic Journal of Computing
Computing systems dependability
Proceedings of the 25th International Conference on Software Engineering
Proceedings of the 25th International Conference on Software Engineering
Synthesizing Distributed Controllers for the Safe Operation of ConnectedSpaces
PERCOM '03 Proceedings of the First IEEE International Conference on Pervasive Computing and Communications
Fault Tree Analysis for Software Design
SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)
A Rigorous Approach to Reviewing Formal Specifications
SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)
Independent validation of specifications: a coordination headache
WET-ICE '96 Proceedings of the 5th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE'96)
The Industrial Use of Formal Methods: Was Darwin Right?
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
A methodology for hiding knowledge in databases
CRPIT '14 Proceedings of the IEEE international conference on Privacy, security and data mining - Volume 14
Computer-based safety critical systems in defence: Def (Aust) 5679
SCS '02 Proceedings of the seventh Australian workshop conference on Safety critical systems and software 2002 - Volume 15
Quality assessment of knowledge-based software: some certification considerations
ISESS '97 Proceedings of the 3rd International Software Engineering Standards Symposium (ISESS '97)
Applying Adaptive Safety Analysis Techniques
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Extending Fault Trees with an AND-THEN Gate
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Risk Bands - A Novel Feature of Safecharts
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Requirements interaction management
ACM Computing Surveys (CSUR)
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
Operational anomalies as a cause of safety-critical requirements evolution
Journal of Systems and Software
Software Quality—Prevention versus Cure?
Software Quality Control
How much is "enough"? Risk in Trust-Based Access Control
WETICE '03 Proceedings of the Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
Modeling sociotechnical specifics using architectural concepts
Proceedings of the 2004 ACM symposium on Applied computing
Reliable and accountable system design
The Knowledge Engineering Review
Increased Information Flow Needs for High-Assurance Composite Evaluations
IWIA '04 Proceedings of the Second IEEE International Information Assurance Workshop (IWIA'04)
Elaborating Security Requirements by Construction of Intentional Anti-Models
Proceedings of the 26th International Conference on Software Engineering
An Introduction to Computing System Dependability
Proceedings of the 26th International Conference on Software Engineering
Testing Software Requirements with Z and Statecharts Applied to an Embedded Control Systemt0t1
Software Quality Control
A metrics system for quantifying operational coupling in embedded computer control systems
Proceedings of the 4th ACM international conference on Embedded software
Safe Automotive Software Development
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Safety Tactics for Software Architecture Design
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
A Systems-Theoretic Approach to Safety in Software-Intensive Systems
IEEE Transactions on Dependable and Secure Computing
Model-Based Evaluation: From Dependability to Security
IEEE Transactions on Dependable and Secure Computing
Reasoning about partial goal satisfaction for requirements and design engineering
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Agents of responsibility in software vulnerability processes
Ethics and Information Technology
Journal of Systems and Software - Special issue: Applications of statistics in software engineering
Personal and Ubiquitous Computing
Complexity measurement of data and control flow
ACM SIGSOFT Software Engineering Notes
Software safety: current status and future direction
ACM SIGSOFT Software Engineering Notes
A formal software requirements specification method for digital nuclear plant protection systems
Journal of Systems and Software - Special issue: Automated component-based software engineering
Using resources from the web in computer science courses
Journal of Computing Sciences in Colleges
Integrating views on ethical behavior for computer professionals in an interdisciplinary environment
ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
Scenario-Based Assessment of Nonfunctional Requirements
IEEE Transactions on Software Engineering
Security as a safety issue in rail communications
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
HazLog: tool support for hazard management
SCS '04 Proceedings of the 9th Australian workshop on Safety critical systems and software - Volume 47
A product-line requirements approach to safe reuse in multi-agent systems
SELMAS '05 Proceedings of the fourth international workshop on Software engineering for large-scale multi-agent systems
Simple software cost analysis: safe or unsafe?
PROMISE '05 Proceedings of the 2005 workshop on Predictor models in software engineering
Failure modelling in software architecture design for safety
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
Representing design tradeoffs in safety-critical systems
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
Software Reuse Research: Status and Future
IEEE Transactions on Software Engineering
Random testing of interrupt-driven software
Proceedings of the 5th ACM international conference on Embedded software
Critical perspectives on dependability: an older person's experience of assistive technology
Proceedings of the 4th decennial conference on Critical computing: between sense and sensibility
PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool
Automated Software Engineering
Formal Fault Tree Analysis of State Transition Systems
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Formal Analysis of Human-computer Interaction using Model-checking
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
EACE '05 Proceedings of the 2005 annual conference on European association of cognitive ergonomics
Problem frame transformations: deriving specifications from requirements
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Meta-informatics and ethical issues in computing
Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education
Software faults: a quantifiable definition
Advances in Engineering Software
Issues in the application of software safety standards
SCS '05 Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
Analysis of software test item generation: comparison between high skilled and low skilled engineers
Journal of Computer Science and Technology
Performance modeling of critical event management for ubiquitous computing applications
Proceedings of the 9th ACM international symposium on Modeling analysis and simulation of wireless and mobile systems
Trustworthy software systems: a discussion of basic concepts and terminology
ACM SIGSOFT Software Engineering Notes
Virtual object specification for usable virtual environments
OZCHI '06 Proceedings of the 18th Australia conference on Computer-Human Interaction: Design: Activities, Artefacts and Environments
User help techniques for usable security
Proceedings of the 2007 symposium on Computer human interaction for the management of information technology
Integrated Functional D Executional Modeling Of Software Using Web-Based Databases
Journal of Integrated Design & Process Science
Handling Safety-Related Feature Interaction in Safety-Critical Product Lines
ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
Why Johnny can't encrypt: a usability evaluation of PGP 5.0
SSYM'99 Proceedings of the 8th conference on USENIX Security Symposium - Volume 8
Safety and Software Intensive Systems: Challenges Old and New
FOSE '07 2007 Future of Software Engineering
Model Checking Safety-Critical Systems Using Safecharts
IEEE Transactions on Computers
Interrupt Verification via Thread Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Model-Based Failure-Management for Automotive Software
SEAS '07 Proceedings of the 4th International Workshop on Software Engineering for Automotive Systems
Failures in complex systems: case studies, causes, and possible remedies
ACM SIGCSE Bulletin
On proof-test intervals for safety functions implemented in software
SCS '06 Proceedings of the eleventh Australian workshop on Safety critical systems and software - Volume 69
Dynamic design and evaluation of software architecture in critical systems development
SCS '06 Proceedings of the eleventh Australian workshop on Safety critical systems and software - Volume 69
Safety, software architecture and MIL-STD-1760
SCS '06 Proceedings of the eleventh Australian workshop on Safety critical systems and software - Volume 69
MOAS'07 Proceedings of the 18th conference on Proceedings of the 18th IASTED International Conference: modelling and simulation
Software vulnerability due to practical drift
Ethics and Information Technology
Efficient memory safety for TinyOS
Proceedings of the 5th international conference on Embedded networked sensor systems
A survey of linguistic structures for application-level fault tolerance
ACM Computing Surveys (CSUR)
Towards a user-centred road safety management method based on road traffic simulation
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
International Journal of Information and Computer Security
Usability evaluation methods in practice: understanding the context in which they are embedded
Proceedings of the 14th European conference on Cognitive ergonomics: invent! explore!
A framework for software safety analysis with rough sets
SEPADS'05 Proceedings of the 4th WSEAS International Conference on Software Engineering, Parallel & Distributed Systems
Using software engineering technology to improve the quality of medical processes
Companion of the 30th international conference on Software engineering
Modelling feature interactions in the automotive domain
Proceedings of the 2008 international workshop on Models in software engineering
A context analysis method for constructing reliable embedded systems
Proceedings of the 2008 international workshop on Models in software engineering
Implementable requirements in problem orientation
Proceedings of the 3rd international workshop on Applications and advances of problem frames
A risk-based approach to supporting the operator role in complex monitoring systems
SCS '07 Proceedings of the twelfth Australian workshop on Safety critical systems and software and safety-related programmable systems - Volume 86
Measuring railway signals passed at danger
SCS '07 Proceedings of the twelfth Australian workshop on Safety critical systems and software and safety-related programmable systems - Volume 86
A review of accident modelling approaches for complex socio-technical systems
SCS '07 Proceedings of the twelfth Australian workshop on Safety critical systems and software and safety-related programmable systems - Volume 86
SCS '07 Proceedings of the twelfth Australian workshop on Safety critical systems and software and safety-related programmable systems - Volume 86
Deriving event-based transition systems from goal-oriented requirements models
Automated Software Engineering
A Case for Specification Validation
Verified Software: Theories, Tools, Experiments
SafeSpection --- A Systematic Customization Approach for Software Hazard Identification
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Resilience in the Aviation System
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Applying Safety Goals to a New Intensive Care Workstation System
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
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
Towards reasoning about teleo-reactive programs for robust real-time systems
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
On the requirements of new software development
International Journal of Business Intelligence and Data Mining
USAB '08 Proceedings of the 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society on HCI and Usability for Education and Work
Identifying Phenotypes and Genotypes: A Case Study Evaluating an In-Car Navigation System
Engineering Interactive Systems
A framework for software safety in safety-critical systems
ACM SIGSOFT Software Engineering Notes
A Multidisciplinary Framework For Resilence To Disasters And Disruptions
Journal of Integrated Design & Process Science
Extending Problem Frames to deal with stakeholder problems: An Agent- and Goal-Oriented Approach
Proceedings of the 2009 ACM symposium on Applied Computing
Dynamically Detecting Faults via Integrity Constraints
Methods, Models and Tools for Fault Tolerance
DREP: A Requirements Engineering Process for Dependable Reactive Systems
Methods, Models and Tools for Fault Tolerance
Proceedings of the 2006 conference on Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering
Towards Compositional Safety Analysis via Semantic Representation of Component Failure Behaviour
Proceedings of the 2008 conference on Knowledge-Based Software Engineering: Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering
Continuous open design of dependable systems for critical infrastructure
FLOSS '09 Proceedings of the 2009 ICSE Workshop on Emerging Trends in Free/Libre/Open Source Software Research and Development
Toward a Catalogue of Architectural Bad Smells
QoSA '09 Proceedings of the 5th International Conference on the Quality of Software Architectures: Architectures for Adaptive Software Systems
A Regulatory-Based Approach to Safety Analysis of Unmanned Aircraft Systems
EPCE '09 Proceedings of the 8th International Conference on Engineering Psychology and Cognitive Ergonomics: Held as Part of HCI International 2009
ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
A Certified Data Race Analysis for a Java-like Language
TPHOLs '09 Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics
Feature Interaction Detection in the Automotive Domain
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Integrated safety analysis of software-controlled critical systems
ACM SIGSOFT Software Engineering Notes
MS '07 The 18th IASTED International Conference on Modelling and Simulation
A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Early Verification and Validation of Mission Critical Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Risk management capability model for the development of medical device software
Software Quality Control
Conformance notions for the coordination of interaction components
Science of Computer Programming
Needs analysis: the case of flexible constraints and mutable boundaries
CHI '10 Extended Abstracts on Human Factors in Computing Systems
DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification
On the application of the concept of dependability for design and analysis of vision systems
ICVS'03 Proceedings of the 3rd international conference on Computer vision systems
Architecting dependable systems IV
Towards evidence-based architectural design for safety-critical software applications
Architecting dependable systems IV
MetaSelf: an architecture and a development method for dependable self-* systems
Proceedings of the 2010 ACM Symposium on Applied Computing
Application of safety analyses in model driven development
SEUS'07 Proceedings of the 5th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Generalizable safety annotations for specification of failure patterns
Software—Practice & Experience
A Bayesian model for predicting reliability of software systems at the architectural level
QoSA'07 Proceedings of the Quality of software architectures 3rd international conference on Software architectures, components, and applications
Model-based failure management for distributed reactive systems
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
RISE'06 Proceedings of the 3rd international conference on Rapid integration of software engineering techniques
Automating verification of cooperation, control, and design in traffic applications
Formal methods and hybrid real-time systems
Fault tree analysis of software-controlled component systems based on second-order probabilities
ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
Safety testing of computerized provider order entry systems
Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care
Defect prediction from static code features: current results, limitations, new approaches
Automated Software Engineering
The design of SafeJML, a specification language for SCJ with support for WCET specification
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
Safety and security in industrial control
Proceedings of the Sixth Annual Workshop on Cyber Security and Information Intelligence Research
Text mining in supporting software systems risk assurance
Proceedings of the IEEE/ACM international conference on Automated software engineering
On the value of learning from defect dense components for software defect prediction
Proceedings of the 6th International Conference on Predictive Models in Software Engineering
Evidence-based validation and improvement of electronic health record systems
Proceedings of the FSE/SDP workshop on Future of software engineering research
Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview
Proceedings of the 1st ACM International Health Informatics Symposium
Context-dependent product line practice for constructing reliable embedded systems
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Software fault tree analysis for product lines
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
How good is your blind spot sampling policy
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Requirements modeling for embedded realtime systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Towards model-based engineering of self-configuring embedded systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Systematic selection of quality attribute techniques
Proceedings of the 11th International Conference on Product Focused Software
Component-based HazOp and fault tree analysis in developing embedded real-time systems with UML
ICECS'05 Proceedings of the 4th WSEAS international conference on Electronics, control and signal processing
Benefits of matching domain structure for planning software: the right stuff
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Efficient protection against data errors in embedded control software
CIMMACS'07 Proceedings of the 6th WSEAS international conference on Computational intelligence, man-machine systems and cybernetics
Software assumptions failure tolerance: role, strategies, and visions
Architecting dependable systems VII
Experiences with text mining large collections of unstructured systems development artifacts at jpl
Proceedings of the 33rd International Conference on Software Engineering
A layered approach for identifying systematic faults of component-based software systems
Proceedings of the 16th international workshop on Component-oriented programming
Verification of safety-critical software
Communications of the ACM
Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile
Software and Systems Modeling (SoSyM)
Verification of Safety-critical Software
Queue - Data
Component-based timed hazard analysis of self-healing systems
Proceedings of the 8th workshop on Assurances for self-adaptive systems
System structure for dependable software systems
ICCSA'11 Proceedings of the 2011 international conference on Computational science and its applications - Volume Part III
Computer-aided PHA, FTA and FMEA for automotive embedded systems
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Web application security based on trusted network connection
WISM'11 Proceedings of the 2011 international conference on Web information systems and mining - Volume Part II
Understanding CS1 students; defective software
Communications of the ACM
Bayesian networks for dependability analysis: an application to digital control reliability
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
Development of a Framework to Determine a Mandatory Safety Baseline for Unmanned Aircraft Systems
Journal of Intelligent and Robotic Systems
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Assessment of hazard identification methods for the automotive domain
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Modeling safety case evolution – examples from the air traffic management domain
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
Results and experiences from an empirical study of fault reports in industrial projects
PROFES'06 Proceedings of the 7th international conference on Product-Focused Software Process Improvement
A systematic approach to developing safe tele-operated robots
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
Managing architectural design decisions for safety-critical software systems
QoSA'06 Proceedings of the Second international conference on Quality of Software Architectures
Safety methods in software process improvement
EuroSPI'05 Proceedings of the 12th European conference on Software Process Improvement
A value-based process for achieving software dependability
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Evolutionary safety analysis: motivations from the air traffic management domain
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Airborne software concerns in civil aviation certification
LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing
Architecting Dependable Systems III
Specification and evaluation of safety properties in a component-based software engineering process
Component-Based Software Development for Embedded Systems
Automatic fault tree derivation from Little-JIL process definitions
SPW/ProSim'06 Proceedings of the 2006 international conference on Software Process Simulation and Modeling
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Sector-Specific information infrastructure issues in the oil, gas, and petrochemical sector
Critical Infrastructure Protection
Trace queries for safety requirements in high assurance systems
REFSQ'12 Proceedings of the 18th international conference on Requirements Engineering: foundation for software quality
A safety-focused verification using software fault trees
Future Generation Computer Systems
Generating obstacle conditions for requirements completeness
Proceedings of the 34th International Conference on Software Engineering
Engineering and verifying requirements for programmable self-assembling nanomachines
Proceedings of the 34th International Conference on Software Engineering
Software quality assurance economics
Information and Software Technology
A method fragments approach to methodologies for engineering self-organizing systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
The AltaRica Formalism for Describing Concurrent Systems
Fundamenta Informaticae
Establishing evidence for safety cases in automotive systems: a case study
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Safety analysis of safety-critical software for nuclear digital protection system
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Modeling, analysis and testing of safety issues: an event-based approach and case study
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Modeling and automatic failure analysis of safety-critical systems using extended safecharts
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
A UML profile for developing airworthiness-compliant (RTCA DO-178B), safety-critical software
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Component-based software certification based on experimental risk assessment
LADC'07 Proceedings of the Third Latin-American conference on Dependable Computing
EuroSPI'07 Proceedings of the 14th European conference on Software Process Improvement
An ontological approach to systematization of SW-FMEA
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
Approximate reliability algebra for architecture optimization
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
Building safer robots: Safety driven control
International Journal of Robotics Research
Cyber-physical systems: imminent challenges
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Automatic SysML-based safety analysis
Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems
Adaptation and Dependability and Their Key Role in Modern Software Engineering
International Journal of Adaptive, Resilient and Autonomic Systems
Threat modeling for security assessment in cyberphysical systems
Proceedings of the Eighth Annual Cyber Security and Information Intelligence Research Workshop
OSDC: adapting ODC for developing more secure software
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Data debugging with continuous testing
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Variability-aware safety analysis using delta component fault diagrams
Proceedings of the 17th International Software Product Line Conference co-located workshops
Safety protocols: a new safety engineering paradigm
ASSC '12 Proceedings of the Australian System Safety Conference - Volume 145
Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology
Context-dependent product line engineering with lightweight formal approaches
Science of Computer Programming
Software health management: a necessity for safety critical systems
Innovations in Systems and Software Engineering
Towards safe information technology in health care
Information-Knowledge-Systems Management - Complex Socio-Technical Systems --Understanding and Influencing Causality of Change
Hi-index | 0.09 |