Mats Per Erik Heimdahl

	2012
74		Matt Staats, Gregory Gay, Michael W. Whalen, Mats Per Erik Heimdahl: On the Danger of Coverage Directed Test Case Generation. FASE 2012: 409-424
73		Jane Cleland-Huang, Mats Per Erik Heimdahl, Jane Huffman Hayes, Robyn R. Lutz, Patrick Maeder: Trace Queries for Safety Requirements in High Assurance Systems. REFSQ 2012: 179-193
	2011
72		Oleg Sokolsky, Insup Lee, Mats Per Erik Heimdahl: Challenges in the regulatory approval of medical cyber-physical systems. EMSOFT 2011: 227-232
71		Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl: Programs, tests, and oracles: the foundations of testing revisited. ICSE 2011: 391-400
70		Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl: Better testing through oracle selection. ICSE 2011: 892-895
69		Mats Per Erik Heimdahl, Gabriele Taentzer: Guest editorial: special issue on selected topics in automated software engineering - Specification mining and defect detection. Autom. Softw. Eng. 18(3-4): 225-226 (2011)
	2009
68		Antonia Zhai, Guojin He, Mats Per Erik Heimdahl: Hardware Supported Flexible Monitoring: Early Results. RV 2009: 168-183
67		John Hatcliff, Mats Per Erik Heimdahl, Mark Lawford, T. S. E. Maibaum, Alan Wassyng, Fred L. Wurden: A Software Certification Consortium and its Top 9 Hurdles. Electr. Notes Theor. Comput. Sci. 238(4): 11-17 (2009)
66		Eric Van Wyk, Mats Per Erik Heimdahl: Flexibility in modeling languages and tools: a call to arms. STTT 11(3): 203-215 (2009)
	2008
65		Matt Staats, Weijia Deng, Ajitha Rajan, Mats Per Erik Heimdahl, Kurt Woodham: ReqsCov: A Tool for Measuring Test-Adequacy over Requirements. ASE 2008: 499-500
64		Matthew Staats, Mats Per Erik Heimdahl: Partial Translation Verification for Untrusted Code-Generators. ICFEM 2008: 226-237
63		Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl: Requirements Coverage as an Adequacy Measure for Conformance Testing. ICFEM 2008: 86-104
62		Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl: The effect of program and model structure on mc/dc test adequacy coverage. ICSE 2008: 161-170
	2007
61		Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk: Flexible and Extensible Notations for Modeling Languages. FASE 2007: 102-116
60		Mats Per Erik Heimdahl: Safety and Software Intensive Systems: Challenges Old and New. FOSE 2007: 137-152
59		Anjali Joshi, Mats Per Erik Heimdahl: Behavioral Fault Modeling for Model-based Safety Analysis. HASE 2007: 199-208
58		Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl: Model Validation using Automatically Generated Requirements-Based Tests. HASE 2007: 95-104
57		Mats Per Erik Heimdahl, George Devaraj: On the effect of test-suite reduction on automatically generated model-based tests. Autom. Softw. Eng. 14(1): 37-57 (2007)
	2006
56		Renée C. Bryce, Ajitha Rajan, Mats Per Erik Heimdahl: Interaction Testing in Model-Based Development: Effect on Model-Coverage. APSEC 2006: 259-268
55		Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim Menzies: On the Distribution of Property Violations in Formal Models: An Initial Study. COMPSAC (1) 2006: 150-160
54		Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller: Coverage metrics for requirements-based testing. ISSTA 2006: 25-36
53		Steven P. Miller, Alan C. Tribble, Michael W. Whalen, Mats Per Erik Heimdahl: Proving the shalls. STTT 8(4-5): 303-319 (2006)
	2005
52		Mats Per Erik Heimdahl: Model-Based Testing: Challenges Ahead. COMPSAC (1) 2005: 330
51		George Devaraj, Mats Per Erik Heimdahl, Donglin Liang: Coverage-Directed Test Generation with Model Checkers: Challenges and Opportunities. COMPSAC (1) 2005: 455-462
50		Anjali Joshi, Mats Per Erik Heimdahl: Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. SAFECOMP 2005: 122-135
49		Mats Per Erik Heimdahl: A Case for Specification Validation. VSTTE 2005: 392-402
48		Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen: Deviation Analysis: A New Use of Model Checking. Autom. Softw. Eng. 12(3): 321-347 (2005)
	2004
47		Mats Per Erik Heimdahl, George Devaraj: Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing. ASE 2004: 176-185
46		Yunja Choi, Mats Per Erik Heimdahl: Combination Model Checking: Approach and a Case Study. ASE 2004: 354-357
45		Mats Per Erik Heimdahl, George Devaraj, Robert Weber: Specification Test Coverage Adequacy Criteria = Specification Test Generation Inadequacy Criteria? HASE 2004: 178-186
	2003
