Остановите войну!
for scientists:
default search action
Mats P. E. Heimdahl
- > Home > Persons > Mats P. E. Heimdahl
Publications
- 2021
- [j23]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]Elaheh Ghassabani, Michael W. Whalen, Andrew Gacek, Mats Per Erik Heimdahl:
Inductive Validity Cores. IEEE Trans. Software Eng. 47(2): 279-299 (2021) - [c91]Danielle Stewart, Michael W. Whalen, Mats Per Erik Heimdahl, Jing Liu, Darren D. Cofer:
Composition of Fault Forests. SAFECOMP 2021: 258-275 - 2017
- [c88]Danielle Stewart, Michael W. Whalen, Darren D. Cofer, Mats Per Erik Heimdahl:
Architectural Modeling and Analysis for Safety Engineering. IMBSA 2017: 97-111 - [c85]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
- [j20]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) - [c82]Anitha Murugesan, Michael W. Whalen, Elaheh Ghassabani, Mats Per Erik Heimdahl:
Complete Traceability for Requirements in Satisfaction Arguments. RE 2016: 359-364 - 2015
- [j19]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]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]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) - [c80]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 - [c78]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]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 - 2014
- [c74]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]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]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]Gregory Gay, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl:
Moving the goalposts: coverage satisfaction is not enough. SBST 2014: 19-22 - [c70]Michael W. Whalen, Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Structuring simulink models for verification and reuse. MiSE 2014: 19-24 - [c69]Jason Biatek, Michael W. Whalen, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael R. Lowry:
Analysis and testing of PLEXIL plans. FormaliSE 2014: 52-58 - 2013
- [j16]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) - [c64]Michael W. Whalen, Gregory Gay, Dongjiang You, Mats Per Erik Heimdahl, Matt Staats:
Observable modified Condition/Decision coverage. ICSE 2013: 102-111 - [c63]Anitha Murugesan, Michael W. Whalen, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Compositional verification of a medical device system. HILT 2013: 51-64 - 2012
- [c62]Matt Staats, Gregory Gay, Michael W. Whalen, Mats Per Erik Heimdahl:
On the Danger of Coverage Directed Test Case Generation. FASE 2012: 409-424 - [c60]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 - 2011
- [c57]Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl:
Programs, tests, and oracles: the foundations of testing revisited. ICSE 2011: 391-400 - [c56]Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl:
Better testing through oracle selection. ICSE 2011: 892-895 - 2010
- [c55]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 - 2008
- [c53]Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl:
Requirements Coverage as an Adequacy Measure for Conformance Testing. ICFEM 2008: 86-104 - [c51]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
- [c47]Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl:
Model Validation using Automatically Generated Requirements-Based Tests. HASE 2007: 95-104 - 2006
- [j12]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) - [c42]Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller:
Coverage metrics for requirements-based testing. ISSTA 2006: 25-36 - 2005
- [j11]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
- [c30]Mats Per Erik Heimdahl, Michael W. Whalen, Jeffrey M. Thompson:
NIMBUS: A Tool for Specification Centered Development. RE 2003: 349 - 2002
- [c26]Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen:
Deviation Analysis Through Model Checking. ASE 2002: 37-46 - 2000
- [j7]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) - 1999
- [c18]Michael W. Whalen, Mats Per Erik Heimdahl:
On the Requirements of High-Integrity Code Generation. HASE 1999: 217-226 - [c16]Michael W. Whalen, Mats Per Erik Heimdahl:
An Approach to Automatic Code Generation for Safety-Critical Systems. ASE 1999: 315-318 - 1998
- [c13]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 - 1997
- [c9]Mats Per Erik Heimdahl, Michael W. Whalen:
Reduction and Slicing of Hierarchical State Machines. ESEC / SIGSOFT FSE 1997: 450-467
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-26 00:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint