default search action

combined dblp search
author search
venue search
publication search

ask others

Mats P. E. Heimdahl

Mats Per Erik Heimdahl

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2021
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/StewartLCHWP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/StewartLCHWP21
Danielle Stewart, Jing Liu, Darren D. Cofer, Mats Per Erik Heimdahl, Michael W. Whalen, Michael Peterson:
AADL-Based safety analysis using formal methods applied to aircraft digital systems. Reliab. Eng. Syst. Saf. 213: 107649 (2021)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/GhassabaniWGH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/GhassabaniWGH21
Elaheh Ghassabani, Michael W. Whalen, Andrew Gacek, Mats Per Erik Heimdahl:
Inductive Validity Cores. IEEE Trans. Software Eng. 47(2): 279-299 (2021)
2017
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/GayRH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/GayRH17
Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors. IEEE Trans. Software Eng. 43(6): 531-555 (2017)
2016
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/GayRSWH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/GayRSWH16
Gregory Gay, Ajitha Rajan, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl:
The Effect of Program and Model Structure on the Effectiveness of MC/DC Test Adequacy Coverage. ACM Trans. Softw. Eng. Methodol. 25(3): 25:1-25:34 (2016)
2015
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/dt/MurugesanRWH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dt/MurugesanRWH15
Anitha Murugesan, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl:
Design Considerations for Modeling Modes in Cyber-Physical Systems. IEEE Des. Test 32(5): 66-73 (2015)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/GaySWH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/GaySWH15
Gregory Gay, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl:
The Risks of Coverage-Directed Test Case Generation. IEEE Trans. Software Eng. 41(8): 803-819 (2015)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/GaySWH15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/GaySWH15a
Gregory Gay, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl:
Automated Oracle Data Selection Support. IEEE Trans. Software Eng. 41(11): 1119-1137 (2015)
2013
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/software/WhalenGCMHR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/WhalenGCMHR13
Michael W. Whalen, Andrew Gacek, Darren D. Cofer, Anitha Murugesan, Mats Per Erik Heimdahl, Sanjai Rayadurgam:
Your "What" Is My "How": Iteration and Hierarchy in System Design. IEEE Softw. 30(2): 54-60 (2013)
2011
[j15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ase/HeimdahlT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/HeimdahlT11
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
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/WykH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/WykH09
Eric Van Wyk, Mats Per Erik Heimdahl:
Flexibility in modeling languages and tools: a call to arms. Int. J. Softw. Tools Technol. Transf. 11(3): 203-215 (2009)
2007
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/HeimdahlG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/HeimdahlG07
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
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/MillerTWH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/MillerTWH06
Steven P. Miller, Alan C. Tribble, Michael W. Whalen, Mats Per Erik Heimdahl:
Proving the shalls. Int. J. Softw. Tools Technol. Transf. 8(4-5): 303-319 (2006)
2005
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/HeimdahlCW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/HeimdahlCW05
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)
2003
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/re/ThompsonH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/re/ThompsonH03
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
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/Heimdahl02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/Heimdahl02
Mats Per Erik Heimdahl:
Guest Editor's Introduction. Autom. Softw. Eng. 9(3): 199 (2002)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/re/ChoiRH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/re/ChoiRH02
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)
2000
[j7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/ThompsonWH00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/ThompsonWH00
Jeffrey M. Thompson, Michael W. Whalen, Mats Per Erik Heimdahl:
Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study. J. Univers. Comput. Sci. 6(7): 731-757 (2000)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/re/HeimdahlT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/re/HeimdahlT00
Mats Per Erik Heimdahl, Jeffrey M. Thompson:
Specifying and Analysing System-Level Inter-Component Interfaces. Requir. Eng. 5(4): 208-224 (2000)
[j5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/HeimdahlC00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HeimdahlC00
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)
1998
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/HeimdahlTC98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/HeimdahlTC98
Mats Per Erik Heimdahl, Jeffrey M. Thompson, Barbara J. Czerny:
Specification and Analysis of Intercomponent Communication. Computer 31(4): 47-54 (1998)
1996
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/HeimdahlL96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/HeimdahlL96
Mats Per Erik Heimdahl, Nancy G. Leveson:
Completeness and Consistency in Hierarchical State-Based Requirements. IEEE Trans. Software Eng. 22(6): 363-377 (1996)
1994
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/LevesonHHR94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/LevesonHHR94
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
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/JaffeLHM91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/JaffeLHM91
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)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2022
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/HusseinRMSH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/HusseinRMSH22
Soha Hussein, Sanjai Rayadurgam, Stephen McCamant, Vaibhav Sharma, Mats P. E. Heimdahl:
Counterexample-Guided Inductive Repair of Reactive Contracts. FormaliSE@ICSE 2022: 46-57
2021
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/ByunRH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/ByunRH21
Taejoon Byun, Sanjai Rayadurgam, Mats P. E. Heimdahl:
Black-Box Testing of Deep Neural Networks. ISSRE 2021: 309-320
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/HusseinSMRH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/HusseinSMRH21
Soha Hussein, Vaibhav Sharma, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Counterexample Guided Inductive Repair of Reactive Contracts. ASE 2021: 1190-1192
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/StewartWHLC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/StewartWHLC21
Danielle Stewart, Michael W. Whalen, Mats Per Erik Heimdahl, Jing Liu, Darren D. Cofer:
Composition of Fault Forests. SAFECOMP 2021: 258-275
2019
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/re/MurugesanRH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/MurugesanRH19
Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Requirements Reference Models Revisited: Accommodating Hierarchy in System Design. RE 2019: 177-186
2018
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/SharmaBMRH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/SharmaBMRH18
Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Contract discovery from black-box components. WASPI@ESEC/SIGSOFT FSE 2018: 5-8
2017
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/imbsa/StewartWCH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/imbsa/StewartWCH17
Danielle Stewart, Michael W. Whalen, Darren D. Cofer, Mats Per Erik Heimdahl:
Architectural Modeling and Analysis for Safety Engineering. IMBSA 2017: 97-111
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/ispw/SilvaRH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispw/SilvaRH17
Ian J. De Silva, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Domain modeling for development process simulation. ICSSP 2017: 95-99
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/ByunSRMH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/ByunSRMH17
Taejoon Byun, Vaibhav Sharma, Sanjai Rayadurgam, Stephen McCamant, Mats Per Erik Heimdahl:
Toward Rigorous Object-Code Coverage Criteria. ISSRE 2017: 328-338
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/GhassabaniGWHW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/GhassabaniGWHW17
Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen, Mats Per Erik Heimdahl, Lucas G. Wagner:
Proof-based coverage metrics for formal verification. ASE 2017: 194-199
2016
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/csee/WendtRH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csee/WendtRH16
Kevin D. Wendt, Ken Reily, Mats Per Erik Heimdahl:
First Steps towards Exporting Education: Software Engineering Education Delivered Online to Professionals. CSEE&T 2016: 241-245
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/DuanRHSL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/DuanRHSL16
Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee:
Representation of Confidence in Assurance Cases Using the Beta Distribution. HASE 2016: 86-93
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/re/MurugesanWGH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/MurugesanWGH16
Anitha Murugesan, Michael W. Whalen, Elaheh Ghassabani, Mats Per Erik Heimdahl:
Complete Traceability for Requirements in Satisfaction Arguments. RE 2016: 359-364
2015
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/ispw/SilvaRH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispw/SilvaRH15
Ian J. De Silva, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
A reference model for simulating agile processes. ICSSP 2015: 82-91
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/YouRWHG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/YouRWHG15
Dongjiang You, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Gregory Gay:
Efficient observability-based test generation by dynamic symbolic execution. ISSRE 2015: 228-238
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/YouRHKKS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/YouRHKKS15
Dongjiang You, Sanjai Rayadurgam, Mats Per Erik Heimdahl, John Komp, BaekGyu Kim, Oleg Sokolsky:
Executing Model-Based Tests on Platform-Specific Implementations (T). ASE 2015: 418-428
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/WhalenRGMSHL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/WhalenRGMSHL15
Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee:
Hierarchical multi-formalism proofs of cyber-physical systems. MEMOCODE 2015: 90-95
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/MurugesanWRTPHY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/MurugesanWRTPHY15
Anitha Murugesan, Michael W. Whalen, Neha Rungta, Oksana Tkachuk, Suzette Person, Mats Per Erik Heimdahl, Dongjiang You:
Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites. NFM 2015: 279-294
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/DuanRHSL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/DuanRHSL15
Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee:
Representing Confidence in Assurance Case Evidence. SAFECOMP Workshops 2015: 15-26
2014
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/fhies/DuanRHASL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fhies/DuanRHASL14
Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Anaheed Ayoub, Oleg Sokolsky, Insup Lee:
Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey. FHIES/SEHC 2014: 64-80
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/fhies/MurugesanHWRKDK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fhies/MurugesanHWRKDK14
Anitha Murugesan, Mats Per Erik Heimdahl, Michael W. Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, BaekGyu Kim, Oleg Sokolsky, Insup Lee:
From Requirements to Code: Model Based Development of a Medical Cyber Physical System. FHIES/SEHC 2014: 96-112
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/MurugesanSRWHL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/MurugesanSRWHL14
Anitha Murugesan, Oleg Sokolsky, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Insup Lee:
Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety. ICCPS 2014: 139-150
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MurugesanFHRWL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MurugesanFHRWL14
Anitha Murugesan, Lu Feng, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael W. Whalen, Insup Lee:
Exploring the twin peaks using probabilistic verification techniques. TwinPeaks 2014: 18-23
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GaySWH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GaySWH14
Gregory Gay, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl:
Moving the goalposts: coverage satisfaction is not enough. SBST 2014: 19-22
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/WhalenMRH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/WhalenMRH14
Michael W. Whalen, Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Structuring simulink models for verification and reuse. MiSE 2014: 19-24
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BiatekWHRL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BiatekWHRL14
Jason Biatek, Michael W. Whalen, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael R. Lowry:
Analysis and testing of PLEXIL plans. FormaliSE 2014: 52-58
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GayRH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GayRH14
Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Steering model-based oracles to admit real program behaviors. ICSE Companion 2014: 428-431
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/GayRH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/GayRH14
Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Improving the accuracy of oracle verdicts through automated model steering. ASE 2014: 527-538
2013
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/HeimdahlDMR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HeimdahlDMR13
Mats Per Erik Heimdahl, Lian Duan, Anitha Murugesan, Sanjai Rayadurgam:
Modeling and requirements on the physical side of cyber-physical systems. TwinPeaks@ICSE 2013: 1-7
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MurugesanRH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MurugesanRH13
Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Modes, features, and state-based modeling for clarity and flexibility. MiSE 2013: 13-17
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/WhalenGYHS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/WhalenGYHS13
Michael W. Whalen, Gregory Gay, Dongjiang You, Mats Per Erik Heimdahl, Matt Staats:
Observable modified Condition/Decision coverage. ICSE 2013: 102-111
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/MurugesanWRH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/MurugesanWRH13
Anitha Murugesan, Michael W. Whalen, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Compositional verification of a medical device system. HILT 2013: 51-64
2012
[c62]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/StaatsGWH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/StaatsGWH12
Matt Staats, Gregory Gay, Michael W. Whalen, Mats Per Erik Heimdahl:
On the Danger of Coverage Directed Test Case Generation. FASE 2012: 409-424
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/StaatsGH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/StaatsGH12
Matt Staats, Gregory Gay, Mats Per Erik Heimdahl:
Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing. ICSE 2012: 870-880
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/re/WhalenMH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/WhalenMH12
Michael W. Whalen, Anitha Murugesan, Mats Per Erik Heimdahl:
Your what is my how: Why requirements and architectural design should be iterative. TwinPeaks@RE 2012: 36-40
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/Cleland-HuangHHLM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/Cleland-HuangHHLM12
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
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/SokolskyLH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/SokolskyLH11
Oleg Sokolsky, Insup Lee, Mats Per Erik Heimdahl:
Challenges in the regulatory approval of medical cyber-physical systems. EMSOFT 2011: 227-232
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/StaatsWH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/StaatsWH11
Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl:
Programs, tests, and oracles: the foundations of testing revisited. ICSE 2011: 391-400
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/StaatsWH11a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/StaatsWH11a
Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl:
Better testing through oracle selection. ICSE 2011: 892-895
2010
[c55]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/nfm/StaatsWRH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/StaatsWRH10
Matt Staats, Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl:
Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness. NASA Formal Methods 2010: 161-170
2009
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/ZhaiHH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/ZhaiHH09
Antonia Zhai, Guojin He, Mats Per Erik Heimdahl:
Hardware Supported Flexible Monitoring: Early Results. RV 2009: 168-183
2008
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/RajanWSH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/RajanWSH08
Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl:
Requirements Coverage as an Adequacy Measure for Conformance Testing. ICFEM 2008: 86-104
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/StaatsH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/StaatsH08
Matthew Staats, Mats Per Erik Heimdahl:
Partial Translation Verification for Untrusted Code-Generators. ICFEM 2008: 226-237
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/RajanWH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/RajanWH08
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
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/StaatsDRHW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/StaatsDRHW08
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
[c49]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HatcliffHLMWW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HatcliffHLMWW09
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. SafeCert@ETAPS 2008: 11-17
2007
[c48]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/GaoHW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/GaoHW07
Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk:
Flexible and Extensible Notations for Modeling Languages. FASE 2007: 102-116
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/RajanWH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/RajanWH07
Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl:
Model Validation using Automatically Generated Requirements-Based Tests. HASE 2007: 95-104
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/JoshiH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/JoshiH07
Anjali Joshi, Mats Per Erik Heimdahl:
Behavioral Fault Modeling for Model-based Safety Analysis. HASE 2007: 199-208
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Heimdahl07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Heimdahl07
Mats Per Erik Heimdahl:
Safety and Software Intensive Systems: Challenges Old and New. FOSE 2007: 137-152
2006
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/BryceRH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/BryceRH06
Renée C. Bryce, Ajitha Rajan, Mats Per Erik Heimdahl:
Interaction Testing in Model-Based Development: Effect on Model-Coverage. APSEC 2006: 259-268
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/GaoHOM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/GaoHOM06
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
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/WhalenRHM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/WhalenRHM06
Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller:
Coverage metrics for requirements-based testing. ISSTA 2006: 25-36
2005
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/Heimdahl05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/Heimdahl05
Mats Per Erik Heimdahl:
Model-Based Testing: Challenges Ahead. COMPSAC (1) 2005: 330
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/DevarajHL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/DevarajHL05
George Devaraj, Mats Per Erik Heimdahl, Donglin Liang:
Coverage-Directed Test Generation with Model Checkers: Challenges and Opportunities. COMPSAC (1) 2005: 455-462
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/JoshiH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/JoshiH05
Anjali Joshi, Mats Per Erik Heimdahl:
Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. SAFECOMP 2005: 122-135
[c38]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/vstte/Heimdahl05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/Heimdahl05
Mats Per Erik Heimdahl:
A Case for Specification Validation. VSTTE 2005: 392-402
2004
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/HeimdahlGW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/HeimdahlGW04
Mats Per Erik Heimdahl, George Devaraj, Robert Weber:
Specification Test Coverage Adequacy Criteria = Specification Test Generation Inadequacy Criteria? HASE 2004: 178-186
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/HeimdahlG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/HeimdahlG04
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
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/ChoiH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/ChoiH04
Yunja Choi, Mats Per Erik Heimdahl:
Combination Model Checking: Approach and a Case Study. ASE 2004: 354-357
2003
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/fates/HeimdahlRVDG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/HeimdahlRVDG03
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
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/MillerTH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/MillerTH03
Steven P. Miller, Alan C. Tribble, Mats Per Erik Heimdahl:
Proving the Shalls. FME 2003: 75-93
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/RayadurgamJH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/RayadurgamJH03
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
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/ChoiH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/ChoiH03
Yunja Choi, Mats Per Erik Heimdahl:
Model Checking Software Requirement Specifications using Domain Reduction Abstraction. ASE 2003: 314-317
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/re/HeimdahlWT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/HeimdahlWT03
Mats Per Erik Heimdahl, Michael W. Whalen, Jeffrey M. Thompson:
NIMBUS: A Tool for Specification Centered Development. RE 2003: 349
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/sew/OwenMHG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sew/OwenMHG03
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
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/sew/RayadurgamH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sew/RayadurgamH03
Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Generating MC/DC Adequate Test Sequences Through Model Checking. SEW 2003: 91
2002
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/ChoiH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/ChoiH02
Yunja Choi, Mats Per Erik Heimdahl:
Model Checking RSML-e Requirements. HASE 2002: 109-118
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/HeimdahlCW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/HeimdahlCW02
Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen:
Deviation Analysis Through Model Checking. ASE 2002: 37-46
2001
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/ecbs/RayadurgamH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecbs/RayadurgamH01
Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Coverage Based Test-Case Generation Using Model Checkers. ECBS 2001: 83-
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/RayadurgamH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/RayadurgamH01
Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Test-Sequence Generation from Formal Requirement Models. HASE 2001: 23-31
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/re/ThompsonH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/ThompsonH01
Jeffrey M. Thompson, Mats Per Erik Heimdahl:
Extending the Product Family Approach to Support n-Dimensional and Hierarchical Product Lines. RE 2001: 56-65
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/ChoiRH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/ChoiRH01
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
1999
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/esec/LevesonHR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/LevesonHR99
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
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/esec/ThompsonHM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/ThompsonHM99
Jeffrey M. Thompson, Mats Per Erik Heimdahl, Steven P. Miller:
Specification-Based Prototyping for Embedded Systems. ESEC / SIGSOFT FSE 1999: 163-179
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/CzernyH99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/CzernyH99
Barbara J. Czerny, Mats Per Erik Heimdahl:
Identifying Domain Axioms Using Binary Decision Diagrams. HASE 1999: 132-140
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/WhalenH99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/WhalenH99
Michael W. Whalen, Mats Per Erik Heimdahl:
On the Requirements of High-Integrity Code Generation. HASE 1999: 217-226
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/SteinHR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/SteinHR99
Michael V. Stein, Mats Per Erik Heimdahl, John Riedl:
Enhancing Annotation Visibility for Software Inspection. ASE 1999: 243-246
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/WhalenH99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/WhalenH99
Michael W. Whalen, Mats Per Erik Heimdahl:
An Approach to Automatic Code Generation for Safety-Critical Systems. ASE 1999: 315-318
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/rsp/ThompsonH99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsp/ThompsonH99
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
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/SteinHR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/SteinHR98
Michael V. Stein, Mats Per Erik Heimdahl, John Riedl:
A General Framework for Interconnecting Annotations of Software Systems. COMPSAC 1998: 421-429
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/HeimdahlTW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/HeimdahlTW98
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
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/fmsp/ParkSHCD98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmsp/ParkSHCD98
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
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/CzernyH98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/CzernyH98
Barbara J. Czerny, Mats Per Erik Heimdahl:
Automated Integrative Analysis of State-based Requirements. ASE 1998: 125-
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/wift/HeimdahlH98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wift/HeimdahlH98
Mats Per Erik Heimdahl, Constance L. Heitmeyer:
Formal Methods For Developing High Assurance Computer Systems: Working Group Report. WIFT 1998: 60-
1997
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/esec/HeimdahlW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/HeimdahlW98
Mats Per Erik Heimdahl, Michael W. Whalen:
Reduction and Slicing of Hierarchical State Machines. ESEC / SIGSOFT FSE 1997: 450-467
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/Heimdahl97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/Heimdahl97
Mats Per Erik Heimdahl:
Verifying Communication Constraints in RSML Specifications. HASE 1997: 56-63
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/HeimdahlT97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/HeimdahlT97
Mats Per Erik Heimdahl, Jeffrey M. Thompson:
Specification and Analysis of System Level Inter-Component Communication. ICFEM 1997: 192-202
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/re/HeimdahlK97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/HeimdahlK97
Mats Per Erik Heimdahl, David J. Keenan:
Generating Code from Hierarchical State-Based Requirements. RE 1997: 210-
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/re/HeimdahlR97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/HeimdahlR97
Mats Per Erik Heimdahl, Jon Damon Reese:
Software Requirements Specification and System Safety. RE 1997: 264
1996
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/HeimdahlC96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/HeimdahlC96
Mats Per Erik Heimdahl, Barbara J. Czerny:
Using PVS to analyze hierarchical state-based requirements for completeness and consistency. HASE 1996: 252-262
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/Heimdahl96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/Heimdahl96
Mats Per Erik Heimdahl:
Experiences and Lessons from the Analysis of TCAS II. ISSTA 1996: 79-83
1995
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/HeimdahlL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HeimdahlL95
Mats Per Erik Heimdahl, Nancy G. Leveson:
Completeness and Consistency Analysis of State-Based Requirements. ICSE 1995: 3-14
1991
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/iwssd/LevesonHHRO91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwssd/LevesonHHRO91
Nancy G. Leveson, Mats P. E. Heimdahl, Holly Hildreth, Jon Damon Reese, R. Ortega:
Experiences using statecharts for a system requirements specification. IWSSD 1991: 31-41

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2012
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/2012
Mats Per Erik Heimdahl, Zhendong Su:
International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, USA, July 15-20, 2012. ACM 2012, ISBN 978-1-4503-1454-1 [contents]
[e2]
- view
- export record
  dblp key:
  - conf/re/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/2012
Mats Per Erik Heimdahl, Pete Sawyer:
2012 20th IEEE International Requirements Engineering Conference (RE), Chicago, IL, USA, September 24-28, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-2783-1 [contents]
2000
[e1]
- view
  - table of contents in dblp
  - details & citations
- export record
  dblp key:
  - conf/fmsp/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmsp/2000
Mats Per Erik Heimdahl:
Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA. ACM 2000, ISBN 1-58113-262-X [contents]

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.