Mats P. E. Heimdahl

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

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Counterexample-Guided Inductive Repair of Reactive Contracts.

Soha Hussein, Sanjai Rayadurgam, Stephen McCamant, Vaibhav Sharma, Mats P. E. Heimdahl

Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022

2021

Inductive Validity Cores.

Elaheh Ghassabani, Michael W. Whalen, Andrew Gacek, Mats Per Erik Heimdahl

IEEE Trans. Software Eng., 2021

AADL-Based safety analysis using formal methods applied to aircraft digital systems.

Danielle Stewart, Jing Liu, Darren D. Cofer, Mats Per Erik Heimdahl, Michael W. Whalen, Michael Peterson

Reliab. Eng. Syst. Saf., 2021

Composition of Fault Forests.

Danielle Stewart, Michael W. Whalen, Mats Per Erik Heimdahl, Jing Liu, Darren D. Cofer

Proceedings of the Computer Safety, Reliability, and Security, 2021

Black-Box Testing of Deep Neural Networks.

Taejoon Byun, Sanjai Rayadurgam, Mats P. E. Heimdahl

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

2019

Requirements Reference Models Revisited: Accommodating Hierarchy in System Design.

Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl

Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

2018

Contract discovery from black-box components.

Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl

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.

Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl

IEEE Trans. Software Eng., 2017

Proof-based coverage metrics for formal verification.

Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen, Mats Per Erik Heimdahl, Lucas G. Wagner

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Toward Rigorous Object-Code Coverage Criteria.

Taejoon Byun, Vaibhav Sharma, Sanjai Rayadurgam, Stephen McCamant, Mats Per Erik Heimdahl

Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

Domain modeling for development process simulation.

Ian J. De Silva, Sanjai Rayadurgam, Mats Per Erik Heimdahl

Proceedings of the 2017 International Conference on Software and System Process, 2017

Architectural Modeling and Analysis for Safety Engineering.

Danielle Stewart, Michael W. Whalen, Darren D. Cofer, Mats Per Erik Heimdahl

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.

Gregory Gay, Ajitha Rajan, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl

ACM Trans. Softw. Eng. Methodol., 2016

Complete Traceability for Requirements in Satisfaction Arguments.

Anitha Murugesan, Michael W. Whalen, Elaheh Ghassabani, Mats Per Erik Heimdahl

Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Representation of Confidence in Assurance Cases Using the Beta Distribution.

Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee

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.

Kevin D. Wendt, Ken Reily, Mats Per Erik Heimdahl

Proceedings of the 29th IEEE International Conference on Software Engineering Education and Training, 2016

2015

Automated Oracle Data Selection Support.

Gregory Gay, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl

IEEE Trans. Software Eng., 2015

The Risks of Coverage-Directed Test Case Generation.

Gregory Gay, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl

IEEE Trans. Software Eng., 2015

Design Considerations for Modeling Modes in Cyber-Physical Systems.

Anitha Murugesan, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl

IEEE Des. Test, 2015

Representing Confidence in Assurance Case Evidence.

Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee

Proceedings of the Computer Safety, Reliability, and Security, 2015

Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites.

Anitha Murugesan, Michael W. Whalen, Neha Rungta, Oksana Tkachuk, Suzette Person, Mats Per Erik Heimdahl, Dongjiang You

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Hierarchical multi-formalism proofs of cyber-physical systems.

Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee

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).

Dongjiang You, Sanjai Rayadurgam, Mats Per Erik Heimdahl, John Komp, BaekGyu Kim, Oleg Sokolsky

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Efficient observability-based test generation by dynamic symbolic execution.

Dongjiang You, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Gregory Gay

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

A reference model for simulating agile processes.

Ian J. De Silva, Sanjai Rayadurgam, Mats Per Erik Heimdahl

Proceedings of the 2015 International Conference on Software and System Process, 2015

2014

Improving the accuracy of oracle verdicts through automated model steering.

Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Structuring simulink models for verification and reuse.

Michael W. Whalen, Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl

Proceedings of the 6th International Workshop on Modeling in Software Engineering, 2014

Exploring the twin peaks using probabilistic verification techniques.

Anitha Murugesan, Lu Feng, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael W. Whalen, Insup Lee

Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture, 2014

Moving the goalposts: coverage satisfaction is not enough.

