Constance L. Heitmeyer
Affiliations: Naval Research Laboratory, Washington, DC, USA
According to our database^{1},
Constance L. Heitmeyer
authored at least 82 papers
between 1980 and 2019.
Collaborative distances:
Collaborative distances:
Awards
IEEE Fellow
IEEE Fellow 2015, "For contributions to formal methods for modeling and analyzing software system requirements".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on orcid.org
On csauthors.net:
Bibliography
2019
Formal Aspects Comput., 2019
2017
Proceedings of the Dependable Software Systems Engineering, 2017
Proceedings of the 15th ACMIEEE International Conference on Formal Methods and Models for System Design, 2017
2015
Autom. Softw. Eng., 2015
Obtaining Trust in Autonomous Systems: Tools for Formal Model Synthesis and Validation.
Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015
2013
Proceedings of the 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, 2013
Proceedings of the Engineering Secure Software and Systems  5th International Symposium, 2013
Proceedings of the Perspectives on the Future of Software Engineering, 2013
2012
Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2012
2011
Proceedings of the Software and Systems Safety  Specification and Verification, 2011
2010
Modelbased construction and verification of critical systems using composition and partial refinement.
Formal Methods Syst. Des., 2010
Proceedings of the Testing Software and Systems, 2010
2009
A Formal Method for Developing Provably Correct FaultTolerant Systems Using Partial Refinement and Composition.
Proceedings of the FM 2009: Formal Methods, 2009
2008
IEEE Trans. Software Eng., 2008
Proceedings of the First Workshop on Certification of SafetyCritical Software Controlled Systems, 2008
Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safetycritical systems.
Des. Autom. Embed. Syst., 2008
2007
J. Univers. Comput. Sci., 2007
Formal Methods Syst. Des., 2007
On the Utility of Formal Methods in the Development and Certification of Software.
Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007
RE Theory Meets Software Practice: Lessons from the Software Development Trenches.
Proceedings of the 15th IEEE International Requirements Engineering Conference, 2007
2006
Analyzing tabular requirements specifications using infinite state model checking.
Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for CoDesign (MEMOCODE 2006), 2006
Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, 2006
Formal specification and verification of data separation in a separation kernel for an embedded system.
Proceedings of the 13th ACM Conference on Computer and Communications Security, 2006
2005
IEEE Softw., 2005
Tools for constructing requirements specifications: the SCR Toolset at the age of nine.
Comput. Syst. Sci. Eng., 2005
Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for CoDesign (MEMOCODE 2005), 2005
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005
Proceedings of the Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 2005
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005
2004
Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Componentbased Software Architectures, 2004
Critical Systems Development Using Modeling Languages (CSDUML04): Current Developments and Future Challenges (Report on the Third International Workshop).
Proceedings of the UML Modeling Languages and Applications, 2004
Panel: given that hardware verification has been an uphill battle, what is the future of software verification?
Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for CoDesign (MEMOCODE 2004), 2004
2003
High. Order Symb. Comput., 2003
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003
Proceedings of the Computer Safety, 2003
ICSE 2003 Workshop on Software Engineering for High Assurance Systems: Synergies between Process, Product, and Profiling (SEHAS 2003).
Proceedings of the 25th International Conference on Software Engineering, 2003
2002
Requirements Engineering and Technology Transfer: Obstacles, Incentives and Improvement Agenda.
Requir. Eng., 2002
Autom. Softw. Eng., 2002
2001
An Algorithm for Strengthening State Invariants Generated from Requirements Specifications.
Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001
Applying Practical Formal Methods to the Specification and Analysis of Security Properties.
Proceedings of the Information Assurance in Computer Networks: Methods, 2001
Proceedings of the 17th Annual Computer Security Applications Conference (ACSAC 2001), 2001
2000
A Flexible, Extensible Simulation Environment for Testing RealTime Specifications.
IEEE Trans. Computers, 2000
J. Univers. Comput. Sci., 2000
Transferring Research Results in Requirements to Practice: Obstacles and Incentives.
Proceedings of the 4th International Conference on Requirements Engineering, 2000
Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000
Proceedings of the Formal Approaches to AgentBased Systems, First International Workshop, 2000
1999
Autom. Softw. Eng., 1999
Proceedings of the 4th IEEE International Symposium on Requirements Engineering (RE '99), 1999
Formal Methods for Developing Software Specifications: Paths to Wider Usage.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999
Proceedings of the 4th IEEE International Symposium on HighAssurance Systems Engineering (HASE '99), 1999
Proceedings of the Software Engineering, 1999
Proceedings of the 15th Annual Computer Security Applications Conference (ACSAC 1999), 1999
1998
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications.
IEEE Trans. Software Eng., 1998
Proceedings of the 2nd Workshop on IndustrialStrength Formal Specification Techniques (WIFT '98), 1998
Formal Methods For Developing High Assurance Computer Systems: Working Group Report.
Proceedings of the 2nd Workshop on IndustrialStrength Formal Specification Techniques (WIFT '98), 1998
Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998
Proceedings of the Formal Techniques in RealTime and FaultTolerant Systems, 1998
Applying the SCR requirements method to a weapons control panel: an experience report.
Proceedings of the Second Workshop on Formal Methods in Software Practice, 1998
Proceedings of the Computer Aided Verification, 10th International Conference, 1998
1997
Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997
Proceedings of the Theorem Proving in Higher Order Logics, 10th International Conference, 1997
A Flexible, Extensible Simulation Environment for Testing RealTime Specifications.
Proceedings of the 3rd IEEE RealTime Technology and Applications Symposium, 1997
Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), 1997
The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support.
Proceedings of the Pulling Together, 1997
Rigorous Requirements for RealTime Systems: Evolution and Application of the SCR Method (Tutorial).
Proceedings of the Pulling Together, 1997
Proceedings of the Hybrid and RealTime Systems, 1997
A. Software Environment for Custom Simulation and Monitoring of RealTime Specifications.
Proceedings of the 2nd HighAssurance Systems Engineering Workshop (HASE '97), 1997
1996
ACM Trans. Softw. Eng. Methodol., 1996
Proceedings of the 2nd IEEE RealTime Technology and Applications Symposium, 1996
1995
Proceedings of the Second IEEE International Symposium on Requirements Engineering, March 27, 1995
Future Distributed Embedded and RealTime Applications Will Be Adaptive: Meanings, Challenges and Research Paradigms (Panel).
Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995
Proceedings of the Hybrid Systems III: Verification and Control, 1995
1994
The Generalized Railroad Crossing: A Case Study in Formal Verification of RealTime Systems.
Proceedings of the 15th IEEE RealTime Systems Symposium (RTSS '94), 1994
1993
Proceedings of the RealTime Systems Symposium. RaleighDurham, NC, USA, December 1993, 1993
1992
What is the Right Specification/Design/Implementation Paradigm for RealTime Applications?
Proceedings of the Real Time Computing, 1992
Proceedings of the Real Time Computing, 1992
Proceedings of the Conference on Human Factors in Computing Systems, 1992
1984
ACM Trans. Comput. Syst., 1984
Proceedings of the 1984 IEEE Symposium on Security and Privacy, Oakland, California, USA, April 29, 1984
1983
IEEE Trans. Software Eng., 1983
1982
Proceedings of the workshop on Rapid Prototyping, 1982
1980
IEEE Trans. Commun., 1980