Mats P. E. Heimdahl

According to our database1, Mats P. E. Heimdahl authored at least 116 papers between 1991 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Inductive Validity Cores.
IEEE Trans. Software Eng., 2021

AADL-Based safety analysis using formal methods applied to aircraft digital systems.
Reliab. Eng. Syst. Saf., 2021

Composition of Fault Forests.
Proceedings of the Computer Safety, Reliability, and Security, 2021

Counterexample Guided Inductive Repair of Reactive Contracts.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Black-Box Testing of Deep Neural Networks.
Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

2019
Requirements Reference Models Revisited: Accommodating Hierarchy in System Design.
Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

2018
Contract discovery from black-box components.
Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, 2018

2017
Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors.
IEEE Trans. Software Eng., 2017

Proof-based coverage metrics for formal verification.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Toward Rigorous Object-Code Coverage Criteria.
Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

Domain modeling for development process simulation.
Proceedings of the 2017 International Conference on Software and System Process, 2017

Architectural Modeling and Analysis for Safety Engineering.
Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

2016
The Effect of Program and Model Structure on the Effectiveness of MC/DC Test Adequacy Coverage.
ACM Trans. Softw. Eng. Methodol., 2016

Complete Traceability for Requirements in Satisfaction Arguments.
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Representation of Confidence in Assurance Cases Using the Beta Distribution.
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

First Steps towards Exporting Education: Software Engineering Education Delivered Online to Professionals.
Proceedings of the 29th IEEE International Conference on Software Engineering Education and Training, 2016

2015
Automated Oracle Data Selection Support.
IEEE Trans. Software Eng., 2015

The Risks of Coverage-Directed Test Case Generation.
IEEE Trans. Software Eng., 2015

Design Considerations for Modeling Modes in Cyber-Physical Systems.
IEEE Des. Test, 2015

Representing Confidence in Assurance Case Evidence.
Proceedings of the Computer Safety, Reliability, and Security, 2015

Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Hierarchical multi-formalism proofs of cyber-physical systems.
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

