The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Constance L. Heitmeyer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Carl E. Landwehr, Constance L. Heitmeyer, John D. McLean
    A Security Model for Military Message Systems [Citation Graph (4, 0)][DBLP]
    ACM Trans. Comput. Syst., 1984, v:2, n:3, pp:198-222 [Journal]
  2. Constance L. Heitmeyer, John D. McLean
    Abstract Requirements Specification: A New Approach and Its Application. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1983, v:9, n:5, pp:580-589 [Journal]
  3. James Kirby, Myla Archer, Constance L. Heitmeyer
    SCR: A Practical Approach to Building a High Assurance COMSEC System. [Citation Graph (0, 0)][DBLP]
    ACSAC, 1999, pp:109-118 [Conf]
  4. Carl E. Landwehr, Constance L. Heitmeyer, John D. McLean
    A Security Model for Military Message Systems: Retrospective. [Citation Graph (0, 0)][DBLP]
    ACSAC, 2001, pp:174-190 [Conf]
  5. Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Ramesh Bharadwaj
    SCR*: A Toolset for Specifying and Analyzing Software Requirements. [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:526-531 [Conf]
  6. 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. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer and Communications Security, 2006, pp:346-355 [Conf]
  7. James A. Ballas, Constance L. Heitmeyer, Manuel A. Pérez
    Evaluating Two Aspects of Direct Manipulation in Advanced Cockpits. [Citation Graph (0, 0)][DBLP]
    CHI, 1992, pp:127-134 [Conf]
  8. Angelo Gargantini, Constance L. Heitmeyer
    Using Model Checking to Generate Tests from Requirements Specifications. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1999, pp:146-162 [Conf]
  9. Michael G. Hinchey, James A. Hendler, Charles Pecheur, Constance L. Heitmeyer, Diana F. Gordon, Michael Luck, Walt Truszkowski
    Panel Discussion: Future Directions. [Citation Graph (0, 0)][DBLP]
    FAABS, 2000, pp:354-368 [Conf]
  10. Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene
    Using TAME to prove invariants of automata models: Two case studies. [Citation Graph (0, 0)][DBLP]
    FMSP, 2000, pp:25-36 [Conf]
  11. Constance L. Heitmeyer, James Kirby, Bruce G. Labaw
    Applying the SCR requirements method to a weapons control panel: an experience report. [Citation Graph (0, 0)][DBLP]
    FMSP, 1998, pp:92-102 [Conf]
  12. Constance L. Heitmeyer
    Developing High Quality Software with Formal Methods: What Else Is Needed? [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:13-19 [Conf]
  13. Constance L. Heitmeyer
    On the Need for Practical Formal Methods. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1998, pp:18-26 [Conf]
  14. Monica Brockmeyer, Farnam Jahanian, Elly Winner, Constance L. Heitmeyer, Bruce G. Labaw
    A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:78-84 [Conf]
  15. Constance L. Heitmeyer
    A Panacea or Academic Poppycock: Formal Methods Revisited. [Citation Graph (0, 0)][DBLP]
    HASE, 2005, pp:3-7 [Conf]
  16. James Kirby Jr., Myla Archer, Constance L. Heitmeyer
    Applying Formal Methods to an Information Security Device: An Experience Report. [Citation Graph (0, 0)][DBLP]
    HASE, 1999, pp:81-88 [Conf]
  17. Myla Archer, Constance L. Heitmeyer
    Verifying Hybrid Systems Modeled as Timed Automata: A Case Study. [Citation Graph (0, 0)][DBLP]
    HART, 1997, pp:171-185 [Conf]
  18. Constance L. Heitmeyer
    Requirements Specifications for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1995, pp:304-314 [Conf]
  19. 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). [Citation Graph (0, 0)][DBLP]
    ICDCS, 1995, pp:182-184 [Conf]
  20. Constance L. Heitmeyer
    Transferring Research Results in Requirements to Practice: Obstacles and Incentives. [Citation Graph (0, 0)][DBLP]
    ICRE, 2000, pp:71-72 [Conf]
  21. Stuart R. Faulk, Constance L. Heitmeyer
    Rigorous Requirements for Real-Time Systems: Evolution and Application of the SCR Method (Tutorial). [Citation Graph (0, 0)][DBLP]
    ICSE, 1997, pp:637-638 [Conf]
  22. 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). [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:787-788 [Conf]
  23. Constance L. Heitmeyer, James Kirby, Bruce G. Labaw
    The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support. [Citation Graph (0, 0)][DBLP]
    ICSE, 1997, pp:610-611 [Conf]
  24. Constance L. Heitmeyer, Klaus Pohl
    Introduction to the experience reports track. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:480- [Conf]
  25. Tom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard
    Generating optimized code from SCR specifications. [Citation Graph (0, 0)][DBLP]
    LCTES, 2006, pp:135-144 [Conf]
  26. 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? [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2004, pp:157-158 [Conf]
  27. Tevfik Bultan, Constance L. Heitmeyer, John O'Leary
    Panel on design for verification. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2005, pp:232-235 [Conf]
  28. Constance L. Heitmeyer
    Applying Practical Formal Methods to the Specification and Analysis of Security Properties. [Citation Graph (0, 0)][DBLP]
    MMM-ACNS, 2001, pp:84-89 [Conf]
  29. Constance L. Heitmeyer
    Formal Methods for Developing Software Specifications: Paths to Wider Usage. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1999, pp:1047-1053 [Conf]
  30. Stuart R. Faulk, Constance L. Heitmeyer
    The SCR Approach to Requirements Specification and Analysis. [Citation Graph (0, 0)][DBLP]
    RE, 1997, pp:263- [Conf]
  31. Constance L. Heitmeyer
    Increasing the Role of RE in the Development of Dependable Systems Naval Research Laboratory. [Citation Graph (0, 0)][DBLP]
    RE, 1999, pp:191-0 [Conf]
  32. Constance L. Heitmeyer, Bruce G. Labaw, Daniel L. Kiskis
    Consistency checking of SCR-style requirements specifications. [Citation Graph (0, 0)][DBLP]
    RE, 1995, pp:56-65 [Conf]
  33. Ralph D. Jeffords, Constance L. Heitmeyer
    An Algorithm for Strengthening State Invariants Generated from Requirements Specifications. [Citation Graph (0, 0)][DBLP]
    RE, 2001, pp:182-193 [Conf]
  34. Monica Brockmeyer, Farnam Jahanian, Constance L. Heitmeyer, Bruce G. Labaw
    A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications. [Citation Graph (0, 0)][DBLP]
    IEEE Real Time Technology and Applications Symposium, 1997, pp:125-135 [Conf]
  35. Myla Archer, Constance L. Heitmeyer
    Mechanical verification of timed automata: a case study. [Citation Graph (0, 0)][DBLP]
    IEEE Real Time Technology and Applications Symposium, 1996, pp:192-203 [Conf]
  36. Paul C. Clements, Constance L. Heitmeyer, Bruce G. Labaw, A. T. Rose
    MT: A Toolset for Specifying and Analyzing Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1993, pp:12-22 [Conf]
  37. Constance L. Heitmeyer, Nancy A. Lynch
    The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1994, pp:120-131 [Conf]
  38. Constance L. Heitmeyer
    Developing High Assurance Systems: On the Role of Software Tools. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:159-164 [Conf]
  39. Ralph D. Jeffords, Constance L. Heitmeyer
    A strategy for efficiently verifying requirements. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2003, pp:28-37 [Conf]
  40. Ralph D. Jeffords, Constance L. Heitmeyer
    Automatic Generation of State Invariants from Requirements Specifications. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1998, pp:56-69 [Conf]
  41. John D. McLean, Carl E. Landwehr, Constance L. Heitmeyer
    A Formal Statement of the MMS Security Model. [Citation Graph (0, 0)][DBLP]
    IEEE Symposium on Security and Privacy, 1984, pp:188-194 [Conf]
  42. Myla Archer, Constance L. Heitmeyer
    Human-Style Theorem Proving Using PVS. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1997, pp:33-48 [Conf]
  43. 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). [Citation Graph (0, 0)][DBLP]
    UML Satellite Activities, 2004, pp:76-84 [Conf]
  44. Mats Per Erik Heimdahl, Constance L. Heitmeyer
    Formal Methods For Developing High Assurance Computer Systems: Working Group Report. [Citation Graph (0, 0)][DBLP]
    WIFT, 1998, pp:60-0 [Conf]
  45. Constance L. Heitmeyer
    Using the SCR* Toolset to Specify Software Requirements. [Citation Graph (0, 0)][DBLP]
    WIFT, 1998, pp:12-0 [Conf]
  46. Constance L. Heitmeyer
    Formal Methods: A Panacea or Academic Poppycock? [Citation Graph (0, 0)][DBLP]
    ZUM, 1997, pp:3-9 [Conf]
  47. Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene
    Proving Invariants of I/O Automata with TAME. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2002, v:9, n:3, pp:201-232 [Journal]
  48. Ramesh Bharadwaj, Constance L. Heitmeyer
    Model Checking Complete Requirements Specifications Using Abstraction. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 1999, v:6, n:1, pp:37-68 [Journal]
  49. Constance L. Heitmeyer, Myla Archer, Ramesh Bharadwaj, Ralph D. Jeffords
    Tools for constructing requirements specifications: the SCR Toolset at the age of nine. [Citation Graph (0, 0)][DBLP]
    Comput. Syst. Sci. Eng., 2005, v:20, n:1, pp:- [Journal]
  50. Constance L. Heitmeyer
    Managing Complexity in Software Development with Formally Based Tools. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:108, n:, pp:11-19 [Journal]
  51. Constance L. Heitmeyer, Ramesh Bharadwaj
    Applying the SCR Requirements Method to the Light Control Case Study. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2000, v:6, n:7, pp:650-678 [Journal]
  52. Elizabeth I. Leonard, Constance L. Heitmeyer
    Program Synthesis from Formal Requirements Specifications Using APTS. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2003, v:16, n:1-2, pp:63-92 [Journal]
  53. 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. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2002, v:7, n:3, pp:113-123 [Journal]
  54. Monica Brockmeyer, Farnam Jahanian, Constance L. Heitmeyer, Elly Winner
    A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2000, v:49, n:11, pp:1184-1201 [Journal]
  55. Constance L. Heitmeyer, Ralph D. Jeffords, Bruce G. Labaw
    Automated Consistency Checking of Requirements Specifications. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1996, v:5, n:3, pp:231-261 [Journal]
  56. Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj
    Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1998, v:24, n:11, pp:927-948 [Journal]
  57. Tevfik Bultan, Constance L. Heitmeyer
    Analyzing tabular requirements specifications using infinite state model checking. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2006, pp:7-16 [Conf]
  58. Constance L. Heitmeyer
    On the Utility of Formal Methods in the Development and Certification of Software. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2007, pp:1-2 [Conf]
  59. Constance L. Heitmeyer, Jean-Pierre Talpin
    Guest editorial. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2007, v:30, n:1, pp:1-3 [Journal]

  60. A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition. [Citation Graph (, )][DBLP]


  61. RE Theory Meets Software Practice: Lessons from the Software Development Trenches. [Citation Graph (, )][DBLP]


  62. On the Role of Formal Methods in Software Certification: An Experience Report. [Citation Graph (, )][DBLP]


Search in 0.111secs, Finished in 0.115secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002