Constance L. Heitmeyer

According to our database, Constance L. Heitmeyer authored at least 82 papers between 1980 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

Editorial.

Stefania Gnesi, Ana Cavalcanti, John S. Fitzgerald, Constance L. Heitmeyer

Formal Aspects Comput., 2019

2017

Computing the Next-State Function of a Requirements Model.

Constance L. Heitmeyer, Elizabeth I. Leonard, Myla M. Archer

Proceedings of the Dependable Software Systems Engineering, 2017

Property templates for checking source code security.

Elizabeth I. Leonard, Myla M. Archer, Constance L. Heitmeyer

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.

Constance L. Heitmeyer, Marc Pickett, Elizabeth I. Leonard, Myla M. Archer, Indrakshi Ray, David W. Aha, J. Gregory Trafton

Autom. Softw. Eng., 2015

Obtaining Trust in Autonomous Systems: Tools for Formal Model Synthesis and Validation.

Constance L. Heitmeyer, Elizabeth I. Leonard

Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

2013

High assurance human-centric decision systems.

Constance L. Heitmeyer, Marc Pickett, Len Breslow, David W. Aha, J. Greg Trafton, Elizabeth I. Leonard

Proceedings of the 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, 2013

Idea: Writing Secure C Programs with SecProve.

Myla Archer, Elizabeth I. Leonard, Constance L. Heitmeyer

Proceedings of the Engineering Secure Software and Systems - 5th International Symposium, 2013

On Model-Based Software Development.

Constance L. Heitmeyer, Sandeep K. Shukla, Myla M. Archer, Elizabeth I. Leonard

Proceedings of the Perspectives on the Future of Software Engineering, 2013

2012

Direct generation of invariants for reactive models.

Elizabeth I. Leonard, Myla Archer, Constance L. Heitmeyer, Ralph D. Jeffords

Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2012

2011

Requirements Models for Critical Systems.

Constance L. Heitmeyer

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.

Ralph D. Jeffords, Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard

Formal Methods Syst. Des., 2010

A Model-Based Approach to Testing Software for Critical Behavior and Properties.

Constance L. Heitmeyer

Proceedings of the Testing Software and Systems, 2010

2009

A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition.

Ralph D. Jeffords, Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard

Proceedings of the FM 2009: Formal Methods, 2009

2008

Applying Formal Methods to a Certifiably Secure Software System.

Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard, John McLean

IEEE Trans. Software Eng., 2008

On the Role of Formal Methods in Software Certification: An Experience Report.

Constance L. Heitmeyer

Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008

Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems.

Tevfik Bultan, Constance L. Heitmeyer

Des. Autom. Embed. Syst., 2008

2007

Formal Methods for Specifying, Validating, and Verifying Requirements.

Constance L. Heitmeyer

J. Univers. Comput. Sci., 2007

Guest editorial.

Constance L. Heitmeyer, Jean-Pierre Talpin

Formal Methods Syst. Des., 2007

On the Utility of Formal Methods in the Development and Certification of Software.

Constance L. Heitmeyer

Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007

RE Theory Meets Software Practice: Lessons from the Software Development Trenches.

Constance L. Heitmeyer, Ralph D. Jeffords, Ramesh Bharadwaj, Myla Archer

Proceedings of the 15th IEEE International Requirements Engineering Conference, 2007

2006

Analyzing tabular requirements specifications using infinite state model checking.

Tevfik Bultan, Constance L. Heitmeyer

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.

Tom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard

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.

Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard, John D. McLean

Proceedings of the 13th ACM Conference on Computer and Communications Security, 2006

2005

Point/Counterpoint.

James Robertson, Connie Heitmeyer

IEEE Softw., 2005

Tools for constructing requirements specifications: the SCR Toolset at the age of nine.

Constance L. Heitmeyer, Myla Archer, Ramesh Bharadwaj, Ralph D. Jeffords

Comput. Syst. Sci. Eng., 2005

Panel on design for verification.

Tevfik Bultan, Constance L. Heitmeyer, John O'Leary

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.