Executing Model-Based Tests on Platform-Specific Implementations (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Efficient observability-based test generation by dynamic symbolic execution.
Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

A reference model for simulating agile processes.
Proceedings of the 2015 International Conference on Software and System Process, 2015

2014
Improving the accuracy of oracle verdicts through automated model steering.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Structuring simulink models for verification and reuse.
Proceedings of the 6th International Workshop on Modeling in Software Engineering, 2014

Exploring the twin peaks using probabilistic verification techniques.
Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture, 2014

Moving the goalposts: coverage satisfaction is not enough.
Proceedings of the 7th International Workshop on Search-Based Software Testing, 2014

Steering model-based oracles to admit real program behaviors.
Proceedings of the 36th International Conference on Software Engineering, 2014

Analysis and testing of PLEXIL plans.
Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014

Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

From Requirements to Code: Model Based Development of a Medical Cyber Physical System.
Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014

Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey.
Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014

2013
Your "What" Is My "How": Iteration and Hierarchy in System Design.
IEEE Softw., 2013

Compositional verification of a medical device system.
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

Observable modified Condition/Decision coverage.
Proceedings of the 35th International Conference on Software Engineering, 2013

Modes, features, and state-based modeling for clarity and flexibility.
Proceedings of the 5th International Workshop on Modeling in Software Engineering, 2013

Modeling and requirements on the physical side of cyber-physical systems.
Proceedings of the 2nd International Workshop on the Twin Peaks of Requirements and Architecture, 2013

2012
Trace Queries for Safety Requirements in High Assurance Systems.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2012

Your what is my how: Why requirements and architectural design should be iterative.
Proceedings of the First IEEEInternational Workshop on the Twin Peaks of Requirements and Architecture, 2012

Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing.
Proceedings of the 34th International Conference on Software Engineering, 2012

On the Danger of Coverage Directed Test Case Generation.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011
Guest editorial: special issue on selected topics in automated software engineering - Specification mining and defect detection.
Autom. Softw. Eng., 2011

Better testing through oracle selection.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Programs, tests, and oracles: the foundations of testing revisited.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Challenges in the regulatory approval of medical cyber-physical systems.
Proceedings of the 11th International Conference on Embedded Software, 2011

2010
Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness.
Proceedings of the Second NASA Formal Methods Symposium, 2010

2009
Flexibility in modeling languages and tools: a call to arms.
Int. J. Softw. Tools Technol. Transf., 2009

Hardware Supported Flexible Monitoring: Early Results.
Proceedings of the Runtime Verification, 9th International Workshop, 2009

2008
A Software Certification Consortium and its Top 9 Hurdles.
Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008

ReqsCov: A Tool for Measuring Test-Adequacy over Requirements.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

The effect of program and model structure on mc/dc test adequacy coverage.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Partial Translation Verification for Untrusted Code-Generators.
Proceedings of the Formal Methods and Software Engineering, 2008

Requirements Coverage as an Adequacy Measure for Conformance Testing.
Proceedings of the Formal Methods and Software Engineering, 2008

2007
On the effect of test-suite reduction on automatically generated model-based tests.
Autom. Softw. Eng., 2007

Safety and Software Intensive Systems: Challenges Old and New.
Proceedings of the International Conference on Software Engineering, 2007

Model Validation using Automatically Generated Requirements-Based Tests.
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Behavioral Fault Modeling for Model-based Safety Analysis.
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Flexible and Extensible Notations for Modeling Languages.
Proceedings of the Fundamental Approaches to Software Engineering, 2007

2006
Proving the shalls.
Int. J. Softw. Tools Technol. Transf., 2006

Coverage metrics for requirements-based testing.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

On the Distribution of Property Violations in Formal Models: An Initial Study.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

Interaction Testing in Model-Based Development: Effect on Model-Coverage.
Proceedings of the 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 2006

2005
Deviation Analysis: A New Use of Model Checking.
Autom. Softw. Eng., 2005

A Case for Specification Validation.
Proceedings of the Verified Software: Theories, 2005

Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier.
Proceedings of the Computer Safety, 2005

Model-Based Testing: Challenges Ahead.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Coverage-Directed Test Generation with Model Checkers: Challenges and Opportunities.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004
Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing.
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Combination Model Checking: Approach and a Case Study.
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Specification Test Coverage Adequacy Criteria = Specification Test Generation Inadequacy Criteria?
Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

2003
Structuring product family requirements for n-dimensional and hierarchical product lines.
Requir. Eng., 2003

Generating MC/DC Adequate Test Sequences Through Model Checking.
Proceedings of the 28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 2003

On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate.
Proceedings of the 28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 2003

NIMBUS: A Tool for Specification Centered Development.
Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003

Model Checking Software Requirement Specifications using Domain Reduction Abstraction.
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language.
Proceedings of the Formal Methods and Software Engineering, 2003

Proving the Shalls.
Proceedings of the FME 2003: Formal Methods, 2003

Auto-generating Test Sequences Using Model Checkers: A Case Study.
Proceedings of the Formal Approaches to Software Testing, 2003

2002
Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints.
Requir. Eng., 2002

Guest Editor's Introduction.
Autom. Softw. Eng., 2002

Deviation Analysis Through Model Checking.
Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

Model Checking RSML-e Requirements.
Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002

2001
Automatic abstraction for model checking software systems with interrelated numeric constraints.
Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

Extending the Product Family Approach to Support n-Dimensional and Hierarchical Product Lines.
Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

Test-Sequence Generation from Formal Requirement Models.
Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001

Coverage Based Test-Case Generation Using Model Checkers.
Proceedings of the 8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 2001

2000
On the analysis needs when verifying state-based software requirements: an experience report.
Sci. Comput. Program., 2000

Specifying and Analysing System-Level Inter-Component Interfaces.
Requir. Eng., 2000

Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study.
J. Univers. Comput. Sci., 2000

1999
An Integrated Development Environment for Prototyping Safety Critical Systems.
Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping (RSP 1999), 1999

An Approach to Automatic Code Generation for Safety-Critical Systems.
Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

Enhancing Annotation Visibility for Software Inspection.
Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

On the Requirements of High-Integrity Code Generation.
Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

Identifying Domain Axioms Using Binary Decision Diagrams.
Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

Specification-Based Prototyping for Embedded Systems.
Proceedings of the Software Engineering, 1999

Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future.
Proceedings of the Software Engineering, 1999

1998
Specification and Analysis of Intercomponent Communication.
Computer, 1998

Formal Methods For Developing High Assurance Computer Systems: Working Group Report.
Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

Automated Integrative Analysis of State-based Requirements.
Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

Checking properties of safety critical specifications using efficient decision procedures.
Proceedings of the Second Workshop on Formal Methods in Software Practice, 1998

On the Effectiveness of Slicing Hierarchical State Machines: A Case Study.
Proceedings of the 24th EUROMICRO '98 Conference, 1998

A General Framework for Interconnecting Annotations of Software Systems.
Proceedings of the COMPSAC '98, 1998

1997
Software Requirements Specification and System Safety.
Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), 1997

Generating Code from Hierarchical State-Based Requirements.
Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), 1997

Specification and Analysis of System Level Inter-Component Communication.
Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

Verifying Communication Constraints in RSML Specifications.
Proceedings of the 2nd High-Assurance Systems Engineering Workshop (HASE '97), 1997

Reduction and Slicing of Hierarchical State Machines.
Proceedings of the Software Engineering, 1997

1996
Completeness and Consistency in Hierarchical State-Based Requirements.
IEEE Trans. Software Eng., 1996

Experiences and Lessons from the Analysis of TCAS II.
Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

Using PVS to analyze hierarchical state-based requirements for completeness and consistency.
Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996

1995
Completeness and Consistency Analysis of State-Based Requirements.
Proceedings of the 17th International Conference on Software Engineering, 1995

1994
Requirements Specification for Process-Control Systems.
IEEE Trans. Software Eng., 1994

1991
Software Requirements Analysis for Real-Time Process-Control Systems.
IEEE Trans. Software Eng., 1991

Experiences using statecharts for a system requirements specification.
Proceedings of the 6th International Workshop on Software Specification and Design, 1991


  Loading...