Constance HEITMEYER or Connie HEITMEYER

Cited by

	All	Since 2018
Citations	6364	435
h-index	37	11
i10-index	79	13

380

190

285

19881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202327 14 22 11 24 34 39 66 145 199 254 267 313 271 266 305 334 335 317 362 276 272 257 219 217 223 148 207 152 145 108 90 75 74 47 41

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

John McLeanSuperintendent of Information Technology Division, Naval Research LabVerified email at nrl.navy.mil
Carl E. LandwehrUniversity of Michigan, George Washington University and Independent ConsultantVerified email at gwu.edu
James A. Ballas, Ph.D.RetiredVerified email at covad.net
Nancy LynchProfessor of EECS, MITVerified email at csail.mit.edu
Sjaak BrinkkemperProfessor of Software Production, Utrecht UniversityVerified email at uu.nl
Elvinia RiccobeneProfessore, Università di Milano, ItalyVerified email at unimi.it
Aloysius MokProfessor of Computer Science, University of Texas at AustinVerified email at cs.utexas.edu
Julio Cesar Sampaio do Prado LeiteInstituto de Computação, UFBAVerified email at inf.puc-rio.br
John MylopoulosUniversity of OttawaVerified email at cs.toronto.edu
jawed siddiqiVerified email at shu.ac.uk
Tevfik BultanProfessor of Computer Science, University of California, Santa BarbaraVerified email at cs.ucsb.edu
Manuel A. Pérez-QuiñonesProfessor, Software and Information Systems, College of Computing and Informatics, UNCCVerified email at uncc.edu
David W. AhaDirector, Navy Center for Applied Research in AI, Naval Research LaboratoryVerified email at nrl.navy.mil
Mats HeimdahlProfessor and Department Head, Computer Science and Engineering, University of MinnesotaVerified email at umn.edu
Yanhong A. LiuStony Brook University, State University of New YorkVerified email at cs.stonybrook.edu
Robert FranceProfessor of Computer Science, Colorado State UniversityVerified email at cs.colostate.edu
Bernhard RumpeRWTH Aachen UniversityVerified email at se.rwth-aachen.de
Jan JürjensUniversität Koblenz-Landau, GermanyVerified email at jurjens.de
David Lorge ParnasMiddle Road Software, McMaster University, University of LimerickVerified email at mcmaster.ca
José Luiz FiadeiroProfessor of Computer Science, University of DundeeVerified email at dundee.ac.uk

Constance HEITMEYER or Connie HEITMEYER

Naval Research Laboratory

Verified email at nrl.navy.mil

Software Engineering Requirements Engineering Formal Methods Tools Real-Time Computing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Automated consistency checking of requirements specifications CL Heitmeyer, RD Jeffords, BG Labaw ACM Transactions on Software Engineering and Methodology (TOSEM) 5 (3), 231-261, 1996	812	1996
Using model checking to generate tests from requirements specifications A Gargantini, C Heitmeyer ACM SIGSOFT Software Engineering Notes 24 (6), 146-162, 1999	565	1999
A security model for military message systems CE Landwehr, CL Heitmeyer, J McLean ACM Transactions on Computer Systems (TOCS) 2 (3), 198-222, 1984	262	1984
Using abstraction and model checking to detect safety violations in requirements specifications C Heitmeyer, J Kirby, B Labaw, M Archer, R Bharadwaj IEEE Transactions on software engineering 24 (11), 927-948, 1998	259	1998
Formal methods for real-time computing C Heitmeyer, D Mandrioli John Wiley & Sons, 1996	256	1996
The generalized railroad crossing: A case study in formal verification of real-time systems Heitmeyer, Lynch 1994 Proceedings Real-Time Systems Symposium, 120-131, 1994	245	1994
SCR: A toolset for specifying and analyzing software requirements C Heitmeyer, J Kirby, B Labaw, R Bharadwaj Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998	211	1998
Model checking complete requirements specifications using abstraction R Bharadwaj, CL Heitmeyer Automated Software Engineering 6, 37-68, 1999	203	1999
Consistency checking of SCR-style requirements specifications C Heitmeyer, B Labaw, D Kiskis Proceedings of 1995 IEEE International Symposium on Requirements Engineering …, 1995	200	1995
SCR: A toolset for specifying and analyzing requirements C Heitmeyer, A Bull, C Gasarch, B Labaw COMPASS'95 Proceedings of the Tenth Annual Conference on Computer Assurance …, 1995	197	1995
Requirements engineering and technology transfer: obstacles, incentives and improvement agenda H Kaindl, S Brinkkemper, JA Bubenko Jr, B Farbey, SJ Greenspan, ... Requirements Engineering 7, 113-123, 2002	181	2002
On the need for practical formal methods C Heitmeyer International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1998	139	1998
A benchmark for comparing different approaches for specifying and verifying real-time systems CL Heitmeyer, RD Jeffords, B Labaw Proceedings of the tenth international workshop on real-time operating …, 1993	130	1993
Applying formal methods to a certifiably secure software system C Heitmeyer, M Archer, E Leonard, J McLean IEEE Transactions on Software Engineering 34 (1), 82-98, 2008	127	2008
Tools for constructing requirements specifications: The SCR toolset at the age of ten C Heitmeyer, M Archer, R Bharadwaj, R Jeffords International Journal of Computer Systems Science and Engineering 20 (1), 19-35, 2005	123	2005
Software cost reduction C Heitmeyer Encyclopedia of software engineering 2, 1374-1380, 2002	119	2002
Automatic generation of state invariants from requirements specifications R Jeffords, C Heitmeyer Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of …, 1998	109	1998
Tools for formal specification, verification, and validation of requirements C Heitmeyer, J Kirby, B Labaw Proceedings of COMPASS'97: 12th Annual Conference on Computer Assurance, 35-47, 1997	109	1997
Formal specification and verification of data separation in a separation kernel for an embedded system CL Heitmeyer, M Archer, EI Leonard, J McLean Proceedings of the 13th ACM conference on Computer and communications …, 2006	105	2006
Evaluating two aspects of direct manipulation in advanced cockpits JA Ballas, CL Heitmeyer, MA Pérez-Quiñones Proceedings of the SIGCHI conference on human factors in computing systems …, 1992	100	1992

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors