Constance HEITMEYER or Connie HEITMEYER

Cytowane przez

	Wszystkie	Od 2019
Cytowania	6436	381
h-indeks	37	10
i10-indeks	79	11

380

190

285

198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202427 14 24 12 25 33 41 65 148 204 256 270 315 274 276 296 323 333 318 364 276 273 260 217 214 222 148 205 153 145 107 94 74 77 49 71 16

Dostęp publiczny

Wyświetl wszystko

1 artykuł

0 artykułów

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

John McLeanSuperintendent of Information Technology Division, Naval Research LabZweryfikowany adres z nrl.navy.mil
Carl E. LandwehrUniversity of Michigan, George Washington University and Independent ConsultantZweryfikowany adres z gwu.edu
James A. Ballas, Ph.D.RetiredZweryfikowany adres z covad.net
Nancy LynchProfessor of EECS, MITZweryfikowany adres z csail.mit.edu
Sjaak BrinkkemperProfessor of Software Production, Utrecht UniversityZweryfikowany adres z uu.nl
Elvinia RiccobeneProfessore, Università di Milano, ItalyZweryfikowany adres z unimi.it
Aloysius MokProfessor of Computer Science, University of Texas at AustinZweryfikowany adres z cs.utexas.edu
Julio Cesar Sampaio do Prado LeiteInstituto de Computação, UFBAZweryfikowany adres z inf.puc-rio.br
John MylopoulosUniversity of OttawaZweryfikowany adres z cs.toronto.edu
jawed siddiqiZweryfikowany adres z shu.ac.uk
Tevfik BultanProfessor of Computer Science, University of California, Santa BarbaraZweryfikowany adres z cs.ucsb.edu
David W. AhaDirector, Navy Center for Applied Research in AI, Naval Research LaboratoryZweryfikowany adres z nrl.navy.mil
Mats HeimdahlProfessor and Department Head, Computer Science and Engineering, University of MinnesotaZweryfikowany adres z umn.edu
Yanhong A. LiuStony Brook University, State University of New YorkZweryfikowany adres z cs.stonybrook.edu
Robert FranceProfessor of Computer Science, Colorado State UniversityZweryfikowany adres z cs.colostate.edu
Bernhard RumpeRWTH Aachen UniversityZweryfikowany adres z se.rwth-aachen.de
Jan JürjensUniversität Koblenz-Landau, GermanyZweryfikowany adres z jurjens.de
David Lorge ParnasMiddle Road Software, McMaster University, University of LimerickZweryfikowany adres z mcmaster.ca
José Luiz FiadeiroProfessor of Computer Science, University of DundeeZweryfikowany adres z dundee.ac.uk
Indrajit RayProfessor, Computer Science, Colorado State UniversityZweryfikowany adres z colostate.edu

Obserwuj

Constance HEITMEYER or Connie HEITMEYER

Naval Research Laboratory

Zweryfikowany adres z nrl.navy.mil

Software Engineering Requirements Engineering Formal Methods Tools Real-Time Computing


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
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	821	1996
Using model checking to generate tests from requirements specifications A Gargantini, C Heitmeyer ACM SIGSOFT Software Engineering Notes 24 (6), 146-162, 1999	568	1999
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	265	1998
A security model for military message systems CE Landwehr, CL Heitmeyer, J McLean ACM Transactions on Computer Systems (TOCS) 2 (3), 198-222, 1984	261	1984
Formal methods for real-time computing C Heitmeyer, D Mandrioli John Wiley & Sons, 1996	258	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	244	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	215	1998
Model checking complete requirements specifications using abstraction R Bharadwaj, CL Heitmeyer Automated Software Engineering 6, 37-68, 1999	202	1999
Consistency checking of SCR-style requirements specifications C Heitmeyer, B Labaw, D Kiskis Proceedings of 1995 IEEE International Symposium on Requirements Engineering …, 1995	202	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	201	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	141	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	131	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	130	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	124	2005
Software cost reduction C Heitmeyer Encyclopedia of software engineering 2, 1374-1380, 2002	117	2002
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	111	1997
Automatic generation of state invariants from requirements specifications R Jeffords, C Heitmeyer Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of …, 1998	110	1998
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	106	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	101	1992

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy