Robyn R. Lutz

Myra B. Cohen

Jane Cleland-Huang

CoRR, 2024

2023

Requirements Analysis of Variability Constraints in a Configurable Flight Software System.

[BibT_eX]

[DOI]

Chin Khor

Proceedings of the 31st IEEE International Requirements Engineering Conference, 2023

2022

The Untold Impact of Learning Approaches on Software Fault-Proneness Predictions.

[BibT_eX]

[DOI]

Mohammad Jamil Ahmad

CoRR, 2022

Requirements Engineering for Safety-Critical Molecular Programs.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Requirements Engineering Conference, 2022

SafeWalk: a Simulation Tool Kit for Exploring Software Requirements in a Safety-Critical Product Line.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Requirements Engineering Conference, 2022

2021

Interlocking Safety Cases for Unmanned Autonomous Systems in Shared Airspaces.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2021

Learning Feature Interactions With and Without Specifications.

[BibT_eX]

[DOI]

Tuba Yavuz

CoRR, 2021

Designing safe programmed molecular systems (keynote).

[BibT_eX]

[DOI]

Proceedings of the SPLASH '21: Software for Humanity, Chicago, IL, USA, October 17, 2021

2020

Does Link Prediction Help Detect Feature Interactions in Software Product Lines (SPLs)?

[BibT_eX]

[DOI]

CoRR, 2020

Using an Astronaut Jetpack Project to Teach Human-CPS Requirements Engineering.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Requirements Engineering Education and Training, 2020

Population-Induced Phase Transitions and the Verification of Chemical Reaction Networks.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on DNA Computing and Molecular Programming, 2020

Does Link Prediction Help Find Feature Interactions in Software Product Lines?

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Workshop on Artificial Intelligence for Requirements Engineering, 2020

2019

Runtime Fault Detection in Programmed Molecular Systems.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2019

Quorum Sensing and Verification in Chemical Reaction Networks.

[BibT_eX]

[DOI]

CoRR, 2019

Feature Similarity: A Method to Detect Unwanted Feature Interactions Earlier in Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Similarity Search and Applications - 12th International Conference, 2019

Leveraging Feature Similarity for Earlier Detection of Unwanted Feature Interactions in Evolving Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Similarity Search and Applications - 12th International Conference, 2019

Robustness and games against nature in molecular programming.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

Leveraging artifact trees to evolve and reuse safety cases.

[BibT_eX]

[DOI]

Ankit Agrawal

Proceedings of the 41st International Conference on Software Engineering, 2019

2018

Writing Requirements for Molecular Programs.

[BibT_eX]

[DOI]

Jack H. Lutz

Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

Safe-AR: Reducing Risk While Augmenting Reality.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

Probing the Security of DNA Origami.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

The Role of Similarity in Detecting Feature Interaction in Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

Interlocking safety cases for unmanned autonomous systems in urban environments.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

The Risk of Overly Strict Requirements.

[BibT_eX]

[DOI]

Jane Cleland-Huang

IEEE Softw., 2017

Runtime Fault Detection in Programmed Molecular Systems.

[BibT_eX]

[DOI]

CoRR, 2017

RE at 50, with a Focus on the Last 25 Years.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

What Requirements Knowledge Do Developers Need to Manage Change in Safety-Critical Systems?

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

State logging in chemical reaction networks.

[BibT_eX]

[DOI]

Samuel J. Ellis

James I. Lathrop

Proceedings of the 4th ACM International Conference on Nanoscale Computing and Communication, 2017

Diagnosing assumption problems in safety-critical products.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016

Assessment and cross-product prediction of software product line quality: accounting for reuse across products, over multiple releases.

[BibT_eX]

[DOI]

Thomas R. Devine

Autom. Softw. Eng., 2016

Requirements for Molecular Programmed Nanosystems (Keynote).

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Software engineering for molecular programming.

[BibT_eX]

[DOI]

Jack H. Lutz

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Introduction to the RE'14 special issue.

[BibT_eX]

[DOI]

Requir. Eng., 2015

The Role of Environmental Assumptions in Failures of DNA Nanosystems.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE/ACM International Workshop on Complex Faults and Failures in Large Software Systems, 2015

2014

Automated requirements analysis for a molecular watchdog timer.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

2013

Predicting failure-proneness in an evolving software product line.

[BibT_eX]

[DOI]

Chris Strasburg

Karin S. Dorman

Inf. Softw. Technol., 2013

Moving Toward Evidence-Based Software Production.

[BibT_eX]

[DOI]

David M. Weiss