Gregory Gay, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl

Proceedings of the 7th International Workshop on Search-Based Software Testing, 2014

Steering model-based oracles to admit real program behaviors.

Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl

Proceedings of the 36th International Conference on Software Engineering, 2014

Analysis and testing of PLEXIL plans.

Jason Biatek, Michael W. Whalen, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael R. Lowry

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.

Anitha Murugesan, Oleg Sokolsky, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Insup Lee

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.

Anitha Murugesan, Mats Per Erik Heimdahl, Michael W. Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, BaekGyu Kim, Oleg Sokolsky, Insup Lee

Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014

Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey.

Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Anaheed Ayoub, Oleg Sokolsky, Insup Lee

Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014

2013

Your "What" Is My "How": Iteration and Hierarchy in System Design.

Michael W. Whalen, Andrew Gacek, Darren D. Cofer, Anitha Murugesan, Mats Per Erik Heimdahl, Sanjai Rayadurgam

IEEE Softw., 2013

Compositional verification of a medical device system.

Anitha Murugesan, Michael W. Whalen, Sanjai Rayadurgam, Mats Per Erik Heimdahl

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

Observable modified Condition/Decision coverage.

Michael W. Whalen, Gregory Gay, Dongjiang You, Mats Per Erik Heimdahl, Matt Staats

Proceedings of the 35th International Conference on Software Engineering, 2013

Modes, features, and state-based modeling for clarity and flexibility.

Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl

Proceedings of the 5th International Workshop on Modeling in Software Engineering, 2013

Modeling and requirements on the physical side of cyber-physical systems.

Mats Per Erik Heimdahl, Lian Duan, Anitha Murugesan, Sanjai Rayadurgam

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.

Jane Cleland-Huang, Mats Per Erik Heimdahl, Jane Huffman Hayes, Robyn R. Lutz, Patrick Maeder

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2012

Your what is my how: Why requirements and architectural design should be iterative.

Michael W. Whalen, Anitha Murugesan, Mats Per Erik Heimdahl

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.

Matt Staats, Gregory Gay, Mats Per Erik Heimdahl

Proceedings of the 34th International Conference on Software Engineering, 2012

On the Danger of Coverage Directed Test Case Generation.

Matt Staats, Gregory Gay, Michael W. Whalen, Mats Per Erik Heimdahl

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.

Mats Per Erik Heimdahl, Gabriele Taentzer

Autom. Softw. Eng., 2011

Better testing through oracle selection.

Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl

Proceedings of the 33rd International Conference on Software Engineering, 2011

Programs, tests, and oracles: the foundations of testing revisited.

Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl

Proceedings of the 33rd International Conference on Software Engineering, 2011

Challenges in the regulatory approval of medical cyber-physical systems.

Oleg Sokolsky, Insup Lee, Mats Per Erik Heimdahl

Proceedings of the 11th International Conference on Embedded Software, 2011

2010

Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness.

Matt Staats, Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl

Proceedings of the Second NASA Formal Methods Symposium, 2010

2009

Flexibility in modeling languages and tools: a call to arms.

Eric Van Wyk, Mats Per Erik Heimdahl

Int. J. Softw. Tools Technol. Transf., 2009

Hardware Supported Flexible Monitoring: Early Results.

Antonia Zhai, Guojin He, Mats Per Erik Heimdahl

Proceedings of the Runtime Verification, 9th International Workshop, 2009

2008

A Software Certification Consortium and its Top 9 Hurdles.

John Hatcliff, Mats Per Erik Heimdahl, Mark Lawford, T. S. E. Maibaum, Alan Wassyng, Fred L. Wurden

Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008

ReqsCov: A Tool for Measuring Test-Adequacy over Requirements.

Matt Staats, Weijia Deng, Ajitha Rajan, Mats Per Erik Heimdahl, Kurt Woodham

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.

Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Partial Translation Verification for Untrusted Code-Generators.

Matthew Staats, Mats Per Erik Heimdahl

Proceedings of the Formal Methods and Software Engineering, 2008

Requirements Coverage as an Adequacy Measure for Conformance Testing.

Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl

Proceedings of the Formal Methods and Software Engineering, 2008

2007

On the effect of test-suite reduction on automatically generated model-based tests.