44		Yunja Choi, Mats Per Erik Heimdahl: Model Checking Software Requirement Specifications using Domain Reduction Abstraction. ASE 2003: 314-317
43		Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao: Auto-generating Test Sequences Using Model Checkers: A Case Study. FATES 2003: 42-59
42		Steven P. Miller, Alan C. Tribble, Mats Per Erik Heimdahl: Proving the Shalls. FME 2003: 75-93
41		Sanjai Rayadurgam, Anjali Joshi, Mats Per Erik Heimdahl: Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language. ICFEM 2003: 167-186
40		Mats Per Erik Heimdahl, Michael W. Whalen, Jeffrey M. Thompson: NIMBUS: A Tool for Specification Centered Development. RE 2003: 349
39		David Owen, Tim Menzies, Mats Per Erik Heimdahl, Jimin Gao: On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate. SEW 2003: 75
38		Sanjai Rayadurgam, Mats Per Erik Heimdahl: Generating MC/DC Adequate Test Sequences Through Model Checking. SEW 2003: 91
37		Jeffrey M. Thompson, Mats Per Erik Heimdahl: Structuring product family requirements for n-dimensional and hierarchical product lines. Requir. Eng. 8(1): 42-54 (2003)
	2002
36		Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen: Deviation Analysis Through Model Checking. ASE 2002: 37-46
35		Yunja Choi, Mats Per Erik Heimdahl: Model Checking RSML-e Requirements. HASE 2002: 109-118
34		Mats Per Erik Heimdahl: Guest Editor's Introduction. Autom. Softw. Eng. 9(3): 199 (2002)
33		Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl: Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints. Requir. Eng. 7(4): 225-242 (2002)
	2001
32		Sanjai Rayadurgam, Mats Per Erik Heimdahl: Coverage Based Test-Case Generation Using Model Checkers. ECBS 2001: 83-
31		Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl: Automatic abstraction for model checking software systems with interrelated numeric constraints. ESEC / SIGSOFT FSE 2001: 164-174
30		Sanjai Rayadurgam, Mats Per Erik Heimdahl: Test-Sequence Generation from Formal Requirement Models. HASE 2001: 23-31
29		Jeffrey M. Thompson, Mats Per Erik Heimdahl: Extending the Product Family Approach to Support n-Dimensional and Hierarchical Product Lines. RE 2001: 56-65
	2000
28		Mats Per Erik Heimdahl: Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA ACM 2000
27		Jeffrey M. Thompson, Michael W. Whalen, Mats Per Erik Heimdahl: Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study. J. UCS 6(7): 731-757 (2000)
26		Mats Per Erik Heimdahl, Jeffrey M. Thompson: Specifying and Analysing System-Level Inter-Component Interfaces. Requir. Eng. 5(4): 208-224 (2000)
25		Mats Per Erik Heimdahl, Barbara J. Czerny: On the analysis needs when verifying state-based software requirements: an experience report. Sci. Comput. Program. 36(1): 65-96 (2000)
	1999
24		Michael Stein, Mats Per Erik Heimdahl, John Riedl: Enhancing Annotation Visibility for Software Inspection. ASE 1999: 243-246
23		Michael W. Whalen, Mats Per Erik Heimdahl: An Approach to Automatic Code Generation for Safety-Critical Systems. ASE 1999: 315-318
22		Nancy G. Leveson, Mats Per Erik Heimdahl, Jon Damon Reese: Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future. ESEC / SIGSOFT FSE 1999: 127-145
21		Jeffrey M. Thompson, Mats Per Erik Heimdahl, Steven P. Miller: Specification-Based Prototyping for Embedded Systems. ESEC / SIGSOFT FSE 1999: 163-179
20		Barbara J. Czerny, Mats Per Erik Heimdahl: Identifying Domain Axioms Using Binary Decision Diagrams. HASE 1999: 132-140
19		Michael W. Whalen, Mats Per Erik Heimdahl: On the Requirements of High-Integrity Code Generation. HASE 1999: 217-
18		Jeffrey M. Thompson, Mats Per Erik Heimdahl: An Integrated Development Environment for Prototyping Safety Critical Systems. IEEE International Workshop on Rapid System Prototyping 1999: 172-177
	1998
17		Barbara J. Czerny, Mats Per Erik Heimdahl: Automated Integrative Analysis of State-based Requirements. ASE 1998: 125-
16		Michael Stein, Mats Per Erik Heimdahl, John Riedl: A General Framework for Interconnecting Annotations of Software Systems. COMPSAC 1998: 421-429
15		Mats Per Erik Heimdahl, Jeffrey M. Thompson, Michael W. Whalen: On the Effectiveness of Slicing Hierarchical State Machines: A Case Study. EUROMICRO 1998: 10435-10444
14		David Y. W. Park, Jens U. Skakkebæk, Mats Per Erik Heimdahl, Barbara J. Czerny, David L. Dill: Checking properties of safety critical specifications using efficient decision procedures. FMSP 1998: 34-43
13		Mats Per Erik Heimdahl, Constance L. Heitmeyer: Formal Methods For Developing High Assurance Computer Systems: Working Group Report. WIFT 1998: 60-
12		Mats Per Erik Heimdahl, Jeffrey M. Thompson, Barbara J. Czerny: Specification and Analysis of Intercomponent Communication. IEEE Computer 31(4): 47-54 (1998)
	1997
