- 32 Lu, Lutz and Chang Copyright 2005, Idea Group Inc. Copying or distributing in print or electronic forms without written
- Bi-Directional Safety Analysis for Product-Line, Multi-Agent Systems Josh Dehlinger dehlinge@cs.iastate.edu (http://www.cs.iastate.edu/~dehlinge)
- State-Based Modeling to Support the Evolution and Maintenance of Safety-Critical Software Product Lines
- Enabling Verifiable Conformance for Product Lines Jet Propulsion Laboratory/Caltech and Iowa State University
- Evidence-based Software Production James Kirby, Jr.
- Analyzing Software Requirements Errors in SafetyCritical, Embedded Systems
- IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 24, NO. 1, JANUARY 1998 1 -#?352'8&7,21?76(?##,1352'?-$18$5
- Using Defect Reports to Build Requirements Knowledge in Product Lines Jet Propulsion Lab/California Institute of
- Failure Assessment Robyn Lutz, Jet Propulsion Laboratory/Caltech and Iowa State University
- uring the last few years immersive virtual environment technology has matured to the point where industry researchers have begun
- Evolution of SafetyCritical Requirements PostLaunch Robyn R. Lutz
- Reuse of a Formal Model for Requirements Validation Robyn R. Lutz \Lambda
- Annual Conference of the Prognostics and Health Management Society, 2009 Towards Verification of Operational Procedures using
- Tool-Supported Verification of Product Line Requirements Prasanna Padmanabhan
- Toward Safe Reuse of Product Family Speci cations Robyn R. Lutz
- Validating SystemLevel Error Recovery for Spacecraft Robyn R. Lutz \Lambda
- Noname manuscript No. (will be inserted by the editor)
- Portraits in Practice Iowa State University & Jet Propulsion Lab/Caltech
- Experience Report: Using Formal Methods for Requirements Analysis of Critical Spacecraft Software
- Safety Analysis of Requirements for a Product Family Robyn R. Lutz \Lambda
- Experience Report: Contributions of SFMEA to Requirements Robyn R. Lutz \Lambda and Robert M. Woodhouse
- Applying Adaptive Safety Analysis Techniques Robyn R. Lutz \Lambda and HuiYin Shaw
- Empirical Evaluation of Reliability Improvement in an Evolving Software Product Line
- Automata-Based Verification of Security Requirements of Composite Web Services Hongyu Sun1
- Annual Conference of the Prognostics and Health Management Society, 2010 Model-Based Assurance of Diagnostic Procedures
- Using Fault Modeling in Safety Cases Jet Propulsion Lab/Caltech
- ORIGINAL RESEARCH Using obstacle analysis to identify contingency requirements
- DECIMAL and PLFaultCAT: From Product-Line Requirements to Product-Line Member Software Fault Trees*
- Automated Software Engineering, 13, 169193, 2006 c 2006 Springer Science + Business Media, Inc. Manufactured in The Netherlands.
- Bi-Directional Safety Analysis of Product Lines Department of Computer Science
- Mapping Concern Space to Software Architecture: A Connector-Based Approach
- Empirical Analysis of Safety-Critical Anomalies During Operations
- Requirements Discovery During the Testing of Safety-Critical Software Robyn R. Lutz
- Operational Anomalies as a Cause of Safety-Critical Requirements Evolution
- Software Engineering for Safety: A Roadmap Robyn R. Lutz
- Identifying Contingency Requirements Using Obstacle Analysis Robyn Lutz, JPL/Caltech and Iowa State University, rlutz@cs.iastate.edu
- Detecting Unsafe Error Recovery Schedules Robyn R. Lutz \Lambda
- Failure Analysis for Composition of Web Services Represented as Labeled Transition
- Software Product Line Engineering for Long-lived, Sustainable Systems
- Requirements Analysis Using Forward and Backward Robyn R. Lutz 1 and Robert M. Woodhouse
- Constraint Checking During Error Recovery Robyn R. Lutz \Lambda
- Empirical Analysis of SafetyCritical Anomalies During Operations
- Extending the Product Family Approach to Support Robyn R. Lutz 1
- Gaia-PL: A Product Line Engineering Approach for Efficiently Designing Multi-Agent Systems
- Supporting Requirements Reuse in Multi-Agent System Product Line Design and Evolution
- Evaluating the Reusability of Product-Line Software Fault Tree Analysis Assets for a Safety-Critical System
- Fault Contribution Trees for Product Families Dingding Lu *
- Reliability and Availability Requirements Engineering within the Unified Process using a
- Safety Analysis of Requirements for a Product Family Robyn R. Lutz
- A Product-Line Approach to Promote Asset Reuse in Multi-Agent Systems
- Product-Line-Based Requirements Customization for Web Service Compositions
- Safety analysis of software product lines using state-based modeling q , Josh Dehlinger a
- The Role of Aspects in Modeling Product Line Variabilities Jing (Janet) Liu
- Targeting SafetyRelated Errors During Software Requirements Robyn R. Lutz \Lambda
- Resolving Requirements Discovery in Testing and Operations Robyn R. Lutz
- 2 IEEE SOFTWARE Published by the IEEE Computer Society 0740-7459/04/$20.00 2004 IEEE In addition, difficulties with requirements
- An Approach to Architectural Analysis of Product Lines Gerald C. Gannod yz
- Experience with the Architectural Design of a Modest Product Family
- Bidirectional Analysis for Certification of SafetyCritical Software Robyn R. Lutz \Lambda and Robert M. Woodhouse y
- Targeting SafetyRelated Errors During Software Requirements Analysis
- Toward Safe Reuse of Product Family Specifications Robyn R. Lutz \Lambda
- Extending the Product Family Approach to Support Robyn R. Lutz1
- Engineering and Verifying Requirements for Programmable Self-Assembling Nanomachines (NIER Track)
- Robyn R. Lutz -Short Vita rlutz@iastate.edu
