Robyn R. Lutz
Iowa State University, Ames, Iowa, USA
http://www.cs.iastate.edu/~rlutz/
https://orcid.org/0000-0001-5390-7982
Usman Gohar
Michael C. Hunter
Agnieszka Marczak-Czajka
Robyn R. Lutz
Myra B. Cohen
Jane Cleland-Huang
Towards Engineering Fair and Equitable Software Systems for Managing Low-Altitude Airspace Authorizations.
2024
abs/2401.07353
CoRR
https://doi.org/10.48550/arXiv.2401.07353
db/journals/corr/corr2401.html#abs-2401-07353
Tuba Yavuz
Chin Khor
Ken Yihang Bai
Robyn R. Lutz
Generating Maximal Configurations and Their Variants Using Code Metrics.
2024
abs/2401.07898
CoRR
https://doi.org/10.48550/arXiv.2401.07898
db/journals/corr/corr2401.html#abs-2401-07898
Chin Khor
Robyn R. Lutz
Requirements Analysis of Variability Constraints in a Configurable Flight Software System.
244-254
2023
RE
https://doi.org/10.1109/RE57278.2023.00032
conf/re/2023
db/conf/re/re2023.html#KhorL23
Chin Khor
Robyn R. Lutz
Requirements Analysis of Variability Constraints in a Configurable Flight Software System.
2023
abs/2309.03392
CoRR
https://doi.org/10.48550/arXiv.2309.03392
db/journals/corr/corr2309.html#abs-2309-03392
James I. Lathrop
Robyn R. Lutz
Cameron Brecount
Hugh D. Potter
Kathryn Rohlfing
Jesse Slater
Joshua Wallin
SafeWalk: a Simulation Tool Kit for Exploring Software Requirements in a Safety-Critical Product Line.
268-269
2022
RE
https://doi.org/10.1109/RE54965.2022.00038
conf/re/2022
db/conf/re/re2022.html#LathropLBPRSW22
Robyn R. Lutz
Requirements Engineering for Safety-Critical Molecular Programs.
302-308
2022
RE
https://doi.org/10.1109/RE54965.2022.00045
conf/re/2022
db/conf/re/re2022.html#Lutz22
Mohammad Jamil Ahmad
Katerina Goseva-Popstojanova
Robyn R. Lutz
The Untold Impact of Learning Approaches on Software Fault-Proneness Predictions.
2022
abs/2207.05710
CoRR
https://doi.org/10.48550/arXiv.2207.05710
db/journals/corr/corr2207.html#abs-2207-05710
Michael Vierhauser
Sean Bayley
Jane Wyngaard
Wandi Xiong
Jinghui Cheng
Joshua Huseman
Robyn R. Lutz
Jane Cleland-Huang
Interlocking Safety Cases for Unmanned Autonomous Systems in Shared Airspaces.
899-918
2021
47
IEEE Trans. Software Eng.
5
https://doi.org/10.1109/TSE.2019.2907595
db/journals/tse/tse47.html#VierhauserBWXCH21
Robyn R. Lutz
Designing safe programmed molecular systems (keynote).
2
2021
SPLASH (Companion)
https://doi.org/10.1145/3484271.3490528
conf/splash/2021c
db/conf/splash/splash2021c.html#Lutz21
Seyedehzahra Khoshmanesh
Tuba Yavuz
Robyn R. Lutz
Learning Feature Interactions With and Without Specifications.
2021
abs/2104.07844
CoRR
https://arxiv.org/abs/2104.07844
db/journals/corr/corr2104.html#abs-2104-07844
Seyedehzahra Khoshmanesh
Robyn R. Lutz
Does Link Prediction Help Find Feature Interactions in Software Product Lines?
87-90
2020
AIRE@RE
https://doi.org/10.1109/AIRE51212.2020.00020
conf/aire-ws/2020
db/conf/aire-ws/aire-ws2020.html#KhoshmaneshL20
James I. Lathrop
Jack H. Lutz
Robyn R. Lutz
Hugh D. Potter
Matthew R. Riley
Population-Induced Phase Transitions and the Verification of Chemical Reaction Networks.
5:1-5:17
2020
DNA
https://doi.org/10.4230/LIPIcs.DNA.2020.5
conf/dna/2020
db/conf/dna/dna2020.html#LathropLLPR20
Robyn R. Lutz
James I. Lathrop
Cameron Brecount
Kendal Gast
Kathryn Rohlfing
Joshua Wallin
Using an Astronaut Jetpack Project to Teach Human-CPS Requirements Engineering.
9-10
2020
REET@RE
https://doi.org/10.1109/REET51203.2020.00008
conf/re/2020reet
db/conf/re/reet2020.html#LutzLBGRW20
Seyedehzahra Khoshmanesh
Robyn R. Lutz
Does Link Prediction Help Detect Feature Interactions in Software Product Lines (SPLs)?
2020
abs/2009.07392
CoRR
https://arxiv.org/abs/2009.07392
db/journals/corr/corr2009.html#abs-2009-07392
Samuel J. Ellis
Titus H. Klinge
James I. Lathrop
Jack H. Lutz
Robyn R. Lutz
Andrew S. Miner
Hugh D. Potter
Runtime Fault Detection in Programmed Molecular Systems.
6:1-6:20
2019
28
ACM Trans. Softw. Eng. Methodol.
2
https://doi.org/10.1145/3295740
db/journals/tosem/tosem28.html#EllisKLLLMP19
Jack H. Lutz
Neil Lutz
Robyn R. Lutz
Matthew R. Riley
Robustness and games against nature in molecular programming.
65-68
2019
ICSE (NIER)
https://doi.org/10.1109/ICSE-NIER.2019.00025
https://dl.acm.org/citation.cfm?id=3339161
conf/icse/2019nier
db/conf/icse/nier2019.html#LutzLLR19
Ankit Agrawal 0002
Seyedehzahra Khoshmanesh
Michael Vierhauser
Mona Rahimi
Jane Cleland-Huang
Robyn R. Lutz
Leveraging artifact trees to evolve and reuse safety cases.
1222-1233
2019
ICSE
https://doi.org/10.1109/ICSE.2019.00124
https://dl.acm.org/citation.cfm?id=3339658
conf/icse/2019
db/conf/icse/icse2019.html#AgrawalKVRCL19
Seyedehzahra Khoshmanesh
Robyn R. Lutz
Leveraging Feature Similarity for Earlier Detection of Unwanted Feature Interactions in Evolving Software Product Lines.
293-307
2019
SISAP
https://doi.org/10.1007/978-3-030-32047-8_26
conf/sisap/2019
db/conf/sisap/sisap2019.html#KhoshmaneshL19
Seyedehzahra Khoshmanesh
Robyn R. Lutz
Feature Similarity: A Method to Detect Unwanted Feature Interactions Earlier in Software Product Lines.
356-361
2019
SISAP
https://doi.org/10.1007/978-3-030-32047-8_32
conf/sisap/2019
db/conf/sisap/sisap2019.html#KhoshmaneshL19a
Jack H. Lutz
Neil Lutz
Robyn R. Lutz
Matthew R. Riley
Robustness and Games Against Nature in Molecular Programming.
2019
abs/1902.06171
CoRR
http://arxiv.org/abs/1902.06171
db/journals/corr/corr1902.html#abs-1902-06171
James I. Lathrop
Jack H. Lutz
Robyn R. Lutz
Hugh D. Potter
Matthew R. Riley
Quorum Sensing and Verification in Chemical Reaction Networks.
2019
abs/1909.05390
CoRR
http://arxiv.org/abs/1909.05390
db/journals/corr/corr1909.html#abs-1909-05390
Michael Vierhauser
Sean Bayley
Jane Wyngaard
Jinghui Cheng
Wandi Xiong
Robyn R. Lutz
Joshua Huseman
Jane Cleland-Huang
Interlocking safety cases for unmanned autonomous systems in urban environments.
416-417
2018
ICSE (Companion Volume)
https://doi.org/10.1145/3183440.3195035
https://ieeexplore.ieee.org/document/8449604
conf/icse/2018c
db/conf/icse/icse2018c.html#VierhauserBWCXL18
Robyn R. Lutz
Safe-AR: Reducing Risk While Augmenting Reality.
70-75
2018
ISSRE
https://doi.org/10.1109/ISSRE.2018.00018
https://doi.ieeecomputersociety.org/10.1109/ISSRE.2018.00018
conf/issre/2018
db/conf/issre/issre2018.html#Lutz18
Chase Koehler
Divita Mathur
Eric R. Henderson
Robyn R. Lutz
Probing the Security of DNA Origami.
138-139
2018
ISSRE Workshops
https://doi.org/10.1109/ISSREW.2018.00-14
https://doi.ieeecomputersociety.org/10.1109/ISSREW.2018.00-14
conf/issre/2018w
db/conf/issre/issre2018w.html#KoehlerMHL18
Seyedehzahra Khoshmanesh
Robyn R. Lutz
The Role of Similarity in Detecting Feature Interaction in Software Product Lines.
286-292
2018
ISSRE Workshops
https://doi.org/10.1109/ISSREW.2018.00020
https://doi.ieeecomputersociety.org/10.1109/ISSREW.2018.00020
conf/issre/2018w
db/conf/issre/issre2018w.html#KhoshmaneshL18
Jack H. Lutz
Robyn R. Lutz
Writing Requirements for Molecular Programs.
512
2018
RE
https://doi.org/10.1109/RE.2018.00011
https://doi.ieeecomputersociety.org/10.1109/RE.2018.00011
conf/re/2018
db/conf/re/re2018.html#LutzL18
Robyn R. Lutz
Jane Cleland-Huang
The Risk of Overly Strict Requirements.
26-29
2017
34
IEEE Softw.
2
https://doi.org/10.1109/MS.2017.53
http://doi.ieeecomputersociety.org/10.1109/MS.2017.53
db/journals/software/software34.html#LutzC17
Mona Rahimi
Wandi Xiong
Jane Cleland-Huang
Robyn R. Lutz
Diagnosing assumption problems in safety-critical products.
473-484
2017
ASE
https://doi.org/10.1109/ASE.2017.8115659
https://doi.ieeecomputersociety.org/10.1109/ASE.2017.8115659
http://dl.acm.org/citation.cfm?id=3155623
conf/kbse/2017
db/conf/kbse/ase2017.html#RahimiXCL17
Samuel J. Ellis
James I. Lathrop
Robyn R. Lutz
State logging in chemical reaction networks.
23:1-23:6
2017
NANOCOM
https://doi.org/10.1145/3109453.3109456
conf/nanocom/2017
db/conf/nanocom/nanocom2017.html#EllisLL17
Micayla Goodrum
Jane Cleland-Huang
Robyn R. Lutz
Jinghui Cheng
Ronald A. Metoyer
What Requirements Knowledge Do Developers Need to Manage Change in Safety-Critical Systems?
90-99
2017
RE
https://doi.org/10.1109/RE.2017.65
https://doi.ieeecomputersociety.org/10.1109/RE.2017.65
conf/re/2017
db/conf/re/re2017.html#GoodrumCLCM17
Robyn R. Lutz
RE at 50, with a Focus on the Last 25 Years.
482-483
2017
RE
https://doi.org/10.1109/RE.2017.50
https://doi.ieeecomputersociety.org/10.1109/RE.2017.50
conf/re/2017
db/conf/re/re2017.html#Lutz17
Samuel J. Ellis
Titus H. Klinge
James I. Lathrop
Jack H. Lutz
Robyn R. Lutz
Andrew S. Miner
Runtime Fault Detection in Programmed Molecular Systems.
2017
abs/1710.09494
CoRR
http://arxiv.org/abs/1710.09494
db/journals/corr/corr1710.html#abs-1710-09494
Thomas R. Devine
Katerina Goseva-Popstojanova
Sandeep Krishnan
Robyn R. Lutz
Assessment and cross-product prediction of software product line quality: accounting for reuse across products, over multiple releases.
253-302
2016
23
Autom. Softw. Eng.
2
https://doi.org/10.1007/s10515-014-0160-4
https://www.wikidata.org/entity/Q110661717
db/journals/ase/ase23.html#DevineGKL16
Robyn R. Lutz
Jack H. Lutz
Software engineering for molecular programming.
888-889
2016
ICSE (Companion Volume)
https://doi.org/10.1145/2889160.2891048
https://ieeexplore.ieee.org/document/7883429/
conf/icse/2016c
db/conf/icse/icse2016c.html#LutzL25
Robyn R. Lutz
Requirements for Molecular Programmed Nanosystems (Keynote).
2
2016
RE
https://doi.org/10.1109/RE.2016.23
https://doi.ieeecomputersociety.org/10.1109/RE.2016.23
conf/re/2016
db/conf/re/re2016.html#Lutz16
Robyn R. Lutz
Introduction to the RE'14 special issue.
213-214
2015
20
Requir. Eng.
3
https://doi.org/10.1007/s00766-015-0228-0
db/journals/re/re20.html#Lutz15
Thein Than Tun
Robyn R. Lutz
Brian Nakayama
Yijun Yu
Divita Mathur
Bashar Nuseibeh
The Role of Environmental Assumptions in Failures of DNA Nanosystems.
27-33
2015
COUFLESS@ICSE
https://doi.org/10.1109/COUFLESS.2015.12
https://doi.ieeecomputersociety.org/10.1109/COUFLESS.2015.12
http://dl.acm.org/citation.cfm?id=2819426
conf/icse/2015coufless
db/conf/icse/coufless2015.html#TunLNYMN15
Samuel J. Ellis
Eric R. Henderson
Titus H. Klinge
James I. Lathrop
Jack H. Lutz
Robyn R. Lutz
Divita Mathur
Andrew S. Miner
Automated requirements analysis for a molecular watchdog timer.
767-778
2014
ASE
https://doi.org/10.1145/2642937.2643007
conf/kbse/2014
db/conf/kbse/ase2014.html#EllisHKLLLMM14
Tony Gorschek
Robyn R. Lutz
IEEE 22nd International Requirements Engineering Conference, RE 2014, Karlskrona, Sweden, August 25-29, 2014
IEEE Computer Society
2014
978-1-4799-3031-9
978-1-4799-3033-3
https://ieeexplore.ieee.org/xpl/conhome/6903646/proceeding
http://www.computer.org/csdl/proceedings/re/2014/3031/00/index.html
RE
db/conf/re/re2014.html
Sandeep Krishnan
Chris Strasburg
Robyn R. Lutz
Katerina Goseva-Popstojanova
Karin S. Dorman
Predicting failure-proneness in an evolving software product line.
1479-1495
2013
55
Inf. Softw. Technol.
8
https://doi.org/10.1016/j.infsof.2012.11.008
db/journals/infsof/infsof55.html#KrishnanSLGD13
David M. Weiss 0001
James Kirby
Robyn R. Lutz
Moving Toward Evidence-Based Software Production.
275-298
2013
Perspectives on the Future of Software Engineering
https://doi.org/10.1007/978-3-642-37395-4_18
conf/birthday/2013rombach
db/conf/birthday/rombach2013.html#WeissKL13
Robyn R. Lutz
M. Lavin
J. Lux
K. Peters
Nicolas F. Rouquette
Mining Requirements Knowledge from Operational Experience.
49-73
2013
Managing Requirements Knowledge
https://doi.org/10.1007/978-3-642-34419-0_3
books/sp/2013MT
db/books/collections/MT2013.html#LutzLLPR13
Robyn R. Lutz
Jack H. Lutz
James I. Lathrop
Titus H. Klinge
Eric R. Henderson
Divita Mathur
Dalia Abo Sheasha
Engineering and verifying requirements for programmable self-assembling nanomachines.
1361-1364
2012
ICSE
https://doi.org/10.1109/ICSE.2012.6227079
https://doi.ieeecomputersociety.org/10.1109/ICSE.2012.6227079
http://dl.acm.org/citation.cfm?id=2337418
conf/icse/2012
db/conf/icse/icse2012.html#LutzLLKHMS12
Thomas R. Devine
Katerina Goseva-Popstojanova
Sandeep Krishnan
Robyn R. Lutz
J. Jenny Li
An Empirical Study of Pre-release Software Faults in an Industrial Product Line.
181-190
2012
ICST
https://doi.org/10.1109/ICST.2012.98
https://doi.ieeecomputersociety.org/10.1109/ICST.2012.98
conf/icst/2012
db/conf/icst/icst2012.html#DevineGKLL12
Robyn R. Lutz
Jack H. Lutz
James I. Lathrop
Titus H. Klinge
Divita Mathur
Donald M. Stull
Taylor Bergquist
Eric R. Henderson
Requirements analysis for a product family of DNA nanodevices.
211-220
2012
RE
https://doi.org/10.1109/RE.2012.6345806
https://doi.ieeecomputersociety.org/10.1109/RE.2012.6345806
conf/re/2012
db/conf/re/re2012.html#LutzLLKMSBH12
Jane Cleland-Huang
Mats Per Erik Heimdahl
Jane Huffman Hayes
Robyn R. Lutz
Patrick Maeder
Trace Queries for Safety Requirements in High Assurance Systems.
179-193
2012
REFSQ
https://doi.org/10.1007/978-3-642-28714-5_16
conf/refsq/2012
db/conf/refsq/refsq2012.html#Cleland-HuangHHLM12
Jing Liu
Samik Basu 0001
Robyn R. Lutz
Compositional model checking of software product lines using variation point obligations.
39-76
2011
18
Autom. Softw. Eng.
1
https://doi.org/10.1007/s10515-010-0075-7
db/journals/ase/ase18.html#LiuBL11
Robyn R. Lutz
Software Engineering for Space Exploration.
41-46
2011
44
Computer
10
https://doi.org/10.1109/MC.2011.264
http://doi.ieeecomputersociety.org/10.1109/MC.2011.264
db/journals/computer/computer44.html#Lutz11
Josh Dehlinger
Robyn R. Lutz
Gaia-PL: A Product Line Engineering Approach for Efficiently Designing Multiagent Systems.
17:1-17:27
2011
20
ACM Trans. Softw. Eng. Methodol.
4
https://doi.org/10.1145/2000799.2000803
db/journals/tosem/tosem20.html#DehlingerL11
Robyn R. Lutz
Jeremy Johnson
Ann Patterson-Hine
Using model-based assurance to strengthen diagnostic procedures.
516-519
2011
ASE
https://doi.org/10.1109/ASE.2011.6100113
https://doi.ieeecomputersociety.org/10.1109/ASE.2011.6100113
conf/kbse/2011
db/conf/kbse/ase2011.html#LutzJP11
Sandeep Krishnan
Robyn R. Lutz
Katerina Goseva-Popstojanova
Empirical evaluation of reliability improvement in an evolving software product line.
103-112
2011
MSR
https://doi.org/10.1145/1985441.1985458
conf/msr/2011
db/conf/msr/msr2011.html#KrishnanLG11
Sandeep Krishnan
Chris Strasburg
Robyn R. Lutz
Katerina Goseva-Popstojanova
Are change metrics good predictors for an evolving software product line?
7
2011
PROMISE
https://doi.org/10.1145/2020390.2020397
conf/promise/2011
db/conf/promise/promise2011.html#KrishnanSLG11
Simona Bernardi 0001
José Merseguer
Robyn R. Lutz
Reliability and Availability Requirements Engineering within the Unified Process Using a Dependability Analysis and Modeling Profile.
95-104
2010
EDCC
https://doi.org/10.1109/EDCC.2010.21
https://doi.ieeecomputersociety.org/10.1109/EDCC.2010.21
conf/edcc/2010
db/conf/edcc/edcc2010.html#BernardiML10
Hongyu Sun 0001
Samik Basu 0001
Vasant G. Honavar
Robyn R. Lutz
Automata-Based Verification of Security Requirements of Composite Web Services.
348-357
2010
ISSRE
https://doi.org/10.1109/ISSRE.2010.20
https://doi.ieeecomputersociety.org/10.1109/ISSRE.2010.20
https://www.wikidata.org/entity/Q57015169
conf/issre/2010
db/conf/issre/issre2010.html#SunBHL10
James Kirby Jr.
David M. Weiss 0001
Robyn R. Lutz
Evidence-based software production.
191-194
2010
FoSER
https://doi.org/10.1145/1882362.1882403
conf/sigsoft/2010foser
db/conf/sigsoft/foser2010.html#KirbyWL10
Robyn R. Lutz
David M. Weiss 0001
Sandeep Krishnan
Jingwei Yang
Software Product Line Engineering for Long-Lived, Sustainable Systems.
430-434
2010
SPLC
https://doi.org/10.1007/978-3-642-15579-6_31
conf/splc/2010
db/conf/splc/splc2010.html#LutzWKY10
Dinanath Nadkarni
Samik Basu 0001
Vasant G. Honavar
Robyn R. Lutz
Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems.
161-175
2010
WS-FM
https://doi.org/10.1007/978-3-642-19589-1_11
https://www.wikidata.org/entity/Q57015147
conf/wsfm/2010
db/conf/wsfm/wsfm2010.html#NadkarniBHL10
Josh Dehlinger
Robyn R. Lutz
Evaluating the Reusability of Product-Line Software Fault Tree Analysis Assets for a Safety-Critical System.
160-169
2009
ICSR
https://doi.org/10.1007/978-3-642-04211-9_16
conf/icsr/2009
db/conf/icsr/icsr2009.html#DehlingerL09
Robyn R. Lutz
Nicolas Rouquette
Using Defect Reports to Build Requirements Knowledge in Product Lines.
12-21
2009
MARK@RE
https://doi.org/10.1109/MARK.2009.13
https://doi.ieeecomputersociety.org/10.1109/MARK.2009.13
conf/re/2009mark
db/conf/re/mark2009.html#LutzR09
Hongyu Sun 0001
Robyn R. Lutz
Samik Basu 0001
Product-line-based requirements customization for web service compositions.
141-150
2009
SPLC
https://dl.acm.org/citation.cfm?id=1753255
conf/splc/2009
db/conf/splc/splc2009.html#SunLB09
Jyotishman Pathak
Samik Basu 0001
Robyn R. Lutz
Vasant G. Honavar
MOSCOE: an Approach for Composing Web Services through Iterative Reformulation of Functional Specifications.
109-138
2008
17
Int. J. Artif. Intell. Tools
1
https://doi.org/10.1142/S0218213008003807
https://www.wikidata.org/entity/Q56675405
db/journals/ijait/ijait17.html#PathakBLH08
Josh Dehlinger
Robyn R. Lutz
Supporting requirements reuse in multi-agent system product line design and evolution.
207-216
2008
ICSM
https://doi.org/10.1109/ICSM.2008.4658069
conf/icsm/2008
db/conf/icsm/icsm2008.html#DehlingerL08
Robyn R. Lutz
Ann Patterson-Hine
Using Fault Modeling in Safety Cases.
271-276
2008
ISSRE
https://doi.org/10.1109/ISSRE.2008.13
https://doi.ieeecomputersociety.org/10.1109/ISSRE.2008.13
conf/issre/2008
db/conf/issre/issre2008.html#LutzP08
Qian Feng
Robyn R. Lutz
Assessing the Effect of Software Failures on Trust Assumptions.
291-292
2008
ISSRE
https://doi.org/10.1109/ISSRE.2008.30
https://doi.ieeecomputersociety.org/10.1109/ISSRE.2008.30
conf/issre/2008
db/conf/issre/issre2008.html#FengL08
Robyn R. Lutz
Enabling Verifiable Conformance for Product Lines.
35-44
2008
SPLC
https://doi.org/10.1109/SPLC.2008.12
https://doi.ieeecomputersociety.org/10.1109/SPLC.2008.12
conf/splc/2008
db/conf/splc/splc2008.html#Lutz08
Jing Liu
Josh Dehlinger
Robyn R. Lutz
Safety analysis of software product lines using state-based modeling.
1879-1892
2007
80
J. Syst. Softw.
11
https://doi.org/10.1016/j.jss.2007.01.047
db/journals/jss/jss80.html#LiuDL07
Robyn R. Lutz
Ann Patterson-Hine
Stacy Nelson
Chad R. Frost
Doron Tal
Robert Harris
Using obstacle analysis to identify contingency requirements on an unpiloted aerial vehicle.
41-54
2007
12
Requir. Eng.
1
https://doi.org/10.1007/s00766-006-0039-4
db/journals/re/re12.html#LutzPNFTH07
Jing Liu
Josh Dehlinger
Hongyu Sun 0001
Robyn R. Lutz
State-Based Modeling to Support the Evolution and Maintenance of Safety-Critical Software Product Lines.
596-608
2007
ECBS
https://doi.org/10.1109/ECBS.2007.66
https://doi.ieeecomputersociety.org/10.1109/ECBS.2007.66
conf/ecbs/2007
db/conf/ecbs/ecbs2007.html#LiuDSL07
Hongyu Sun 0001
Miriam Hauptman
Robyn R. Lutz
Integrating Product-Line Fault Tree Analysis into AADL Models.
15-22
2007
conf/hase/2007
HASE
https://doi.org/10.1109/HASE.2007.28
https://doi.ieeecomputersociety.org/10.1109/HASE.2007.28
db/conf/hase/hase2007.html#SunHL07
Robyn R. Lutz
Portraits in Practice.
33-34
2007
conf/icse/2007c
ICSE Companion
https://doi.org/10.1109/ICSECOMPANION.2007.58
https://doi.ieeecomputersociety.org/10.1109/ICSECOMPANION.2007.58
db/conf/icse/icsec2007.html#Lutz07
Josh Dehlinger
Meredith Humphrey
Lada Suvorov
Prasanna Padmanabhan
Robyn R. Lutz
DECIMAL and PLFaultCAT: From Product-Line Requirements to Product-Line Member Software Fault Trees.
49-50
2007
conf/icse/2007c
ICSE Companion
https://doi.org/10.1109/ICSECOMPANION.2007.29
https://doi.ieeecomputersociety.org/10.1109/ICSECOMPANION.2007.29
db/conf/icse/icsec2007.html#DehlingerHSPL07
Josh Dehlinger
Robyn R. Lutz
PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool.
169-193
2006
13
Autom. Softw. Eng.
1
https://doi.org/10.1007/s10515-006-5469-1
db/journals/ase/ase13.html#DehlingerL06
Yanxin Wang
Smruti Ranjan Behera
Johnny Wong
Guy G. Helmer
Vasant G. Honavar
Les Miller
Robyn R. Lutz
Mark Slagell
Towards the automatic generation of mobile agents for distributed intrusion detection system.
1-14
2006
79
J. Syst. Softw.
1
https://doi.org/10.1016/j.jss.2004.08.017
https://www.wikidata.org/entity/Q56675417
db/journals/jss/jss79.html#WangBWHHMLS06
Natalia Stakhanova
Samik Basu 0001
Robyn R. Lutz
Johnny Wong
Automated Caching of Behavioral Patterns for Efficient Run-Time Monitoring.
333-340
2006
conf/dasc/2006
DASC
https://doi.org/10.1109/DASC.2006.23
https://doi.ieeecomputersociety.org/10.1109/DASC.2006.23
db/conf/dasc/dasc2006.html#StakhanovaBLW06
Jyotishman Pathak
Samik Basu 0001
Robyn R. Lutz
Vasant G. Honavar
Parallel Web Service Composition in MoSCoE: A Choreography-Based Approach.
3-12
2006
conf/ecows/2006
ECOWS
https://doi.org/10.1109/ECOWS.2006.30
https://doi.ieeecomputersociety.org/10.1109/ECOWS.2006.30
db/conf/ecows/ecows2006.html#PathakBLH06
Jyotishman Pathak
Samik Basu 0001
Robyn R. Lutz
Vasant G. Honavar
MoSCoE: A Framework for Modeling Web Service Composition and Execution.
143
2006
conf/icde/2006w
ICDE Workshops
https://doi.org/10.1109/ICDEW.2006.96
https://doi.ieeecomputersociety.org/10.1109/ICDEW.2006.96
db/conf/icde/icdew2006.html#PathakBLH06
Jyotishman Pathak
Samik Basu 0001
Robyn R. Lutz
Vasant G. Honavar
Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications.
445-454
2006
conf/ictai/2006
ICTAI
https://doi.org/10.1109/ICTAI.2006.102
https://doi.ieeecomputersociety.org/10.1109/ICTAI.2006.102
https://www.wikidata.org/entity/Q57015282
db/conf/ictai/ictai2006.html#PathakBLH06
Robyn R. Lutz
Ann Patterson-Hine
Anupa Bajwa
Tool-Supported Verification of Contingency Software Design in Evolving, Autonomous Systems.
213-220
2006
conf/issre/2006
ISSRE
https://doi.org/10.1109/ISSRE.2006.48
https://doi.ieeecomputersociety.org/10.1109/ISSRE.2006.48
db/conf/issre/issre2006.html#LutzPB06
Prasanna Padmanabhan
Robyn R. Lutz
Tool-Supported Verification of Product Line Requirements.
447-465
2005
12
Autom. Softw. Eng.
4
https://doi.org/10.1007/s10515-005-2648-4
db/journals/ase/ase12.html#PadmanabhanL05
Qian Feng
Robyn R. Lutz
Bi-directional safety analysis of product lines.
111-127
2005
78
J. Syst. Softw.
2
https://doi.org/10.1016/j.jss.2005.02.028
db/journals/jss/jss78.html#FengL05
Josh Dehlinger
Robyn R. Lutz
A product-line requirements approach to safe reuse in multi-agent systems.
1-7
2005
30
ACM SIGSOFT Softw. Eng. Notes
4
https://doi.org/10.1145/1082983.1082981
db/journals/sigsoft/sigsoft30.html#DehlingerL05
Jing Liu
Robyn R. Lutz
Jeffrey M. Thompson
Mapping concern space to software architecture: a connector-based approach.
1-5
2005
30
ACM SIGSOFT Softw. Eng. Notes
4
https://doi.org/10.1145/1082983.1083126
db/journals/sigsoft/sigsoft30.html#LiuLT05
Jing (Janet) Liu
Robyn R. Lutz
Jeffrey M. Thompson
Mapping concern space to software architecture: a connector-based approach.
14:1-14:5
2005
MACS@ICSE
https://doi.org/10.1145/1083125.1083126
conf/icse/2005macs
db/conf/icse/macs2005.html#LiuLT05
Jing Liu
Josh Dehlinger
Robyn R. Lutz
Safety Analysis of Software Product Lines Using State-Based Modeling.
21-30
2005
conf/issre/2005
ISSRE
https://doi.org/10.1109/ISSRE.2005.36
https://doi.ieeecomputersociety.org/10.1109/ISSRE.2005.36
db/conf/issre/issre2005.html#LiuDL05
Kimberly S. Wasson
Kendra N. Schmid
Robyn R. Lutz
John C. Knight
Using Occurrence Properties of Defect Report Data to Improve Requirements.
253-262
2005
conf/re/2005
RE
https://doi.org/10.1109/RE.2005.77
https://doi.ieeecomputersociety.org/10.1109/RE.2005.77
db/conf/re/re2005.html#WassonSLK05
Robyn R. Lutz
Stacy Nelson
Ann Patterson-Hine
Chad R. Frost
Doron Tal
Identifying Contingency Requirements Using Obstacle Analysis.
263-272
2005
conf/re/2005
RE
https://doi.org/10.1109/RE.2005.32
https://doi.ieeecomputersociety.org/10.1109/RE.2005.32
db/conf/re/re2005.html#LutzNPFT05
Josh Dehlinger
Robyn R. Lutz
A product-line requirements approach to safe reuse in multi-agent systems.
1:1-1:7
2005
SELMAS
https://doi.org/10.1145/1082960.1082981
conf/selmas/2005acm
db/conf/selmas/selmas2005acm.html#DehlingerL05a
Josh Dehlinger
Robyn R. Lutz
A Product-Line Approach to Promote Asset Reuse in Multi-agent Systems.
161-178
2005
conf/selmas/2005
SELMAS (LNCS)
https://doi.org/10.1007/11738817_10
db/conf/selmas/selmas2005.html#DehlingerL05
Robyn R. Lutz
Ines Carmen Mikulski
Ongoing Requirements Discovery in High-Integrity Systems.
19-25
2004
21
IEEE Softw.
2
https://doi.org/10.1109/MS.2004.1270757
http://doi.ieeecomputersociety.org/10.1109/MS.2004.1270757
db/journals/software/software21.html#LutzM04
Robert W. Schwanke
Robyn R. Lutz
Experience with the architectural design of a modest product family.
1273-1296
2004
34
Softw. Pract. Exp.
13
https://doi.org/10.1002/spe.613
db/journals/spe/spe34.html#SchwankeL04
Robyn R. Lutz
Ines Carmen Mikulski
Empirical Analysis of Safety-Critical Anomalies During Operations.
172-180
2004
30
IEEE Trans. Software Eng.
3
https://doi.org/10.1109/TSE.2004.1271171
http://doi.ieeecomputersociety.org/10.1109/TSE.2004.1271171
db/journals/tse/tse30.html#LutzM04
Josh Dehlinger
Robyn R. Lutz
Software Fault Tree Analysis for Product Lines.
12-21
2004
conf/hase/2004
HASE
https://doi.org/10.1109/HASE.2004.1281726
https://doi.ieeecomputersociety.org/10.1109/HASE.2004.1281726
db/conf/hase/hase2004.html#DehlingerL04
Robyn R. Lutz
Ines Carmen Mikulski
Operational anomalies as a cause of safety-critical requirements evolution.
155-161
2003
65
J. Syst. Softw.
2
https://doi.org/10.1016/S0164-1212(02)00057-2
db/journals/jss/jss65.html#LutzM03
Robyn R. Lutz
Gerald C. Gannod
Analysis of a software product line architecture: an experience report.
253-267
2003
66
J. Syst. Softw.
3
https://doi.org/10.1016/S0164-1212(02)00081-X
db/journals/jss/jss66.html#LutzG03
Robyn R. Lutz
Ines Carmen Mikulski
Requirements Discovery during the Testing of Safety-Critical Software.
578-585
2003
conf/icse/2003
ICSE
https://doi.org/10.1109/ICSE.2003.1201240
https://doi.ieeecomputersociety.org/10.1109/ICSE.2003.1201240
http://dl.acm.org/citation.cfm?id=776894
db/conf/icse/icse2003.html#LutzM03
Robyn R. Lutz
Ines Carmen Mikulski
Resolving Requirements Discovery in Testing and Operations.
33-
2003
conf/re/2003
RE
https://doi.org/10.1109/ICRE.2003.1232735
https://doi.ieeecomputersociety.org/10.1109/ICRE.2003.1232735
db/conf/re/re2003.html#LutzM03
Tim Menzies
Robyn R. Lutz
Ines Carmen Mikulski
Better Analysis of Defect Data at NASA.
607-611
2003
conf/seke/2003
SEKE
db/conf/seke/seke2003.html#MenziesLM03
Guy G. Helmer
Johnny S. Wong
Mark Slagell
Vasant G. Honavar
Les Miller
Robyn R. Lutz
A Software Fault Tree Approach to Requirements Analysis of an Intrusion Detection System.
207-220
2002
7
Requir. Eng.
4
https://doi.org/10.1007/s007660200016
https://www.wikidata.org/entity/Q56675420
db/journals/re/re7.html#HelmerWSHML02
Dingding Lu
Robyn R. Lutz
Fault Contribution Trees for Product Families.
231-242
2002
conf/issre/2002
ISSRE
https://doi.org/10.1109/ISSRE.2002.1173258
https://doi.ieeecomputersociety.org/10.1109/ISSRE.2002.1173258
db/conf/issre/issre2002.html#LuL02
Robyn R. Lutz
Ines Carmen Mikulski
Evolution of Safety-Critical Requirements Post-Launch.
222-227
2001
conf/re/2001
RE
https://doi.org/10.1109/ISRE.2001.948562
https://doi.ieeecomputersociety.org/10.1109/ISRE.2001.948562
db/conf/re/re2001.html#LutzM01
Robyn R. Lutz
Extending the product family approach to support safe reuse.
207-217
2000
53
J. Syst. Softw.
3
https://doi.org/10.1016/S0164-1212(00)00012-1
db/journals/jss/jss53.html#Lutz00
Robyn R. Lutz
Four areas of overlapping interest.
49-50
2000
HASE
https://doi.org/10.1109/HASE.2000.895440
https://doi.ieeecomputersociety.org/10.1109/HASE.2000.895440
conf/hase/2000
db/conf/hase/hase2000.html#Lutz00
Robyn R. Lutz
Software engineering for safety: a roadmap.
213-226
2000
conf/icse/2000future
ICSE - Future of SE Track
https://doi.org/10.1145/336512.336556
db/conf/icse/future2000.html#Lutz00
Gerald C. Gannod
Robyn R. Lutz
An approach to architectural analysis of product lines.
548-557
2000
conf/icse/2000
ICSE
https://doi.org/10.1145/337180.337455
db/conf/icse/icse2000.html#GannodL00
Carolina Cruz-Neira
Robyn R. Lutz
Using Immersive Virtual Environments for Certification.
26-30
1999
16
IEEE Softw.
4
https://doi.org/10.1109/52.776945
http://doi.ieeecomputersociety.org/10.1109/52.776945
db/journals/software/software16.html#Cruz-NeiraL99
Robyn R. Lutz
Hui-Yin Shaw
Applying adaptive safety analysis techniques [for embedded software].
42-49
1999
ISSRE
https://doi.org/10.1109/ISSRE.1999.809309
https://doi.ieeecomputersociety.org/10.1109/ISSRE.1999.809309
conf/issre/1999
db/conf/issre/issre1999.html#LutzS99
Robyn R. Lutz
Toward Safe Reuse of Product Family Specifications.
17-26
1999
conf/ssr/1999
SSR
https://doi.org/10.1145/303008.303014
db/conf/ssr/ssr99.html#Lutz99
Steve M. Easterbrook
Robyn R. Lutz
Richard Covington
John Kelly
Yoko Ampo
David Hamilton
Experiences Using Lightweight Formal Methods for Requirements Modeling.
4-14
https://doi.org/10.1109/32.663994
http://doi.ieeecomputersociety.org/10.1109/32.663994
1998
24
IEEE Trans. Software Eng.
1
db/journals/tse/tse24.html#EasterbrookLCKAH98
Robyn R. Lutz
Guy G. Helmer
Michelle M. Moseman
David E. Statezni
Stephen R. Tockey
Safety Analysis of Requirements for a Product Family.
24-
1998
conf/icre/1998
ICRE
https://doi.org/10.1109/ICRE.1998.667805
https://doi.ieeecomputersociety.org/10.1109/ICRE.1998.667805
db/conf/icre/icre1998.html#LutzHMST98
Robyn R. Lutz
Robert M. Woodhouse
Requirements Analysis Using Forward and backward Search.
459-475
1997
3
Ann. Softw. Eng.
db/journals/ansoft/ansoft3.html#LutzW97
https://doi.org/10.1023/A:1018929719710
Robyn R. Lutz
Targeting safety-related errors during software requirements analysis.
223-230
1996
34
J. Syst. Softw.
3
https://doi.org/10.1016/0164-1212(95)00077-1
db/journals/jss/jss34.html#Lutz96
Robyn R. Lutz
Robert M. Woodhouse
Experience Report: Contributions of SFMEA to Requirements Analysis.
44-51
1996
conf/icre/1996
ICRE
https://doi.org/10.1109/ICRE.1996.491428
https://doi.ieeecomputersociety.org/10.1109/ICRE.1996.491428
db/conf/icre/icre1996.html#LutzW96
Robyn R. Lutz
Analyzing software requirements errors in safety-critical, embedded systems.
126-133
1993
RE
https://doi.org/10.1109/ISRE.1993.324825
https://doi.ieeecomputersociety.org/10.1109/ISRE.1993.324825
conf/re/1993i
db/conf/re/icre1993.html#Lutz93
Robyn R. Lutz
Targeting Safety-Related Errors During Software Requirements Analysis.
99-106
1993
conf/sigsoft/1993
SIGSOFT FSE
https://doi.org/10.1145/256428.167069
https://doi.org/10.1145/167049.167069
db/conf/sigsoft/fse93.html#Lutz93
Robyn R. Lutz
Johnny S. Wong
Detecting Unsafe Error Recovery Schedules.
749-760
https://doi.org/10.1109/32.153384
http://doi.ieeecomputersociety.org/10.1109/32.153384
1992
18
IEEE Trans. Software Eng.
8
db/journals/tse/tse18.html#LutzW92
Ankit Agrawal 0002
Mohammad Jamil Ahmad
Yoko Ampo
Ken Yihang Bai
Anupa Bajwa
Samik Basu 0001
Sean Bayley
Smruti Ranjan Behera
Taylor Bergquist
Simona Bernardi 0001
Cameron Brecount
Jinghui Cheng
Jane Cleland-Huang
Myra B. Cohen
Richard Covington
Carolina Cruz-Neira
Josh Dehlinger
Thomas R. Devine
Karin S. Dorman
Steve M. Easterbrook
Samuel J. Ellis
Qian Feng
Chad R. Frost
Gerald C. Gannod
Kendal Gast
Usman Gohar
Micayla Goodrum
Tony Gorschek
Katerina Goseva-Popstojanova
David Hamilton
Robert Harris
Miriam Hauptman
Jane Huffman Hayes
Mats P. E. HeimdahlMats Per Erik Heimdahl
Guy G. Helmer
Eric R. Henderson
Vasant G. Honavar
Meredith Humphrey
Michael C. Hunter
Joshua Huseman
Jeremy Johnson
John Kelly
Chin Khor
Seyedehzahra Khoshmanesh
James Kirby
James Kirby Jr.
Titus H. Klinge
John C. Knight
Chase Koehler
Sandeep Krishnan
James I. Lathrop
M. Lavin
J. Jenny Li
Jing Liu
Jing (Janet) Liu
Dingding Lu
Jack H. Lutz
Neil Lutz
J. Lux
Patrick MäderPatrick Maeder
Agnieszka Marczak-Czajka
Divita Mathur
Tim Menzies
José Merseguer
Ronald A. Metoyer
Ines Carmen Mikulski
Leslie L. MillerLes Miller
Andrew S. Miner
Michelle M. Moseman
Dinanath Nadkarni
Brian Nakayama
Stacy Nelson
Bashar Nuseibeh
Prasanna Padmanabhan
Jyotishman Pathak
Ann Patterson-Hine
K. Peters
Hugh D. Potter
Mona Rahimi
Matthew R. Riley
Kathryn Rohlfing
Nicolas RouquetteNicolas F. Rouquette
Kendra N. Schmid
Robert W. Schwanke
Hui-Yin Shaw
Dalia Abo Sheasha
Mark Slagell
Jesse Slater
Natalia Stakhanova
David E. Statezni
Chris Strasburg
Donald M. Stull
Hongyu Sun 0001
Lada Suvorov
Doron Tal
Jeffrey M. Thompson
Stephen R. Tockey
Thein Than Tun
Michael Vierhauser
Joshua Wallin
Yanxin Wang
Kimberly S. Wasson
David M. Weiss 0001
Johnny S. WongJohnny Wong
Robert M. Woodhouse
Jane Wyngaard
Wandi Xiong
Jingwei Yang
Tuba Yavuz
Yijun Yu