Mats Per Erik Heimdahl, George Devaraj

Autom. Softw. Eng., 2007

Safety and Software Intensive Systems: Challenges Old and New.

Mats Per Erik Heimdahl

Proceedings of the International Conference on Software Engineering, 2007

Model Validation using Automatically Generated Requirements-Based Tests.

Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Behavioral Fault Modeling for Model-based Safety Analysis.

Anjali Joshi, Mats Per Erik Heimdahl

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Flexible and Extensible Notations for Modeling Languages.

Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk

Proceedings of the Fundamental Approaches to Software Engineering, 2007

2006

Proving the shalls.

Steven P. Miller, Alan C. Tribble, Michael W. Whalen, Mats Per Erik Heimdahl

Int. J. Softw. Tools Technol. Transf., 2006

Coverage metrics for requirements-based testing.

Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller

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.

Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim Menzies

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

Interaction Testing in Model-Based Development: Effect on Model-Coverage.

Renée C. Bryce, Ajitha Rajan, Mats Per Erik Heimdahl

Proceedings of the 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 2006

2005

Deviation Analysis: A New Use of Model Checking.

Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen

Autom. Softw. Eng., 2005

A Case for Specification Validation.

Mats Per Erik Heimdahl

Proceedings of the Verified Software: Theories, 2005

Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier.

Anjali Joshi, Mats Per Erik Heimdahl

Proceedings of the Computer Safety, 2005

Model-Based Testing: Challenges Ahead.

Mats Per Erik Heimdahl

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Coverage-Directed Test Generation with Model Checkers: Challenges and Opportunities.

George Devaraj, Mats Per Erik Heimdahl, Donglin Liang

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.

Mats Per Erik Heimdahl, George Devaraj

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Combination Model Checking: Approach and a Case Study.

Yunja Choi, Mats Per Erik Heimdahl

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Specification Test Coverage Adequacy Criteria = Specification Test Generation Inadequacy Criteria?

Mats Per Erik Heimdahl, George Devaraj, Robert Weber

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.

Jeffrey M. Thompson, Mats Per Erik Heimdahl

Requir. Eng., 2003

Generating MC/DC Adequate Test Sequences Through Model Checking.

Sanjai Rayadurgam, Mats Per Erik Heimdahl

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.

David Owen, Tim Menzies, Mats Per Erik Heimdahl, Jimin Gao

Proceedings of the 28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 2003

NIMBUS: A Tool for Specification Centered Development.

Mats Per Erik Heimdahl, Michael W. Whalen, Jeffrey M. Thompson

Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003

Model Checking Software Requirement Specifications using Domain Reduction Abstraction.

Yunja Choi, Mats Per Erik Heimdahl

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.

Sanjai Rayadurgam, Anjali Joshi, Mats Per Erik Heimdahl

Proceedings of the Formal Methods and Software Engineering, 2003

Proving the Shalls.

Steven P. Miller, Alan C. Tribble, Mats Per Erik Heimdahl

Proceedings of the FME 2003: Formal Methods, 2003

Auto-generating Test Sequences Using Model Checkers: A Case Study.

Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao

Proceedings of the Formal Approaches to Software Testing, 2003

2002

Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints.

Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl

Requir. Eng., 2002

Guest Editor's Introduction.

Mats Per Erik Heimdahl

Autom. Softw. Eng., 2002

Deviation Analysis Through Model Checking.

Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

Model Checking RSML-e Requirements.

Yunja Choi, Mats Per Erik Heimdahl

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.

Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl

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.

Jeffrey M. Thompson, Mats Per Erik Heimdahl

Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

Test-Sequence Generation from Formal Requirement Models.

Sanjai Rayadurgam, Mats Per Erik Heimdahl

Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001

Coverage Based Test-Case Generation Using Model Checkers.

Sanjai Rayadurgam, Mats Per Erik Heimdahl

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.

Mats Per Erik Heimdahl, Barbara J. Czerny

Sci. Comput. Program., 2000

Specifying and Analysing System-Level Inter-Component Interfaces.

Mats Per Erik Heimdahl, Jeffrey M. Thompson

Requir. Eng., 2000

Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study.

Jeffrey M. Thompson, Michael W. Whalen, Mats Per Erik Heimdahl

J. Univers. Comput. Sci., 2000

1999

