| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Constance L. Heitmeyer |
Requirements Models for Critical Systems.  |
Software and Systems Safety - Specification and Verification  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Constance L. Heitmeyer |
A Model-Based Approach to Testing Software for Critical Behavior and Properties. |
ICTSS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Constance L. Heitmeyer |
On the Role of Formal Methods in Software Certification: An Experience Report. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard, John McLean |
Applying Formal Methods to a Certifiably Secure Software System. |
IEEE Trans. Software Eng. |
2008 |
DBLP DOI BibTeX RDF |
security, verification, Formal methods, Specification, Software, tools, software verification, security kernels |
| 1 | Tevfik Bultan, Constance L. Heitmeyer |
Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems. |
Design Autom. for Emb. Sys. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Constance L. Heitmeyer |
Formal Methods for Specifying, Validating, and Verifying Requirements. |
J. UCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Constance L. Heitmeyer, Jean-Pierre Talpin |
Guest editorial. |
Formal Methods in System Design |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Constance L. Heitmeyer, Ralph D. Jeffords, Ramesh Bharadwaj, Myla Archer |
RE Theory Meets Software Practice: Lessons from the Software Development Trenches. |
RE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Constance L. Heitmeyer |
On the Utility of Formal Methods in the Development and Certification of Software. |
TPHOLs |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tevfik Bultan, Constance L. Heitmeyer |
Analyzing tabular requirements specifications using infinite state model checking. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
ACM Conference on Computer and Communications Security |
2006 |
DBLP DOI BibTeX RDF |
code verification, formal specification, theorem proving, formal model, separation kernel |
| 1 | Tom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard |
Generating optimized code from SCR specifications. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
optimization, formal specifications, code generation, requirements specifications, SCR, code synthesis |
| 1 | James Robertson, Connie Heitmeyer |
Point/Counterpoint. |
IEEE Software |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Constance L. Heitmeyer |
Developing High Quality Software with Formal Methods: What Else Is Needed? |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tevfik Bultan, Constance L. Heitmeyer, John O'Leary |
Panel on design for verification. |
MEMOCODE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Constance L. Heitmeyer |
A Panacea or Academic Poppycock: Formal Methods Revisited. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Constance L. Heitmeyer, Klaus Pohl |
Introduction to the experience reports track. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Constance L. Heitmeyer |
Managing Complexity in Software Development with Formally Based Tools. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Elizabeth I. Leonard, Constance L. Heitmeyer |
Program Synthesis from Formal Requirements Specifications Using APTS. |
Higher-Order and Symbolic Computation |
2003 |
DBLP DOI BibTeX RDF |
APTS, formal specifications, program transformation, code generation, requirements specifications, SCR, code synthesis |
| 1 | Constance L. Heitmeyer |
Developing High Assurance Systems: On the Role of Software Tools. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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). (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph D. Jeffords, Constance L. Heitmeyer |
A strategy for efficiently verifying requirements. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
model checking, formal methods, software tools, invariants, requirements specification, compositional verification |
| 1 | Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene |
Proving Invariants of I/O Automata with TAME. |
Autom. Softw. Eng. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2002 |
DBLP DOI BibTeX RDF |
Requirements engineering, Technology transfer |
| 1 | Constance L. Heitmeyer |
Applying Practical Formal Methods to the Specification and Analysis of Security Properties. |
MMM-ACNS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl E. Landwehr, Constance L. Heitmeyer, John D. McLean |
A Security Model for Military Message Systems: Retrospective. |
ACSAC |
2001 |
DBLP DOI BibTeX RDF |
Storage channels, Security, Verification, confinement, message systems |
| 1 | Ralph D. Jeffords, Constance L. Heitmeyer |
An Algorithm for Strengthening State Invariants Generated from Requirements Specifications. (PDF / PS) |
RE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Monica Brockmeyer, Farnam Jahanian, Constance L. Heitmeyer, Elly Winner |
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications. |
IEEE Trans. Computers |
2000 |
DBLP DOI BibTeX RDF |
monitoring and assertion checking, Simulation, formal methods, specification, symbolic execution |
| 1 | Constance L. Heitmeyer, Ramesh Bharadwaj |
Applying the SCR Requirements Method to the Light Control Case Study. |
J. UCS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Constance L. Heitmeyer |
Transferring Research Results in Requirements to Practice: Obstacles and Incentives. (PDF / PS) |
ICRE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael G. Hinchey, James A. Hendler, Charles Pecheur, Constance L. Heitmeyer, Diana F. Gordon, Michael Luck, Walt Truszkowski |
Panel Discussion: Future Directions. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene |
Using TAME to prove invariants of automata models: Two case studies. |
FMSP |
2000 |
DBLP DOI BibTeX RDF |
software requirements analysis, Software engineering, verification, formal methods, theorem proving |
| 1 | Ramesh Bharadwaj, Constance L. Heitmeyer |
Model Checking Complete Requirements Specifications Using Abstraction. |
Autom. Softw. Eng. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | James Kirby Jr., Myla Archer, Constance L. Heitmeyer |
Applying Formal Methods to an Information Security Device: An Experience Report. (PDF / PS) |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | James Kirby, Myla Archer, Constance L. Heitmeyer |
SCR: A Practical Approach to Building a High Assurance COMSEC System. |
ACSAC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Constance L. Heitmeyer |
Formal Methods for Developing Software Specifications: Paths to Wider Usage. |
PDPTA |
1999 |
DBLP BibTeX RDF |
|
| 1 | Constance L. Heitmeyer |
Increasing the Role of RE in the Development of Dependable Systems Naval Research Laboratory. (PDF / PS) |
RE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Gargantini, Constance L. Heitmeyer |
Using Model Checking to Generate Tests from Requirements Specifications. |
ESEC / SIGSOFT FSE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1998 |
DBLP DOI BibTeX RDF |
simulation, model checking, verification, formal methods, specification, abstraction, Requirements, consistency checking, safety analysis, SCR |
| 1 | Constance L. Heitmeyer |
Using the SCR* Toolset to Specify Software Requirements. |
WIFT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Mats Per Erik Heimdahl, Constance L. Heitmeyer |
Formal Methods For Developing High Assurance Computer Systems: Working Group Report. |
WIFT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Constance L. Heitmeyer, James Kirby, Bruce G. Labaw |
Applying the SCR requirements method to a weapons control panel: an experience report. |
FMSP |
1998 |
DBLP DOI BibTeX RDF |
simulation, model checking, verification, formal specification, formal methods, specification, software tools, validation, requirements, consistency checking |
| 1 | Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Ramesh Bharadwaj |
SCR*: A Toolset for Specifying and Analyzing Software Requirements. |
CAV |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph D. Jeffords, Constance L. Heitmeyer |
Automatic Generation of State Invariants from Requirements Specifications. |
SIGSOFT FSE |
1998 |
DBLP DOI BibTeX RDF |
verification, formal methods, specification, software tools, validation, requirements, invariants |
| 1 | Constance L. Heitmeyer |
On the Need for Practical Formal Methods. |
FTRTFT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Monica Brockmeyer, Farnam Jahanian, Elly Winner, Constance L. Heitmeyer, Bruce G. Labaw |
A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications. (PDF / PS) |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Constance L. Heitmeyer |
Formal Methods: A Panacea or Academic Poppycock? |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Stuart R. Faulk, Constance L. Heitmeyer |
The SCR Approach to Requirements Specification and Analysis. (PDF / PS) |
RE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Myla Archer, Constance L. Heitmeyer |
Human-Style Theorem Proving Using PVS. |
TPHOLs |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Myla Archer, Constance L. Heitmeyer |
Verifying Hybrid Systems Modeled as Timed Automata: A Case Study. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Constance L. Heitmeyer, James Kirby, Bruce G. Labaw |
The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support. |
ICSE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Stuart R. Faulk, Constance L. Heitmeyer |
Rigorous Requirements for Real-Time Systems: Evolution and Application of the SCR Method (Tutorial). |
ICSE |
1997 |
DBLP DOI BibTeX RDF |
verification, real-time, formal specification, formal methods, specification, validation, requirements, consistency checking |
| 1 | Monica Brockmeyer, Farnam Jahanian, Constance L. Heitmeyer, Bruce G. Labaw |
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications. (PDF / PS) |
IEEE Real Time Technology and Applications Symposium |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Constance L. Heitmeyer, Ralph D. Jeffords, Bruce G. Labaw |
Automated Consistency Checking of Requirements Specifications. |
ACM Trans. Softw. Eng. Methodol. |
1996 |
DBLP DOI BibTeX RDF |
application-independent properties, formal requirements modeling, software cost reduction methodology, tabular notations, consistency checking |
| 1 | Myla Archer, Constance L. Heitmeyer |
Mechanical verification of timed automata: a case study. |
IEEE Real Time Technology and Applications Symposium |
1996 |
DBLP BibTeX RDF |
|
| 1 | Constance L. Heitmeyer, Bruce G. Labaw, Daniel L. Kiskis |
Consistency checking of SCR-style requirements specifications. (PDF / PS) |
RE |
1995 |
DBLP DOI BibTeX RDF |
SCR-style requirements specifications, SCR tabular notation, application independent properties, domain coverage, formal requirements model, automated consistency checking, formal specification, data integrity, program verification, formal model, determinism, software development process, consistency checks, formal analysis, type correctness |
| 1 | Constance L. Heitmeyer |
Requirements Specifications for Hybrid Systems. |
Hybrid Systems |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Constance L. Heitmeyer, Nancy A. Lynch |
The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems. |
IEEE Real-Time Systems Symposium |
1994 |
DBLP BibTeX RDF |
|
| 1 | Paul C. Clements, Constance L. Heitmeyer, Bruce G. Labaw, A. T. Rose |
MT: A Toolset for Specifying and Analyzing Real-Time Systems. |
IEEE Real-Time Systems Symposium |
1993 |
DBLP BibTeX RDF |
|
| 1 | James A. Ballas, Constance L. Heitmeyer, Manuel A. Pérez |
Evaluating Two Aspects of Direct Manipulation in Advanced Cockpits. |
CHI |
1992 |
DBLP DOI BibTeX RDF |
aircraft interfaces, intelligent cockpit, interface styles, intermittent automation, interface design, direct manipulation, adaptive automation |
| 1 | Carl E. Landwehr, Constance L. Heitmeyer, John D. McLean |
A Security Model for Military Message Systems |
ACM Trans. Comput. Syst. |
1984 |
DBLP DOI BibTeX RDF |
storage channels, confinement, message systems |
| 1 | John D. McLean, Carl E. Landwehr, Constance L. Heitmeyer |
A Formal Statement of the MMS Security Model. |
IEEE Symposium on Security and Privacy |
1984 |
DBLP BibTeX RDF |
|
| 1 | Constance L. Heitmeyer, John D. McLean |
Abstract Requirements Specification: A New Approach and Its Application. |
IEEE Trans. Software Eng. |
1983 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")