Constance L. Heitmeyer, Klaus Pohl

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

A Panacea or Academic Poppycock: Formal Methods Revisited.

Constance L. Heitmeyer

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?

Constance L. Heitmeyer

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004

Managing Complexity in Software Development with Formally Based Tools.

Constance L. Heitmeyer

Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2004

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

Jan Jürjens, Eduardo B. Fernández, Robert B. France, Bernhard Rumpe, Constance L. Heitmeyer

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?

Sandeep K. Shukla, Tevfik Bultan, Constance L. Heitmeyer

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.

Elizabeth I. Leonard, Constance L. Heitmeyer

High. Order Symb. Comput., 2003

A strategy for efficiently verifying requirements.

Ralph D. Jeffords, Constance L. Heitmeyer

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.

Constance L. Heitmeyer

Proceedings of the Computer Safety, 2003

ICSE 2003 Workshop on Software Engineering for High Assurance Systems: Synergies between Process, Product, and Profiling (SEHAS 2003).

Martin S. Feather, Allen P. Nikora, Constance L. Heitmeyer, Nancy R. Mead

Proceedings of the 25th International Conference on Software Engineering, 2003

2002

Requirements Engineering and Technology Transfer: Obstacles, Incentives and Improvement Agenda.

Hermann Kaindl, Sjaak Brinkkemper, Janis A. Bubenko Jr., Barbara Farbey, Sol J. Greenspan, Constance L. Heitmeyer, Julio César Sampaio do Prado Leite, Nancy R. Mead, John Mylopoulos, Jawed I. A. Siddiqi

Requir. Eng., 2002

Proving Invariants of I/O Automata with TAME.

Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene

Autom. Softw. Eng., 2002

2001

An Algorithm for Strengthening State Invariants Generated from Requirements Specifications.

Ralph D. Jeffords, Constance L. Heitmeyer

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.

Constance L. Heitmeyer

Proceedings of the Information Assurance in Computer Networks: Methods, 2001

A Security Model for Military Message Systems: Retrospective.

Carl E. Landwehr, Constance L. Heitmeyer, John D. McLean

Proceedings of the 17th Annual Computer Security Applications Conference (ACSAC 2001), 2001

2000

A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications.

Monica Brockmeyer, Farnam Jahanian, Constance L. Heitmeyer, Elly Winner

IEEE Trans. Computers, 2000

Applying the SCR Requirements Method to the Light Control Case Study.

Constance L. Heitmeyer, Ramesh Bharadwaj

J. Univers. Comput. Sci., 2000

Transferring Research Results in Requirements to Practice: Obstacles and Incentives.

Constance L. Heitmeyer

Proceedings of the 4th International Conference on Requirements Engineering, 2000

Using TAME to prove invariants of automata models: Two case studies.

Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene

Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000

Panel Discussion: Future Directions.

Michael G. Hinchey, James A. Hendler, Charles Pecheur, Constance L. Heitmeyer, Diana F. Gordon, Michael Luck, Walt Truszkowski

Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

1999

Model Checking Complete Requirements Specifications Using Abstraction.

Ramesh Bharadwaj, Constance L. Heitmeyer

Autom. Softw. Eng., 1999

Increasing the Role of RE in the Development of Dependable Systems.

Constance L. Heitmeyer, Philip Morris

