Robyn R. Lutz

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 39

Top Venues

CoRR

SISAP

ICSE (Companion Volume)

Publications

Usman Gohar, Michael C. Hunter, Robyn R. Lutz, Myra B. Cohen
CoDefeater: Using LLMs To Find Defeaters in Assurance Cases. CoRR (2024)
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. ICSE (SEIS) (2024)
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. CoRR (2024)
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. Nat. Comput. 23 (2) (2024)
Mohammad Jamil Ahmad, Katerina Goseva-Popstojanova, Robyn R. Lutz
The untold impact of learning approaches on software fault-proneness predictions: an analysis of temporal aspects. Empir. Softw. Eng. 29 (4) (2024)
Tuba Yavuz, Chin Khor, Ken Yihang Bai, Robyn R. Lutz
Generating Maximal Configurations and Their Variants Using Code Metrics. CoRR (2024)
Chin Khor, Robyn R. Lutz
Requirements Analysis of Variability Constraints in a Configurable Flight Software System. RE (2023)
Chin Khor, Robyn R. Lutz
Requirements Analysis of Variability Constraints in a Configurable Flight Software System. CoRR (2023)
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. RE (2022)
Mohammad Jamil Ahmad, Katerina Goseva-Popstojanova, Robyn R. Lutz
The Untold Impact of Learning Approaches on Software Fault-Proneness Predictions. CoRR (2022)
Robyn R. Lutz
Requirements Engineering for Safety-Critical Molecular Programs. RE (2022)
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. IEEE Trans. Software Eng. 47 (5) (2021)
Seyedehzahra Khoshmanesh, Tuba Yavuz, Robyn R. Lutz
Learning Feature Interactions With and Without Specifications. CoRR (2021)
Robyn R. Lutz
Designing safe programmed molecular systems (keynote). SPLASH (Companion) (2021)
Seyedehzahra Khoshmanesh, Robyn R. Lutz
Does Link Prediction Help Find Feature Interactions in Software Product Lines? AIRE@RE (2020)
Seyedehzahra Khoshmanesh, Robyn R. Lutz
Does Link Prediction Help Detect Feature Interactions in Software Product Lines (SPLs)? CoRR (2020)
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. DNA (2020)
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. REET@RE (2020)
Jack H. Lutz, Neil Lutz, Robyn R. Lutz, Matthew R. Riley
Robustness and Games Against Nature in Molecular Programming. CoRR (2019)
Jack H. Lutz, Neil Lutz, Robyn R. Lutz, Matthew R. Riley
Robustness and games against nature in molecular programming. ICSE (NIER) (2019)
Seyedehzahra Khoshmanesh, Robyn R. Lutz
Leveraging Feature Similarity for Earlier Detection of Unwanted Feature Interactions in Evolving Software Product Lines. SISAP (2019)
James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Hugh D. Potter, Matthew R. Riley
Quorum Sensing and Verification in Chemical Reaction Networks. CoRR (2019)
Seyedehzahra Khoshmanesh, Robyn R. Lutz
Feature Similarity: A Method to Detect Unwanted Feature Interactions Earlier in Software Product Lines. SISAP (2019)
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. ACM Trans. Softw. Eng. Methodol. 28 (2) (2019)
Ankit Agrawal, Seyedehzahra Khoshmanesh, Michael Vierhauser, Mona Rahimi, Jane Cleland-Huang, Robyn R. Lutz
Leveraging artifact trees to evolve and reuse safety cases. ICSE (2019)
Seyedehzahra Khoshmanesh, Robyn R. Lutz
The Role of Similarity in Detecting Feature Interaction in Software Product Lines. ISSRE Workshops (2018)
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. ICSE (Companion Volume) (2018)
Chase Koehler, Divita Mathur, Eric R. Henderson, Robyn R. Lutz
Probing the Security of DNA Origami. ISSRE Workshops (2018)
Jack H. Lutz, Robyn R. Lutz
Writing Requirements for Molecular Programs. RE (2018)
Robyn R. Lutz
Safe-AR: Reducing Risk While Augmenting Reality. ISSRE (2018)
Robyn R. Lutz, Jane Cleland-Huang
The Risk of Overly Strict Requirements. IEEE Softw. 34 (2) (2017)
Mona Rahimi, Wandi Xiong, Jane Cleland-Huang, Robyn R. Lutz
Diagnosing assumption problems in safety-critical products. ASE (2017)
Robyn R. Lutz
RE at 50, with a Focus on the Last 25 Years. RE (2017)
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. CoRR (2017)
Samuel J. Ellis, James I. Lathrop, Robyn R. Lutz
State logging in chemical reaction networks. NANOCOM (2017)
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? RE (2017)
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. Autom. Softw. Eng. 23 (2) (2016)
Robyn R. Lutz
Requirements for Molecular Programmed Nanosystems (Keynote). RE (2016)
Robyn R. Lutz, Jack H. Lutz
Software engineering for molecular programming. ICSE (Companion Volume) (2016)
Thein Than Tun, Robyn R. Lutz, Brian Nakayama, Yijun Yu, Divita Mathur, Bashar Nuseibeh
The Role of Environmental Assumptions in Failures of DNA Nanosystems. COUFLESS@ICSE (2015)
Robyn R. Lutz
Introduction to the RE'14 special issue. Requir. Eng. 20 (3) (2015)
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. ASE (2014)
David M. Weiss, James Kirby, Robyn R. Lutz
Moving Toward Evidence-Based Software Production. Perspectives on the Future of Software Engineering (2013)
Sandeep Krishnan, Chris Strasburg, Robyn R. Lutz, Katerina Goseva-Popstojanova, Karin S. Dorman
Predicting failure-proneness in an evolving software product line. Inf. Softw. Technol. 55 (8) (2013)
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. ICSE (2012)
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. RE (2012)
Jane Cleland-Huang, Mats Per Erik Heimdahl, Jane Huffman Hayes, Robyn R. Lutz, Patrick Maeder
Trace Queries for Safety Requirements in High Assurance Systems. REFSQ (2012)
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. ICST (2012)
Josh Dehlinger, Robyn R. Lutz
Gaia-PL: A Product Line Engineering Approach for Efficiently Designing Multiagent Systems. ACM Trans. Softw. Eng. Methodol. 20 (4) (2011)
Robyn R. Lutz
Software Engineering for Space Exploration. Computer 44 (10) (2011)
Robyn R. Lutz, Jeremy Johnson, Ann Patterson-Hine
Using model-based assurance to strengthen diagnostic procedures. ASE (2011)
Jing Liu, Samik Basu, Robyn R. Lutz
Compositional model checking of software product lines using variation point obligations. Autom. Softw. Eng. 18 (1) (2011)
Sandeep Krishnan, Robyn R. Lutz, Katerina Goseva-Popstojanova
Empirical evaluation of reliability improvement in an evolving software product line. MSR (2011)
Sandeep Krishnan, Chris Strasburg, Robyn R. Lutz, Katerina Goseva-Popstojanova
Are change metrics good predictors for an evolving software product line? PROMISE (2011)
James Kirby Jr., David M. Weiss, Robyn R. Lutz
Evidence-based software production. FoSER (2010)
Dinanath Nadkarni, Samik Basu, Vasant G. Honavar, Robyn R. Lutz
Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems. WS-FM (2010)
Robyn R. Lutz, David M. Weiss, Sandeep Krishnan, Jingwei Yang
Software Product Line Engineering for Long-Lived, Sustainable Systems. SPLC (2010)
Simona Bernardi, José Merseguer, Robyn R. Lutz
Reliability and Availability Requirements Engineering within the Unified Process Using a Dependability Analysis and Modeling Profile. EDCC (2010)
Hongyu Sun, Samik Basu, Vasant G. Honavar, Robyn R. Lutz
Automata-Based Verification of Security Requirements of Composite Web Services. ISSRE (2010)
Hongyu Sun, Robyn R. Lutz, Samik Basu
Product-line-based requirements customization for web service compositions. SPLC (2009)
Robyn R. Lutz, Nicolas Rouquette
Using Defect Reports to Build Requirements Knowledge in Product Lines. MARK@RE (2009)
Josh Dehlinger, Robyn R. Lutz
Evaluating the Reusability of Product-Line Software Fault Tree Analysis Assets for a Safety-Critical System. ICSR (2009)
Robyn R. Lutz, Ann Patterson-Hine
Using Fault Modeling in Safety Cases. ISSRE (2008)
Qian Feng, Robyn R. Lutz
Assessing the Effect of Software Failures on Trust Assumptions. ISSRE (2008)
Josh Dehlinger, Robyn R. Lutz
Supporting requirements reuse in multi-agent system product line design and evolution. ICSM (2008)
Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant G. Honavar
MOSCOE: an Approach for Composing Web Services through Iterative Reformulation of Functional Specifications. Int. J. Artif. Intell. Tools 17 (1) (2008)
Robyn R. Lutz
Enabling Verifiable Conformance for Product Lines. SPLC (2008)
Jing Liu, Josh Dehlinger, Hongyu Sun, Robyn R. Lutz
State-Based Modeling to Support the Evolution and Maintenance of Safety-Critical Software Product Lines. ECBS (2007)
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. ICSE Companion (2007)
Jing Liu, Josh Dehlinger, Robyn R. Lutz
Safety analysis of software product lines using state-based modeling. J. Syst. Softw. 80 (11) (2007)
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. Requir. Eng. 12 (1) (2007)
Robyn R. Lutz
Portraits in Practice. ICSE Companion (2007)
Hongyu Sun, Miriam Hauptman, Robyn R. Lutz
Integrating Product-Line Fault Tree Analysis into AADL Models. HASE (2007)
Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant G. Honavar
MoSCoE: A Framework for Modeling Web Service Composition and Execution. ICDE Workshops (2006)
Robyn R. Lutz, Ann Patterson-Hine, Anupa Bajwa
Tool-Supported Verification of Contingency Software Design in Evolving, Autonomous Systems. ISSRE (2006)
Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant G. Honavar
Parallel Web Service Composition in MoSCoE: A Choreography-Based Approach. ECOWS (2006)
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. J. Syst. Softw. 79 (1) (2006)
Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant G. Honavar
Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications. ICTAI (2006)
Josh Dehlinger, Robyn R. Lutz
PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool. Autom. Softw. Eng. 13 (1) (2006)
Natalia Stakhanova, Samik Basu, Robyn R. Lutz, Johnny Wong
Automated Caching of Behavioral Patterns for Efficient Run-Time Monitoring. DASC (2006)
Robyn R. Lutz, Stacy Nelson, Ann Patterson-Hine, Chad R. Frost, Doron Tal
Identifying Contingency Requirements Using Obstacle Analysis. RE (2005)
Josh Dehlinger, Robyn R. Lutz
A product-line requirements approach to safe reuse in multi-agent systems. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Jing (Janet) Liu, Robyn R. Lutz, Jeffrey M. Thompson
Mapping concern space to software architecture: a connector-based approach. MACS@ICSE (2005)
Josh Dehlinger, Robyn R. Lutz
A Product-Line Approach to Promote Asset Reuse in Multi-agent Systems. SELMAS (LNCS) (2005)
Prasanna Padmanabhan, Robyn R. Lutz
Tool-Supported Verification of Product Line Requirements. Autom. Softw. Eng. 12 (4) (2005)
Josh Dehlinger, Robyn R. Lutz
A product-line requirements approach to safe reuse in multi-agent systems. SELMAS (2005)
Kimberly S. Wasson, Kendra N. Schmid, Robyn R. Lutz, John C. Knight
Using Occurrence Properties of Defect Report Data to Improve Requirements. RE (2005)
Jing Liu, Robyn R. Lutz, Jeffrey M. Thompson
Mapping concern space to software architecture: a connector-based approach. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Qian Feng, Robyn R. Lutz
Bi-directional safety analysis of product lines. J. Syst. Softw. 78 (2) (2005)
Jing Liu, Josh Dehlinger, Robyn R. Lutz
Safety Analysis of Software Product Lines Using State-Based Modeling. ISSRE (2005)
Robyn R. Lutz, Ines Carmen Mikulski
Empirical Analysis of Safety-Critical Anomalies During Operations. IEEE Trans. Software Eng. 30 (3) (2004)
Robert W. Schwanke, Robyn R. Lutz
Experience with the architectural design of a modest product family. Softw. Pract. Exp. 34 (13) (2004)
Robyn R. Lutz, Ines Carmen Mikulski
Ongoing Requirements Discovery in High-Integrity Systems. IEEE Softw. 21 (2) (2004)
Josh Dehlinger, Robyn R. Lutz
Software Fault Tree Analysis for Product Lines. HASE (2004)
Robyn R. Lutz, Ines Carmen Mikulski
Resolving Requirements Discovery in Testing and Operations. RE (2003)
Robyn R. Lutz, Ines Carmen Mikulski
Requirements Discovery during the Testing of Safety-Critical Software. ICSE (2003)
Robyn R. Lutz, Ines Carmen Mikulski
Operational anomalies as a cause of safety-critical requirements evolution. J. Syst. Softw. 65 (2) (2003)
Tim Menzies, Robyn R. Lutz, Ines Carmen Mikulski
Better Analysis of Defect Data at NASA. SEKE (2003)
Robyn R. Lutz, Gerald C. Gannod
Analysis of a software product line architecture: an experience report. J. Syst. Softw. 66 (3) (2003)
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. Requir. Eng. 7 (4) (2002)

Robyn R. Lutz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Robyn R. Lutz