‪Constance HEITMEYER or Connie HEITMEYER‬

צוטט על ידי

	הכל	מאז 2020
ציטוטים ביבליוגרפיים	6463	334
H-index	36	9
i10-index	78	9

360

180

270

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202528 13 25 11 23 26 41 70 145 204 259 270 316 273 273 292 312 328 313 357 275 275 249 227 211 226 152 208 149 162 108 97 76 75 49 71 49 14

גישה ציבורית

הצג הכל

מאמר אחד

זמין

לא זמין

על סמך ייפוי כח מהמממנים

מחברים משותפים

John McLeanSuperintendent of Information Technology Division, Naval Research Labכתובת אימייל מאומתת בדומיין nrl.navy.mil
Carl E. LandwehrUniversity of Michigan, George Washington University and Independent Consultantכתובת אימייל מאומתת בדומיין umich.edu
James A. Ballas, Ph.D.Retiredכתובת אימייל מאומתת בדומיין covad.net
Nancy LynchProfessor of EECS, MITכתובת אימייל מאומתת בדומיין csail.mit.edu
Sjaak BrinkkemperProfessor of Software Production, Utrecht Universityכתובת אימייל מאומתת בדומיין uu.nl
Elvinia RiccobeneProfessore, Università di Milano, Italyכתובת אימייל מאומתת בדומיין unimi.it
Aloysius MokProfessor of Computer Science, University of Texas at Austinכתובת אימייל מאומתת בדומיין cs.utexas.edu
Julio Cesar Sampaio do Prado LeiteInstituto de Computação, UFBAכתובת אימייל מאומתת בדומיין inf.puc-rio.br
John MylopoulosUniversity of Ottawaכתובת אימייל מאומתת בדומיין cs.toronto.edu
jawed siddiqiEmeritus Professor Sheffield Hallam Universityכתובת אימייל מאומתת בדומיין shu.ac.uk
Tevfik BultanProfessor of Computer Science, University of California, Santa Barbaraכתובת אימייל מאומתת בדומיין cs.ucsb.edu
David W. AhaDirector, Navy Center for Applied Research in AI, Naval Research Laboratoryכתובת אימייל מאומתת בדומיין nrl.navy.mil
Mats HeimdahlProfessor and Department Head, Computer Science and Engineering, University of Minnesotaכתובת אימייל מאומתת בדומיין umn.edu
Yanhong A. LiuStony Brook University, State University of New Yorkכתובת אימייל מאומתת בדומיין cs.stonybrook.edu
Robert FranceProfessor of Computer Science, Colorado State Universityכתובת אימייל מאומתת בדומיין cs.colostate.edu
Bernhard RumpeRWTH Aachen Universityכתובת אימייל מאומתת בדומיין se.rwth-aachen.de
Jan JürjensUniversität Koblenz-Landau, Germanyכתובת אימייל מאומתת בדומיין jurjens.de
José Luiz FiadeiroDurham Johnston Comprehensive Schoolכתובת אימייל מאומתת בדומיין durhamjohnston.org.uk
David Lorge ParnasMiddle Road Software, McMaster University, University of Limerickכתובת אימייל מאומתת בדומיין mcmaster.ca
Indrajit RayProfessor, Computer Science, Colorado State Universityכתובת אימייל מאומתת בדומיין colostate.edu

עקוב אחר

Constance HEITMEYER or Connie HEITMEYER

Naval Research Laboratory

כתובת אימייל מאומתת בדומיין nrl.navy.mil

Software Engineering Requirements Engineering Formal Methods Tools Real-Time Computing


כותרת מיון לפי ציטוט ביבליוגרפי מיון לפי שנה מיון לפי כותרת	צוטט על ידי צוטט על ידי	שנה
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‏	837	1996
Using model checking to generate tests from requirements specifications‏ A Gargantini, C Heitmeyer‏ ACM SIGSOFT Software Engineering Notes 24 (6), 146-162, 1999‏	579	1999
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‏	399	1995
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‏	267	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‏	260	1984
Formal methods for real-time computing‏ C Heitmeyer, D Mandrioli‏ John Wiley & Sons, 1996‏	254	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‏	246	1994
Model checking complete requirements specifications using abstraction‏ R Bharadwaj, CL Heitmeyer‏ Automated Software Engineering 6, 37-68, 1999‏	209	1999
Consistency checking of SCR-style requirements specifications‏ C Heitmeyer, B Labaw, D Kiskis‏ Proceedings of 1995 IEEE International Symposium on Requirements Engineering …, 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‏	180	2002
On the need for practical formal methods‏ C Heitmeyer‏ International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1998‏	147	1998
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‏	134	2008
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‏	132	1993
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‏	125	2005
Software cost reduction‏ C Heitmeyer‏ Encyclopedia of software engineering 2, 1374-1380, 2002‏	120	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‏	112	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‏	109	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‏	104	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‏	103	1992
MT: A toolset for specifying and analyzing real-time systems‏ PC Clements, CL Heitmeyer, BG Labaw, AT Rose‏ 1993 Proceedings Real-Time Systems Symposium, 12-22, 1993‏	85	1993

המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.

מאמרים 1–20

ציטוטים ביבליוגרפיים בשנה

ציטוטים ביביליוגרפיים כפולים

ציטוטים ביביליוגרפיים שמוזגו

הוסף מחברים שותפיםמחברים משותפים

עקוב אחר

צוטט על ידי

מחברים משותפים