An Integrated Development Environment for Prototyping Safety Critical Systems.

Jeffrey M. Thompson, Mats Per Erik Heimdahl

Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping (RSP 1999), 1999

An Approach to Automatic Code Generation for Safety-Critical Systems.

Michael W. Whalen, Mats Per Erik Heimdahl

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

Enhancing Annotation Visibility for Software Inspection.

Michael Stein, Mats Per Erik Heimdahl, John Riedl

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

On the Requirements of High-Integrity Code Generation.

Michael W. Whalen, Mats Per Erik Heimdahl

Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

Identifying Domain Axioms Using Binary Decision Diagrams.

Barbara J. Czerny, Mats Per Erik Heimdahl

Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

Specification-Based Prototyping for Embedded Systems.

Jeffrey M. Thompson, Mats Per Erik Heimdahl, Steven P. Miller

Proceedings of the Software Engineering, 1999

Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future.

Nancy G. Leveson, Mats Per Erik Heimdahl, Jon Damon Reese

Proceedings of the Software Engineering, 1999

1998

Specification and Analysis of Intercomponent Communication.

Mats Per Erik Heimdahl, Jeffrey M. Thompson, Barbara J. Czerny

Computer, 1998

Formal Methods For Developing High Assurance Computer Systems: Working Group Report.

Mats Per Erik Heimdahl, Constance L. Heitmeyer

Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

Automated Integrative Analysis of State-based Requirements.

Barbara J. Czerny, Mats Per Erik Heimdahl

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

Checking properties of safety critical specifications using efficient decision procedures.

David Y. W. Park, Jens U. Skakkebæk, Mats Per Erik Heimdahl, Barbara J. Czerny, David L. Dill

Proceedings of the Second Workshop on Formal Methods in Software Practice, 1998

On the Effectiveness of Slicing Hierarchical State Machines: A Case Study.

Mats Per Erik Heimdahl, Jeffrey M. Thompson, Michael W. Whalen

Proceedings of the 24th EUROMICRO '98 Conference, 1998

A General Framework for Interconnecting Annotations of Software Systems.

Michael Stein, Mats Per Erik Heimdahl, John Riedl

Proceedings of the COMPSAC '98, 1998

1997

Software Requirements Specification and System Safety.

Mats Per Erik Heimdahl, Jon Damon Reese

Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), 1997

Generating Code from Hierarchical State-Based Requirements.

Mats Per Erik Heimdahl, David J. Keenan

Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), 1997

Specification and Analysis of System Level Inter-Component Communication.

Mats Per Erik Heimdahl, Jeffrey M. Thompson

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

Verifying Communication Constraints in RSML Specifications.

Mats Per Erik Heimdahl

Proceedings of the 2nd High-Assurance Systems Engineering Workshop (HASE '97), 1997

Reduction and Slicing of Hierarchical State Machines.

Mats Per Erik Heimdahl, Michael W. Whalen

Proceedings of the Software Engineering, 1997

1996

Completeness and Consistency in Hierarchical State-Based Requirements.

Mats Per Erik Heimdahl, Nancy G. Leveson

IEEE Trans. Software Eng., 1996

Experiences and Lessons from the Analysis of TCAS II.

Mats Per Erik Heimdahl

Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

Using PVS to analyze hierarchical state-based requirements for completeness and consistency.

Mats Per Erik Heimdahl, Barbara J. Czerny

Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996

1995

Completeness and Consistency Analysis of State-Based Requirements.

Mats Per Erik Heimdahl, Nancy G. Leveson

Proceedings of the 17th International Conference on Software Engineering, 1995

1994

Requirements Specification for Process-Control Systems.

Nancy G. Leveson, Mats Per Erik Heimdahl, Holly Hildreth, Jon Damon Reese

IEEE Trans. Software Eng., 1994

1991

Software Requirements Analysis for Real-Time Process-Control Systems.

Matthew S. Jaffe, Nancy G. Leveson, Mats Per Erik Heimdahl, Bonnie E. Melhart

IEEE Trans. Software Eng., 1991

Experiences using statecharts for a system requirements specification.

Nancy G. Leveson, Mats P. E. Heimdahl, Holly Hildreth, Jon Damon Reese, R. Ortega

Proceedings of the 6th International Workshop on Software Specification and Design, 1991