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

Robyn Lutz , James Lathrop , Cameron Brecount , Kendal Gast
2020 10th International Workshop on Requirements Engineering Education and Training (REET) 9 -10

2
2020
Using model-based assurance to strengthen diagnostic procedures

Robyn Lutz , Jeremy Johnson , Ann Patterson-Hine
automated software engineering 516 -519

3
2011
A software fault tree approach to requirements analysis of an intrusion detection system

Guy Helmer , Johnny Wong , Mark Slagell , Vasant Honavar
Requirements Engineering 7 ( 4) 207 -220

115
2002
Leveraging artifact trees to evolve and reuse safety cases

Ankit Agrawal , Seyedehzahra Khoshmanesh , Michael Vierhauser , Mona Rahimi
international conference on software engineering 1222 -1233

2
2019
Engineering and verifying requirements for programmable self-assembling nanomachines

Robyn Lutz , Jack Lutz , James Lathrop , Titus Klinge
international conference on software engineering 1361 -1364

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

Josh Dehlinger , Meredith Humphrey , Lada Suvorov , Prasanna Padmanabhan
international conference on software engineering 49 -50

7
2007
Portraits in Practice

Robyn Lutz
international conference on software engineering 33 -34

2007
Enabling Verifiable Conformance for Product Lines

Robyn Lutz
software product lines 35 -44

5
2008
Trace queries for safety requirements in high assurance systems

Jane Cleland-Huang , Mats Heimdahl , Jane Huffman Hayes , Robyn Lutz
requirements engineering foundation for software quality 179 -193

35
2012
Software Engineering for Space Exploration

Robyn Lutz
IEEE Computer 44 ( 10) 41 -46

10
2011
Probing the Security of DNA Origami

Chase Koehler , Divita Mathur , Eric Henderson , Robyn Lutz
international symposium on software reliability engineering 138 -139

2018
Writing Requirements for Molecular Programs

Jack Lutz , Robyn Lutz
ieee international conference on requirements engineering 512 -512

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

Micayla Goodrum , Jane Cleland-Huang , Robyn Lutz , Jinghui Cheng
ieee international conference on requirements engineering 90 -99

6
2017
Does Link Prediction Help Find Feature Interactions in Software Product Lines

Seyedehzahra Khoshmanesh , Robyn Lutz
2020 IEEE Seventh International Workshop on Artificial Intelligence for Requirements Engineering (AIRE) 87 -90

1
2020
Automated Caching of Behavioral Patterns for Efficient Run-Time Monitoring

Natalia Stakhanova , Samik Basu , Robyn Lutz , Johnny Wong
dependable autonomic and secure computing 333 -340

5
2006
Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications

Jyotishman Pathak , Samik Basu , Robyn Lutz , Vasant Honavar
international conference on tools with artificial intelligence 445 -454

15
2006
Using Defect Reports to Build Requirements Knowledge in Product Lines

Robyn Lutz , Nicolas Rouquette
2009 Second International Workshop on Managing Requirements Knowledge 12 -21

3
2009
Evaluation, Selection, and Application of Model-Based Diagnosis Tools and Approaches

Scott Poll , Ann Patterson-Hine , Joe Camisa , David Nishikawa
AIAA Infotech@Aerospace 2007 Conference and Exhibit

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

Yanxin Wang , Smruti Ranjan Behera , Johnny Wong , Guy Helmer
Journal of Systems and Software 79 ( 1) 1 -14

30
2006
The Risk of Overly Strict Requirements

Robyn Lutz , Jane Cleland-Huang
IEEE Software 34 ( 2) 26 -29

2
2017