James Kirby

Proceedings of the Perspectives on the Future of Software Engineering, 2013

Mining Requirements Knowledge from Operational Experience.

[BibT_eX]

[DOI]

Proceedings of the Managing Requirements Knowledge., 2013

2012

Trace Queries for Safety Requirements in High Assurance Systems.

[BibT_eX]

[DOI]

Jane Cleland-Huang

Mats Per Erik Heimdahl

Jane Huffman Hayes

Patrick Maeder

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2012

Requirements analysis for a product family of DNA nanodevices.

[BibT_eX]

[DOI]

Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

An Empirical Study of Pre-release Software Faults in an Industrial Product Line.

[BibT_eX]

[DOI]

Thomas R. Devine

J. Jenny Li

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Engineering and verifying requirements for programmable self-assembling nanomachines.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Gaia-PL: A Product Line Engineering Approach for Efficiently Designing Multiagent Systems.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2011

Software Engineering for Space Exploration.

[BibT_eX]

[DOI]

Computer, 2011

Compositional model checking of software product lines using variation point obligations.

[BibT_eX]

[DOI]

Jing Liu

Samik Basu

Autom. Softw. Eng., 2011

Are change metrics good predictors for an evolving software product line?

[BibT_eX]

[DOI]

Chris Strasburg

Proceedings of the 7th International Conference on Predictive Models in Software Engineering, 2011

Empirical evaluation of reliability improvement in an evolving software product line.

[BibT_eX]

[DOI]

Proceedings of the 8th International Working Conference on Mining Software Repositories, 2011

Using model-based assurance to strengthen diagnostic procedures.

[BibT_eX]

[DOI]

Jeremy Johnson

Ann Patterson-Hine

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2010

Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods - 7th International Workshop, 2010

Software Product Line Engineering for Long-Lived, Sustainable Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

Evidence-based software production.

[BibT_eX]

[DOI]

James Kirby Jr.

David M. Weiss

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Automata-Based Verification of Security Requirements of Composite Web Services.

[BibT_eX]

[DOI]

Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

Reliability and Availability Requirements Engineering within the Unified Process Using a Dependability Analysis and Modeling Profile.

[BibT_eX]

[DOI]

Simona Bernardi

José Merseguer

Proceedings of the Eighth European Dependable Computing Conference, 2010

2009

Product-line-based requirements customization for web service compositions.

[BibT_eX]

[DOI]

Hongyu Sun

Samik Basu

Proceedings of the Software Product Lines, 13th International Conference, 2009

Using Defect Reports to Build Requirements Knowledge in Product Lines.

[BibT_eX]

[DOI]

Nicolas Rouquette

Proceedings of the Second International Workshop on Managing Requirements Knowledge, 2009

Evaluating the Reusability of Product-Line Software Fault Tree Analysis Assets for a Safety-Critical System.

[BibT_eX]

[DOI]

Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

2008

MOSCOE: an Approach for Composing Web Services through Iterative Reformulation of Functional Specifications.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2008

Enabling Verifiable Conformance for Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines, 12th International Conference, 2008

Using Fault Modeling in Safety Cases.

[BibT_eX]

[DOI]

Ann Patterson-Hine

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

Assessing the Effect of Software Failures on Trust Assumptions.

[BibT_eX]

[DOI]

Qian Feng

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

Supporting requirements reuse in multi-agent system product line design and evolution.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28, 2008

2007

Using obstacle analysis to identify contingency requirements on an unpiloted aerial vehicle.

[BibT_eX]

[DOI]

Requir. Eng., 2007

Safety analysis of software product lines using state-based modeling.

[BibT_eX]

[DOI]

Jing Liu

J. Syst. Softw., 2007

Portraits in Practice.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

DECIMAL and PLFaultCAT: From Product-Line Requirements to Product-Line Member Software Fault Trees.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Integrating Product-Line Fault Tree Analysis into AADL Models.

[BibT_eX]

[DOI]

Hongyu Sun

Miriam Hauptman

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

State-Based Modeling to Support the Evolution and Maintenance of Safety-Critical Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

2006

Towards the automatic generation of mobile agents for distributed intrusion detection system.

[BibT_eX]

[DOI]

J. Syst. Softw., 2006

PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2006

Tool-Supported Verification of Contingency Software Design in Evolving, Autonomous Systems.

[BibT_eX]

[DOI]

Ann Patterson-Hine

Anupa Bajwa

Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 2006

MoSCoE: A Framework for Modeling Web Service Composition and Execution.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Data Engineering Workshops, 2006