11		Mats Per Erik Heimdahl, Michael W. Whalen: Reduction and Slicing of Hierarchical State Machines. ESEC / SIGSOFT FSE 1997: 450-467
10		Mats Per Erik Heimdahl: Verifying Communication Constraints in RSML Specifications. HASE 1997: 56-
9		Mats Per Erik Heimdahl, Jeffrey M. Thompson: Specification and Analysis of System Level Inter-Component Communication. ICFEM 1997: 192-
8		Mats Per Erik Heimdahl, David J. Keenan: Generating Code from Hierarchical State-Based Requirements. RE 1997: 210-
7		Mats Per Erik Heimdahl, Jon Damon Reese: Software Requirements Specification and System Safety. RE 1997: 264
	1996
6		Mats Per Erik Heimdahl, Barbara J. Czerny: Using PVS to analyze hierarchical state-based requirements for completeness and consistency. HASE 1996: 252-262
5		Mats Per Erik Heimdahl: Experiences and Lessons from the Analysis of TCAS II. ISSTA 1996: 79-83
4		Mats Per Erik Heimdahl, Nancy G. Leveson: Completeness and Consistency in Hierarchical State-Based Requirements. IEEE Trans. Software Eng. 22(6): 363-377 (1996)
	1995
3		Mats Per Erik Heimdahl, Nancy G. Leveson: Completeness and Consistency Analysis of State-Based Requirements. ICSE 1995: 3-14
	1994
2		Nancy G. Leveson, Mats Per Erik Heimdahl, Holly Hildreth, Jon Damon Reese: Requirements Specification for Process-Control Systems. IEEE Trans. Software Eng. 20(9): 684-707 (1994)
	1991
1		Matthew S. Jaffe, Nancy G. Leveson, Mats Per Erik Heimdahl, Bonnie E. Melhart: Software Requirements Analysis for Real-Time Process-Control Systems. IEEE Trans. Software Eng. 17(3): 241-258 (1991)

Coauthor Index

1	Renée C. Bryce	[56]
2	Yunja Choi	[31] [33] [35] [36] [44] [46] [48]
3	Jane Cleland-Huang	[73]
4	Barbara J. Czerny	[6] [12] [14] [17] [20] [25]
5	Weijia Deng	[65]
6	George Devaraj	[43] [45] [47] [51] [57]
7	David L. Dill	[14]
8	Jimin Gao	[39] [43] [55] [61]
9	Gregory Gay	[74]
10	John Hatcliff	[67]
11	Jane Huffman Hayes	[73]
12	Guojin He	[68]
13	Constance L. Heitmeyer (Connie Heitmeyer)	[13]
14	Holly Hildreth	[2]
15	Matthew S. Jaffe	[1]
16	Anjali Joshi	[41] [50] [59]
17	David J. Keenan	[8]
18	Mark Lawford	[67]
19	Insup Lee	[72]
20	Nancy G. Leveson	[1] [2] [3] [4] [22]
21	Donglin Liang	[51]
22	Robyn R. Lutz	[73]
23	Patrick Mäder (Patrick Maeder)	[73]
24	T. S. E. Maibaum (Thomas Stephen Edward Maibaum)	[67]
25	Bonnie E. Melhart	[1]
26	Tim Menzies	[39] [55]
27	Steven P. Miller	[21] [42] [53] [54]
28	David Owen	[39] [55]
29	David Y. W. Park	[14]
30	Ajitha Rajan	[54] [56] [58] [62] [63] [65]
31	Sanjai Rayadurgam	[30] [31] [32] [33] [38] [41] [43]
32	Jon Damon Reese	[2] [7] [22]
33	John Riedl	[16] [24]
34	Jens U. Skakkebæk	[14]
35	Oleg Sokolsky	[72]
36	Matthew Staats (Matt Staats)	[63] [64] [65] [70] [71] [74]
37	Michael Stein	[16] [24]
38	Gabriele Taentzer	[69]
39	Jeffrey M. Thompson	[9] [12] [15] [18] [21] [26] [27] [29] [37] [40]
40	Alan C. Tribble	[42] [53]
41	Willem Visser	[43]
42	Alan Wassyng	[67]
43	Robert Weber	[45]
44	Michael W. Whalen	[11] [15] [19] [23] [27] [36] [40] [48] [53] [54] [58] [62] [63] [70] [71] [74]
45	Kurt Woodham	[65]
46	Fred L. Wurden	[67]
47	Eric Van Wyk	[61] [66]
48	Antonia Zhai	[68]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page