Proceedings of the 4th IEEE International Symposium on Requirements Engineering (RE '99), 1999

Formal Methods for Developing Software Specifications: Paths to Wider Usage.

Constance L. Heitmeyer

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.

James Kirby Jr., Myla Archer, Constance L. Heitmeyer

Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

Using Model Checking to Generate Tests from Requirements Specifications.

Angelo Gargantini, Constance L. Heitmeyer

Proceedings of the Software Engineering, 1999

SCR: A Practical Approach to Building a High Assurance COMSEC System.

James Kirby, Myla Archer, Constance L. Heitmeyer

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.

Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj

IEEE Trans. Software Eng., 1998

Using the SCR* Toolset to Specify Software Requirements.

Constance L. Heitmeyer

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.

Mats Per Erik Heimdahl, Constance L. Heitmeyer

Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

Automatic Generation of State Invariants from Requirements Specifications.

Ralph D. Jeffords, Constance L. Heitmeyer

Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998

On the Need for Practical Formal Methods.

Constance L. Heitmeyer

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.

Constance L. Heitmeyer, James Kirby, Bruce G. Labaw

Proceedings of the Second Workshop on Formal Methods in Software Practice, 1998

SCR*: A Toolset for Specifying and Analyzing Software Requirements.

Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Ramesh Bharadwaj

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

Formal Methods: A Panacea or Academic Poppycock?

Constance L. Heitmeyer

Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

Human-Style Theorem Proving Using PVS.

Myla Archer, Constance L. Heitmeyer

Proceedings of the Theorem Proving in Higher Order Logics, 10th International Conference, 1997

A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications.

Monica Brockmeyer, Farnam Jahanian, Constance L. Heitmeyer, Bruce G. Labaw

Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium, 1997

The SCR Approach to Requirements Specification and Analysis.

Stuart R. Faulk, Constance L. Heitmeyer

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.

Constance L. Heitmeyer, James Kirby, Bruce G. Labaw

Proceedings of the Pulling Together, 1997

Rigorous Requirements for Real-Time Systems: Evolution and Application of the SCR Method (Tutorial).

Stuart R. Faulk, Constance L. Heitmeyer

Proceedings of the Pulling Together, 1997

Verifying Hybrid Systems Modeled as Timed Automata: A Case Study.

Myla Archer, Constance L. Heitmeyer

Proceedings of the Hybrid and Real-Time Systems, 1997

A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications.

Monica Brockmeyer, Farnam Jahanian, Elly Winner, Constance L. Heitmeyer, Bruce G. Labaw

Proceedings of the 2nd High-Assurance Systems Engineering Workshop (HASE '97), 1997

1996

Automated Consistency Checking of Requirements Specifications.

Constance L. Heitmeyer, Ralph D. Jeffords, Bruce G. Labaw

ACM Trans. Softw. Eng. Methodol., 1996

Mechanical verification of timed automata: a case study.

Myla Archer, Constance L. Heitmeyer

Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium, 1996

1995

Consistency checking of SCR-style requirements specifications.

Constance L. Heitmeyer, Bruce G. Labaw, Daniel L. Kiskis

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).

Aloysius K. Mok, Constance L. Heitmeyer, Kevin Jeffay, Michael B. Jones, C. Douglass Locke, Ragunathan Rajkumar

Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995

Requirements Specifications for Hybrid Systems.

Constance L. Heitmeyer

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.

Constance L. Heitmeyer, Nancy A. Lynch

Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994

1993

MT: A Toolset for Specifying and Analyzing Real-Time Systems.

Paul C. Clements, Constance L. Heitmeyer, Bruce G. Labaw, A. T. Rose

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?

Constance L. Heitmeyer

Proceedings of the Real Time Computing, 1992

A Toolset for Developing Real-Time Systems.

Constance L. Heitmeyer

Proceedings of the Real Time Computing, 1992

Evaluating Two Aspects of Direct Manipulation in Advanced Cockpits.

James A. Ballas, Constance L. Heitmeyer, Manuel A. Pérez-Quiñones

Proceedings of the Conference on Human Factors in Computing Systems, 1992

1984

A Security Model for Military Message Systems

Carl E. Landwehr, Constance L. Heitmeyer, John D. McLean

ACM Trans. Comput. Syst., 1984

A Formal Statement of the MMS Security Model.

John D. McLean, Carl E. Landwehr, Constance L. Heitmeyer

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.

Constance L. Heitmeyer, John D. McLean

IEEE Trans. Software Eng., 1983

1982

The use of quick prototypes in the secure military message systems project.

Connie Heitmeyer, Carl E. Landwehr, M. Cornwell

Proceedings of the workshop on Rapid Prototyping, 1982

1980

Military Message Systems: Current Status and Future Directions.

Constance L. Heitmeyer, Stanley H. Wilson

IEEE Trans. Commun., 1980