Robyn R. Lutz

Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Titus Klinge, Eric Henderson, Divita Mathur, Dalia Abo Sheasha: Engineering and verifying requirements for programmable self-assembling nanomachines. ICSE 2012: 1361-1364

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: 181-190

Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Titus Klinge, Divita Mathur, Donald M. Stull, Taylor Bergquist, Eric Henderson: Requirements analysis for a product family of DNA nanodevices. RE 2012: 211-220

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: 179-193

Jing Liu, Samik Basu, Robyn R. Lutz: Compositional model checking of software product lines using variation point obligations. Autom. Softw. Eng. 18(1): 39-76 (2011)

Robyn R. Lutz: Software Engineering for Space Exploration. IEEE Computer 44(10): 41-46 (2011)

Josh Dehlinger, Robyn R. Lutz: Gaia-PL: A Product Line Engineering Approach for Efficiently Designing Multiagent Systems. ACM Trans. Softw. Eng. Methodol. 20(4): 17 (2011)

Robyn R. Lutz, Jeremy Johnson, Ann Patterson-Hine: Using model-based assurance to strengthen diagnostic procedures. ASE 2011: 516-519

Sandeep Krishnan, Robyn R. Lutz, Katerina Goseva-Popstojanova: Empirical evaluation of reliability improvement in an evolving software product line. MSR 2011: 103-112

Sandeep Krishnan, Chris Strasburg, Robyn R. Lutz, Katerina Goseva-Popstojanova: Are change metrics good predictors for an evolving software product line? PROMISE 2011: 7

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: 95-104

Hongyu Sun, Samik Basu, Vasant Honavar, Robyn R. Lutz: Automata-Based Verification of Security Requirements of Composite Web Services. ISSRE 2010: 348-357

James Kirby Jr., David M. Weiss, Robyn R. Lutz: Evidence-based software production. FoSER 2010: 191-194

Robyn R. Lutz, David M. Weiss, Sandeep Krishnan, Jingwei Yang: Software Product Line Engineering for Long-Lived, Sustainable Systems. SPLC 2010: 430-434

Dinanath Nadkarni, Samik Basu, Vasant Honavar, Robyn R. Lutz: Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems. WS-FM 2010: 161-175

Josh Dehlinger, Robyn R. Lutz: Evaluating the Reusability of Product-Line Software Fault Tree Analysis Assets for a Safety-Critical System. ICSR 2009: 160-169

Hongyu Sun, Robyn R. Lutz, Samik Basu: Product-line-based requirements customization for web service compositions. SPLC 2009: 141-150

Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar: MOSCOE: an Approach for Composing Web Services through Iterative Reformulation of Functional Specifications. International Journal on Artificial Intelligence Tools 17(1): 109-138 (2008)

Josh Dehlinger, Robyn R. Lutz: Supporting requirements reuse in multi-agent system product line design and evolution. ICSM 2008: 207-216

Robyn R. Lutz, Ann Patterson-Hine: Using Fault Modeling in Safety Cases. ISSRE 2008: 271-276

Qian Feng, Robyn R. Lutz: Assessing the Effect of Software Failures on Trust Assumptions. ISSRE 2008: 291-292

Robyn R. Lutz: Enabling Verifiable Conformance for Product Lines. SPLC 2008: 35-44

Jing Liu, Josh Dehlinger, Robyn R. Lutz: Safety analysis of software product lines using state-based modeling. Journal of Systems and Software 80(11): 1879-1892 (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): 41-54 (2007)

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: 596-608

Hongyu Sun, Miriam Hauptman, Robyn R. Lutz: Integrating Product-Line Fault Tree Analysis into AADL Models. HASE 2007: 15-22

Robyn R. Lutz: Portraits in Practice. ICSE Companion 2007: 33-34

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: 49-50

Josh Dehlinger, Robyn R. Lutz: PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool. Autom. Softw. Eng. 13(1): 169-193 (2006)

Yanxin Wang, Smruti Ranjan Behera, Johnny Wong, Guy G. Helmer, Vasant Honavar, Les Miller, Robyn R. Lutz, Mark Slagell: Towards the automatic generation of mobile agents for distributed intrusion detection system. Journal of Systems and Software 79(1): 1-14 (2006)

Natalia Stakhanova, Samik Basu, Robyn R. Lutz, Johnny Wong: Automated Caching of Behavioral Patterns for Efficient Run-Time Monitoring. DASC 2006: 333-340

Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar: Parallel Web Service Composition in MoSCoE: A Choreography-Based Approach. ECOWS 2006: 3-12

Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar: MoSCoE: A Framework for Modeling Web Service Composition and Execution. ICDE Workshops 2006: 143

Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar: Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications. ICTAI 2006: 445-454

Robyn R. Lutz, Ann Patterson-Hine, Anupa Bajwa: Tool-Supported Verification of Contingency Software Design in Evolving, Autonomous Systems. ISSRE 2006: 213-220

Prasanna Padmanabhan, Robyn R. Lutz: Tool-Supported Verification of Product Line Requirements. Autom. Softw. Eng. 12(4): 447-465 (2005)

