The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Mats Per Erik Heimdahl" ( http://dblp.L3S.de/Authors/Mats_Per_Erik_Heimdahl )

  Author page on DBLP  Author page in RDF  Community of Mats Per Erik Heimdahl in ASPL-2

Publication years (Num. hits)
1991-1998 (17) 1999-2001 (15) 2002-2004 (15) 2005-2008 (18) 2009-2013 (19) 2014-2015 (18) 2016-2018 (10)
Publication types (Num. hits)
article(22) inproceedings(87) proceedings(3)
Venues (Conferences, Journals, ...)
ASE(11) HASE(10) ICSE(6) IEEE Trans. Software Eng.(6) RE(6) Autom. Softw. Eng.(4) ESEC / SIGSOFT FSE(4) ICFEM(4) COMPSAC (1)(3) ISSTA(3) Requir. Eng.(3) FASE(2) FHIES/SEHC(2) FMSP(2) ICSSP(2) ISSRE(2) More (+10 of total 55)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 71 occurrences of 50 keywords

Results
Found 113 publication records. Showing 112 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl Contract discovery from black-box components. Search on Bibsonomy WASPI@ESEC/SIGSOFT FSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Taejoon Byun, Vaibhav Sharma, Sanjai Rayadurgam, Stephen McCamant, Mats Per Erik Heimdahl Toward Rigorous Object-Code Coverage Criteria. Search on Bibsonomy ISSRE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Danielle Stewart, Michael W. Whalen, Darren D. Cofer, Mats Per Erik Heimdahl Architectural Modeling and Analysis for Safety Engineering. Search on Bibsonomy IMBSA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ian J. De Silva, Sanjai Rayadurgam, Mats Per Erik Heimdahl Domain modeling for development process simulation. Search on Bibsonomy ICSSP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen, Mats Per Erik Heimdahl, Lucas G. Wagner Proof-based coverage metrics for formal verification. Search on Bibsonomy ASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gregory 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. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee Representation of Confidence in Assurance Cases Using the Beta Distribution. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Anitha Murugesan, Michael W. Whalen, Elaheh Ghassabani, Mats Per Erik Heimdahl Complete Traceability for Requirements in Satisfaction Arguments. Search on Bibsonomy RE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kevin D. Wendt, Ken Reily, Mats Per Erik Heimdahl First Steps towards Exporting Education: Software Engineering Education Delivered Online to Professionals. Search on Bibsonomy CSEE&T The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gregory Gay, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl The Risks of Coverage-Directed Test Case Generation. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gregory Gay, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl Automated Oracle Data Selection Support. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Anitha Murugesan, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl Design Considerations for Modeling Modes in Cyber-Physical Systems. Search on Bibsonomy IEEE Design & Test The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee Hierarchical multi-formalism proofs of cyber-physical systems. Search on Bibsonomy MEMOCODE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee Representing Confidence in Assurance Case Evidence. Search on Bibsonomy SAFECOMP Workshops The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dongjiang You, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Gregory Gay Efficient observability-based test generation by dynamic symbolic execution. Search on Bibsonomy ISSRE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ian J. De Silva, Sanjai Rayadurgam, Mats Per Erik Heimdahl A reference model for simulating agile processes. Search on Bibsonomy ICSSP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Anitha 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. Search on Bibsonomy NFM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dongjiang You, Sanjai Rayadurgam, Mats Per Erik Heimdahl, John Komp, BaekGyu Kim, Oleg Sokolsky Executing Model-Based Tests on Platform-Specific Implementations (T). Search on Bibsonomy ASE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Anitha 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. Search on Bibsonomy FHIES/SEHC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Anaheed Ayoub, Oleg Sokolsky, Insup Lee Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey. Search on Bibsonomy FHIES/SEHC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Anitha 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. Search on Bibsonomy ICCPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl Improving the accuracy of oracle verdicts through automated model steering. Search on Bibsonomy ASE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Anitha Murugesan, Lu Feng 0001, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael W. Whalen, Insup Lee Exploring the twin peaks using probabilistic verification techniques. Search on Bibsonomy TwinPeaks The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael W. Whalen, Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl Structuring simulink models for verification and reuse. Search on Bibsonomy MiSE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gregory Gay, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl Moving the goalposts: coverage satisfaction is not enough. Search on Bibsonomy SBST The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl Steering model-based oracles to admit real program behaviors. Search on Bibsonomy ICSE Companion The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jason Biatek, Michael W. Whalen, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael R. Lowry Analysis and testing of PLEXIL plans. Search on Bibsonomy FormaliSE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael 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. Search on Bibsonomy IEEE Software The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Anitha Murugesan, Michael W. Whalen, Sanjai Rayadurgam, Mats Per Erik Heimdahl Compositional verification of a medical device system. Search on Bibsonomy HILT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Michael W. Whalen, Gregory Gay, Dongjiang You, Mats Per Erik Heimdahl, Matt Staats Observable modified Condition/Decision coverage. Search on Bibsonomy ICSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mats Per Erik Heimdahl, Lian Duan, Anitha Murugesan, Sanjai Rayadurgam Modeling and requirements on the physical side of cyber-physical systems. Search on Bibsonomy TwinPeaks@ICSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl Modes, features, and state-based modeling for clarity and flexibility. Search on Bibsonomy MiSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mats Per Erik Heimdahl, Pete Sawyer (eds.) 2012 20th IEEE International Requirements Engineering Conference (RE), Chicago, IL, USA, September 24-28, 2012 Search on Bibsonomy RE The full citation details ... 2012 DBLP  BibTeX  RDF
1Michael W. Whalen, Anitha Murugesan, Mats Per Erik Heimdahl Your what is my how: Why requirements and architectural design should be iterative. Search on Bibsonomy TwinPeaks@RE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jane Cleland-Huang, Mats Per Erik Heimdahl, Jane Huffman Hayes, Robyn R. Lutz, Patrick Maeder Trace Queries for Safety Requirements in High Assurance Systems. Search on Bibsonomy REFSQ The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mats Per Erik Heimdahl, Zhendong Su (eds.) International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, USA, July 15-20, 2012 Search on Bibsonomy ISSTA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Matt 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. Search on Bibsonomy ICSE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Matt Staats, Gregory Gay, Michael W. Whalen, Mats Per Erik Heimdahl On the Danger of Coverage Directed Test Case Generation. Search on Bibsonomy FASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mats Per Erik Heimdahl, Gabriele Taentzer Guest editorial: special issue on selected topics in automated software engineering - Specification mining and defect detection. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Oleg Sokolsky, Insup Lee, Mats Per Erik Heimdahl Challenges in the regulatory approval of medical cyber-physical systems. Search on Bibsonomy EMSOFT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl Better testing through oracle selection. Search on Bibsonomy ICSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl Programs, tests, and oracles: the foundations of testing revisited. Search on Bibsonomy ICSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Matt Staats, Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness. Search on Bibsonomy NASA Formal Methods The full citation details ... 2010 DBLP  BibTeX  RDF
1John 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. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Eric Van Wyk, Mats Per Erik Heimdahl Flexibility in modeling languages and tools: a call to arms. Search on Bibsonomy STTT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Antonia Zhai, Guojin He, Mats Per Erik Heimdahl Hardware Supported Flexible Monitoring: Early Results. Search on Bibsonomy RV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Matthew Staats, Mats Per Erik Heimdahl Partial Translation Verification for Untrusted Code-Generators. Search on Bibsonomy ICFEM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl Requirements Coverage as an Adequacy Measure for Conformance Testing. Search on Bibsonomy ICFEM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Matt Staats, Weijia Deng, Ajitha Rajan, Mats Per Erik Heimdahl, Kurt Woodham ReqsCov: A Tool for Measuring Test-Adequacy over Requirements. Search on Bibsonomy ASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl The effect of program and model structure on mc/dc test adequacy coverage. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF structural coverage metrics
1Mats Per Erik Heimdahl, George Devaraj On the effect of test-suite reduction on automatically generated model-based tests. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Test reduction, Fault finding, Specification-based testing, Automated test generation, Model checkers
1Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl Model Validation using Automatically Generated Requirements-Based Tests. Search on Bibsonomy HASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Anjali Joshi, Mats Per Erik Heimdahl Behavioral Fault Modeling for Model-based Safety Analysis. Search on Bibsonomy HASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Mats Per Erik Heimdahl Safety and Software Intensive Systems: Challenges Old and New. Search on Bibsonomy FOSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk Flexible and Extensible Notations for Modeling Languages. Search on Bibsonomy FASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Steven P. Miller, Alan C. Tribble, Michael W. Whalen, Mats Per Erik Heimdahl Proving the shalls. Search on Bibsonomy STTT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Formal verification, Software requirements, Model-based development
1Renée C. Bryce, Ajitha Rajan, Mats Per Erik Heimdahl Interaction Testing in Model-Based Development: Effect on Model-Coverage. Search on Bibsonomy APSEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jimin Gao, Mats Per Erik Heimdahl, David Owen 0002, Tim Menzies On the Distribution of Property Violations in Formal Models: An Initial Study. Search on Bibsonomy COMPSAC (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller Coverage metrics for requirements-based testing. Search on Bibsonomy ISSTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen Deviation Analysis: A New Use of Model Checking. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF model checking, robustness, deviation analysis
1Mats Per Erik Heimdahl A Case for Specification Validation. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Anjali Joshi, Mats Per Erik Heimdahl Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. Search on Bibsonomy SAFECOMP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Mats Per Erik Heimdahl Model-Based Testing: Challenges Ahead. Search on Bibsonomy COMPSAC (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1George Devaraj, Mats Per Erik Heimdahl, Donglin Liang Coverage-Directed Test Generation with Model Checkers: Challenges and Opportunities. Search on Bibsonomy COMPSAC (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Mats Per Erik Heimdahl, George Devaraj, Robert Weber Specification Test Coverage Adequacy Criteria = Specification Test Generation Inadequacy Criteria? Search on Bibsonomy HASE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Mats Per Erik Heimdahl, George Devaraj Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing. Search on Bibsonomy ASE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF test reduction, fault finding, specification-based testing, automated test generation, model checkers
1Yunja Choi, Mats Per Erik Heimdahl Combination Model Checking: Approach and a Case Study. Search on Bibsonomy ASE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jeffrey M. Thompson, Mats Per Erik Heimdahl Structuring product family requirements for n-dimensional and hierarchical product lines. Search on Bibsonomy Requir. Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Product line modelling, Requirements structuring, Domain Engineering, Product line engineering, Requirements reuse
1Sanjai Rayadurgam, Anjali Joshi, Mats Per Erik Heimdahl Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language. Search on Bibsonomy ICFEM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Steven P. Miller, Alan C. Tribble, Mats Per Erik Heimdahl Proving the Shalls. Search on Bibsonomy FME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Mats Per Erik Heimdahl, Michael W. Whalen, Jeffrey M. Thompson NIMBUS: A Tool for Specification Centered Development. Search on Bibsonomy RE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao Auto-generating Test Sequences Using Model Checkers: A Case Study. Search on Bibsonomy FATES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Sanjai Rayadurgam, Mats Per Erik Heimdahl Generating MC/DC Adequate Test Sequences Through Model Checking. Search on Bibsonomy SEW The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1David Owen 0002, Tim Menzies, Mats Per Erik Heimdahl, Jimin Gao On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate. Search on Bibsonomy SEW The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Yunja Choi, Mats Per Erik Heimdahl Model Checking Software Requirement Specifications using Domain Reduction Abstraction. Search on Bibsonomy ASE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints. Search on Bibsonomy Requir. Eng. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Model checking specifications, Abstraction, Numeric constraints
1Mats Per Erik Heimdahl Guest Editor's Introduction. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Yunja Choi, Mats Per Erik Heimdahl Model Checking RSML-e Requirements. Search on Bibsonomy HASE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen Deviation Analysis Through Model Checking. Search on Bibsonomy ASE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Sanjai Rayadurgam, Mats Per Erik Heimdahl Coverage Based Test-Case Generation Using Model Checkers. Search on Bibsonomy ECBS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Sanjai Rayadurgam, Mats Per Erik Heimdahl Test-Sequence Generation from Formal Requirement Models. Search on Bibsonomy HASE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Jeffrey M. Thompson, Mats Per Erik Heimdahl Extending the Product Family Approach to Support n-Dimensional and Hierarchical Product Lines. Search on Bibsonomy RE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl Automatic abstraction for model checking software systems with interrelated numeric constraints. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF domain abstraction, model checking software systems, numeric constraints
1Mats Per Erik Heimdahl, Jeffrey M. Thompson Specifying and Analysing System-Level Inter-Component Interfaces. Search on Bibsonomy Requir. Eng. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Inter-component communication, Safety kernel, State-based specification, Formal methods, Static analysis, Requirements specification, RSML
1Jeffrey M. Thompson, Michael W. Whalen, Mats Per Erik Heimdahl Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study. Search on Bibsonomy J. UCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Mats Per Erik Heimdahl, Barbara J. Czerny On the analysis needs when verifying state-based software requirements: an experience report. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Mats Per Erik Heimdahl (eds.) Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA Search on Bibsonomy FMSP The full citation details ... 2000 DBLP  BibTeX  RDF
1Barbara J. Czerny, Mats Per Erik Heimdahl Identifying Domain Axioms Using Binary Decision Diagrams. Search on Bibsonomy HASE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Static Requirements Analysis, Domain Axioms, Spurious Errors, Completeness Analysis, False Positives, Consistency Analysis, Binary Decision Diagrams (BDDs)
1Michael W. Whalen, Mats Per Erik Heimdahl On the Requirements of High-Integrity Code Generation. Search on Bibsonomy HASE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF formal methods, code generation, critical systems
1Jeffrey M. Thompson, Mats Per Erik Heimdahl, Steven P. Miller Specification-Based Prototyping for Embedded Systems. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Nancy G. Leveson, Mats Per Erik Heimdahl, Jon Damon Reese Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Jeffrey M. Thompson, Mats Per Erik Heimdahl An Integrated Development Environment for Prototyping Safety Critical Systems. Search on Bibsonomy IEEE International Workshop on Rapid System Prototyping The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Specification-based Prototyping, Software Engineering, Embedded Systems, Safety-critical Systems, RSML
1Michael Stein, Mats Per Erik Heimdahl, John Riedl Enhancing Annotation Visibility for Software Inspection. Search on Bibsonomy ASE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Michael W. Whalen, Mats Per Erik Heimdahl An Approach to Automatic Code Generation for Safety-Critical Systems. Search on Bibsonomy ASE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Mats Per Erik Heimdahl, Jeffrey M. Thompson, Barbara J. Czerny Specification and Analysis of Intercomponent Communication. Search on Bibsonomy IEEE Computer The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Mats Per Erik Heimdahl, Constance L. Heitmeyer Formal Methods For Developing High Assurance Computer Systems: Working Group Report. Search on Bibsonomy WIFT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Michael Stein, Mats Per Erik Heimdahl, John Riedl A General Framework for Interconnecting Annotations of Software Systems. Search on Bibsonomy COMPSAC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1David 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. Search on Bibsonomy FMSP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Mats Per Erik Heimdahl, Jeffrey M. Thompson, Michael W. Whalen On the Effectiveness of Slicing Hierarchical State Machines: A Case Study. Search on Bibsonomy EUROMICRO The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 112 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license