Constance L. Heitmeyer

Publication Activity (10 Years)

Years Active: 1980-2019
Publications (10 Years): 4

Top Topics

Modeling Language

Top Venues

Autom. Softw. Eng.

Publications

Stefania Gnesi, Ana Cavalcanti, John S. Fitzgerald, Constance L. Heitmeyer
Editorial. Formal Aspects Comput. 31 (2) (2019)
Elizabeth I. Leonard, Myla M. Archer, Constance L. Heitmeyer
Property templates for checking source code security. MEMOCODE (2017)
Constance L. Heitmeyer, Marc Pickett, Elizabeth I. Leonard, Myla M. Archer, Indrakshi Ray, David W. Aha, J. Gregory Trafton
Building high assurance human-centric decision systems. Autom. Softw. Eng. 22 (2) (2015)
Constance L. Heitmeyer, Elizabeth I. Leonard
Obtaining Trust in Autonomous Systems: Tools for Formal Model Synthesis and Validation. FormaliSE@ICSE (2015)
Jan Jürjens, Eduardo B. Fernández, Robert B. France, Bernhard Rumpe, Constance L. Heitmeyer
Critical Systems Development Using Modeling Languages. (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop). CoRR (2014)
Constance L. Heitmeyer, Marc Pickett, Len Breslow, David W. Aha, J. Greg Trafton, Elizabeth I. Leonard
High assurance human-centric decision systems. RAISE@ICSE (2013)
Myla Archer, Elizabeth I. Leonard, Constance L. Heitmeyer
Idea: Writing Secure C Programs with SecProve. ESSoS (2013)
Constance L. Heitmeyer, Sandeep K. Shukla, Myla M. Archer, Elizabeth I. Leonard
On Model-Based Software Development. Perspectives on the Future of Software Engineering (2013)
Elizabeth I. Leonard, Myla Archer, Constance L. Heitmeyer, Ralph D. Jeffords
Direct generation of invariants for reactive models. MEMOCODE (2012)
Ralph D. Jeffords, Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard
Model-based construction and verification of critical systems using composition and partial refinement. Formal Methods Syst. Des. 37 (2-3) (2010)
Constance L. Heitmeyer
A Model-Based Approach to Testing Software for Critical Behavior and Properties. ICTSS (2010)
Ralph D. Jeffords, Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard
A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition. FM (2009)
Constance L. Heitmeyer
On the Role of Formal Methods in Software Certification: An Experience Report. Electron. Notes Theor. Comput. Sci. 238 (4) (2009)
Tevfik Bultan, Constance L. Heitmeyer
Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems. Des. Autom. Embed. Syst. 12 (1-2) (2008)
Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard, John McLean
Applying Formal Methods to a Certifiably Secure Software System. IEEE Trans. Software Eng. 34 (1) (2008)
Constance L. Heitmeyer
On the Utility of Formal Methods in the Development and Certification of Software. TPHOLs (2007)
Constance L. Heitmeyer
Formal Methods for Specifying, Validating, and Verifying Requirements. J. Univers. Comput. Sci. 13 (5) (2007)
Constance L. Heitmeyer, Ralph D. Jeffords, Ramesh Bharadwaj, Myla Archer
RE Theory Meets Software Practice: Lessons from the Software Development Trenches. RE (2007)
Constance L. Heitmeyer, Jean-Pierre Talpin
Guest editorial. Formal Methods Syst. Des. 30 (1) (2007)
Tom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard
Generating optimized code from SCR specifications. LCTES (2006)
Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard, John D. McLean
Formal specification and verification of data separation in a separation kernel for an embedded system. CCS (2006)
Tevfik Bultan, Constance L. Heitmeyer
Analyzing tabular requirements specifications using infinite state model checking. MEMOCODE (2006)
Tevfik Bultan, Constance L. Heitmeyer, John O'Leary
Panel on design for verification. MEMOCODE (2005)
Constance L. Heitmeyer
A Panacea or Academic Poppycock: Formal Methods Revisited. HASE (2005)
Constance L. Heitmeyer, Myla Archer, Ramesh Bharadwaj, Ralph D. Jeffords
Tools for constructing requirements specifications: the SCR Toolset at the age of nine. Comput. Syst. Sci. Eng. 20 (1) (2005)
Constance L. Heitmeyer, Klaus Pohl
Introduction to the experience reports track. ICSE (2005)
Constance L. Heitmeyer
Developing High Quality Software with Formal Methods: What Else Is Needed? FORTE (2005)
Sandeep K. Shukla, Tevfik Bultan, Constance L. Heitmeyer
Panel: given that hardware verification has been an uphill battle, what is the future of software verification? MEMOCODE (2004)
Jan Jürjens, Eduardo B. Fernández, Robert B. France, Bernhard Rumpe, Constance L. Heitmeyer
Critical Systems Development Using Modeling Languages (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop). UML Satellite Activities (2004)
Constance L. Heitmeyer
Managing Complexity in Software Development with Formally Based Tools. Electron. Notes Theor. Comput. Sci. 108 (2004)
Constance L. Heitmeyer
Developing High Assurance Systems: On the Role of Software Tools. SAFECOMP (2003)
Martin S. Feather, Allen P. Nikora, Constance L. Heitmeyer, Nancy R. Mead
ICSE 2003 Workshop on Software Engineering for High Assurance Systems: Synergies between Process, Product, and Profiling (SEHAS 2003). ICSE (2003)
Ralph D. Jeffords, Constance L. Heitmeyer
A strategy for efficiently verifying requirements. ESEC / SIGSOFT FSE (2003)
Elizabeth I. Leonard, Constance L. Heitmeyer
Program Synthesis from Formal Requirements Specifications Using APTS. High. Order Symb. Comput. 16 (1-2) (2003)
Hermann Kaindl, Sjaak Brinkkemper, Janis A. Bubenko Jr., Barbara Farbey, Sol J. Greenspan, Constance L. Heitmeyer, Julio Cesar Sampaio do Prado Leite, Nancy R. Mead, John Mylopoulos, Jawed I. A. Siddiqi
Requirements Engineering and Technology Transfer: Obstacles, Incentives and Improvement Agenda. Requir. Eng. 7 (3) (2002)
Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene
Proving Invariants of I/O Automata with TAME. Autom. Softw. Eng. 9 (3) (2002)
Ralph D. Jeffords, Constance L. Heitmeyer
An Algorithm for Strengthening State Invariants Generated from Requirements Specifications. RE (2001)
Constance L. Heitmeyer
Applying Practical Formal Methods to the Specification and Analysis of Security Properties. MMM-ACNS (2001)
Carl E. Landwehr, Constance L. Heitmeyer, John D. McLean
A Security Model for Military Message Systems: Retrospective. ACSAC (2001)
Constance L. Heitmeyer, Ramesh Bharadwaj
Applying the SCR Requirements Method to the Light Control Case Study. J. Univers. Comput. Sci. 6 (7) (2000)
Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene
Using TAME to prove invariants of automata models: Two case studies. FMSP (2000)
Monica Brockmeyer, Farnam Jahanian, Constance L. Heitmeyer, Elly Winner
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications. IEEE Trans. Computers 49 (11) (2000)
Constance L. Heitmeyer
Transferring Research Results in Requirements to Practice: Obstacles and Incentives. ICRE (2000)
Michael G. Hinchey, James A. Hendler, Charles Pecheur, Constance L. Heitmeyer, Diana F. Gordon, Michael Luck, Walt Truszkowski
Panel Discussion: Future Directions. FAABS (2000)
Constance L. Heitmeyer, Philip Morris
Increasing the Role of RE in the Development of Dependable Systems. RE (1999)
Constance L. Heitmeyer
Formal Methods for Developing Software Specifications: Paths to Wider Usage. PDPTA (1999)
Ramesh Bharadwaj, Constance L. Heitmeyer
Model Checking Complete Requirements Specifications Using Abstraction. Autom. Softw. Eng. 6 (1) (1999)
James Kirby, Myla Archer, Constance L. Heitmeyer
SCR: A Practical Approach to Building a High Assurance COMSEC System. ACSAC (1999)
James Kirby Jr., Myla Archer, Constance L. Heitmeyer
Applying Formal Methods to an Information Security Device: An Experience Report. HASE (1999)
Angelo Gargantini, Constance L. Heitmeyer
Using Model Checking to Generate Tests from Requirements Specifications. ESEC / SIGSOFT FSE (1999)
Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Ramesh Bharadwaj
SCR*: A Toolset for Specifying and Analyzing Software Requirements. CAV (1998)
Constance L. Heitmeyer, James Kirby, Bruce G. Labaw
Applying the SCR requirements method to a weapons control panel: an experience report. FMSP (1998)
Mats Per Erik Heimdahl, Constance L. Heitmeyer
Formal Methods For Developing High Assurance Computer Systems: Working Group Report. WIFT (1998)
Constance L. Heitmeyer
On the Need for Practical Formal Methods. FTRTFT (1998)
Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications. IEEE Trans. Software Eng. 24 (11) (1998)
Ralph D. Jeffords, Constance L. Heitmeyer
Automatic Generation of State Invariants from Requirements Specifications. SIGSOFT FSE (1998)
Constance L. Heitmeyer
Using the SCR* Toolset to Specify Software Requirements. WIFT (1998)
Monica Brockmeyer, Farnam Jahanian, Constance L. Heitmeyer, Bruce G. Labaw
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications. IEEE Real Time Technology and Applications Symposium (1997)
Constance L. Heitmeyer, James Kirby, Bruce G. Labaw
The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support. ICSE (1997)
Constance L. Heitmeyer
Formal Methods: A Panacea or Academic Poppycock? ZUM (1997)
Stuart R. Faulk, Constance L. Heitmeyer
The SCR Approach to Requirements Specification and Analysis. RE (1997)
Myla Archer, Constance L. Heitmeyer
Human-Style Theorem Proving Using PVS. TPHOLs (1997)
Stuart R. Faulk, Constance L. Heitmeyer
Rigorous Requirements for Real-Time Systems: Evolution and Application of the SCR Method (Tutorial). ICSE (1997)
Monica Brockmeyer, Farnam Jahanian, Elly Winner, Constance L. Heitmeyer, Bruce G. Labaw
A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications. HASE (1997)
Myla Archer, Constance L. Heitmeyer
Verifying Hybrid Systems Modeled as Timed Automata: A Case Study. HART (1997)
Myla Archer, Constance L. Heitmeyer
Mechanical verification of timed automata: a case study. IEEE Real Time Technology and Applications Symposium (1996)
Constance L. Heitmeyer, Ralph D. Jeffords, Bruce G. Labaw
Automated Consistency Checking of Requirements Specifications. ACM Trans. Softw. Eng. Methodol. 5 (3) (1996)
Aloysius K. Mok, Constance L. Heitmeyer, Kevin Jeffay, Michael B. Jones, C. Douglas Locke, Ragunathan Rajkumar
Future Distributed Embedded and Real-Time Applications Will Be Adaptive: Meanings, Challenges and Research Paradigms (Panel). ICDCS (1995)
Constance L. Heitmeyer, Bruce G. Labaw, Daniel L. Kiskis
Consistency checking of SCR-style requirements specifications. RE (1995)
Constance L. Heitmeyer
Requirements Specifications for Hybrid Systems. Hybrid Systems (1995)
Constance L. Heitmeyer, Nancy A. Lynch
The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems. RTSS (1994)
Paul C. Clements, Constance L. Heitmeyer, Bruce G. Labaw, A. T. Rose
MT: A Toolset for Specifying and Analyzing Real-Time Systems. RTSS (1993)
Constance L. Heitmeyer
What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications? NATO ASI RTC (1992)
James A. Ballas, Constance L. Heitmeyer, Manuel A. Pérez
Evaluating Two Aspects of Direct Manipulation in Advanced Cockpits. CHI (1992)
Constance L. Heitmeyer
A Toolset for Developing Real-Time Systems. NATO ASI RTC (1992)
John D. McLean, Carl E. Landwehr, Constance L. Heitmeyer
A Formal Statement of the MMS Security Model. IEEE Symposium on Security and Privacy (1984)
Carl E. Landwehr, Constance L. Heitmeyer, John D. McLean
A Security Model for Military Message Systems ACM Trans. Comput. Syst. 2 (3) (1984)
Constance L. Heitmeyer, John D. McLean
Abstract Requirements Specification: A New Approach and Its Application. IEEE Trans. Software Eng. 9 (5) (1983)
Constance L. Heitmeyer, Stanley H. Wilson
Military Message Systems: Current Status and Future Directions. IEEE Trans. Commun. 28 (9) (1980)