Qian Feng, Robyn R. Lutz: Bi-directional safety analysis of product lines. Journal of Systems and Software 78(2): 111-127 (2005)

Josh Dehlinger, Robyn R. Lutz: A product-line requirements approach to safe reuse in multi-agent systems. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)

Jing Liu, Robyn R. Lutz, Jeffrey M. Thompson: Mapping concern space to software architecture: a connector-based approach. ACM SIGSOFT Software Engineering Notes 30(4): 1-5 (2005)

Jing Liu, Josh Dehlinger, Robyn R. Lutz: Safety Analysis of Software Product Lines Using State-Based Modeling. ISSRE 2005: 21-30

Kimberly S. Wasson, Kendra N. Schmid, Robyn R. Lutz, John C. Knight: Using Occurrence Properties of Defect Report Data to Improve Requirements. RE 2005: 253-262

Robyn R. Lutz, Stacy Nelson, Ann Patterson-Hine, Chad R. Frost, Doron Tal: Identifying Contingency Requirements Using Obstacle Analysis. RE 2005: 263-272

Josh Dehlinger, Robyn R. Lutz: A Product-Line Approach to Promote Asset Reuse in Multi-agent Systems. SELMAS 2005: 161-178

Robyn R. Lutz, Ines Carmen Mikulski: Ongoing Requirements Discovery in High-Integrity Systems. IEEE Software 21(2): 19-25 (2004)

Robert W. Schwanke, Robyn R. Lutz: Experience with the architectural design of a modest product family. Softw., Pract. Exper. 34(13): 1273-1296 (2004)

Robyn R. Lutz, Ines Carmen Mikulski: Empirical Analysis of Safety-Critical Anomalies During Operations. IEEE Trans. Software Eng. 30(3): 172-180 (2004)

Josh Dehlinger, Robyn R. Lutz: Software Fault Tree Analysis for Product Lines. HASE 2004: 12-21

Robyn R. Lutz, Ines Carmen Mikulski: Operational anomalies as a cause of safety-critical requirements evolution. Journal of Systems and Software 65(2): 155-161 (2003)

Robyn R. Lutz, Gerald C. Gannod: Analysis of a software product line architecture: an experience report. Journal of Systems and Software 66(3): 253-267 (2003)

Robyn R. Lutz, Ines Carmen Mikulski: Requirements Discovery during the Testing of Safety-Critical Software. ICSE 2003: 578-585

Robyn R. Lutz, Ines Carmen Mikulski: Resolving Requirements Discovery in Testing and Operations. RE 2003: 33-

Tim Menzies, Robyn R. Lutz, Ines Carmen Mikulski: Better Analysis of Defect Data at NASA. SEKE 2003: 607-611

Guy G. Helmer, Johnny S. Wong, Mark Slagell, Vasant Honavar, Les Miller, Robyn R. Lutz: A Software Fault Tree Approach to Requirements Analysis of an Intrusion Detection System. Requir. Eng. 7(4): 207-220 (2002)

Dingding Lu, Robyn R. Lutz: Fault Contribution Trees for Product Families. ISSRE 2002: 231-242

Robyn R. Lutz, Ines Carmen Mikulski: Evolution of Safety-Critical Requirements Post-Launch. RE 2001: 222-227

Robyn R. Lutz: Extending the product family approach to support safe reuse. Journal of Systems and Software 53(3): 207-217 (2000)

Robyn R. Lutz: Software engineering for safety: a roadmap. ICSE - Future of SE Track 2000: 213-226

Gerald C. Gannod, Robyn R. Lutz: An approach to architectural analysis of product lines. ICSE 2000: 548-557

Carolina Cruz-Neira, Robyn R. Lutz: Using Immersive Virtual Environments for Certification. IEEE Software 16(4): 26-30 (1999)

Robyn R. Lutz: Toward Safe Reuse of Product Family Specifications. SSR 1999: 17-26

Steve M. Easterbrook, Robyn R. Lutz, Richard Covington, John Kelly, Yoko Ampo, David Hamilton: Experiences Using Lightweight Formal Methods for Requirements Modeling. IEEE Trans. Software Eng. 24(1): 4-14 (1998)

Robyn R. Lutz, Guy G. Helmer, Michelle M. Moseman, David E. Statezni, Stephen R. Tockey: Safety Analysis of Requirements for a Product Family. ICRE 1998: 24-

Robyn R. Lutz, Robert M. Woodhouse: Requirements Analysis Using Forward and backward Search. Ann. Software Eng. 3: 459-475 (1997)

Robyn R. Lutz: Targeting safety-related errors during software requirements analysis. Journal of Systems and Software 34(3): 223-230 (1996)

Robyn R. Lutz, Robert M. Woodhouse: Experience Report: Contributions of SFMEA to Requirements Analysis. ICRE 1996: 44-51

Robyn R. Lutz: Targeting Safety-Related Errors During Software Requirements Analysis. SIGSOFT FSE 1993: 99-106

Robyn R. Lutz, Johnny S. Wong: Detecting Unsafe Error Recovery Schedules. IEEE Trans. Software Eng. 18(8): 749-760 (1992)