Robyn Lutz

Cited by

	All	Since 2016
Citations	3380	653
h-index	32	13
i10-index	64	20

240

120

180

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202112 23 33 50 58 64 51 94 96 89 136 162 239 200 222 175 162 193 233 190 148 168 114 114 128 79 48

Public access

View all

11 articles

12 articles

available

not available

Based on funding mandates

Co-authors

Josh DehlingerTowson UniversityVerified email at towson.edu
Samik BasuProfessor of Computer Science, Iowa State UniversityVerified email at iastate.edu
Vasant G HonavarProfessor and Frymoyer Chair of Information Science and Technology, Penn State Univ.Verified email at psu.edu
Jane Cleland-HuangUniversity of Notre DameVerified email at nd.edu
Jack H. LutzIowa State UniversityVerified email at cs.iastate.edu
Guy HelmerProfessor of Practice, Ivy College of Business, Iowa State UniversityVerified email at iastate.edu
Katerina Goseva PopstojanovaProfessor of Computer Science, West Virginia UniversityVerified email at mail.wvu.edu
Steve EasterbrookProfessor of Computer Science, University of TorontoVerified email at cs.toronto.edu
Divita MathurK99 NIH Pathway to Independence Awardee, U.S. Naval Research Laboratory, Washington DCVerified email at nrl.navy.mil
Gerald C. GannodDepartment of Computer Science, Tennessee Technological UniversityVerified email at tntech.edu
Titus H. KlingeAssistant Professor of Computer Science, Drake UniversityVerified email at drake.edu
Eric R. HendersonProfessor, Genetics, Development, and Cell BiologyVerified email at iastate.edu
Seyedehzahra KhoshmaneshIowa State UniversityVerified email at iastate.edu
Chris StrasburgPh.D. Candidate, Iowa State UniversityVerified email at iastate.edu
Thomas R DevineWest Virginia UniversityVerified email at mail.wvu.edu
Tim MenziesIEEE Fellow,prof,CS+AI,ex-nurse,rocketman,taxi-driver,journalist (it all made sense at the time)Verified email at ieee.org
David WeissIowa State UniversityVerified email at iastate.edu
Jane Huffman HayesUniversity of KentuckyVerified email at cs.uky.edu
Mats HeimdahlProfessor and Department Head, Computer Science and Engineering, University of MinnesotaVerified email at umn.edu
Andrew MinerComputer Science, Iowa State UniversityVerified email at iastate.edu

Robyn Lutz

Iowa State University

Verified email at iastate.edu - Homepage

software assurance software safety molecular programming


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Analyzing software requirements errors in safety-critical, embedded systems RR Lutz IEEE Int'l Symp Requirements Engineering, 126-133, 1993	419	1993
Experiences using lightweight formal methods for requirements modeling S Easterbrook, R Lutz, R Covington, J Kelly, Y Ampo, D Hamilton IEEE Transactions on Software Engineering 24 (1), 4-14, 1998	227	1998
Software engineering for safety RR Lutz Proceedings of the 22th International Conference on Software Engineering …, 2000	196*	2000
A software fault tree approach to requirements analysis of an intrusion detection system G Helmer, J Wong, M Slagell, V Honavar, L Miller, R Lutz Requirements Engineering Journal 7 (4), 207-220, 2002	181	2002
Targeting safety-related errors during software requirements analysis RR Lutz 1st SIGSOFT Symposium on Foundations of Software Engineering (FSE) 18 (5 …, 1993	181	1993
Safety analysis of software product lines using state-based modeling J Liu, J Dehlinger, R Lutz Journal of Systems and Software 80 (11), 1879-1892, 2007	118	2007
Safety analysis of software product lines using state-based modeling J Liu, J Dehlinger, R Lutz Software Reliability Engineering, 2005. ISSRE 2005. 16th IEEE International …, 2005	118	2005
Requirements analysis using forward and backward search RR Lutz, RM Woodhouse Annals of Software Engineering 3 (1), 459-475, 1997	101	1997
Empirical analysis of safety-critical anomalies during operations RR Lutz IEEE Transactions on Software Engineering 30 (3), 172-180, 2004	99	2004
Software fault tree analysis for product lines J Dehlinger, RR Lutz 8th IEEE Int'l Symp High Assurance Systems Engineering, 12-21, 2004	77	2004
Compositional model checking of software product lines using variation point obligations J Liu, S Basu, RR Lutz Automated Software Engineering 18 (1), 39-76, 2011	70	2011
Bi-directional analysis for certification of safety-critical software RR Lutz, RM Woodhouse First Int'l Sofware Assurance Certification Conf, 1999	65	1999
Operational anomalies as a cause of safety-critical requirements evolution RR Lutz, IC Mikulski Journal of Systems and Software 65 (2), 155-161, 2003	64	2003
PLFaultCAT: A product-line software fault tree analysis tool J Dehlinger, RR Lutz Automated Software Engineering 13 (1), 169-193, 2006	62	2006
Trace queries for safety requirements in high assurance systems J Cleland-Huang, M Heimdahl, JH Hayes, R Lutz, P Maeder International working conference on requirements engineering: Foundation for …, 2012	53	2012
Parallel web service composition in moscoe: A choreography-based approach J Pathak, S Basu, R Lutz, V Honavar 4th European Conf on Web Services, 3-12, 2006	52	2006
Towards the automatic generation of mobile agents for distributed intrusion detection system Y Wang, SR Behera, J Wong, G Helmer, V Honavar, L Miller, R Lutz, ... Journal of Systems and Software 79 (1), 1-14, 2006	46	2006
Extending the product family approach to support safe reuse RR Lutz Journal of Systems and Software 53 (3), 207-217, 2000	46	2000
Bi-directional safety analysis of product lines Q Feng, RR Lutz Journal of Systems and Software 78 (2), 111-127, 2005	45	2005
Tool-supported verification of product line requirements P Padmanabhan, RR Lutz Automated Software Engineering 12 (4), 447-465, 2005	45	2005

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 this author

Cited by

Co-authors