Mats Per Erik Heimdahl

117 papers A* 18A 12B 9C 11Misc 1Journal 23Unranked 42

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	AADL-Based safety analysis using formal methods applied to aircraft digital systems. Reliab. Eng. Syst. Saf. Danielle Stewart, Jing Liu, Darren D. Cofer, Mats Per Erik Heimdahl, Michael W. Whalen, Michael Peterson
2021	B	`conf`	Composition of Fault Forests. SAFECOMP Danielle Stewart, Michael W. Whalen, Mats Per Erik Heimdahl, Jing Liu, Darren D. Cofer
2021	A*	`conf`	Counterexample Guided Inductive Repair of Reactive Contracts. ASE Soha Hussein, Vaibhav Sharma, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2021	J	`jnl`	Inductive Validity Cores. IEEE Trans. Software Eng. Elaheh Ghassabani, Michael W. Whalen, Andrew Gacek, Mats Per Erik Heimdahl
2019	A	`conf`	Requirements Reference Models Revisited: Accommodating Hierarchy in System Design. RE Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2018	—	`conf`	Contract discovery from black-box components. WASPI@ESEC/SIGSOFT FSE Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2017	—	`conf`	Architectural Modeling and Analysis for Safety Engineering. IMBSA Danielle Stewart, Michael W. Whalen, Darren D. Cofer, Mats Per Erik Heimdahl
2017	J	`jnl`	Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors. IEEE Trans. Software Eng. Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2017	B	`conf`	Domain modeling for development process simulation. ICSSP Ian J. De Silva, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2017	A*	`conf`	Proof-based coverage metrics for formal verification. ASE Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen, Mats Per Erik Heimdahl, Lucas G. Wagner
2017	A	`conf`	Toward Rigorous Object-Code Coverage Criteria. ISSRE Taejoon Byun, Vaibhav Sharma, Sanjai Rayadurgam, Stephen McCamant, Mats Per Erik Heimdahl
2016	A	`conf`	Complete Traceability for Requirements in Satisfaction Arguments. RE Anitha Murugesan, Michael W. Whalen, Elaheh Ghassabani, Mats Per Erik Heimdahl
2016	—	`conf`	First Steps towards Exporting Education: Software Engineering Education Delivered Online to Professionals. CSEE&T Kevin D. Wendt, Ken Reily, Mats Per Erik Heimdahl
2016	—	`conf`	Representation of Confidence in Assurance Cases Using the Beta Distribution. HASE Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee
2016	J	`jnl`	The Effect of Program and Model Structure on the Effectiveness of MC/DC Test Adequacy Coverage. ACM Trans. Softw. Eng. Methodol. Gregory Gay, Ajitha Rajan, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl
2015	B	`conf`	A reference model for simulating agile processes. ICSSP Ian J. De Silva, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2015	—	`conf`	Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites. NFM Anitha Murugesan, Michael W. Whalen, Neha Rungta, Oksana Tkachuk, Suzette Person, Mats Per Erik Heimdahl, Dongjiang You
2015	J	`jnl`	Automated Oracle Data Selection Support. IEEE Trans. Software Eng. Gregory Gay, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl
2015	J	`jnl`	Design Considerations for Modeling Modes in Cyber-Physical Systems. IEEE Des. Test Anitha Murugesan, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl
2015	A	`conf`	Efficient observability-based test generation by dynamic symbolic execution. ISSRE Dongjiang You, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Gregory Gay
2015	A*	`conf`	Executing Model-Based Tests on Platform-Specific Implementations (T). ASE Dongjiang You, Sanjai Rayadurgam, Mats Per Erik Heimdahl, John Komp, BaekGyu Kim, Oleg Sokolsky
2015	C	`conf`	Hierarchical multi-formalism proofs of cyber-physical systems. MEMOCODE Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee
2015	—	`conf`	Representing Confidence in Assurance Case Evidence. SAFECOMP Workshops Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee
2015	J	`jnl`	The Risks of Coverage-Directed Test Case Generation. IEEE Trans. Software Eng. Gregory Gay, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl
2014	—	`conf`	Analysis and testing of PLEXIL plans. FormaliSE Jason Biatek, Michael W. Whalen, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael R. Lowry
2014	—	`conf`	Exploring the twin peaks using probabilistic verification techniques. TwinPeaks Anitha Murugesan, Lu Feng, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael W. Whalen, Insup Lee
2014	—	`conf`	From Requirements to Code: Model Based Development of a Medical Cyber Physical System. FHIES/SEHC Anitha Murugesan, Mats Per Erik Heimdahl, Michael W. Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, BaekGyu Kim, Oleg Sokolsky, Insup Lee
2014	A*	`conf`	Improving the accuracy of oracle verdicts through automated model steering. ASE Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2014	—	`conf`	Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety. ICCPS Anitha Murugesan, Oleg Sokolsky, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Insup Lee
2014	—	`conf`	Moving the goalposts: coverage satisfaction is not enough. SBST Gregory Gay, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl
2014	—	`conf`	Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey. FHIES/SEHC Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Anaheed Ayoub, Oleg Sokolsky, Insup Lee
2014	—	`conf`	Steering model-based oracles to admit real program behaviors. ICSE Companion Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2014	C	`conf`	Structuring simulink models for verification and reuse. MiSE Michael W. Whalen, Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2013	—	`conf`	Compositional verification of a medical device system. HILT Anitha Murugesan, Michael W. Whalen, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2013	—	`conf`	Modeling and requirements on the physical side of cyber-physical systems. TwinPeaks@ICSE Mats Per Erik Heimdahl, Lian Duan, Anitha Murugesan, Sanjai Rayadurgam
2013	C	`conf`	Modes, features, and state-based modeling for clarity and flexibility. MiSE Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2013	A*	`conf`	Observable modified Condition/Decision coverage. ICSE Michael W. Whalen, Gregory Gay, Dongjiang You, Mats Per Erik Heimdahl, Matt Staats
2013	J	`jnl`	Your "What" Is My "How": Iteration and Hierarchy in System Design. IEEE Softw. Michael W. Whalen, Andrew Gacek, Darren D. Cofer, Anitha Murugesan, Mats Per Erik Heimdahl, Sanjai Rayadurgam
2012	A	`ed.`	2012 20th IEEE International Requirements Engineering Conference (RE), Chicago, IL, USA, September 24-28, 2012 RE Mats Per Erik Heimdahl, Pete Sawyer
2012	A*	`conf`	Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing. ICSE Matt Staats, Gregory Gay, Mats Per Erik Heimdahl
2012	A	`ed.`	International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, USA, July 15-20, 2012 ISSTA Mats Per Erik Heimdahl, Zhendong Su
2012	B	`conf`	On the Danger of Coverage Directed Test Case Generation. FASE Matt Staats, Gregory Gay, Michael W. Whalen, Mats Per Erik Heimdahl
2012	B	`conf`	Trace Queries for Safety Requirements in High Assurance Systems. REFSQ Jane Cleland-Huang, Mats Per Erik Heimdahl, Jane Huffman Hayes, Robyn R. Lutz, Patrick Maeder
2012	—	`conf`	Your what is my how: Why requirements and architectural design should be iterative. TwinPeaks@RE Michael W. Whalen, Anitha Murugesan, Mats Per Erik Heimdahl
2011	A*	`conf`	Better testing through oracle selection. ICSE Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl
2011	Misc	`conf`	Challenges in the regulatory approval of medical cyber-physical systems. EMSOFT Oleg Sokolsky, Insup Lee, Mats Per Erik Heimdahl
2011	J	`jnl`	Guest editorial: special issue on selected topics in automated software engineering - Specification mining and defect detection. Autom. Softw. Eng. Mats Per Erik Heimdahl, Gabriele Taentzer
2011	A*	`conf`	Programs, tests, and oracles: the foundations of testing revisited. ICSE Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl
2010	—	`conf`	Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness. NASA Formal Methods Matt Staats, Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl
2009	J	`jnl`	Flexibility in modeling languages and tools: a call to arms. Int. J. Softw. Tools Technol. Transf. Eric Van Wyk, Mats Per Erik Heimdahl
2009	B	`conf`	Hardware Supported Flexible Monitoring: Early Results. RV Antonia Zhai, Guojin He, Mats Per Erik Heimdahl
2008	—	`conf`	A Software Certification Consortium and its Top 9 Hurdles. SafeCert@ETAPS John Hatcliff, Mats Per Erik Heimdahl, Mark Lawford, T. S. E. Maibaum, Alan Wassyng, Fred L. Wurden
2008	C	`conf`	Partial Translation Verification for Untrusted Code-Generators. ICFEM Matthew Staats, Mats Per Erik Heimdahl
2008	A*	`conf`	ReqsCov: A Tool for Measuring Test-Adequacy over Requirements. ASE Matt Staats, Weijia Deng, Ajitha Rajan, Mats Per Erik Heimdahl, Kurt Woodham
2008	C	`conf`	Requirements Coverage as an Adequacy Measure for Conformance Testing. ICFEM Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl
2008	A*	`conf`	The effect of program and model structure on mc/dc test adequacy coverage. ICSE Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl
2007	—	`conf`	Behavioral Fault Modeling for Model-based Safety Analysis. HASE Anjali Joshi, Mats Per Erik Heimdahl
2007	B	`conf`	Flexible and Extensible Notations for Modeling Languages. FASE Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk
2007	—	`conf`	Model Validation using Automatically Generated Requirements-Based Tests. HASE Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl
2007	J	`jnl`	On the effect of test-suite reduction on automatically generated model-based tests. Autom. Softw. Eng. Mats Per Erik Heimdahl, George Devaraj
2007	—	`conf`	Safety and Software Intensive Systems: Challenges Old and New. FOSE Mats Per Erik Heimdahl
2006	A	`conf`	Coverage metrics for requirements-based testing. ISSTA Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller
2006	C	`conf`	Interaction Testing in Model-Based Development: Effect on Model-Coverage. APSEC Renée C. Bryce, Ajitha Rajan, Mats Per Erik Heimdahl
2006	—	`conf`	On the Distribution of Property Violations in Formal Models: An Initial Study. COMPSAC (1) Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim Menzies
2006	J	`jnl`	Proving the shalls. Int. J. Softw. Tools Technol. Transf. Steven P. Miller, Alan C. Tribble, Michael W. Whalen, Mats Per Erik Heimdahl
2005	—	`conf`	A Case for Specification Validation. VSTTE Mats Per Erik Heimdahl
2005	—	`conf`	Coverage-Directed Test Generation with Model Checkers: Challenges and Opportunities. COMPSAC (1) George Devaraj, Mats Per Erik Heimdahl, Donglin Liang
2005	J	`jnl`	Deviation Analysis: A New Use of Model Checking. Autom. Softw. Eng. Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen
2005	B	`conf`	Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. SAFECOMP Anjali Joshi, Mats Per Erik Heimdahl
2005	—	`conf`	Model-Based Testing: Challenges Ahead. COMPSAC (1) Mats Per Erik Heimdahl
2004	A*	`conf`	Combination Model Checking: Approach and a Case Study. ASE Yunja Choi, Mats Per Erik Heimdahl
2004	—	`conf`	Specification Test Coverage Adequacy Criteria = Specification Test Generation Inadequacy Criteria? HASE Mats Per Erik Heimdahl, George Devaraj, Robert Weber
2004	A*	`conf`	Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing. ASE Mats Per Erik Heimdahl, George Devaraj
2003	—	`conf`	Auto-generating Test Sequences Using Model Checkers: A Case Study. FATES Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao
2003	C	`conf`	Generating MC/DC Adequate Test Sequences Through Model Checking. SEW Sanjai Rayadurgam, Mats Per Erik Heimdahl
2003	A*	`conf`	Model Checking Software Requirement Specifications using Domain Reduction Abstraction. ASE Yunja Choi, Mats Per Erik Heimdahl
2003	A	`conf`	NIMBUS: A Tool for Specification Centered Development. RE Mats Per Erik Heimdahl, Michael W. Whalen, Jeffrey M. Thompson
2003	C	`conf`	On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate. SEW David Owen, Tim Menzies, Mats Per Erik Heimdahl, Jimin Gao
2003	—	`conf`	Proving the Shalls. FME Steven P. Miller, Alan C. Tribble, Mats Per Erik Heimdahl
2003	J	`jnl`	Structuring product family requirements for n-dimensional and hierarchical product lines. Requir. Eng. Jeffrey M. Thompson, Mats Per Erik Heimdahl
2003	C	`conf`	Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language. ICFEM Sanjai Rayadurgam, Anjali Joshi, Mats Per Erik Heimdahl
2002	A*	`conf`	Deviation Analysis Through Model Checking. ASE Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen
2002	J	`jnl`	Guest Editor's Introduction. Autom. Softw. Eng. Mats Per Erik Heimdahl
2002	—	`conf`	Model Checking RSML-e Requirements. HASE Yunja Choi, Mats Per Erik Heimdahl
2002	J	`jnl`	Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints. Requir. Eng. Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2001	—	`conf`	Automatic abstraction for model checking software systems with interrelated numeric constraints. ESEC / SIGSOFT FSE Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2001	—	`conf`	Coverage Based Test-Case Generation Using Model Checkers. ECBS Sanjai Rayadurgam, Mats Per Erik Heimdahl
2001	A	`conf`	Extending the Product Family Approach to Support n-Dimensional and Hierarchical Product Lines. RE Jeffrey M. Thompson, Mats Per Erik Heimdahl
2001	—	`conf`	Test-Sequence Generation from Formal Requirement Models. HASE Sanjai Rayadurgam, Mats Per Erik Heimdahl
2000	J	`jnl`	On the analysis needs when verifying state-based software requirements: an experience report. Sci. Comput. Program. Mats Per Erik Heimdahl, Barbara J. Czerny
2000	—	`ed.`	Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA FMSP Mats Per Erik Heimdahl
2000	J	`jnl`	Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study. J. Univers. Comput. Sci. Jeffrey M. Thompson, Michael W. Whalen, Mats Per Erik Heimdahl
2000	J	`jnl`	Specifying and Analysing System-Level Inter-Component Interfaces. Requir. Eng. Mats Per Erik Heimdahl, Jeffrey M. Thompson
1999	A*	`conf`	An Approach to Automatic Code Generation for Safety-Critical Systems. ASE Michael W. Whalen, Mats Per Erik Heimdahl
1999	C	`conf`	An Integrated Development Environment for Prototyping Safety Critical Systems. IEEE International Workshop on Rapid System Prototyping Jeffrey M. Thompson, Mats Per Erik Heimdahl
1999	—	`conf`	Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future. ESEC / SIGSOFT FSE Nancy G. Leveson, Mats Per Erik Heimdahl, Jon Damon Reese
1999	A*	`conf`	Enhancing Annotation Visibility for Software Inspection. ASE Michael V. Stein, Mats Per Erik Heimdahl, John Riedl
1999	—	`conf`	Identifying Domain Axioms Using Binary Decision Diagrams. HASE Barbara J. Czerny, Mats Per Erik Heimdahl
1999	—	`conf`	On the Requirements of High-Integrity Code Generation. HASE Michael W. Whalen, Mats Per Erik Heimdahl
1999	—	`conf`	Specification-Based Prototyping for Embedded Systems. ESEC / SIGSOFT FSE Jeffrey M. Thompson, Mats Per Erik Heimdahl, Steven P. Miller
1998	B	`conf`	A General Framework for Interconnecting Annotations of Software Systems. COMPSAC Michael V. Stein, Mats Per Erik Heimdahl, John Riedl
1998	A*	`conf`	Automated Integrative Analysis of State-based Requirements. ASE Barbara J. Czerny, Mats Per Erik Heimdahl
1998	—	`conf`	Checking properties of safety critical specifications using efficient decision procedures. FMSP David Y. W. Park, Jens U. Skakkebæk, Mats Per Erik Heimdahl, Barbara J. Czerny, David L. Dill
1998	—	`conf`	Formal Methods For Developing High Assurance Computer Systems: Working Group Report. WIFT Mats Per Erik Heimdahl, Constance L. Heitmeyer
1998	—	`conf`	On the Effectiveness of Slicing Hierarchical State Machines: A Case Study. EUROMICRO Mats Per Erik Heimdahl, Jeffrey M. Thompson, Michael W. Whalen
1998	J	`jnl`	Specification and Analysis of Intercomponent Communication. Computer Mats Per Erik Heimdahl, Jeffrey M. Thompson, Barbara J. Czerny
1997	A	`conf`	Generating Code from Hierarchical State-Based Requirements. RE Mats Per Erik Heimdahl, David J. Keenan
1997	—	`conf`	Reduction and Slicing of Hierarchical State Machines. ESEC / SIGSOFT FSE Mats Per Erik Heimdahl, Michael W. Whalen
1997	A	`conf`	Software Requirements Specification and System Safety. RE Mats Per Erik Heimdahl, Jon Damon Reese
1997	C	`conf`	Specification and Analysis of System Level Inter-Component Communication. ICFEM Mats Per Erik Heimdahl, Jeffrey M. Thompson
1997	—	`conf`	Verifying Communication Constraints in RSML Specifications. HASE Mats Per Erik Heimdahl
1996	J	`jnl`	Completeness and Consistency in Hierarchical State-Based Requirements. IEEE Trans. Software Eng. Mats Per Erik Heimdahl, Nancy G. Leveson
1996	A	`conf`	Experiences and Lessons from the Analysis of TCAS II. ISSTA Mats Per Erik Heimdahl
1996	—	`conf`	Using PVS to analyze hierarchical state-based requirements for completeness and consistency. HASE Mats Per Erik Heimdahl, Barbara J. Czerny
1995	A*	`conf`	Completeness and Consistency Analysis of State-Based Requirements. ICSE Mats Per Erik Heimdahl, Nancy G. Leveson
1994	J	`jnl`	Requirements Specification for Process-Control Systems. IEEE Trans. Software Eng. Nancy G. Leveson, Mats Per Erik Heimdahl, Holly Hildreth, Jon Damon Reese
1991	J	`jnl`	Software Requirements Analysis for Real-Time Process-Control Systems. IEEE Trans. Software Eng. Matthew S. Jaffe, Nancy G. Leveson, Mats Per Erik Heimdahl, Bonnie E. Melhart