default search action

combined dblp search
author search
venue search
publication search

ask others

BibTeX records: Constance L. Heitmeyer

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Constance L. Heitmeyer

download as .bib file

@article{DBLP:journals/fac/GnesiCFH19,
  author       = {Stefania Gnesi and
                  Ana Cavalcanti and
                  John S. Fitzgerald and
                  Constance L. Heitmeyer},
  title        = {Editorial},
  journal      = {Formal Aspects Comput.},
  volume       = {31},
  number       = {2},
  pages        = {131--132},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00165-019-00481-4},
  doi          = {10.1007/S00165-019-00481-4},
  timestamp    = {Mon, 21 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fac/GnesiCFH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/LeonardAH17,
  author       = {Elizabeth I. Leonard and
                  Myla M. Archer and
                  Constance L. Heitmeyer},
  editor       = {Jean{-}Pierre Talpin and
                  Patricia Derler and
                  Klaus Schneider},
  title        = {Property templates for checking source code security},
  booktitle    = {Proceedings of the 15th {ACM-IEEE} International Conference on Formal
                  Methods and Models for System Design, {MEMOCODE} 2017, Vienna, Austria,
                  September 29 - October 02, 2017},
  pages        = {87--90},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3127041.3127063},
  doi          = {10.1145/3127041.3127063},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/LeonardAH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/natosec/HeitmeyerLA17,
  author       = {Constance L. Heitmeyer and
                  Elizabeth I. Leonard and
                  Myla M. Archer},
  editor       = {Alexander Pretschner and
                  Doron Peled and
                  Thomas Hutzelmann},
  title        = {Computing the Next-State Function of a Requirements Model},
  booktitle    = {Dependable Software Systems Engineering},
  series       = {{NATO} Science for Peace and Security Series - {D:} Information and
                  Communication Security},
  volume       = {50},
  pages        = {44--59},
  publisher    = {{IOS} Press},
  year         = {2017},
  url          = {https://doi.org/10.3233/978-1-61499-810-5-44},
  doi          = {10.3233/978-1-61499-810-5-44},
  timestamp    = {Tue, 06 Aug 2019 09:52:02 +0200},
  biburl       = {https://dblp.org/rec/series/natosec/HeitmeyerLA17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fm/2016,
  editor       = {John S. Fitzgerald and
                  Constance L. Heitmeyer and
                  Stefania Gnesi and
                  Anna Philippou},
  title        = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
                  Cyprus, November 9-11, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9995},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-48989-6},
  doi          = {10.1007/978-3-319-48989-6},
  isbn         = {978-3-319-48988-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/2016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/HeitmeyerPLARAT15,
  author       = {Constance L. Heitmeyer and
                  Marc Pickett and
                  Elizabeth I. Leonard and
                  Myla M. Archer and
                  Indrakshi Ray and
                  David W. Aha and
                  J. Gregory Trafton},
  title        = {Building high assurance human-centric decision systems},
  journal      = {Autom. Softw. Eng.},
  volume       = {22},
  number       = {2},
  pages        = {159--197},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10515-014-0157-z},
  doi          = {10.1007/S10515-014-0157-Z},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/HeitmeyerPLARAT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/HeitmeyerL15,
  author       = {Constance L. Heitmeyer and
                  Elizabeth I. Leonard},
  editor       = {Stefania Gnesi and
                  Nico Plat},
  title        = {Obtaining Trust in Autonomous Systems: Tools for Formal Model Synthesis
                  and Validation},
  booktitle    = {3rd {IEEE/ACM} {FME} Workshop on Formal Methods in Software Engineering,
                  FormaliSE 2015, Florence, Italy, May 18, 2015},
  pages        = {54--60},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/FormaliSE.2015.16},
  doi          = {10.1109/FORMALISE.2015.16},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/HeitmeyerL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/JurjensFFRH14,
  author       = {Jan J{\"{u}}rjens and
                  Eduardo B. Fern{\'{a}}ndez and
                  Robert B. France and
                  Bernhard Rumpe and
                  Constance L. Heitmeyer},
  title        = {Critical Systems Development Using Modeling Languages. {(CSDUML-04):}
                  Current Developments and Future Challenges (Report on the Third International
                  Workshop)},
  journal      = {CoRR},
  volume       = {abs/1409.6608},
  year         = {2014},
  url          = {http://arxiv.org/abs/1409.6608},
  eprinttype    = {arXiv},
  eprint       = {1409.6608},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/JurjensFFRH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/HeitmeyerSAL13,
  author       = {Constance L. Heitmeyer and
                  Sandeep K. Shukla and
                  Myla M. Archer and
                  Elizabeth I. Leonard},
  editor       = {J{\"{u}}rgen M{\"{u}}nch and
                  Klaus Schmid},
  title        = {On Model-Based Software Development},
  booktitle    = {Perspectives on the Future of Software Engineering, Essays in Honor
                  of Dieter Rombach},
  pages        = {49--60},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-37395-4\_4},
  doi          = {10.1007/978-3-642-37395-4\_4},
  timestamp    = {Sun, 02 Oct 2022 15:55:44 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/HeitmeyerSAL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/essos/ArcherLH13,
  author       = {Myla Archer and
                  Elizabeth I. Leonard and
                  Constance L. Heitmeyer},
  editor       = {Jan J{\"{u}}rjens and
                  Benjamin Livshits and
                  Riccardo Scandariato},
  title        = {Idea: Writing Secure {C} Programs with SecProve},
  booktitle    = {Engineering Secure Software and Systems - 5th International Symposium,
                  ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7781},
  pages        = {171--180},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36563-8\_12},
  doi          = {10.1007/978-3-642-36563-8\_12},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/essos/ArcherLH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/HeitmeyerPBATL13,
  author       = {Constance L. Heitmeyer and
                  Marc Pickett and
                  Len Breslow and
                  David W. Aha and
                  J. Greg Trafton and
                  Elizabeth I. Leonard},
  title        = {High assurance human-centric decision systems},
  booktitle    = {2nd International Workshop on Realizing Artificial Intelligence Synergies
                  in Software Engineering, {RAISE} 2013, San Francisco, CA, USA, May
                  25-26, 2013},
  pages        = {35--41},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/RAISE.2013.6615202},
  doi          = {10.1109/RAISE.2013.6615202},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/HeitmeyerPBATL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/LeonardAHJ12,
  author       = {Elizabeth I. Leonard and
                  Myla Archer and
                  Constance L. Heitmeyer and
                  Ralph D. Jeffords},
  title        = {Direct generation of invariants for reactive models},
  booktitle    = {Tenth {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMCODE} 2012, Arlington, VA, USA, July 16-17, 2012},
  pages        = {119--130},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/MEMCOD.2012.6292308},
  doi          = {10.1109/MEMCOD.2012.6292308},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/LeonardAHJ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/natosec/Heitmeyer11,
  author       = {Constance L. Heitmeyer},
  editor       = {Manfred Broy and
                  Christian Leuxner and
                  Tony Hoare},
  title        = {Requirements Models for Critical Systems},
  booktitle    = {Software and Systems Safety - Specification and Verification},
  series       = {{NATO} Science for Peace and Security Series - {D:} Information and
                  Communication Security},
  volume       = {30},
  pages        = {158--181},
  publisher    = {{IOS} Press},
  year         = {2011},
  url          = {https://doi.org/10.3233/978-1-60750-711-6-158},
  doi          = {10.3233/978-1-60750-711-6-158},
  timestamp    = {Tue, 16 May 2017 14:24:21 +0200},
  biburl       = {https://dblp.org/rec/series/natosec/Heitmeyer11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/JeffordsHAL10,
  author       = {Ralph D. Jeffords and
                  Constance L. Heitmeyer and
                  Myla Archer and
                  Elizabeth I. Leonard},
  title        = {Model-based construction and verification of critical systems using
                  composition and partial refinement},
  journal      = {Formal Methods Syst. Des.},
  volume       = {37},
  number       = {2-3},
  pages        = {265--294},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10703-010-0106-9},
  doi          = {10.1007/S10703-010-0106-9},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/JeffordsHAL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/Heitmeyer10,
  author       = {Constance L. Heitmeyer},
  editor       = {Alexandre Petrenko and
                  Adenilso da Silva Sim{\~{a}}o and
                  Jos{\'{e}} Carlos Maldonado},
  title        = {A Model-Based Approach to Testing Software for Critical Behavior and
                  Properties},
  booktitle    = {Testing Software and Systems - 22nd {IFIP} {WG} 6.1 International
                  Conference, {ICTSS} 2010, Natal, Brazil, November 8-10, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6435},
  pages        = {15},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16573-3\_2},
  doi          = {10.1007/978-3-642-16573-3\_2},
  timestamp    = {Mon, 15 Jun 2020 17:03:33 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/Heitmeyer10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/JeffordsHAL09,
  author       = {Ralph D. Jeffords and
                  Constance L. Heitmeyer and
                  Myla Archer and
                  Elizabeth I. Leonard},
  editor       = {Ana Cavalcanti and
                  Dennis Dams},
  title        = {A Formal Method for Developing Provably Correct Fault-Tolerant Systems
                  Using Partial Refinement and Composition},
  booktitle    = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
                  November 2-6, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5850},
  pages        = {173--189},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-05089-3\_12},
  doi          = {10.1007/978-3-642-05089-3\_12},
  timestamp    = {Mon, 21 Feb 2022 14:40:51 +0100},
  biburl       = {https://dblp.org/rec/conf/fm/JeffordsHAL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dafes/BultanH08,
  author       = {Tevfik Bultan and
                  Constance L. Heitmeyer},
  title        = {Applying infinite state model checking and other analysis techniques
                  to tabular requirements specifications of safety-critical systems},
  journal      = {Des. Autom. Embed. Syst.},
  volume       = {12},
  number       = {1-2},
  pages        = {97--137},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10617-008-9014-2},
  doi          = {10.1007/S10617-008-9014-2},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dafes/BultanH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tse/HeitmeyerALM08,
  author       = {Constance L. Heitmeyer and
                  Myla Archer and
                  Elizabeth I. Leonard and
                  John McLean},
  title        = {Applying Formal Methods to a Certifiably Secure Software System},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {34},
  number       = {1},
  pages        = {82--98},
  year         = {2008},
  url          = {https://doi.org/10.1109/TSE.2007.70772},
  doi          = {10.1109/TSE.2007.70772},
  timestamp    = {Sat, 21 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/HeitmeyerALM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Heitmeyer09,
  author       = {Constance L. Heitmeyer},
  editor       = {Michaela Huhn and
                  Hardi Hungar},
  title        = {On the Role of Formal Methods in Software Certification: An Experience
                  Report},
  booktitle    = {Proceedings of the First Workshop on Certification of Safety-Critical
                  Software Controlled Systems, SafeCert@ETAPS 2008, Budapest, Hungary,
                  April 29, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {4},
  pages        = {3--9},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.09.001},
  doi          = {10.1016/J.ENTCS.2009.09.001},
  timestamp    = {Fri, 24 Feb 2023 13:19:35 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Heitmeyer09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/HeitmeyerT07,
  author       = {Constance L. Heitmeyer and
                  Jean{-}Pierre Talpin},
  title        = {Guest editorial},
  journal      = {Formal Methods Syst. Des.},
  volume       = {30},
  number       = {1},
  pages        = {1--3},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10703-006-0018-x},
  doi          = {10.1007/S10703-006-0018-X},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/HeitmeyerT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jucs/Heitmeyer07,
  author       = {Constance L. Heitmeyer},
  title        = {Formal Methods for Specifying, Validating, and Verifying Requirements},
  journal      = {J. Univers. Comput. Sci.},
  volume       = {13},
  number       = {5},
  pages        = {607--618},
  year         = {2007},
  url          = {https://doi.org/10.3217/jucs-013-05-0607},
  doi          = {10.3217/JUCS-013-05-0607},
  timestamp    = {Thu, 07 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jucs/Heitmeyer07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/re/HeitmeyerJBA07,
  author       = {Constance L. Heitmeyer and
                  Ralph D. Jeffords and
                  Ramesh Bharadwaj and
                  Myla Archer},
  title        = {{RE} Theory Meets Software Practice: Lessons from the Software Development
                  Trenches},
  booktitle    = {15th {IEEE} International Requirements Engineering Conference, {RE}
                  2007, October 15-19th, 2007, New Delhi, India},
  pages        = {265--268},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/RE.2007.20},
  doi          = {10.1109/RE.2007.20},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/HeitmeyerJBA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/Heitmeyer07,
  author       = {Constance L. Heitmeyer},
  editor       = {Klaus Schneider and
                  Jens Brandt},
  title        = {On the Utility of Formal Methods in the Development and Certification
                  of Software},
  booktitle    = {Theorem Proving in Higher Order Logics, 20th International Conference,
                  TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4732},
  pages        = {1--2},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74591-4\_1},
  doi          = {10.1007/978-3-540-74591-4\_1},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/Heitmeyer07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccs/HeitmeyerALM06,
  author       = {Constance L. Heitmeyer and
                  Myla Archer and
                  Elizabeth I. Leonard and
                  John D. McLean},
  editor       = {Ari Juels and
                  Rebecca N. Wright and
                  Sabrina De Capitani di Vimercati},
  title        = {Formal specification and verification of data separation in a separation
                  kernel for an embedded system},
  booktitle    = {Proceedings of the 13th {ACM} Conference on Computer and Communications
                  Security, {CCS} 2006, Alexandria, VA, USA, October 30 - November 3,
                  2006},
  pages        = {346--355},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1180405.1180448},
  doi          = {10.1145/1180405.1180448},
  timestamp    = {Wed, 24 Feb 2021 17:28:35 +0100},
  biburl       = {https://dblp.org/rec/conf/ccs/HeitmeyerALM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lctrts/RothamelLHL06,
  author       = {Tom Rothamel and
                  Yanhong A. Liu and
                  Constance L. Heitmeyer and
                  Elizabeth I. Leonard},
  editor       = {Mary Jane Irwin and
                  Koen De Bosschere},
  title        = {Generating optimized code from {SCR} specifications},
  booktitle    = {Proceedings of the 2006 {ACM} {SIGPLAN/SIGBED} Conference on Languages,
                  Compilers, and Tools for Embedded Systems (LCTES'06), Ottawa, Ontario,
                  Canada, June 14-16, 2006},
  pages        = {135--144},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1134650.1134670},
  doi          = {10.1145/1134650.1134670},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lctrts/RothamelLHL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/BultanH06,
  author       = {Tevfik Bultan and
                  Constance L. Heitmeyer},
  title        = {Analyzing tabular requirements specifications using infinite state
                  model checking},
  booktitle    = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
                  Suites, Napa, California, {USA}},
  pages        = {7--16},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/MEMCOD.2006.1695895},
  doi          = {10.1109/MEMCOD.2006.1695895},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/BultanH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/csse/HeitmeyerABJ05,
  author       = {Constance L. Heitmeyer and
                  Myla Archer and
                  Ramesh Bharadwaj and
                  Ralph D. Jeffords},
  title        = {Tools for constructing requirements specifications: the {SCR} Toolset
                  at the age of nine},
  journal      = {Comput. Syst. Sci. Eng.},
  volume       = {20},
  number       = {1},
  year         = {2005},
  timestamp    = {Tue, 20 Feb 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csse/HeitmeyerABJ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/software/RobertsonH05,
  author       = {James Robertson and
                  Connie Heitmeyer},
  title        = {Point/Counterpoint},
  journal      = {{IEEE} Softw.},
  volume       = {22},
  number       = {1},
  pages        = {48--51},
  year         = {2005},
  url          = {https://doi.org/10.1109/MS.2005.16},
  doi          = {10.1109/MS.2005.16},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/RobertsonH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/Heitmeyer05,
  author       = {Constance L. Heitmeyer},
  editor       = {Farn Wang},
  title        = {Developing High Quality Software with Formal Methods: What Else Is
                  Needed?},
  booktitle    = {Formal Techniques for Networked and Distributed Systems - {FORTE}
                  2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
                  October 2-5, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3731},
  pages        = {13--19},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562436\_2},
  doi          = {10.1007/11562436\_2},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/Heitmeyer05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/Heitmeyer05,
  author       = {Constance L. Heitmeyer},
  title        = {A Panacea or Academic Poppycock: Formal Methods Revisited},
  booktitle    = {Ninth {IEEE} International Symposium on High Assurance Systems Engineering
                  {(HASE} 2005), 12-14 October 2005, Heidelberg, Germany},
  pages        = {3--7},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/HASE.2005.3},
  doi          = {10.1109/HASE.2005.3},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/Heitmeyer05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/HeitmeyerP05,
  author       = {Constance L. Heitmeyer and
                  Klaus Pohl},
  editor       = {Gruia{-}Catalin Roman and
                  William G. Griswold and
                  Bashar Nuseibeh},
  title        = {Introduction to the experience reports track},
  booktitle    = {27th International Conference on Software Engineering {(ICSE} 2005),
                  15-21 May 2005, St. Louis, Missouri, {USA}},
  pages        = {480},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1062455.1062541},
  doi          = {10.1145/1062455.1062541},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/HeitmeyerP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/BultanHO05,
  author       = {Tevfik Bultan and
                  Constance L. Heitmeyer and
                  John O'Leary},
  title        = {Panel on design for verification},
  booktitle    = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
                  Italy, Proceedings},
  pages        = {232--235},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/MEMCOD.2005.1487920},
  doi          = {10.1109/MEMCOD.2005.1487920},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/BultanHO05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/ShuklaBH04,
  author       = {Sandeep K. Shukla and
                  Tevfik Bultan and
                  Constance L. Heitmeyer},
  title        = {Panel: given that hardware verification has been an uphill battle,
                  what is the future of software verification?},
  booktitle    = {2nd {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2004), 23-25 June 2004, San Diego,
                  California, USA, Proceedings},
  pages        = {157--158},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/MEMCOD.2004.1459845},
  doi          = {10.1109/MEMCOD.2004.1459845},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/ShuklaBH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/uml/JurjensFFRH04,
  author       = {Jan J{\"{u}}rjens and
                  Eduardo B. Fern{\'{a}}ndez and
                  Robert B. France and
                  Bernhard Rumpe and
                  Constance L. Heitmeyer},
  editor       = {Nuno Jardim Nunes and
                  Bran Selic and
                  Alberto Rodrigues da Silva and
                  Jos{\'{e}} Ambrosio Toval {\'{A}}lvarez},
  title        = {Critical Systems Development Using Modeling Languages {(CSDUML-04):}
                  Current Developments and Future Challenges (Report on the Third International
                  Workshop)},
  booktitle    = {{UML} Modeling Languages and Applications, {\guillemotleft}UML{\guillemotright}
                  2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3297},
  pages        = {76--84},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31797-5\_9},
  doi          = {10.1007/978-3-540-31797-5\_9},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/uml/JurjensFFRH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Heitmeyer04,
  author       = {Constance L. Heitmeyer},
  editor       = {Juliana K{\"{u}}ster Filipe and
                  Iman Poernomo and
                  Ralf H. Reussner and
                  Sandeep K. Shukla},
  title        = {Managing Complexity in Software Development with Formally Based Tools},
  booktitle    = {Proceedings of the First International Workshop on Formal Foundations
                  of Embedded Software and Component-based Software Architectures, FESCA@ETAPS
                  2004, Barcelona, Spain, April 3, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {108},
  pages        = {11--19},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.11.004},
  doi          = {10.1016/J.ENTCS.2004.11.004},
  timestamp    = {Tue, 13 Dec 2022 10:41:10 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Heitmeyer04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lisp/LeonardH03,
  author       = {Elizabeth I. Leonard and
                  Constance L. Heitmeyer},
  title        = {Program Synthesis from Formal Requirements Specifications Using {APTS}},
  journal      = {High. Order Symb. Comput.},
  volume       = {16},
  number       = {1-2},
  pages        = {63--92},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1023072104553},
  doi          = {10.1023/A:1023072104553},
  timestamp    = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/LeonardH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/FeatherNHM03,
  author       = {Martin S. Feather and
                  Allen P. Nikora and
                  Constance L. Heitmeyer and
                  Nancy R. Mead},
  editor       = {Lori A. Clarke and
                  Laurie Dillon and
                  Walter F. Tichy},
  title        = {{ICSE} 2003 Workshop on Software Engineering for High Assurance Systems:
                  Synergies between Process, Product, and Profiling {(SEHAS} 2003)},
  booktitle    = {Proceedings of the 25th International Conference on Software Engineering,
                  May 3-10, 2003, Portland, Oregon, {USA}},
  pages        = {787--788},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/ICSE.2003.1201286},
  doi          = {10.1109/ICSE.2003.1201286},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/FeatherNHM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Heitmeyer03,
  author       = {Constance L. Heitmeyer},
  editor       = {Stuart Anderson and
                  Massimo Felici and
                  Bev Littlewood},
  title        = {Developing High Assurance Systems: On the Role of Software Tools},
  booktitle    = {Computer Safety, Reliability, and Security, 22nd International Conference,
                  {SAFECOMP} 2003, Edinburgh, UK, September 23-26, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2788},
  pages        = {159--164},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-39878-3\_13},
  doi          = {10.1007/978-3-540-39878-3\_13},
  timestamp    = {Sun, 02 Jun 2019 21:26:43 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Heitmeyer03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/JeffordsH03,
  author       = {Ralph D. Jeffords and
                  Constance L. Heitmeyer},
  editor       = {Jukka Paakki and
                  Paola Inverardi},
  title        = {A strategy for efficiently verifying requirements},
  booktitle    = {Proceedings of the 11th {ACM} {SIGSOFT} Symposium on Foundations of
                  Software Engineering 2003 held jointly with 9th European Software
                  Engineering Conference, {ESEC/FSE} 2003, Helsinki, Finland, September
                  1-5, 2003},
  pages        = {28--37},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/940071.940077},
  doi          = {10.1145/940071.940077},
  timestamp    = {Tue, 01 Feb 2022 10:45:16 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/JeffordsH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/ArcherHR02,
  author       = {Myla Archer and
                  Constance L. Heitmeyer and
                  Elvinia Riccobene},
  title        = {Proving Invariants of {I/O} Automata with {TAME}},
  journal      = {Autom. Softw. Eng.},
  volume       = {9},
  number       = {3},
  pages        = {201--232},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1016320523091},
  doi          = {10.1023/A:1016320523091},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/ArcherHR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/re/KaindlBBFGHLMMS02,
  author       = {Hermann Kaindl and
                  Sjaak Brinkkemper and
                  Janis A. Bubenko Jr. and
                  Barbara Farbey and
                  Sol J. Greenspan and
                  Constance L. Heitmeyer and
                  Julio C{\'{e}}sar Sampaio do Prado Leite and
                  Nancy R. Mead and
                  John Mylopoulos and
                  Jawed I. A. Siddiqi},
  title        = {Requirements Engineering and Technology Transfer: Obstacles, Incentives
                  and Improvement Agenda},
  journal      = {Requir. Eng.},
  volume       = {7},
  number       = {3},
  pages        = {113--123},
  year         = {2002},
  url          = {https://doi.org/10.1007/s007660200008},
  doi          = {10.1007/S007660200008},
  timestamp    = {Wed, 10 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/re/KaindlBBFGHLMMS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsac/LandwehrHM01,
  author       = {Carl E. Landwehr and
                  Constance L. Heitmeyer and
                  John D. McLean},
  title        = {A Security Model for Military Message Systems: Retrospective},
  booktitle    = {17th Annual Computer Security Applications Conference {(ACSAC} 2001),
                  11-14 December 2001, New Orleans, Louisiana, {USA}},
  pages        = {174--190},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ACSAC.2001.991535},
  doi          = {10.1109/ACSAC.2001.991535},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsac/LandwehrHM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mmmacns/Heitmeyer01,
  author       = {Constance L. Heitmeyer},
  editor       = {Vladimir I. Gorodetski and
                  Victor A. Skormin and
                  Leonard J. Popyack},
  title        = {Applying Practical Formal Methods to the Specification and Analysis
                  of Security Properties},
  booktitle    = {Information Assurance in Computer Networks: Methods, Models, and Architectures
                  for Network Security, International Workshop {MMM-ACNS} 2001, St.
                  Petersburg, Russia, May 21-23, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2052},
  pages        = {84--89},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45116-1\_11},
  doi          = {10.1007/3-540-45116-1\_11},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/mmmacns/Heitmeyer01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/re/JeffordsH01,
  author       = {Ralph D. Jeffords and
                  Constance L. Heitmeyer},
  title        = {An Algorithm for Strengthening State Invariants Generated from Requirements
                  Specifications},
  booktitle    = {5th {IEEE} International Symposium on Requirements Engineering {(RE}
                  2001), 27-31 August 2001, Toronto, Canada},
  pages        = {182--193},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ISRE.2001.948558},
  doi          = {10.1109/ISRE.2001.948558},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/JeffordsH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jucs/HeitmeyerB00,
  author       = {Constance L. Heitmeyer and
                  Ramesh Bharadwaj},
  title        = {Applying the {SCR} Requirements Method to the Light Control Case Study},
  journal      = {J. Univers. Comput. Sci.},
  volume       = {6},
  number       = {7},
  pages        = {650--678},
  year         = {2000},
  url          = {https://doi.org/10.3217/jucs-006-07-0650},
  doi          = {10.3217/JUCS-006-07-0650},
  timestamp    = {Thu, 07 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jucs/HeitmeyerB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tc/BrockmeyerJHW00,
  author       = {Monica Brockmeyer and
                  Farnam Jahanian and
                  Constance L. Heitmeyer and
                  Elly Winner},
  title        = {A Flexible, Extensible Simulation Environment for Testing Real-Time
                  Specifications},
  journal      = {{IEEE} Trans. Computers},
  volume       = {49},
  number       = {11},
  pages        = {1184--1201},
  year         = {2000},
  url          = {https://doi.org/10.1109/12.895936},
  doi          = {10.1109/12.895936},
  timestamp    = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/BrockmeyerJHW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/faabs/HincheyHPHGLT00,
  author       = {Michael G. Hinchey and
                  James A. Hendler and
                  Charles Pecheur and
                  Constance L. Heitmeyer and
                  Diana F. Gordon and
                  Michael Luck and
                  Walt Truszkowski},
  editor       = {James L. Rash and
                  Christopher A. Rouff and
                  Walt Truszkowski and
                  Diana F. Gordon and
                  Michael G. Hinchey},
  title        = {Panel Discussion: Future Directions},
  booktitle    = {Formal Approaches to Agent-Based Systems, First International Workshop,
                  {FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1871},
  pages        = {354--368},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45484-5\_37},
  doi          = {10.1007/3-540-45484-5\_37},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/faabs/HincheyHPHGLT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsp/ArcherHR00,
  author       = {Myla Archer and
                  Constance L. Heitmeyer and
                  Elvinia Riccobene},
  editor       = {Mats Per Erik Heimdahl},
  title        = {Using {TAME} to prove invariants of automata models: Two case studies},
  booktitle    = {Proceedings of the Third Workshop on Formal Methods in Software Practice,
                  2000, Portland, Oregon, {USA}},
  pages        = {25--36},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/349360.351127},
  doi          = {10.1145/349360.351127},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsp/ArcherHR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icre/Heitmeyer00,
  author       = {Constance L. Heitmeyer},
  title        = {Transferring Research Results in Requirements to Practice: Obstacles
                  and Incentives},
  booktitle    = {Proceedings of the 4th International Conference on Requirements Engineering,
                  {ICRE} '00, Schaumburg, Illinois, USA, June 19-23, 2000},
  pages        = {71--72},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ICRE.2000.855590},
  doi          = {10.1109/ICRE.2000.855590},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icre/Heitmeyer00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/BharadwajH99,
  author       = {Ramesh Bharadwaj and
                  Constance L. Heitmeyer},
  title        = {Model Checking Complete Requirements Specifications Using Abstraction},
  journal      = {Autom. Softw. Eng.},
  volume       = {6},
  number       = {1},
  pages        = {37--68},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1008697817793},
  doi          = {10.1023/A:1008697817793},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/BharadwajH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsac/KirbyAH99,
  author       = {James Kirby and
                  Myla Archer and
                  Constance L. Heitmeyer},
  title        = {{SCR:} {A} Practical Approach to Building a High Assurance {COMSEC}
                  System},
  booktitle    = {15th Annual Computer Security Applications Conference {(ACSAC} 1999),
                  6-10 December 1999, Scottsdale, AZ, {USA}},
  pages        = {109--118},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/CSAC.1999.816018},
  doi          = {10.1109/CSAC.1999.816018},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsac/KirbyAH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esec/GargantiniH99,
  author       = {Angelo Gargantini and
                  Constance L. Heitmeyer},
  editor       = {Oscar Nierstrasz and
                  Michel Lemoine},
  title        = {Using Model Checking to Generate Tests from Requirements Specifications},
  booktitle    = {Software Engineering - ESEC/FSE'99, 7th European Software Engineering
                  Conference, Held Jointly with the 7th {ACM} {SIGSOFT} Symposium on
                  the Foundations of Software Engineering, Toulouse, France, September
                  1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1687},
  pages        = {146--162},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48166-4\_10},
  doi          = {10.1007/3-540-48166-4\_10},
  timestamp    = {Wed, 04 May 2022 13:01:10 +0200},
  biburl       = {https://dblp.org/rec/conf/esec/GargantiniH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/KirbyAH99,
  author       = {James Kirby Jr. and
                  Myla Archer and
                  Constance L. Heitmeyer},
  title        = {Applying Formal Methods to an Information Security Device: An Experience
                  Report},
  booktitle    = {4th {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '99), 17-19 November 1999, Washington, D.C, USA, Proceedings},
  pages        = {81--88},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/HASE.1999.809478},
  doi          = {10.1109/HASE.1999.809478},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/KirbyAH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pdpta/Heitmeyer99,
  author       = {Constance L. Heitmeyer},
  editor       = {Hamid R. Arabnia},
  title        = {Formal Methods for Developing Software Specifications: Paths to Wider
                  Usage},
  booktitle    = {Proceedings of the International Conference on Parallel and Distributed
                  Processing Techniques and Applications, {PDPTA} 1999, June 28 - July
                  1, 1999, Las Vegas, Nevada, {USA}},
  pages        = {1047--1053},
  publisher    = {{CSREA} Press},
  year         = {1999},
  timestamp    = {Tue, 30 Jul 2024 10:34:32 +0200},
  biburl       = {https://dblp.org/rec/conf/pdpta/Heitmeyer99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/re/Heitmeyer99,
  author       = {Constance L. Heitmeyer and
                  Philip Morris},
  title        = {Increasing the Role of {RE} in the Development of Dependable Systems},
  booktitle    = {4th {IEEE} International Symposium on Requirements Engineering {(RE}
                  '99), 7-11 June 1999, Limerick, Ireland},
  pages        = {191},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.ieeecomputersociety.org/10.1109/RE.1999.10010},
  doi          = {10.1109/RE.1999.10010},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/Heitmeyer99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tse/HeitmeyerKLAB98,
  author       = {Constance L. Heitmeyer and
                  James Kirby and
                  Bruce G. Labaw and
                  Myla Archer and
                  Ramesh Bharadwaj},
  title        = {Using Abstraction and Model Checking to Detect Safety Violations in
                  Requirements Specifications},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {24},
  number       = {11},
  pages        = {927--948},
  year         = {1998},
  url          = {https://doi.org/10.1109/32.730543},
  doi          = {10.1109/32.730543},
  timestamp    = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/HeitmeyerKLAB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/HeitmeyerKLB98,
  author       = {Constance L. Heitmeyer and
                  James Kirby and
                  Bruce G. Labaw and
                  Ramesh Bharadwaj},
  editor       = {Alan J. Hu and
                  Moshe Y. Vardi},
  title        = {SCR*: {A} Toolset for Specifying and Analyzing Software Requirements},
  booktitle    = {Computer Aided Verification, 10th International Conference, {CAV}
                  '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1427},
  pages        = {526--531},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0028775},
  doi          = {10.1007/BFB0028775},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/HeitmeyerKLB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsp/HeitmeyerKL98,
  author       = {Constance L. Heitmeyer and
                  James Kirby and
                  Bruce G. Labaw},
  editor       = {Mark A. Ardis and
                  Joanne M. Atlee},
  title        = {Applying the {SCR} requirements method to a weapons control panel:
                  an experience report},
  booktitle    = {Proceedings of the Second Workshop on Formal Methods in Software Practice,
                  March 4-5, 1998, Clearwater Beach, Florida, {USA}},
  pages        = {92--102},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/298595.298863},
  doi          = {10.1145/298595.298863},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsp/HeitmeyerKL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftrtft/Heitmeyer98,
  author       = {Constance L. Heitmeyer},
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {On the Need for Practical Formal Methods},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {18--26},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055332},
  doi          = {10.1007/BFB0055332},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Heitmeyer98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/JeffordsH98,
  author       = {Ralph D. Jeffords and
                  Constance L. Heitmeyer},
  editor       = {Leon J. Osterweil and
                  William L. Scherlis},
  title        = {Automatic Generation of State Invariants from Requirements Specifications},
  booktitle    = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
                  USA, November 3-5, 1998},
  pages        = {56--69},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/288195.288218},
  doi          = {10.1145/288195.288218},
  timestamp    = {Tue, 27 Jul 2021 17:16:40 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/JeffordsH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/Heitmeyer98,
  author       = {Constance L. Heitmeyer},
  title        = {Using the SCR* Toolset to Specify Software Requirements},
  booktitle    = {2nd Workshop on Industrial-Strength Formal Specification Techniques
                  {(WIFT} '98), October 20-23, 1998, Boca Raton, FL, {USA}},
  pages        = {12},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/WIFT.1998.766290},
  doi          = {10.1109/WIFT.1998.766290},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/Heitmeyer98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/HeimdahlH98,
  author       = {Mats Per Erik Heimdahl and
                  Constance L. Heitmeyer},
  title        = {Formal Methods For Developing High Assurance Computer Systems: Working
                  Group Report},
  booktitle    = {2nd Workshop on Industrial-Strength Formal Specification Techniques
                  {(WIFT} '98), October 20-23, 1998, Boca Raton, FL, {USA}},
  pages        = {60},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/WIFT.1998.766298},
  doi          = {10.1109/WIFT.1998.766298},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/HeimdahlH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/BrockmeyerJWHL97,
  author       = {Monica Brockmeyer and
                  Farnam Jahanian and
                  Elly Winner and
                  Constance L. Heitmeyer and
                  Bruce G. Labaw},
  title        = {A. Software Environment for Custom Simulation and Monitoring of Real-Time
                  Specifications},
  booktitle    = {2nd High-Assurance Systems Engineering Workshop {(HASE} '97), August
                  11-12, 1997, Washington, DC, USA, Proceedings},
  pages        = {78--84},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/HASE.1997.648042},
  doi          = {10.1109/HASE.1997.648042},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/BrockmeyerJWHL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/ArcherH97,
  author       = {Myla Archer and
                  Constance L. Heitmeyer},
  editor       = {Oded Maler},
  title        = {Verifying Hybrid Systems Modeled as Timed Automata: {A} Case Study},
  booktitle    = {Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble,
                  France, March 26-28, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1201},
  pages        = {171--185},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0014724},
  doi          = {10.1007/BFB0014724},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/ArcherH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/HeitmeyerKL97,
  author       = {Constance L. Heitmeyer and
                  James Kirby and
                  Bruce G. Labaw},
  editor       = {W. Richards Adrion and
                  Alfonso Fuggetta and
                  Richard N. Taylor and
                  Anthony I. Wasserman},
  title        = {The {SCR} Method for Formally Specifying, Verifying, and Validating
                  Requirements: Tool Support},
  booktitle    = {Pulling Together, Proceedings of the 19th International Conference
                  on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997},
  pages        = {610--611},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/253228.253498},
  doi          = {10.1145/253228.253498},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/HeitmeyerKL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/FaulkH97,
  author       = {Stuart R. Faulk and
                  Constance L. Heitmeyer},
  editor       = {W. Richards Adrion and
                  Alfonso Fuggetta and
                  Richard N. Taylor and
                  Anthony I. Wasserman},
  title        = {Rigorous Requirements for Real-Time Systems: Evolution and Application
                  of the {SCR} Method (Tutorial)},
  booktitle    = {Pulling Together, Proceedings of the 19th International Conference
                  on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997},
  pages        = {637--638},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/253228.253542},
  doi          = {10.1145/253228.253542},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/FaulkH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/re/FaulkH97,
  author       = {Stuart R. Faulk and
                  Constance L. Heitmeyer},
  title        = {The {SCR} Approach to Requirements Specification and Analysis},
  booktitle    = {3rd {IEEE} International Symposium on Requirements Engineering (RE'97),
                  January 5-8, 1997, Annapolis, MD, {USA}},
  pages        = {263},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.ieeecomputersociety.org/10.1109/RE.1997.10007},
  doi          = {10.1109/RE.1997.10007},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/FaulkH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtas/BrockmeyerJHL97,
  author       = {Monica Brockmeyer and
                  Farnam Jahanian and
                  Constance L. Heitmeyer and
                  Bruce G. Labaw},
  title        = {A Flexible, Extensible Simulation Environment for Testing Real-Time
                  Specifications},
  booktitle    = {3rd {IEEE} Real-Time Technology and Applications Symposium, {RTAS}
                  '97, Montreal, Canada, June 9-11, 1997},
  pages        = {125--135},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/RTTAS.1997.601350},
  doi          = {10.1109/RTTAS.1997.601350},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtas/BrockmeyerJHL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/ArcherH97,
  author       = {Myla Archer and
                  Constance L. Heitmeyer},
  editor       = {Elsa L. Gunter and
                  Amy P. Felty},
  title        = {Human-Style Theorem Proving Using {PVS}},
  booktitle    = {Theorem Proving in Higher Order Logics, 10th International Conference,
                  TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1275},
  pages        = {33--48},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0028384},
  doi          = {10.1007/BFB0028384},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/ArcherH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Heitmeyer97,
  author       = {Constance L. Heitmeyer},
  editor       = {Jonathan P. Bowen and
                  Michael G. Hinchey and
                  David Till},
  title        = {Formal Methods: {A} Panacea or Academic Poppycock?},
  booktitle    = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
                  Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1212},
  pages        = {3--9},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0027280},
  doi          = {10.1007/BFB0027280},
  timestamp    = {Thu, 14 Oct 2021 10:43:56 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Heitmeyer97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tosem/HeitmeyerJL96,
  author       = {Constance L. Heitmeyer and
                  Ralph D. Jeffords and
                  Bruce G. Labaw},
  title        = {Automated Consistency Checking of Requirements Specifications},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {5},
  number       = {3},
  pages        = {231--261},
  year         = {1996},
  url          = {https://doi.org/10.1145/234426.234431},
  doi          = {10.1145/234426.234431},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tosem/HeitmeyerJL96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtas/ArcherH96,
  author       = {Myla Archer and
                  Constance L. Heitmeyer},
  title        = {Mechanical verification of timed automata: a case study},
  booktitle    = {2nd {IEEE} Real-Time Technology and Applications Symposium, {RTAS}
                  '96, Boston, MA, USA, June 10-12, 1996},
  pages        = {192--203},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/RTTAS.1996.509536},
  doi          = {10.1109/RTTAS.1996.509536},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtas/ArcherH96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/Heitmeyer95,
  author       = {Constance L. Heitmeyer},
  editor       = {Rajeev Alur and
                  Thomas A. Henzinger and
                  Eduardo D. Sontag},
  title        = {Requirements Specifications for Hybrid Systems},
  booktitle    = {Hybrid Systems {III:} Verification and Control, Proceedings of the
                  {DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
                  October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1066},
  pages        = {304--314},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0020955},
  doi          = {10.1007/BFB0020955},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/Heitmeyer95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icdcs/MokHJJLR95,
  author       = {Aloysius K. Mok and
                  Constance L. Heitmeyer and
                  Kevin Jeffay and
                  Michael B. Jones and
                  C. Douglass Locke and
                  Ragunathan Rajkumar},
  title        = {Future Distributed Embedded and Real-Time Applications Will Be Adaptive:
                  Meanings, Challenges and Research Paradigms (Panel)},
  booktitle    = {Proceedings of the 15th International Conference on Distributed Computing
                  Systems, Vancouver, British Columbia, Canada, May 30 - June 2, 1995},
  pages        = {182--184},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ICDCS.1995.500018},
  doi          = {10.1109/ICDCS.1995.500018},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/MokHJJLR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/re/HeitmeyerLK95,
  author       = {Constance L. Heitmeyer and
                  Bruce G. Labaw and
                  Daniel L. Kiskis},
  title        = {Consistency checking of SCR-style requirements specifications},
  booktitle    = {Second {IEEE} International Symposium on Requirements Engineering,
                  March 27 - 29, 1995, York, England, {UK}},
  pages        = {56--65},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISRE.1995.512546},
  doi          = {10.1109/ISRE.1995.512546},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/HeitmeyerLK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtss/HeitmeyerL94,
  author       = {Constance L. Heitmeyer and
                  Nancy A. Lynch},
  title        = {The Generalized Railroad Crossing: {A} Case Study in Formal Verification
                  of Real-Time Systems},
  booktitle    = {Proceedings of the 15th {IEEE} Real-Time Systems Symposium {(RTSS}
                  '94), San Juan, Puerto Rico, December 7-9, 1994},
  pages        = {120--131},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/REAL.1994.342724},
  doi          = {10.1109/REAL.1994.342724},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/HeitmeyerL94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtss/ClementsHLR93,
  author       = {Paul C. Clements and
                  Constance L. Heitmeyer and
                  Bruce G. Labaw and
                  A. T. Rose},
  title        = {{MT:} {A} Toolset for Specifying and Analyzing Real-Time Systems},
  booktitle    = {Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC,
                  USA, December 1993},
  pages        = {12--22},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/REAL.1993.393519},
  doi          = {10.1109/REAL.1993.393519},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/ClementsHLR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/chi/BallasHP92,
  author       = {James A. Ballas and
                  Constance L. Heitmeyer and
                  Manuel A. P{\'{e}}rez{-}Qui{\~{n}}ones},
  editor       = {Penny Bauersfeld and
                  John Bennett and
                  Gene Lynch},
  title        = {Evaluating Two Aspects of Direct Manipulation in Advanced Cockpits},
  booktitle    = {Conference on Human Factors in Computing Systems, {CHI} 1992, Monterey,
                  CA, USA, May 3-7, 1992, Proceedings},
  pages        = {127--134},
  publisher    = {{ACM}},
  year         = {1992},
  url          = {https://doi.org/10.1145/142750.142770},
  doi          = {10.1145/142750.142770},
  timestamp    = {Tue, 10 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/chi/BallasHP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nato/Heitmeyer92,
  author       = {Constance L. Heitmeyer},
  editor       = {Wolfgang A. Halang and
                  Alexander D. Stoyenko},
  title        = {A Toolset for Developing Real-Time Systems},
  booktitle    = {Real Time Computing, Proceedings of the {NATO} Advanced Study Institute
                  on Real Time Computing, held in Sint Maarten, Dutch Antilles, October
                  5-17, 1992},
  series       = {{NATO} {ASI} Series},
  volume       = {127},
  pages        = {517--518},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-3-642-88049-0\_31},
  doi          = {10.1007/978-3-642-88049-0\_31},
  timestamp    = {Fri, 12 May 2017 11:23:45 +0200},
  biburl       = {https://dblp.org/rec/conf/nato/Heitmeyer92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nato/Heitmeyer92a,
  author       = {Constance L. Heitmeyer},
  editor       = {Wolfgang A. Halang and
                  Alexander D. Stoyenko},
  title        = {What is the Right Specification/Design/Implementation Paradigm for
                  Real-Time Applications?},
  booktitle    = {Real Time Computing, Proceedings of the {NATO} Advanced Study Institute
                  on Real Time Computing, held in Sint Maarten, Dutch Antilles, October
                  5-17, 1992},
  series       = {{NATO} {ASI} Series},
  volume       = {127},
  pages        = {608--609},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-3-642-88049-0\_66},
  doi          = {10.1007/978-3-642-88049-0\_66},
  timestamp    = {Fri, 12 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nato/Heitmeyer92a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocs/LandwehrHM84,
  author       = {Carl E. Landwehr and
                  Constance L. Heitmeyer and
                  John D. McLean},
  title        = {A Security Model for Military Message Systems},
  journal      = {{ACM} Trans. Comput. Syst.},
  volume       = {2},
  number       = {3},
  pages        = {198--222},
  year         = {1984},
  url          = {https://doi.org/10.1145/989.991},
  doi          = {10.1145/989.991},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tocs/LandwehrHM84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sp/McLeanLH84,
  author       = {John D. McLean and
                  Carl E. Landwehr and
                  Constance L. Heitmeyer},
  title        = {A Formal Statement of the {MMS} Security Model},
  booktitle    = {Proceedings of the 1984 {IEEE} Symposium on Security and Privacy,
                  Oakland, California, USA, April 29 - May 2, 1984},
  pages        = {188--194},
  publisher    = {{IEEE} Computer Society},
  year         = {1984},
  url          = {https://doi.org/10.1109/SP.1984.10022},
  doi          = {10.1109/SP.1984.10022},
  timestamp    = {Thu, 21 Sep 2023 15:57:32 +0200},
  biburl       = {https://dblp.org/rec/conf/sp/McLeanLH84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tse/HeitmeyerM83,
  author       = {Constance L. Heitmeyer and
                  John D. McLean},
  title        = {Abstract Requirements Specification: {A} New Approach and Its Application},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {9},
  number       = {5},
  pages        = {580--589},
  year         = {1983},
  url          = {https://doi.org/10.1109/TSE.1983.235117},
  doi          = {10.1109/TSE.1983.235117},
  timestamp    = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/HeitmeyerM83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rpr/HeitmeyerLC82,
  author       = {Connie Heitmeyer and
                  Carl E. Landwehr and
                  M. Cornwell},
  editor       = {Stephen L. Squires and
                  Martha A. Branstad and
                  Marvin V. Zelkowitz},
  title        = {The use of quick prototypes in the secure military message systems
                  project},
  booktitle    = {Proceedings of the workshop on Rapid Prototyping, Columbia, Maryland,
                  USA, April 19-21, 1982},
  pages        = {85--87},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/1006259.1006274},
  doi          = {10.1145/1006259.1006274},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rpr/HeitmeyerLC82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcom/HeitmeyerW80,
  author       = {Constance L. Heitmeyer and
                  Stanley H. Wilson},
  title        = {Military Message Systems: Current Status and Future Directions},
  journal      = {{IEEE} Trans. Commun.},
  volume       = {28},
  number       = {9},
  pages        = {1645--1654},
  year         = {1980},
  url          = {https://doi.org/10.1109/TCOM.1980.1094854},
  doi          = {10.1109/TCOM.1980.1094854},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcom/HeitmeyerW80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.