2008 |
50 | EE | Josh Dehlinger,
Robyn R. Lutz:
Supporting requirements reuse in multi-agent system product line design and evolution.
ICSM 2008: 207-216 |
49 | EE | Robyn R. Lutz,
Ann Patterson-Hine:
Using Fault Modeling in Safety Cases.
ISSRE 2008: 271-276 |
48 | EE | Qian Feng,
Robyn R. Lutz:
Assessing the Effect of Software Failures on Trust Assumptions.
ISSRE 2008: 291-292 |
47 | EE | Robyn R. Lutz:
Enabling Verifiable Conformance for Product Lines.
SPLC 2008: 35-44 |
46 | EE | 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) |
2007 |
45 | EE | 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 |
44 | EE | Hongyu Sun,
Miriam Hauptman,
Robyn R. Lutz:
Integrating Product-Line Fault Tree Analysis into AADL Models.
HASE 2007: 15-22 |
43 | EE | Robyn R. Lutz:
Portraits in Practice.
ICSE Companion 2007: 33-34 |
42 | EE | 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 |
41 | EE | 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) |
40 | EE | 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) |
2006 |
39 | EE | Natalia Stakhanova,
Samik Basu,
Robyn R. Lutz,
Johnny Wong:
Automated Caching of Behavioral Patterns for Efficient Run-Time Monitoring.
DASC 2006: 333-340 |
38 | EE | Jyotishman Pathak,
Samik Basu,
Robyn R. Lutz,
Vasant Honavar:
Parallel Web Service Composition in MoSCoE: A Choreography-Based Approach.
ECOWS 2006: 3-12 |
37 | EE | Jyotishman Pathak,
Samik Basu,
Robyn R. Lutz,
Vasant Honavar:
MoSCoE: A Framework for Modeling Web Service Composition and Execution.
ICDE Workshops 2006: 143 |
36 | EE | Jyotishman Pathak,
Samik Basu,
Robyn R. Lutz,
Vasant Honavar:
Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications.
ICTAI 2006: 445-454 |
35 | EE | Robyn R. Lutz,
Ann Patterson-Hine,
Anupa Bajwa:
Tool-Supported Verification of Contingency Software Design in Evolving, Autonomous Systems.
ISSRE 2006: 213-220 |
34 | EE | Josh Dehlinger,
Robyn R. Lutz:
PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool.
Autom. Softw. Eng. 13(1): 169-193 (2006) |
33 | EE | 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) |
2005 |
32 | EE | Jing Liu,
Josh Dehlinger,
Robyn R. Lutz:
Safety Analysis of Software Product Lines Using State-Based Modeling.
ISSRE 2005: 21-30 |
31 | EE | 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 |
30 | EE | Robyn R. Lutz,
Stacy Nelson,
Ann Patterson-Hine,
Chad R. Frost,
Doron Tal:
Identifying Contingency Requirements Using Obstacle Analysis.
RE 2005: 263-272 |
29 | EE | Josh Dehlinger,
Robyn R. Lutz:
A Product-Line Approach to Promote Asset Reuse in Multi-agent Systems.
SELMAS 2005: 161-178 |
28 | EE | 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) |
27 | EE | 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) |
26 | EE | Prasanna Padmanabhan,
Robyn R. Lutz:
Tool-Supported Verification of Product Line Requirements.
Autom. Softw. Eng. 12(4): 447-465 (2005) |
25 | EE | Qian Feng,
Robyn R. Lutz:
Bi-directional safety analysis of product lines.
Journal of Systems and Software 78(2): 111-127 (2005) |
2004 |
24 | EE | Josh Dehlinger,
Robyn R. Lutz:
Software Fault Tree Analysis for Product Lines.
HASE 2004: 12-21 |
23 | EE | Robyn R. Lutz,
Ines Carmen Mikulski:
Ongoing Requirements Discovery in High-Integrity Systems.
IEEE Software 21(2): 19-25 (2004) |
22 | EE | Robyn R. Lutz,
Ines Carmen Mikulski:
Empirical Analysis of Safety-Critical Anomalies During Operations.
IEEE Trans. Software Eng. 30(3): 172-180 (2004) |
21 | EE | Robert W. Schwanke,
Robyn R. Lutz:
Experience with the architectural design of a modest product family.
Softw., Pract. Exper. 34(13): 1273-1296 (2004) |
2003 |
20 | EE | Robyn R. Lutz,
Ines Carmen Mikulski:
Requirements Discovery during the Testing of Safety-Critical Software.
ICSE 2003: 578-585 |
19 | EE | Robyn R. Lutz,
Ines Carmen Mikulski:
Resolving Requirements Discovery in Testing and Operations.
RE 2003: 33- |
18 | | Tim Menzies,
Robyn R. Lutz,
Ines Carmen Mikulski:
Better Analysis of Defect Data at NASA.
SEKE 2003: 607-611 |
17 | EE | 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) |
16 | EE | 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) |
2002 |
15 | EE | Dingding Lu,
Robyn R. Lutz:
Fault Contribution Trees for Product Families.
ISSRE 2002: 231-242 |
14 | EE | 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) |
2001 |
13 | EE | Robyn R. Lutz,
Ines Carmen Mikulski:
Evolution of Safety-Critical Requirements Post-Launch.
RE 2001: 222-227 |
2000 |
12 | EE | Gerald C. Gannod,
Robyn R. Lutz:
An approach to architectural analysis of product lines.
ICSE 2000: 548-557 |
11 | EE | Robyn R. Lutz:
Software engineering for safety: a roadmap.
ICSE - Future of SE Track 2000: 213-226 |
10 | EE | Robyn R. Lutz:
Extending the product family approach to support safe reuse.
Journal of Systems and Software 53(3): 207-217 (2000) |
1999 |
9 | EE | Robyn R. Lutz:
Toward Safe Reuse of Product Family Specifications.
SSR 1999: 17-26 |
8 | EE | Carolina Cruz-Neira,
Robyn R. Lutz:
Using Immersive Virtual Environments for Certification.
IEEE Software 16(4): 26-30 (1999) |
1998 |
7 | EE | 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- |
6 | EE | 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) |
1997 |
5 | | Robyn R. Lutz,
Robert M. Woodhouse:
Requirements Analysis Using Forward and backward Search.
Ann. Software Eng. 3: 459-475 (1997) |
1996 |
4 | EE | Robyn R. Lutz,
Robert M. Woodhouse:
Experience Report: Contributions of SFMEA to Requirements Analysis.
ICRE 1996: 44-51 |
3 | EE | Robyn R. Lutz:
Targeting safety-related errors during software requirements analysis.
Journal of Systems and Software 34(3): 223-230 (1996) |
1993 |
2 | EE | Robyn R. Lutz:
Targeting Safety-Related Errors During Software Requirements Analysis.
SIGSOFT FSE 1993: 99-106 |
1992 |
1 | EE | Robyn R. Lutz,
Johnny S. Wong:
Detecting Unsafe Error Recovery Schedules.
IEEE Trans. Software Eng. 18(8): 749-760 (1992) |