Constance L. Heitmeyer

82 papers A* 7A 10B 4C 7Misc 1Journal 20Unranked 31

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