Constance L. Heitmeyer

According to our database1, Constance L. Heitmeyer authored at least 81 papers between 1983 and 2019.

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 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
Editorial.
Formal Asp. Comput., 2019

2017
Computing the Next-State Function of a Requirements Model.
Proceedings of the Dependable Software Systems Engineering, 2017

Property templates for checking source code security.
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

2015
Building high assurance human-centric decision systems.
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

2014
Critical Systems Development Using Modeling Languages. (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop).
CoRR, 2014

2013
High assurance human-centric decision systems.
Proceedings of the 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, 2013

Idea: Writing Secure C Programs with SecProve.
Proceedings of the Engineering Secure Software and Systems - 5th International Symposium, 2013

On Model-Based Software Development.
Proceedings of the Perspectives on the Future of Software Engineering, 2013

2012
Direct generation of invariants for reactive models.
Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2012

2011
Requirements Models for Critical Systems.
Proceedings of the Software and Systems Safety - Specification and Verification, 2011

2010
Model-based construction and verification of critical systems using composition and partial refinement.
Formal Methods in System Design, 2010

A Model-Based Approach to Testing Software for Critical Behavior and Properties.
Proceedings of the Testing Software and Systems, 2010

2009
On the Role of Formal Methods in Software Certification: An Experience Report.
Electr. Notes Theor. Comput. Sci., 2009

A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition.
Proceedings of the FM 2009: Formal Methods, 2009

2008
Applying Formal Methods to a Certifiably Secure Software System.
IEEE Trans. Software Eng., 2008

Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems.
Design Autom. for Emb. Sys., 2008

2007
Formal Methods for Specifying, Validating, and Verifying Requirements.
J. UCS, 2007

Guest editorial.
Formal Methods in System Design, 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 Co-Design (MEMOCODE 2006), 2006

Generating optimized code from SCR specifications.
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, CCS 2006, Alexandria, VA, USA, Ioctober 30, 2006

2005
Point/Counterpoint.
IEEE Software, 2005

Tools for constructing requirements specifications: the SCR Toolset at the age of nine.
Comput. Syst. Sci. Eng., 2005

Panel on design for verification.
Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

Introduction to the experience reports track.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

A Panacea or Academic Poppycock: Formal Methods Revisited.
Proceedings of the Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 2005

Developing High Quality Software with Formal Methods: What Else Is Needed?
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004
Managing Complexity in Software Development with Formally Based Tools.
Electr. Notes Theor. Comput. Sci., 2004

Critical Systems Development Using Modeling Languages (CSDUML-04): 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 Co-Design (MEMOCODE 2004), 2004

2003
Program Synthesis from Formal Requirements Specifications Using APTS.
Higher-Order and Symbolic Computation, 2003

A strategy for efficiently verifying requirements.
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Developing High Assurance Systems: On the Role of Software Tools.
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

Proving Invariants of I/O Automata with TAME.
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

A Security Model for Military Message Systems: Retrospective.
Proceedings of the 17th Annual Computer Security Applications Conference (ACSAC 2001), 2001

2000
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications.
IEEE Trans. Computers, 2000

Applying the SCR Requirements Method to the Light Control Case Study.
J. UCS, 2000

Transferring Research Results in Requirements to Practice: Obstacles and Incentives.
Proceedings of the 4th International Conference on Requirements Engineering, 2000

Using TAME to prove invariants of automata models: Two case studies.
Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000

Panel Discussion: Future Directions.
Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

1999
Model Checking Complete Requirements Specifications Using Abstraction.
Autom. Softw. Eng., 1999

Increasing the Role of RE in the Development of Dependable Systems.
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

Applying Formal Methods to an Information Security Device: An Experience Report.
Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

Using Model Checking to Generate Tests from Requirements Specifications.
Proceedings of the Software Engineering, 1999

SCR: A Practical Approach to Building a High Assurance COMSEC System.
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

Using the SCR* Toolset to Specify Software Requirements.
Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

Formal Methods For Developing High Assurance Computer Systems: Working Group Report.
Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

Automatic Generation of State Invariants from Requirements Specifications.
Proceedings of the SIGSOFT '98, 1998

On the Need for Practical Formal Methods.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant 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

SCR*: A Toolset for Specifying and Analyzing Software Requirements.
Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997
Formal Methods: A Panacea or Academic Poppycock?
Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

Human-Style Theorem Proving Using PVS.
Proceedings of the Theorem Proving in Higher Order Logics, 10th International Conference, 1997

A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications.
Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium, 1997

The SCR Approach to Requirements Specification and Analysis.
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 Real-Time Systems: Evolution and Application of the SCR Method (Tutorial).
Proceedings of the Pulling Together, 1997

Verifying Hybrid Systems Modeled as Timed Automata: A Case Study.
Proceedings of the Hybrid and Real-Time Systems, 1997

A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications.
Proceedings of the 2nd High-Assurance Systems Engineering Workshop (HASE '97), 1997

1996
Automated Consistency Checking of Requirements Specifications.
ACM Trans. Softw. Eng. Methodol., 1996

Mechanical verification of timed automata: a case study.
Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium, 1996

1995
Consistency checking of SCR-style requirements specifications.
Proceedings of the Second IEEE International Symposium on Requirements Engineering, March 27, 1995

Future Distributed Embedded and Real-Time 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

Requirements Specifications for Hybrid Systems.
Proceedings of the Hybrid Systems III: Verification and Control, 1995

1994
The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems.
Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994

1993
MT: A Toolset for Specifying and Analyzing Real-Time Systems.
Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993, 1993

1992
What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications?
Proceedings of the Real Time Computing, 1992

A Toolset for Developing Real-Time Systems.
Proceedings of the Real Time Computing, 1992

Evaluating Two Aspects of Direct Manipulation in Advanced Cockpits.
Proceedings of the Conference on Human Factors in Computing Systems, 1992

1984
A Security Model for Military Message Systems
ACM Trans. Comput. Syst., 1984

A Formal Statement of the MMS Security Model.
Proceedings of the 1984 IEEE Symposium on Security and Privacy, Oakland, California, USA, April 29, 1984

1983
Abstract Requirements Specification: A New Approach and Its Application.
IEEE Trans. Software Eng., 1983


  Loading...