Parallel Web Service Composition in MoSCoE: A Choreography-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE European Conference on Web Services (ECOWS 2006), 2006

Automated Caching of Behavioral Patterns for Efficient Run-Time Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Second International Symposium on Dependable Autonomic and Secure Computing (DASC 2006), 29 September, 2006

2005

Mapping concern space to software architecture: a connector-based approach.

[BibT_eX]

[DOI]

Jing Liu

Jeffrey M. Thompson

ACM SIGSOFT Softw. Eng. Notes, 2005

A product-line requirements approach to safe reuse in multi-agent systems.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2005

Bi-directional safety analysis of product lines.

[BibT_eX]

[DOI]

Qian Feng

J. Syst. Softw., 2005

Tool-Supported Verification of Product Line Requirements.

[BibT_eX]

[DOI]

Prasanna Padmanabhan

Autom. Softw. Eng., 2005

A Product-Line Approach to Promote Asset Reuse in Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Multi-Agent Systems IV, 2005

Using Occurrence Properties of Defect Report Data to Improve Requirements.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

Identifying Contingency Requirements Using Obstacle Analysis.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

Mapping concern space to software architecture: a connector-based approach.

[BibT_eX]

[DOI]

Jing (Janet) Liu

Jeffrey M. Thompson

Proceedings of the 2005 Workshop on Modeling and Analysis of Concerns in Software, 2005

2004

Empirical Analysis of Safety-Critical Anomalies During Operations.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2004

Experience with the architectural design of a modest product family.

[BibT_eX]

[DOI]

Robert W. Schwanke

Softw. Pract. Exp., 2004

Ongoing Requirements Discovery in High-Integrity Systems.

[BibT_eX]

[DOI]

IEEE Softw., 2004

Software Fault Tree Analysis for Product Lines.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

2003

Operational anomalies as a cause of safety-critical requirements evolution.

[BibT_eX]

[DOI]

J. Syst. Softw., 2003

Analysis of a software product line architecture: an experience report.

[BibT_eX]

[DOI]

Gerald C. Gannod

J. Syst. Softw., 2003

Better Analysis of Defect Data at NASA.

[BibT_eX]

Tim Menzies

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Resolving Requirements Discovery in Testing and Operations.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003

Requirements Discovery during the Testing of Safety-Critical Software.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Software Engineering, 2003

2002

A Software Fault Tree Approach to Requirements Analysis of an Intrusion Detection System.

[BibT_eX]

[DOI]

Requir. Eng., 2002

Fault Contribution Trees for Product Families.

[BibT_eX]

[DOI]

Dingding Lu

Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

2001

Evolution of Safety-Critical Requirements Post-Launch.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

2000

Extending the product family approach to support safe reuse.

[BibT_eX]

[DOI]

J. Syst. Softw., 2000

Software engineering for safety: a roadmap.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on on Software Engineering, 2000

An approach to architectural analysis of product lines.

[BibT_eX]

[DOI]

Gerald C. Gannod

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Four areas of overlapping interest.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000

1999

Using Immersive Virtual Environments for Certification.

[BibT_eX]

[DOI]

Carolina Cruz-Neira

IEEE Softw., 1999

Toward Safe Reuse of Product Family Specifications.

[BibT_eX]

[DOI]

Proceedings of the Fifth ACM SIGSOFT Symposium on Software Reusability, 1999

Applying adaptive safety analysis techniques [for embedded software].

[BibT_eX]

[DOI]

Hui-Yin Shaw

Proceedings of the 10th International Symposium on Software Reliability Engineering, 1999

1998

Experiences Using Lightweight Formal Methods for Requirements Modeling.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1998

Safety Analysis of Requirements for a Product Family.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Requirements Engineering (ICRE '98), 1998

1997

Requirements Analysis Using Forward and backward Search.

[BibT_eX]

[DOI]

Robert M. Woodhouse

Ann. Softw. Eng., 1997

1996

Targeting safety-related errors during software requirements analysis.

[BibT_eX]

[DOI]

J. Syst. Softw., 1996

Experience Report: Contributions of SFMEA to Requirements Analysis.

[BibT_eX]

[DOI]

Robert M. Woodhouse

Proceedings of the 2nd International Conference on Requirements Engineering, 1996

1993

Analyzing software requirements errors in safety-critical, embedded systems.

[BibT_eX]

[DOI]

Proceedings of IEEE International Symposium on Requirements Engineering, 1993

1992

Detecting Unsafe Error Recovery Schedules.

[BibT_eX]

[DOI]