default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMats P. E. Heimdahl
Mats Per Erik Heimdahl
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[c94]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
- [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) - [c93]Taejoon Byun, Sanjai Rayadurgam, Mats P. E. Heimdahl:
Black-Box Testing of Deep Neural Networks. ISSRE 2021: 309-320 - [c92]Soha Hussein, Vaibhav Sharma, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Counterexample Guided Inductive Repair of Reactive Contracts. ASE 2021: 1190-1192 - [c91]Danielle Stewart, Michael W. Whalen, Mats Per Erik Heimdahl, Jing Liu, Darren D. Cofer:
Composition of Fault Forests. SAFECOMP 2021: 258-275
2010 – 2019
- 2019
- [c90]Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Requirements Reference Models Revisited: Accommodating Hierarchy in System Design. RE 2019: 177-186 - 2018
- [c89]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
- [j21]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) - [c88]Danielle Stewart, Michael W. Whalen, Darren D. Cofer, Mats Per Erik Heimdahl:
Architectural Modeling and Analysis for Safety Engineering. IMBSA 2017: 97-111 - [c87]Ian J. De Silva, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Domain modeling for development process simulation. ICSSP 2017: 95-99 - [c86]Taejoon Byun, Vaibhav Sharma, Sanjai Rayadurgam, Stephen McCamant, Mats Per Erik Heimdahl:
Toward Rigorous Object-Code Coverage Criteria. ISSRE 2017: 328-338 - [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) - [c84]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]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]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) - [c81]Ian J. De Silva, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
A reference model for simulating agile processes. ICSSP 2015: 82-91 - [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 - [c79]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]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 - [c76]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]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]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 - [c68]Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Steering model-based oracles to admit real program behaviors. ICSE Companion 2014: 428-431 - [c67]Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Improving the accuracy of oracle verdicts through automated model steering. ASE 2014: 527-538 - 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) - [c66]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]Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Modes, features, and state-based modeling for clarity and flexibility. MiSE 2013: 13-17 - [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 - [c61]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]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]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 - [e3]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]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] - 2011
- [j15]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) - [c58]Oleg Sokolsky, Insup Lee, Mats Per Erik Heimdahl:
Challenges in the regulatory approval of medical cyber-physical systems. EMSOFT 2011: 227-232 - [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
2000 – 2009
- 2009
- [j14]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) - [c54]Antonia Zhai, Guojin He, Mats Per Erik Heimdahl:
Hardware Supported Flexible Monitoring: Early Results. RV 2009: 168-183 - 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 - [c52]Matthew Staats, Mats Per Erik Heimdahl:
Partial Translation Verification for Untrusted Code-Generators. ICFEM 2008: 226-237 - [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 - [c50]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]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
- [j13]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) - [c48]Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk:
Flexible and Extensible Notations for Modeling Languages. FASE 2007: 102-116 - [c47]Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl:
Model Validation using Automatically Generated Requirements-Based Tests. HASE 2007: 95-104 - [c46]Anjali Joshi, Mats Per Erik Heimdahl:
Behavioral Fault Modeling for Model-based Safety Analysis. HASE 2007: 199-208 - [c45]Mats Per Erik Heimdahl:
Safety and Software Intensive Systems: Challenges Old and New. FOSE 2007: 137-152 - 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) - [c44]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]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]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) - [c41]Mats Per Erik Heimdahl:
Model-Based Testing: Challenges Ahead. COMPSAC (1) 2005: 330 - [c40]George Devaraj, Mats Per Erik Heimdahl, Donglin Liang:
Coverage-Directed Test Generation with Model Checkers: Challenges and Opportunities. COMPSAC (1) 2005: 455-462 - [c39]Anjali Joshi, Mats Per Erik Heimdahl:
Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. SAFECOMP 2005: 122-135 - [c38]Mats Per Erik Heimdahl:
A Case for Specification Validation. VSTTE 2005: 392-402 - 2004
- [c37]Mats Per Erik Heimdahl, George Devaraj, Robert Weber:
Specification Test Coverage Adequacy Criteria = Specification Test Generation Inadequacy Criteria? HASE 2004: 178-186 - [c36]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]Yunja Choi, Mats Per Erik Heimdahl:
Combination Model Checking: Approach and a Case Study. ASE 2004: 354-357 - 2003
- [j10]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) - [c34]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]Steven P. Miller, Alan C. Tribble, Mats Per Erik Heimdahl:
Proving the Shalls. FME 2003: 75-93 - [c32]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]Yunja Choi, Mats Per Erik Heimdahl:
Model Checking Software Requirement Specifications using Domain Reduction Abstraction. ASE 2003: 314-317 - [c30]Mats Per Erik Heimdahl, Michael W. Whalen, Jeffrey M. Thompson:
NIMBUS: A Tool for Specification Centered Development. RE 2003: 349 - [c29]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]Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Generating MC/DC Adequate Test Sequences Through Model Checking. SEW 2003: 91 - 2002
- [j9]Mats Per Erik Heimdahl:
Guest Editor's Introduction. Autom. Softw. Eng. 9(3): 199 (2002) - [j8]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) - [c27]Yunja Choi, Mats Per Erik Heimdahl:
Model Checking RSML-e Requirements. HASE 2002: 109-118 - [c26]Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen:
Deviation Analysis Through Model Checking. ASE 2002: 37-46 - 2001
- [c25]Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Coverage Based Test-Case Generation Using Model Checkers. ECBS 2001: 83- - [c24]Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Test-Sequence Generation from Formal Requirement Models. HASE 2001: 23-31 - [c23]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]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 - 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) - [j6]Mats Per Erik Heimdahl, Jeffrey M. Thompson:
Specifying and Analysing System-Level Inter-Component Interfaces. Requir. Eng. 5(4): 208-224 (2000) - [j5]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) - [e1]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]
1990 – 1999
- 1999
- [c21]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]Jeffrey M. Thompson, Mats Per Erik Heimdahl, Steven P. Miller:
Specification-Based Prototyping for Embedded Systems. ESEC / SIGSOFT FSE 1999: 163-179 - [c19]Barbara J. Czerny, Mats Per Erik Heimdahl:
Identifying Domain Axioms Using Binary Decision Diagrams. HASE 1999: 132-140 - [c18]Michael W. Whalen, Mats Per Erik Heimdahl:
On the Requirements of High-Integrity Code Generation. HASE 1999: 217-226 - [c17]Michael V. Stein, Mats Per Erik Heimdahl, John Riedl:
Enhancing Annotation Visibility for Software Inspection. ASE 1999: 243-246 - [c16]Michael W. Whalen, Mats Per Erik Heimdahl:
An Approach to Automatic Code Generation for Safety-Critical Systems. ASE 1999: 315-318 - [c15]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
- [j4]Mats Per Erik Heimdahl, Jeffrey M. Thompson, Barbara J. Czerny:
Specification and Analysis of Intercomponent Communication. Computer 31(4): 47-54 (1998) - [c14]Michael V. Stein, Mats Per Erik Heimdahl, John Riedl:
A General Framework for Interconnecting Annotations of Software Systems. COMPSAC 1998: 421-429 - [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 - [c12]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]Barbara J. Czerny, Mats Per Erik Heimdahl:
Automated Integrative Analysis of State-based Requirements. ASE 1998: 125- - [c10]Mats Per Erik Heimdahl, Constance L. Heitmeyer:
Formal Methods For Developing High Assurance Computer Systems: Working Group Report. WIFT 1998: 60- - 1997
- [c9]Mats Per Erik Heimdahl, Michael W. Whalen:
Reduction and Slicing of Hierarchical State Machines. ESEC / SIGSOFT FSE 1997: 450-467 - [c8]Mats Per Erik Heimdahl:
Verifying Communication Constraints in RSML Specifications. HASE 1997: 56-63 - [c7]Mats Per Erik Heimdahl, Jeffrey M. Thompson:
Specification and Analysis of System Level Inter-Component Communication. ICFEM 1997: 192-202 - [c6]Mats Per Erik Heimdahl, David J. Keenan:
Generating Code from Hierarchical State-Based Requirements. RE 1997: 210- - [c5]Mats Per Erik Heimdahl, Jon Damon Reese:
Software Requirements Specification and System Safety. RE 1997: 264 - 1996
- [j3]Mats Per Erik Heimdahl, Nancy G. Leveson:
Completeness and Consistency in Hierarchical State-Based Requirements. IEEE Trans. Software Eng. 22(6): 363-377 (1996) - [c4]Mats Per Erik Heimdahl, Barbara J. Czerny:
Using PVS to analyze hierarchical state-based requirements for completeness and consistency. HASE 1996: 252-262 - [c3]Mats Per Erik Heimdahl:
Experiences and Lessons from the Analysis of TCAS II. ISSTA 1996: 79-83 - 1995
- [c2]Mats Per Erik Heimdahl, Nancy G. Leveson:
Completeness and Consistency Analysis of State-Based Requirements. ICSE 1995: 3-14 - 1994
- [j2]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]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) - [c1]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
Coauthor Index
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-10-07 22:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
