BibTeX records: Robyn R. Lutz

download as .bib file

@article{DBLP:journals/corr/abs-2401-07353,
  author       = {Usman Gohar and
                  Michael C. Hunter and
                  Agnieszka Marczak{-}Czajka and
                  Robyn R. Lutz and
                  Myra B. Cohen and
                  Jane Cleland{-}Huang},
  title        = {Towards Engineering Fair and Equitable Software Systems for Managing
                  Low-Altitude Airspace Authorizations},
  journal      = {CoRR},
  volume       = {abs/2401.07353},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2401.07353},
  doi          = {10.48550/ARXIV.2401.07353},
  eprinttype    = {arXiv},
  eprint       = {2401.07353},
  timestamp    = {Thu, 01 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2401-07353.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-07898,
  author       = {Tuba Yavuz and
                  Chin Khor and
                  Ken Yihang Bai and
                  Robyn R. Lutz},
  title        = {Generating Maximal Configurations and Their Variants Using Code Metrics},
  journal      = {CoRR},
  volume       = {abs/2401.07898},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2401.07898},
  doi          = {10.48550/ARXIV.2401.07898},
  eprinttype    = {arXiv},
  eprint       = {2401.07898},
  timestamp    = {Thu, 01 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2401-07898.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/KhorL23,
  author       = {Chin Khor and
                  Robyn R. Lutz},
  editor       = {Kurt Schneider and
                  Fabiano Dalpiaz and
                  Jennifer Horkoff},
  title        = {Requirements Analysis of Variability Constraints in a Configurable
                  Flight Software System},
  booktitle    = {31st {IEEE} International Requirements Engineering Conference, {RE}
                  2023, Hannover, Germany, September 4-8, 2023},
  pages        = {244--254},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/RE57278.2023.00032},
  doi          = {10.1109/RE57278.2023.00032},
  timestamp    = {Fri, 06 Oct 2023 16:02:57 +0200},
  biburl       = {https://dblp.org/rec/conf/re/KhorL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-03392,
  author       = {Chin Khor and
                  Robyn R. Lutz},
  title        = {Requirements Analysis of Variability Constraints in a Configurable
                  Flight Software System},
  journal      = {CoRR},
  volume       = {abs/2309.03392},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2309.03392},
  doi          = {10.48550/ARXIV.2309.03392},
  eprinttype    = {arXiv},
  eprint       = {2309.03392},
  timestamp    = {Fri, 06 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-03392.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/LathropLBPRSW22,
  author       = {James I. Lathrop and
                  Robyn R. Lutz and
                  Cameron Brecount and
                  Hugh D. Potter and
                  Kathryn Rohlfing and
                  Jesse Slater and
                  Joshua Wallin},
  title        = {SafeWalk: a Simulation Tool Kit for Exploring Software Requirements
                  in a Safety-Critical Product Line},
  booktitle    = {30th {IEEE} International Requirements Engineering Conference, {RE}
                  2022, Melbourne, Australia, August 15-19, 2022},
  pages        = {268--269},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/RE54965.2022.00038},
  doi          = {10.1109/RE54965.2022.00038},
  timestamp    = {Wed, 26 Oct 2022 19:40:33 +0200},
  biburl       = {https://dblp.org/rec/conf/re/LathropLBPRSW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/Lutz22,
  author       = {Robyn R. Lutz},
  title        = {Requirements Engineering for Safety-Critical Molecular Programs},
  booktitle    = {30th {IEEE} International Requirements Engineering Conference, {RE}
                  2022, Melbourne, Australia, August 15-19, 2022},
  pages        = {302--308},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/RE54965.2022.00045},
  doi          = {10.1109/RE54965.2022.00045},
  timestamp    = {Wed, 26 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/re/Lutz22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-05710,
  author       = {Mohammad Jamil Ahmad and
                  Katerina Goseva{-}Popstojanova and
                  Robyn R. Lutz},
  title        = {The Untold Impact of Learning Approaches on Software Fault-Proneness
                  Predictions},
  journal      = {CoRR},
  volume       = {abs/2207.05710},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2207.05710},
  doi          = {10.48550/ARXIV.2207.05710},
  eprinttype    = {arXiv},
  eprint       = {2207.05710},
  timestamp    = {Thu, 14 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2207-05710.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/VierhauserBWXCH21,
  author       = {Michael Vierhauser and
                  Sean Bayley and
                  Jane Wyngaard and
                  Wandi Xiong and
                  Jinghui Cheng and
                  Joshua Huseman and
                  Robyn R. Lutz and
                  Jane Cleland{-}Huang},
  title        = {Interlocking Safety Cases for Unmanned Autonomous Systems in Shared
                  Airspaces},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {47},
  number       = {5},
  pages        = {899--918},
  year         = {2021},
  url          = {https://doi.org/10.1109/TSE.2019.2907595},
  doi          = {10.1109/TSE.2019.2907595},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/VierhauserBWXCH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splash/Lutz21,
  author       = {Robyn R. Lutz},
  editor       = {Hridesh Rajan},
  title        = {Designing safe programmed molecular systems (keynote)},
  booktitle    = {{SPLASH} '21: Software for Humanity, Chicago, IL, USA, October 17
                  - 22, 2021, Companion Volume},
  pages        = {2},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3484271.3490528},
  doi          = {10.1145/3484271.3490528},
  timestamp    = {Fri, 01 Jul 2022 13:19:01 +0200},
  biburl       = {https://dblp.org/rec/conf/splash/Lutz21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-07844,
  author       = {Seyedehzahra Khoshmanesh and
                  Tuba Yavuz and
                  Robyn R. Lutz},
  title        = {Learning Feature Interactions With and Without Specifications},
  journal      = {CoRR},
  volume       = {abs/2104.07844},
  year         = {2021},
  url          = {https://arxiv.org/abs/2104.07844},
  eprinttype    = {arXiv},
  eprint       = {2104.07844},
  timestamp    = {Mon, 19 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2104-07844.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aire-ws/KhoshmaneshL20,
  author       = {Seyedehzahra Khoshmanesh and
                  Robyn R. Lutz},
  title        = {Does Link Prediction Help Find Feature Interactions in Software Product
                  Lines?},
  booktitle    = {7th {IEEE} International Workshop on Artificial Intelligence for Requirements
                  Engineering, AIRE@RE 2020, Zurich, Switzerland, September 1, 2020},
  pages        = {87--90},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/AIRE51212.2020.00020},
  doi          = {10.1109/AIRE51212.2020.00020},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aire-ws/KhoshmaneshL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/LathropLLPR20,
  author       = {James I. Lathrop and
                  Jack H. Lutz and
                  Robyn R. Lutz and
                  Hugh D. Potter and
                  Matthew R. Riley},
  editor       = {Cody W. Geary and
                  Matthew J. Patitz},
  title        = {Population-Induced Phase Transitions and the Verification of Chemical
                  Reaction Networks},
  booktitle    = {26th International Conference on {DNA} Computing and Molecular Programming,
                  {DNA} 26, September 14-17, 2020, Oxford, {UK} (Virtual Conference)},
  series       = {LIPIcs},
  volume       = {174},
  pages        = {5:1--5:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/LIPIcs.DNA.2020.5},
  doi          = {10.4230/LIPICS.DNA.2020.5},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dna/LathropLLPR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/LutzLBGRW20,
  author       = {Robyn R. Lutz and
                  James I. Lathrop and
                  Cameron Brecount and
                  Kendal Gast and
                  Kathryn Rohlfing and
                  Joshua Wallin},
  title        = {Using an Astronaut Jetpack Project to Teach Human-CPS Requirements
                  Engineering},
  booktitle    = {10th International Workshop on Requirements Engineering Education
                  and Training, REET@RE 2020, Zurich, Switzerland, August 31, 2020},
  pages        = {9--10},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/REET51203.2020.00008},
  doi          = {10.1109/REET51203.2020.00008},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/LutzLBGRW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-07392,
  author       = {Seyedehzahra Khoshmanesh and
                  Robyn R. Lutz},
  title        = {Does Link Prediction Help Detect Feature Interactions in Software
                  Product Lines (SPLs)?},
  journal      = {CoRR},
  volume       = {abs/2009.07392},
  year         = {2020},
  url          = {https://arxiv.org/abs/2009.07392},
  eprinttype    = {arXiv},
  eprint       = {2009.07392},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-07392.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/EllisKLLLMP19,
  author       = {Samuel J. Ellis and
                  Titus H. Klinge and
                  James I. Lathrop and
                  Jack H. Lutz and
                  Robyn R. Lutz and
                  Andrew S. Miner and
                  Hugh D. Potter},
  title        = {Runtime Fault Detection in Programmed Molecular Systems},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {28},
  number       = {2},
  pages        = {6:1--6:20},
  year         = {2019},
  url          = {https://doi.org/10.1145/3295740},
  doi          = {10.1145/3295740},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tosem/EllisKLLLMP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LutzLLR19,
  author       = {Jack H. Lutz and
                  Neil Lutz and
                  Robyn R. Lutz and
                  Matthew R. Riley},
  editor       = {Anita Sarma and
                  Leonardo Murta},
  title        = {Robustness and games against nature in molecular programming},
  booktitle    = {Proceedings of the 41st International Conference on Software Engineering:
                  New Ideas and Emerging Results, {ICSE} {(NIER)} 2019, Montreal, QC,
                  Canada, May 29-31, 2019},
  pages        = {65--68},
  publisher    = {{IEEE} / {ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICSE-NIER.2019.00025},
  doi          = {10.1109/ICSE-NIER.2019.00025},
  timestamp    = {Wed, 12 May 2021 10:56:12 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/LutzLLR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AgrawalKVRCL19,
  author       = {Ankit Agrawal and
                  Seyedehzahra Khoshmanesh and
                  Michael Vierhauser and
                  Mona Rahimi and
                  Jane Cleland{-}Huang and
                  Robyn R. Lutz},
  editor       = {Joanne M. Atlee and
                  Tevfik Bultan and
                  Jon Whittle},
  title        = {Leveraging artifact trees to evolve and reuse safety cases},
  booktitle    = {Proceedings of the 41st International Conference on Software Engineering,
                  {ICSE} 2019, Montreal, QC, Canada, May 25-31, 2019},
  pages        = {1222--1233},
  publisher    = {{IEEE} / {ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICSE.2019.00124},
  doi          = {10.1109/ICSE.2019.00124},
  timestamp    = {Mon, 07 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/AgrawalKVRCL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sisap/KhoshmaneshL19,
  author       = {Seyedehzahra Khoshmanesh and
                  Robyn R. Lutz},
  editor       = {Giuseppe Amato and
                  Claudio Gennaro and
                  Vincent Oria and
                  Milos Radovanovic},
  title        = {Leveraging Feature Similarity for Earlier Detection of Unwanted Feature
                  Interactions in Evolving Software Product Lines},
  booktitle    = {Similarity Search and Applications - 12th International Conference,
                  {SISAP} 2019, Newark, NJ, USA, October 2-4, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11807},
  pages        = {293--307},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32047-8\_26},
  doi          = {10.1007/978-3-030-32047-8\_26},
  timestamp    = {Fri, 18 Nov 2022 17:12:34 +0100},
  biburl       = {https://dblp.org/rec/conf/sisap/KhoshmaneshL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sisap/KhoshmaneshL19a,
  author       = {Seyedehzahra Khoshmanesh and
                  Robyn R. Lutz},
  editor       = {Giuseppe Amato and
                  Claudio Gennaro and
                  Vincent Oria and
                  Milos Radovanovic},
  title        = {Feature Similarity: {A} Method to Detect Unwanted Feature Interactions
                  Earlier in Software Product Lines},
  booktitle    = {Similarity Search and Applications - 12th International Conference,
                  {SISAP} 2019, Newark, NJ, USA, October 2-4, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11807},
  pages        = {356--361},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32047-8\_32},
  doi          = {10.1007/978-3-030-32047-8\_32},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sisap/KhoshmaneshL19a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-06171,
  author       = {Jack H. Lutz and
                  Neil Lutz and
                  Robyn R. Lutz and
                  Matthew R. Riley},
  title        = {Robustness and Games Against Nature in Molecular Programming},
  journal      = {CoRR},
  volume       = {abs/1902.06171},
  year         = {2019},
  url          = {http://arxiv.org/abs/1902.06171},
  eprinttype    = {arXiv},
  eprint       = {1902.06171},
  timestamp    = {Tue, 21 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1902-06171.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-05390,
  author       = {James I. Lathrop and
                  Jack H. Lutz and
                  Robyn R. Lutz and
                  Hugh D. Potter and
                  Matthew R. Riley},
  title        = {Quorum Sensing and Verification in Chemical Reaction Networks},
  journal      = {CoRR},
  volume       = {abs/1909.05390},
  year         = {2019},
  url          = {http://arxiv.org/abs/1909.05390},
  eprinttype    = {arXiv},
  eprint       = {1909.05390},
  timestamp    = {Tue, 17 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-05390.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/VierhauserBWCXL18,
  author       = {Michael Vierhauser and
                  Sean Bayley and
                  Jane Wyngaard and
                  Jinghui Cheng and
                  Wandi Xiong and
                  Robyn R. Lutz and
                  Joshua Huseman and
                  Jane Cleland{-}Huang},
  editor       = {Michel Chaudron and
                  Ivica Crnkovic and
                  Marsha Chechik and
                  Mark Harman},
  title        = {Interlocking safety cases for unmanned autonomous systems in urban
                  environments},
  booktitle    = {Proceedings of the 40th International Conference on Software Engineering:
                  Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 -
                  June 03, 2018},
  pages        = {416--417},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3183440.3195035},
  doi          = {10.1145/3183440.3195035},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/VierhauserBWCXL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Lutz18,
  author       = {Robyn R. Lutz},
  editor       = {Sudipto Ghosh and
                  Roberto Natella and
                  Bojan Cukic and
                  Robin S. Poston and
                  Nuno Laranjeiro},
  title        = {Safe-AR: Reducing Risk While Augmenting Reality},
  booktitle    = {29th {IEEE} International Symposium on Software Reliability Engineering,
                  {ISSRE} 2018, Memphis, TN, USA, October 15-18, 2018},
  pages        = {70--75},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/ISSRE.2018.00018},
  doi          = {10.1109/ISSRE.2018.00018},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Lutz18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/KoehlerMHL18,
  author       = {Chase Koehler and
                  Divita Mathur and
                  Eric R. Henderson and
                  Robyn R. Lutz},
  editor       = {Sudipto Ghosh and
                  Roberto Natella and
                  Bojan Cukic and
                  Robin S. Poston and
                  Nuno Laranjeiro},
  title        = {Probing the Security of {DNA} Origami},
  booktitle    = {2018 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Memphis, TN, USA, October 15-18, 2018},
  pages        = {138--139},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/ISSREW.2018.00-14},
  doi          = {10.1109/ISSREW.2018.00-14},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/KoehlerMHL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/KhoshmaneshL18,
  author       = {Seyedehzahra Khoshmanesh and
                  Robyn R. Lutz},
  editor       = {Sudipto Ghosh and
                  Roberto Natella and
                  Bojan Cukic and
                  Robin S. Poston and
                  Nuno Laranjeiro},
  title        = {The Role of Similarity in Detecting Feature Interaction in Software
                  Product Lines},
  booktitle    = {2018 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Memphis, TN, USA, October 15-18, 2018},
  pages        = {286--292},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/ISSREW.2018.00020},
  doi          = {10.1109/ISSREW.2018.00020},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/KhoshmaneshL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/LutzL18,
  author       = {Jack H. Lutz and
                  Robyn R. Lutz},
  editor       = {Guenther Ruhe and
                  Walid Maalej and
                  Daniel Amyot},
  title        = {Writing Requirements for Molecular Programs},
  booktitle    = {26th {IEEE} International Requirements Engineering Conference, {RE}
                  2018, Banff, AB, Canada, August 20-24, 2018},
  pages        = {512},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/RE.2018.00011},
  doi          = {10.1109/RE.2018.00011},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/LutzL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/LutzC17,
  author       = {Robyn R. Lutz and
                  Jane Cleland{-}Huang},
  title        = {The Risk of Overly Strict Requirements},
  journal      = {{IEEE} Softw.},
  volume       = {34},
  number       = {2},
  pages        = {26--29},
  year         = {2017},
  url          = {https://doi.org/10.1109/MS.2017.53},
  doi          = {10.1109/MS.2017.53},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/software/LutzC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RahimiXCL17,
  author       = {Mona Rahimi and
                  Wandi Xiong and
                  Jane Cleland{-}Huang and
                  Robyn R. Lutz},
  editor       = {Grigore Rosu and
                  Massimiliano Di Penta and
                  Tien N. Nguyen},
  title        = {Diagnosing assumption problems in safety-critical products},
  booktitle    = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
                  Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
                  03, 2017},
  pages        = {473--484},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ASE.2017.8115659},
  doi          = {10.1109/ASE.2017.8115659},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/RahimiXCL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nanocom/EllisLL17,
  author       = {Samuel J. Ellis and
                  James I. Lathrop and
                  Robyn R. Lutz},
  editor       = {Alan Davy and
                  John F. Federici},
  title        = {State logging in chemical reaction networks},
  booktitle    = {Proceedings of the 4th {ACM} International Conference on Nanoscale
                  Computing and Communication, {NANOCOM} 2017, Washington, DC, USA,
                  September 27-29, 2017},
  pages        = {23:1--23:6},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3109453.3109456},
  doi          = {10.1145/3109453.3109456},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nanocom/EllisLL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/GoodrumCLCM17,
  author       = {Micayla Goodrum and
                  Jane Cleland{-}Huang and
                  Robyn R. Lutz and
                  Jinghui Cheng and
                  Ronald A. Metoyer},
  editor       = {Ana Moreira and
                  Jo{\~{a}}o Ara{\'{u}}jo and
                  Jane Hayes and
                  Barbara Paech},
  title        = {What Requirements Knowledge Do Developers Need to Manage Change in
                  Safety-Critical Systems?},
  booktitle    = {25th {IEEE} International Requirements Engineering Conference, {RE}
                  2017, Lisbon, Portugal, September 4-8, 2017},
  pages        = {90--99},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/RE.2017.65},
  doi          = {10.1109/RE.2017.65},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/GoodrumCLCM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/Lutz17,
  author       = {Robyn R. Lutz},
  editor       = {Ana Moreira and
                  Jo{\~{a}}o Ara{\'{u}}jo and
                  Jane Hayes and
                  Barbara Paech},
  title        = {{RE} at 50, with a Focus on the Last 25 Years},
  booktitle    = {25th {IEEE} International Requirements Engineering Conference, {RE}
                  2017, Lisbon, Portugal, September 4-8, 2017},
  pages        = {482--483},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/RE.2017.50},
  doi          = {10.1109/RE.2017.50},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/Lutz17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-09494,
  author       = {Samuel J. Ellis and
                  Titus H. Klinge and
                  James I. Lathrop and
                  Jack H. Lutz and
                  Robyn R. Lutz and
                  Andrew S. Miner},
  title        = {Runtime Fault Detection in Programmed Molecular Systems},
  journal      = {CoRR},
  volume       = {abs/1710.09494},
  year         = {2017},
  url          = {http://arxiv.org/abs/1710.09494},
  eprinttype    = {arXiv},
  eprint       = {1710.09494},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1710-09494.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/DevineGKL16,
  author       = {Thomas R. Devine and
                  Katerina Goseva{-}Popstojanova and
                  Sandeep Krishnan and
                  Robyn R. Lutz},
  title        = {Assessment and cross-product prediction of software product line quality:
                  accounting for reuse across products, over multiple releases},
  journal      = {Autom. Softw. Eng.},
  volume       = {23},
  number       = {2},
  pages        = {253--302},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10515-014-0160-4},
  doi          = {10.1007/S10515-014-0160-4},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ase/DevineGKL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LutzL25,
  author       = {Robyn R. Lutz and
                  Jack H. Lutz},
  editor       = {Laura K. Dillon and
                  Willem Visser and
                  Laurie A. Williams},
  title        = {Software engineering for molecular programming},
  booktitle    = {Proceedings of the 38th International Conference on Software Engineering,
                  {ICSE} 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume},
  pages        = {888--889},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2889160.2891048},
  doi          = {10.1145/2889160.2891048},
  timestamp    = {Tue, 10 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/LutzL25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/Lutz16,
  author       = {Robyn R. Lutz},
  title        = {Requirements for Molecular Programmed Nanosystems (Keynote)},
  booktitle    = {24th {IEEE} International Requirements Engineering Conference, {RE}
                  2016, Beijing, China, September 12-16, 2016},
  pages        = {2},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/RE.2016.23},
  doi          = {10.1109/RE.2016.23},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/Lutz16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/Lutz15,
  author       = {Robyn R. Lutz},
  title        = {Introduction to the RE'14 special issue},
  journal      = {Requir. Eng.},
  volume       = {20},
  number       = {3},
  pages        = {213--214},
  year         = {2015},
  url          = {https://doi.org/10.1007/s00766-015-0228-0},
  doi          = {10.1007/S00766-015-0228-0},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/re/Lutz15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TunLNYMN15,
  author       = {Thein Than Tun and
                  Robyn R. Lutz and
                  Brian Nakayama and
                  Yijun Yu and
                  Divita Mathur and
                  Bashar Nuseibeh},
  editor       = {Mark Grechanik and
                  Javier Alonso and
                  Allen P. Nikora},
  title        = {The Role of Environmental Assumptions in Failures of {DNA} Nanosystems},
  booktitle    = {1st {IEEE/ACM} International Workshop on Complex Faults and Failures
                  in Large Software Systems, {COUFLESS} 2015, Florence, Italy, May 23,
                  2015},
  pages        = {27--33},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/COUFLESS.2015.12},
  doi          = {10.1109/COUFLESS.2015.12},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/TunLNYMN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/EllisHKLLLMM14,
  author       = {Samuel J. Ellis and
                  Eric R. Henderson and
                  Titus H. Klinge and
                  James I. Lathrop and
                  Jack H. Lutz and
                  Robyn R. Lutz and
                  Divita Mathur and
                  Andrew S. Miner},
  editor       = {Ivica Crnkovic and
                  Marsha Chechik and
                  Paul Gr{\"{u}}nbacher},
  title        = {Automated requirements analysis for a molecular watchdog timer},
  booktitle    = {{ACM/IEEE} International Conference on Automated Software Engineering,
                  {ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
  pages        = {767--778},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2642937.2643007},
  doi          = {10.1145/2642937.2643007},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/EllisHKLLLMM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/re/2014,
  editor       = {Tony Gorschek and
                  Robyn R. Lutz},
  title        = {{IEEE} 22nd International Requirements Engineering Conference, {RE}
                  2014, Karlskrona, Sweden, August 25-29, 2014},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/6903646/proceeding},
  isbn         = {978-1-4799-3031-9},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/re/2014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/KrishnanSLGD13,
  author       = {Sandeep Krishnan and
                  Chris Strasburg and
                  Robyn R. Lutz and
                  Katerina Goseva{-}Popstojanova and
                  Karin S. Dorman},
  title        = {Predicting failure-proneness in an evolving software product line},
  journal      = {Inf. Softw. Technol.},
  volume       = {55},
  number       = {8},
  pages        = {1479--1495},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.infsof.2012.11.008},
  doi          = {10.1016/J.INFSOF.2012.11.008},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/infsof/KrishnanSLGD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/WeissKL13,
  author       = {David M. Weiss and
                  James Kirby and
                  Robyn R. Lutz},
  editor       = {J{\"{u}}rgen M{\"{u}}nch and
                  Klaus Schmid},
  title        = {Moving Toward Evidence-Based Software Production},
  booktitle    = {Perspectives on the Future of Software Engineering, Essays in Honor
                  of Dieter Rombach},
  pages        = {275--298},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-37395-4\_18},
  doi          = {10.1007/978-3-642-37395-4\_18},
  timestamp    = {Tue, 07 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/WeissKL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/13/LutzLLPR13,
  author       = {Robyn R. Lutz and
                  M. Lavin and
                  J. Lux and
                  K. Peters and
                  Nicolas F. Rouquette},
  editor       = {Walid Maalej and
                  Anil Kumar Thurimella},
  title        = {Mining Requirements Knowledge from Operational Experience},
  booktitle    = {Managing Requirements Knowledge},
  pages        = {49--73},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-34419-0\_3},
  doi          = {10.1007/978-3-642-34419-0\_3},
  timestamp    = {Tue, 27 Jun 2017 18:23:02 +0200},
  biburl       = {https://dblp.org/rec/books/sp/13/LutzLLPR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LutzLLKHMS12,
  author       = {Robyn R. Lutz and
                  Jack H. Lutz and
                  James I. Lathrop and
                  Titus H. Klinge and
                  Eric R. Henderson and
                  Divita Mathur and
                  Dalia Abo Sheasha},
  editor       = {Martin Glinz and
                  Gail C. Murphy and
                  Mauro Pezz{\`{e}}},
  title        = {Engineering and verifying requirements for programmable self-assembling
                  nanomachines},
  booktitle    = {34th International Conference on Software Engineering, {ICSE} 2012,
                  June 2-9, 2012, Zurich, Switzerland},
  pages        = {1361--1364},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICSE.2012.6227079},
  doi          = {10.1109/ICSE.2012.6227079},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/LutzLLKHMS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DevineGKLL12,
  author       = {Thomas R. Devine and
                  Katerina Goseva{-}Popstojanova and
                  Sandeep Krishnan and
                  Robyn R. Lutz and
                  J. Jenny Li},
  editor       = {Giuliano Antoniol and
                  Antonia Bertolino and
                  Yvan Labiche},
  title        = {An Empirical Study of Pre-release Software Faults in an Industrial
                  Product Line},
  booktitle    = {Fifth {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
  pages        = {181--190},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICST.2012.98},
  doi          = {10.1109/ICST.2012.98},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/DevineGKLL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/LutzLLKMSBH12,
  author       = {Robyn R. Lutz and
                  Jack H. Lutz and
                  James I. Lathrop and
                  Titus H. Klinge and
                  Divita Mathur and
                  Donald M. Stull and
                  Taylor Bergquist and
                  Eric R. Henderson},
  editor       = {Mats Per Erik Heimdahl and
                  Pete Sawyer},
  title        = {Requirements analysis for a product family of {DNA} nanodevices},
  booktitle    = {2012 20th {IEEE} International Requirements Engineering Conference
                  (RE), Chicago, IL, USA, September 24-28, 2012},
  pages        = {211--220},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/RE.2012.6345806},
  doi          = {10.1109/RE.2012.6345806},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/LutzLLKMSBH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/Cleland-HuangHHLM12,
  author       = {Jane Cleland{-}Huang and
                  Mats Per Erik Heimdahl and
                  Jane Huffman Hayes and
                  Robyn R. Lutz and
                  Patrick Maeder},
  editor       = {Bj{\"{o}}rn Regnell and
                  Daniela E. Damian},
  title        = {Trace Queries for Safety Requirements in High Assurance Systems},
  booktitle    = {Requirements Engineering: Foundation for Software Quality - 18th International
                  Working Conference, {REFSQ} 2012, Essen, Germany, March 19-22, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7195},
  pages        = {179--193},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28714-5\_16},
  doi          = {10.1007/978-3-642-28714-5\_16},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/refsq/Cleland-HuangHHLM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/LiuBL11,
  author       = {Jing Liu and
                  Samik Basu and
                  Robyn R. Lutz},
  title        = {Compositional model checking of software product lines using variation
                  point obligations},
  journal      = {Autom. Softw. Eng.},
  volume       = {18},
  number       = {1},
  pages        = {39--76},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10515-010-0075-7},
  doi          = {10.1007/S10515-010-0075-7},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ase/LiuBL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Lutz11,
  author       = {Robyn R. Lutz},
  title        = {Software Engineering for Space Exploration},
  journal      = {Computer},
  volume       = {44},
  number       = {10},
  pages        = {41--46},
  year         = {2011},
  url          = {https://doi.org/10.1109/MC.2011.264},
  doi          = {10.1109/MC.2011.264},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/computer/Lutz11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/DehlingerL11,
  author       = {Josh Dehlinger and
                  Robyn R. Lutz},
  title        = {Gaia-PL: {A} Product Line Engineering Approach for Efficiently Designing
                  Multiagent Systems},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {20},
  number       = {4},
  pages        = {17:1--17:27},
  year         = {2011},
  url          = {https://doi.org/10.1145/2000799.2000803},
  doi          = {10.1145/2000799.2000803},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tosem/DehlingerL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LutzJP11,
  author       = {Robyn R. Lutz and
                  Jeremy Johnson and
                  Ann Patterson{-}Hine},
  editor       = {Perry Alexander and
                  Corina S. Pasareanu and
                  John G. Hosking},
  title        = {Using model-based assurance to strengthen diagnostic procedures},
  booktitle    = {26th {IEEE/ACM} International Conference on Automated Software Engineering
                  {(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
  pages        = {516--519},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ASE.2011.6100113},
  doi          = {10.1109/ASE.2011.6100113},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/LutzJP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/KrishnanLG11,
  author       = {Sandeep Krishnan and
                  Robyn R. Lutz and
                  Katerina Goseva{-}Popstojanova},
  editor       = {Arie van Deursen and
                  Tao Xie and
                  Thomas Zimmermann},
  title        = {Empirical evaluation of reliability improvement in an evolving software
                  product line},
  booktitle    = {Proceedings of the 8th International Working Conference on Mining
                  Software Repositories, {MSR} 2011 (Co-located with ICSE), Waikiki,
                  Honolulu, HI, USA, May 21-28, 2011, Proceedings},
  pages        = {103--112},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1985441.1985458},
  doi          = {10.1145/1985441.1985458},
  timestamp    = {Fri, 05 Nov 2021 10:54:25 +0100},
  biburl       = {https://dblp.org/rec/conf/msr/KrishnanLG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/promise/KrishnanSLG11,
  author       = {Sandeep Krishnan and
                  Chris Strasburg and
                  Robyn R. Lutz and
                  Katerina Goseva{-}Popstojanova},
  editor       = {Tim Menzies},
  title        = {Are change metrics good predictors for an evolving software product
                  line?},
  booktitle    = {Proceedings of the 7th International Conference on Predictive Models
                  in Software Engineering, {PROMISE} 2011, Banff, Alberta, Canada, September
                  20-21, 2011},
  pages        = {7},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2020390.2020397},
  doi          = {10.1145/2020390.2020397},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/promise/KrishnanSLG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/BernardiML10,
  author       = {Simona Bernardi and
                  Jos{\'{e}} Merseguer and
                  Robyn R. Lutz},
  title        = {Reliability and Availability Requirements Engineering within the Unified
                  Process Using a Dependability Analysis and Modeling Profile},
  booktitle    = {Eighth European Dependable Computing Conference, {EDCC-8} 2010, Valencia,
                  Spain, 28-30 April 2010},
  pages        = {95--104},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/EDCC.2010.21},
  doi          = {10.1109/EDCC.2010.21},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edcc/BernardiML10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/SunBHL10,
  author       = {Hongyu Sun and
                  Samik Basu and
                  Vasant G. Honavar and
                  Robyn R. Lutz},
  title        = {Automata-Based Verification of Security Requirements of Composite
                  Web Services},
  booktitle    = {{IEEE} 21st International Symposium on Software Reliability Engineering,
                  {ISSRE} 2010, San Jose, CA, USA, 1-4 November 2010},
  pages        = {348--357},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ISSRE.2010.20},
  doi          = {10.1109/ISSRE.2010.20},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/SunBHL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KirbyWL10,
  author       = {James Kirby Jr. and
                  David M. Weiss and
                  Robyn R. Lutz},
  editor       = {Gruia{-}Catalin Roman and
                  Kevin J. Sullivan},
  title        = {Evidence-based software production},
  booktitle    = {Proceedings of the Workshop on Future of Software Engineering Research,
                  FoSER 2010, at the 18th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
                  7-11, 2010},
  pages        = {191--194},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1882362.1882403},
  doi          = {10.1145/1882362.1882403},
  timestamp    = {Tue, 07 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/KirbyWL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/LutzWKY10,
  author       = {Robyn R. Lutz and
                  David M. Weiss and
                  Sandeep Krishnan and
                  Jingwei Yang},
  editor       = {Jan Bosch and
                  Jaejoon Lee},
  title        = {Software Product Line Engineering for Long-Lived, Sustainable Systems},
  booktitle    = {Software Product Lines: Going Beyond - 14th International Conference,
                  {SPLC} 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6287},
  pages        = {430--434},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15579-6\_31},
  doi          = {10.1007/978-3-642-15579-6\_31},
  timestamp    = {Tue, 07 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/splc/LutzWKY10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/NadkarniBHL10,
  author       = {Dinanath Nadkarni and
                  Samik Basu and
                  Vasant G. Honavar and
                  Robyn R. Lutz},
  editor       = {Mario Bravetti and
                  Tevfik Bultan},
  title        = {Failure Analysis for Composition of Web Services Represented as Labeled
                  Transition Systems},
  booktitle    = {Web Services and Formal Methods - 7th International Workshop, {WS-FM}
                  2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6551},
  pages        = {161--175},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-19589-1\_11},
  doi          = {10.1007/978-3-642-19589-1\_11},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wsfm/NadkarniBHL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/DehlingerL09,
  author       = {Josh Dehlinger and
                  Robyn R. Lutz},
  editor       = {Stephen H. Edwards and
                  Gregory Kulczycki},
  title        = {Evaluating the Reusability of Product-Line Software Fault Tree Analysis
                  Assets for a Safety-Critical System},
  booktitle    = {Formal Foundations of Reuse and Domain Engineering, 11th International
                  Conference on Software Reuse, {ICSR} 2009, Falls Church, VA, USA,
                  September 27-30, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5791},
  pages        = {160--169},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04211-9\_16},
  doi          = {10.1007/978-3-642-04211-9\_16},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsr/DehlingerL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/LutzR09,
  author       = {Robyn R. Lutz and
                  Nicolas Rouquette},
  editor       = {Anil Kumar Thurimella and
                  Walid Maalej and
                  Hans{-}J{\"{o}}rg Happel},
  title        = {Using Defect Reports to Build Requirements Knowledge in Product Lines},
  booktitle    = {Second International Workshop on Managing Requirements Knowledge,
                  MARK@RE 2009, Atlanta, GA, USA, September 1, 2009},
  pages        = {12--21},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/MARK.2009.13},
  doi          = {10.1109/MARK.2009.13},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/LutzR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/SunLB09,
  author       = {Hongyu Sun and
                  Robyn R. Lutz and
                  Samik Basu},
  editor       = {Dirk Muthig and
                  John D. McGregor},
  title        = {Product-line-based requirements customization for web service compositions},
  booktitle    = {Software Product Lines, 13th International Conference, {SPLC} 2009,
                  San Francisco, California, USA, August 24-28, 2009, Proceedings},
  series       = {{ACM} International Conference Proceeding Series},
  volume       = {446},
  pages        = {141--150},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://dl.acm.org/citation.cfm?id=1753255},
  timestamp    = {Wed, 27 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/splc/SunLB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/PathakBLH08,
  author       = {Jyotishman Pathak and
                  Samik Basu and
                  Robyn R. Lutz and
                  Vasant G. Honavar},
  title        = {{MOSCOE:} an Approach for Composing Web Services through Iterative
                  Reformulation of Functional Specifications},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {17},
  number       = {1},
  pages        = {109--138},
  year         = {2008},
  url          = {https://doi.org/10.1142/S0218213008003807},
  doi          = {10.1142/S0218213008003807},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijait/PathakBLH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/DehlingerL08,
  author       = {Josh Dehlinger and
                  Robyn R. Lutz},
  title        = {Supporting requirements reuse in multi-agent system product line design
                  and evolution},
  booktitle    = {24th {IEEE} International Conference on Software Maintenance {(ICSM}
                  2008), September 28 - October 4, 2008, Beijing, China},
  pages        = {207--216},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICSM.2008.4658069},
  doi          = {10.1109/ICSM.2008.4658069},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsm/DehlingerL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/LutzP08,
  author       = {Robyn R. Lutz and
                  Ann Patterson{-}Hine},
  title        = {Using Fault Modeling in Safety Cases},
  booktitle    = {19th International Symposium on Software Reliability Engineering {(ISSRE}
                  2008), 11-14 November 2008, Seattle/Redmond, WA, {USA}},
  pages        = {271--276},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ISSRE.2008.13},
  doi          = {10.1109/ISSRE.2008.13},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/LutzP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/FengL08,
  author       = {Qian Feng and
                  Robyn R. Lutz},
  title        = {Assessing the Effect of Software Failures on Trust Assumptions},
  booktitle    = {19th International Symposium on Software Reliability Engineering {(ISSRE}
                  2008), 11-14 November 2008, Seattle/Redmond, WA, {USA}},
  pages        = {291--292},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ISSRE.2008.30},
  doi          = {10.1109/ISSRE.2008.30},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/FengL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/Lutz08,
  author       = {Robyn R. Lutz},
  title        = {Enabling Verifiable Conformance for Product Lines},
  booktitle    = {Software Product Lines, 12th International Conference, {SPLC} 2008,
                  Limerick, Ireland, September 8-12, 2008, Proceedings},
  pages        = {35--44},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/SPLC.2008.12},
  doi          = {10.1109/SPLC.2008.12},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/splc/Lutz08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/LiuDL07,
  author       = {Jing Liu and
                  Josh Dehlinger and
                  Robyn R. Lutz},
  title        = {Safety analysis of software product lines using state-based modeling},
  journal      = {J. Syst. Softw.},
  volume       = {80},
  number       = {11},
  pages        = {1879--1892},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.jss.2007.01.047},
  doi          = {10.1016/J.JSS.2007.01.047},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/LiuDL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/LutzPNFTH07,
  author       = {Robyn R. Lutz and
                  Ann Patterson{-}Hine and
                  Stacy Nelson and
                  Chad R. Frost and
                  Doron Tal and
                  Robert Harris},
  title        = {Using obstacle analysis to identify contingency requirements on an
                  unpiloted aerial vehicle},
  journal      = {Requir. Eng.},
  volume       = {12},
  number       = {1},
  pages        = {41--54},
  year         = {2007},
  url          = {https://doi.org/10.1007/s00766-006-0039-4},
  doi          = {10.1007/S00766-006-0039-4},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/re/LutzPNFTH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/LiuDSL07,
  author       = {Jing Liu and
                  Josh Dehlinger and
                  Hongyu Sun and
                  Robyn R. Lutz},
  title        = {State-Based Modeling to Support the Evolution and Maintenance of Safety-Critical
                  Software Product Lines},
  booktitle    = {14th Annual {IEEE} International Conference and Workshop on Engineering
                  of Computer Based Systems {(ECBS} 2007), 26-29 March 2007, Tucson,
                  Arizona, {USA}},
  pages        = {596--608},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ECBS.2007.66},
  doi          = {10.1109/ECBS.2007.66},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/LiuDSL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/SunHL07,
  author       = {Hongyu Sun and
                  Miriam Hauptman and
                  Robyn R. Lutz},
  title        = {Integrating Product-Line Fault Tree Analysis into {AADL} Models},
  booktitle    = {Tenth {IEEE} International Symposium on High Assurance Systems Engineering
                  {(HASE} 2007), November 14-16, 2007, Dallas, Texas, {USA}},
  pages        = {15--22},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/HASE.2007.28},
  doi          = {10.1109/HASE.2007.28},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/SunHL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Lutz07,
  author       = {Robyn R. Lutz},
  title        = {Portraits in Practice},
  booktitle    = {29th International Conference on Software Engineering {(ICSE} 2007),
                  Minneapolis, MN, USA, May 20-26, 2007, Companion Volume},
  pages        = {33--34},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICSECOMPANION.2007.58},
  doi          = {10.1109/ICSECOMPANION.2007.58},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/Lutz07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DehlingerHSPL07,
  author       = {Josh Dehlinger and
                  Meredith Humphrey and
                  Lada Suvorov and
                  Prasanna Padmanabhan and
                  Robyn R. Lutz},
  title        = {{DECIMAL} and PLFaultCAT: From Product-Line Requirements to Product-Line
                  Member Software Fault Trees},
  booktitle    = {29th International Conference on Software Engineering {(ICSE} 2007),
                  Minneapolis, MN, USA, May 20-26, 2007, Companion Volume},
  pages        = {49--50},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICSECOMPANION.2007.29},
  doi          = {10.1109/ICSECOMPANION.2007.29},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/DehlingerHSPL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/DehlingerL06,
  author       = {Josh Dehlinger and
                  Robyn R. Lutz},
  title        = {PLFaultCAT: {A} Product-Line Software Fault Tree Analysis Tool},
  journal      = {Autom. Softw. Eng.},
  volume       = {13},
  number       = {1},
  pages        = {169--193},
  year         = {2006},
  url          = {https://doi.org/10.1007/s10515-006-5469-1},
  doi          = {10.1007/S10515-006-5469-1},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ase/DehlingerL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/WangBWHHMLS06,
  author       = {Yanxin Wang and
                  Smruti Ranjan Behera and
                  Johnny Wong and
                  Guy G. Helmer and
                  Vasant G. Honavar and
                  Les Miller and
                  Robyn R. Lutz and
                  Mark Slagell},
  title        = {Towards the automatic generation of mobile agents for distributed
                  intrusion detection system},
  journal      = {J. Syst. Softw.},
  volume       = {79},
  number       = {1},
  pages        = {1--14},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.jss.2004.08.017},
  doi          = {10.1016/J.JSS.2004.08.017},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/WangBWHHMLS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasc/StakhanovaBLW06,
  author       = {Natalia Stakhanova and
                  Samik Basu and
                  Robyn R. Lutz and
                  Johnny Wong},
  title        = {Automated Caching of Behavioral Patterns for Efficient Run-Time Monitoring},
  booktitle    = {Second International Symposium on Dependable Autonomic and Secure
                  Computing {(DASC} 2006), 29 September - 1 October 2006, Indianapolis,
                  Indiana, {USA}},
  pages        = {333--340},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/DASC.2006.23},
  doi          = {10.1109/DASC.2006.23},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dasc/StakhanovaBLW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecows/PathakBLH06,
  author       = {Jyotishman Pathak and
                  Samik Basu and
                  Robyn R. Lutz and
                  Vasant G. Honavar},
  title        = {Parallel Web Service Composition in MoSCoE: {A} Choreography-Based
                  Approach},
  booktitle    = {Fourth {IEEE} European Conference on Web Services {(ECOWS} 2006),
                  4-6 December 2006, Z{\"{u}}rich, Switzerland},
  pages        = {3--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ECOWS.2006.30},
  doi          = {10.1109/ECOWS.2006.30},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecows/PathakBLH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/PathakBLH06,
  author       = {Jyotishman Pathak and
                  Samik Basu and
                  Robyn R. Lutz and
                  Vasant G. Honavar},
  editor       = {Roger S. Barga and
                  Xiaofang Zhou},
  title        = {MoSCoE: {A} Framework for Modeling Web Service Composition and Execution},
  booktitle    = {Proceedings of the 22nd International Conference on Data Engineering
                  Workshops, {ICDE} 2006, 3-7 April 2006, Atlanta, GA, {USA}},
  pages        = {143},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ICDEW.2006.96},
  doi          = {10.1109/ICDEW.2006.96},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icde/PathakBLH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/PathakBLH06,
  author       = {Jyotishman Pathak and
                  Samik Basu and
                  Robyn R. Lutz and
                  Vasant G. Honavar},
  title        = {Selecting and Composing Web Services through Iterative Reformulation
                  of Functional Specifications},
  booktitle    = {18th {IEEE} International Conference on Tools with Artificial Intelligence
                  {(ICTAI} 2006), 13-15 November 2006, Arlington, VA, {USA}},
  pages        = {445--454},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ICTAI.2006.102},
  doi          = {10.1109/ICTAI.2006.102},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/PathakBLH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/LutzPB06,
  author       = {Robyn R. Lutz and
                  Ann Patterson{-}Hine and
                  Anupa Bajwa},
  title        = {Tool-Supported Verification of Contingency Software Design in Evolving,
                  Autonomous Systems},
  booktitle    = {17th International Symposium on Software Reliability Engineering {(ISSRE}
                  2006), 7-10 November 2006, Raleigh, North Carolina, {USA}},
  pages        = {213--220},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ISSRE.2006.48},
  doi          = {10.1109/ISSRE.2006.48},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/LutzPB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/PadmanabhanL05,
  author       = {Prasanna Padmanabhan and
                  Robyn R. Lutz},
  title        = {Tool-Supported Verification of Product Line Requirements},
  journal      = {Autom. Softw. Eng.},
  volume       = {12},
  number       = {4},
  pages        = {447--465},
  year         = {2005},
  url          = {https://doi.org/10.1007/s10515-005-2648-4},
  doi          = {10.1007/S10515-005-2648-4},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ase/PadmanabhanL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/FengL05,
  author       = {Qian Feng and
                  Robyn R. Lutz},
  title        = {Bi-directional safety analysis of product lines},
  journal      = {J. Syst. Softw.},
  volume       = {78},
  number       = {2},
  pages        = {111--127},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.jss.2005.02.028},
  doi          = {10.1016/J.JSS.2005.02.028},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/FengL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/DehlingerL05,
  author       = {Josh Dehlinger and
                  Robyn R. Lutz},
  title        = {A product-line requirements approach to safe reuse in multi-agent
                  systems},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {30},
  number       = {4},
  pages        = {1--7},
  year         = {2005},
  url          = {https://doi.org/10.1145/1082983.1082981},
  doi          = {10.1145/1082983.1082981},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/DehlingerL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/LiuLT05,
  author       = {Jing Liu and
                  Robyn R. Lutz and
                  Jeffrey M. Thompson},
  title        = {Mapping concern space to software architecture: a connector-based
                  approach},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {30},
  number       = {4},
  pages        = {1--5},
  year         = {2005},
  url          = {https://doi.org/10.1145/1082983.1083126},
  doi          = {10.1145/1082983.1083126},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/LiuLT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LiuLT05,
  author       = {Jing (Janet) Liu and
                  Robyn R. Lutz and
                  Jeffrey M. Thompson},
  title        = {Mapping concern space to software architecture: a connector-based
                  approach},
  booktitle    = {Proceedings of the 2005 Workshop on Modeling and Analysis of Concerns
                  in Software, MACS@ICSE 2005, St. Louis, Missouri, USA, May 16, 2005},
  pages        = {14:1--14:5},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1083125.1083126},
  doi          = {10.1145/1083125.1083126},
  timestamp    = {Wed, 23 Mar 2022 17:30:48 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/LiuLT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/LiuDL05,
  author       = {Jing Liu and
                  Josh Dehlinger and
                  Robyn R. Lutz},
  title        = {Safety Analysis of Software Product Lines Using State-Based Modeling},
  booktitle    = {16th International Symposium on Software Reliability Engineering {(ISSRE}
                  2005), 8-11 November 2005, Chicago, IL, {USA}},
  pages        = {21--30},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/ISSRE.2005.36},
  doi          = {10.1109/ISSRE.2005.36},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/LiuDL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/WassonSLK05,
  author       = {Kimberly S. Wasson and
                  Kendra N. Schmid and
                  Robyn R. Lutz and
                  John C. Knight},
  title        = {Using Occurrence Properties of Defect Report Data to Improve Requirements},
  booktitle    = {13th {IEEE} International Conference on Requirements Engineering {(RE}
                  2005), 29 August - 2 September 2005, Paris, France},
  pages        = {253--262},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/RE.2005.77},
  doi          = {10.1109/RE.2005.77},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/WassonSLK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/LutzNPFT05,
  author       = {Robyn R. Lutz and
                  Stacy Nelson and
                  Ann Patterson{-}Hine and
                  Chad R. Frost and
                  Doron Tal},
  title        = {Identifying Contingency Requirements Using Obstacle Analysis},
  booktitle    = {13th {IEEE} International Conference on Requirements Engineering {(RE}
                  2005), 29 August - 2 September 2005, Paris, France},
  pages        = {263--272},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/RE.2005.32},
  doi          = {10.1109/RE.2005.32},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/LutzNPFT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/selmas/DehlingerL05a,
  author       = {Josh Dehlinger and
                  Robyn R. Lutz},
  title        = {A product-line requirements approach to safe reuse in multi-agent
                  systems},
  booktitle    = {Proceedings of the fourth international workshop on Software engineering
                  for large-scale multi-agent systems, {SELMAS} '05, St. Louis, Missouri,
                  USA, May 15-16, 2005},
  pages        = {1:1--1:7},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1082960.1082981},
  doi          = {10.1145/1082960.1082981},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/selmas/DehlingerL05a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/selmas/DehlingerL05,
  author       = {Josh Dehlinger and
                  Robyn R. Lutz},
  editor       = {Alessandro F. Garcia and
                  Ricardo Choren and
                  Carlos Jos{\'{e}} Pereira de Lucena and
                  Paolo Giorgini and
                  Tom Holvoet and
                  Alexander B. Romanovsky},
  title        = {A Product-Line Approach to Promote Asset Reuse in Multi-agent Systems},
  booktitle    = {Software Engineering for Multi-Agent Systems IV, Research Issues and
                  Practical Applications [the book is a result of {SELMAS} 2005]},
  series       = {Lecture Notes in Computer Science},
  volume       = {3914},
  pages        = {161--178},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11738817\_10},
  doi          = {10.1007/11738817\_10},
  timestamp    = {Mon, 20 Dec 2021 10:29:19 +0100},
  biburl       = {https://dblp.org/rec/conf/selmas/DehlingerL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/LutzM04,
  author       = {Robyn R. Lutz and
                  Ines Carmen Mikulski},
  title        = {Ongoing Requirements Discovery in High-Integrity Systems},
  journal      = {{IEEE} Softw.},
  volume       = {21},
  number       = {2},
  pages        = {19--25},
  year         = {2004},
  url          = {https://doi.org/10.1109/MS.2004.1270757},
  doi          = {10.1109/MS.2004.1270757},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/software/LutzM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/SchwankeL04,
  author       = {Robert W. Schwanke and
                  Robyn R. Lutz},
  title        = {Experience with the architectural design of a modest product family},
  journal      = {Softw. Pract. Exp.},
  volume       = {34},
  number       = {13},
  pages        = {1273--1296},
  year         = {2004},
  url          = {https://doi.org/10.1002/spe.613},
  doi          = {10.1002/SPE.613},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/spe/SchwankeL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LutzM04,
  author       = {Robyn R. Lutz and
                  Ines Carmen Mikulski},
  title        = {Empirical Analysis of Safety-Critical Anomalies During Operations},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {30},
  number       = {3},
  pages        = {172--180},
  year         = {2004},
  url          = {https://doi.org/10.1109/TSE.2004.1271171},
  doi          = {10.1109/TSE.2004.1271171},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/LutzM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/DehlingerL04,
  author       = {Josh Dehlinger and
                  Robyn R. Lutz},
  title        = {Software Fault Tree Analysis for Product Lines},
  booktitle    = {8th {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} 2004), 25-26 March 2004, Tampa, FL, {USA}},
  pages        = {12--21},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/HASE.2004.1281726},
  doi          = {10.1109/HASE.2004.1281726},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/DehlingerL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/LutzM03,
  author       = {Robyn R. Lutz and
                  Ines Carmen Mikulski},
  title        = {Operational anomalies as a cause of safety-critical requirements evolution},
  journal      = {J. Syst. Softw.},
  volume       = {65},
  number       = {2},
  pages        = {155--161},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0164-1212(02)00057-2},
  doi          = {10.1016/S0164-1212(02)00057-2},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/LutzM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/LutzG03,
  author       = {Robyn R. Lutz and
                  Gerald C. Gannod},
  title        = {Analysis of a software product line architecture: an experience report},
  journal      = {J. Syst. Softw.},
  volume       = {66},
  number       = {3},
  pages        = {253--267},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0164-1212(02)00081-X},
  doi          = {10.1016/S0164-1212(02)00081-X},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/LutzG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LutzM03,
  author       = {Robyn R. Lutz and
                  Ines Carmen Mikulski},
  editor       = {Lori A. Clarke and
                  Laurie Dillon and
                  Walter F. Tichy},
  title        = {Requirements Discovery during the Testing of Safety-Critical Software},
  booktitle    = {Proceedings of the 25th International Conference on Software Engineering,
                  May 3-10, 2003, Portland, Oregon, {USA}},
  pages        = {578--585},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/ICSE.2003.1201240},
  doi          = {10.1109/ICSE.2003.1201240},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/LutzM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/LutzM03,
  author       = {Robyn R. Lutz and
                  Ines Carmen Mikulski},
  title        = {Resolving Requirements Discovery in Testing and Operations},
  booktitle    = {11th {IEEE} International Conference on Requirements Engineering {(RE}
                  2003), 8-12 September 2003, Monterey Bay, CA, {USA}},
  pages        = {33},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/ICRE.2003.1232735},
  doi          = {10.1109/ICRE.2003.1232735},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/LutzM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/MenziesLM03,
  author       = {Tim Menzies and
                  Robyn R. Lutz and
                  Ines Carmen Mikulski},
  title        = {Better Analysis of Defect Data at {NASA}},
  booktitle    = {Proceedings of the Fifteenth International Conference on Software
                  Engineering {\&} Knowledge Engineering (SEKE'2003), Hotel Sofitel,
                  San Francisco Bay, CA, USA, July 1-3, 2003},
  pages        = {607--611},
  year         = {2003},
  timestamp    = {Fri, 18 Feb 2005 13:16:38 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/MenziesLM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/HelmerWSHML02,
  author       = {Guy G. Helmer and
                  Johnny S. Wong and
                  Mark Slagell and
                  Vasant G. Honavar and
                  Les Miller and
                  Robyn R. Lutz},
  title        = {A Software Fault Tree Approach to Requirements Analysis of an Intrusion
                  Detection System},
  journal      = {Requir. Eng.},
  volume       = {7},
  number       = {4},
  pages        = {207--220},
  year         = {2002},
  url          = {https://doi.org/10.1007/s007660200016},
  doi          = {10.1007/S007660200016},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/re/HelmerWSHML02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/LuL02,
  author       = {Dingding Lu and
                  Robyn R. Lutz},
  title        = {Fault Contribution Trees for Product Families},
  booktitle    = {13th International Symposium on Software Reliability Engineering {(ISSRE}
                  2002), 12-15 November 2002, Annapolis, MD, {USA}},
  pages        = {231--242},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ISSRE.2002.1173258},
  doi          = {10.1109/ISSRE.2002.1173258},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/LuL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/LutzM01,
  author       = {Robyn R. Lutz and
                  Ines Carmen Mikulski},
  title        = {Evolution of Safety-Critical Requirements Post-Launch},
  booktitle    = {5th {IEEE} International Symposium on Requirements Engineering {(RE}
                  2001), 27-31 August 2001, Toronto, Canada},
  pages        = {222--227},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ISRE.2001.948562},
  doi          = {10.1109/ISRE.2001.948562},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/LutzM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/Lutz00,
  author       = {Robyn R. Lutz},
  title        = {Extending the product family approach to support safe reuse},
  journal      = {J. Syst. Softw.},
  volume       = {53},
  number       = {3},
  pages        = {207--217},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0164-1212(00)00012-1},
  doi          = {10.1016/S0164-1212(00)00012-1},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/Lutz00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/Lutz00,
  author       = {Robyn R. Lutz},
  title        = {Four areas of overlapping interest},
  booktitle    = {5th {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings},
  pages        = {49--50},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/HASE.2000.895440},
  doi          = {10.1109/HASE.2000.895440},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/Lutz00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Lutz00,
  author       = {Robyn R. Lutz},
  editor       = {Anthony Finkelstein},
  title        = {Software engineering for safety: a roadmap},
  booktitle    = {22nd International Conference on on Software Engineering, Future of
                  Software Engineering Track, {ICSE} 2000, Limerick Ireland, June 4-11,
                  2000},
  pages        = {213--226},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/336512.336556},
  doi          = {10.1145/336512.336556},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/Lutz00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GannodL00,
  author       = {Gerald C. Gannod and
                  Robyn R. Lutz},
  editor       = {Carlo Ghezzi and
                  Mehdi Jazayeri and
                  Alexander L. Wolf},
  title        = {An approach to architectural analysis of product lines},
  booktitle    = {Proceedings of the 22nd International Conference on on Software Engineering,
                  {ICSE} 2000, Limerick Ireland, June 4-11, 2000},
  pages        = {548--557},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/337180.337455},
  doi          = {10.1145/337180.337455},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/GannodL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Cruz-NeiraL99,
  author       = {Carolina Cruz{-}Neira and
                  Robyn R. Lutz},
  title        = {Using Immersive Virtual Environments for Certification},
  journal      = {{IEEE} Softw.},
  volume       = {16},
  number       = {4},
  pages        = {26--30},
  year         = {1999},
  url          = {https://doi.org/10.1109/52.776945},
  doi          = {10.1109/52.776945},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/software/Cruz-NeiraL99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/LutzS99,
  author       = {Robyn R. Lutz and
                  Hui{-}Yin Shaw},
  title        = {Applying adaptive safety analysis techniques [for embedded software]},
  booktitle    = {10th International Symposium on Software Reliability Engineering,
                  ISSRE, 1999, Boca Raton, FL, USA, November 1-4, 1999},
  pages        = {42--49},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/ISSRE.1999.809309},
  doi          = {10.1109/ISSRE.1999.809309},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/LutzS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssr/Lutz99,
  author       = {Robyn R. Lutz},
  title        = {Toward Safe Reuse of Product Family Specifications},
  booktitle    = {Proceedings of the Fifth {ACM} {SIGSOFT} Symposium on Software Reusability,
                  {SSR} 1999, May 21-23, 1999, Los Angeles, CA, {USA}},
  pages        = {17--26},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/303008.303014},
  doi          = {10.1145/303008.303014},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ssr/Lutz99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/EasterbrookLCKAH98,
  author       = {Steve M. Easterbrook and
                  Robyn R. Lutz and
                  Richard Covington and
                  John Kelly and
                  Yoko Ampo and
                  David Hamilton},
  title        = {Experiences Using Lightweight Formal Methods for Requirements Modeling},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {24},
  number       = {1},
  pages        = {4--14},
  year         = {1998},
  url          = {https://doi.org/10.1109/32.663994},
  doi          = {10.1109/32.663994},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/EasterbrookLCKAH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icre/LutzHMST98,
  author       = {Robyn R. Lutz and
                  Guy G. Helmer and
                  Michelle M. Moseman and
                  David E. Statezni and
                  Stephen R. Tockey},
  title        = {Safety Analysis of Requirements for a Product Family},
  booktitle    = {3rd International Conference on Requirements Engineering {(ICRE} '98),
                  Putting Requirements Engineering to Practice, April 6-10, 1998, Colorado
                  Springs, CO, USA, Proceedings},
  pages        = {24},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/ICRE.1998.667805},
  doi          = {10.1109/ICRE.1998.667805},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icre/LutzHMST98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ansoft/LutzW97,
  author       = {Robyn R. Lutz and
                  Robert M. Woodhouse},
  title        = {Requirements Analysis Using Forward and backward Search},
  journal      = {Ann. Softw. Eng.},
  volume       = {3},
  pages        = {459--475},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018929719710},
  doi          = {10.1023/A:1018929719710},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ansoft/LutzW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/Lutz96,
  author       = {Robyn R. Lutz},
  title        = {Targeting safety-related errors during software requirements analysis},
  journal      = {J. Syst. Softw.},
  volume       = {34},
  number       = {3},
  pages        = {223--230},
  year         = {1996},
  url          = {https://doi.org/10.1016/0164-1212(95)00077-1},
  doi          = {10.1016/0164-1212(95)00077-1},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/Lutz96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icre/LutzW96,
  author       = {Robyn R. Lutz and
                  Robert M. Woodhouse},
  title        = {Experience Report: Contributions of {SFMEA} to Requirements Analysis},
  booktitle    = {Proceedings of the 2nd International Conference on Requirements Engineering,
                  {ICRE} '96, Colorado Springs, Colorado, USA, April 15-18, 1996},
  pages        = {44--51},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/ICRE.1996.491428},
  doi          = {10.1109/ICRE.1996.491428},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icre/LutzW96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/Lutz93,
  author       = {Robyn R. Lutz},
  title        = {Analyzing software requirements errors in safety-critical, embedded
                  systems},
  booktitle    = {Proceedings of {IEEE} International Symposium on Requirements Engineering,
                  {RE} 1993, San Diego, California, USA, January 4-6, 1993},
  pages        = {126--133},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISRE.1993.324825},
  doi          = {10.1109/ISRE.1993.324825},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/Lutz93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Lutz93,
  author       = {Robyn R. Lutz},
  editor       = {David Notkin},
  title        = {Targeting Safety-Related Errors During Software Requirements Analysis},
  booktitle    = {Proceedings of the First {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1993, Los Angeles, California,
                  USA, December 7-10, 1993},
  pages        = {99--106},
  publisher    = {{ACM}},
  year         = {1993},
  url          = {https://doi.org/10.1145/256428.167069},
  doi          = {10.1145/256428.167069},
  timestamp    = {Tue, 27 Jul 2021 17:16:40 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/Lutz93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LutzW92,
  author       = {Robyn R. Lutz and
                  Johnny S. Wong},
  title        = {Detecting Unsafe Error Recovery Schedules},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {18},
  number       = {8},
  pages        = {749--760},
  year         = {1992},
  url          = {https://doi.org/10.1109/32.153384},
  doi          = {10.1109/32.153384},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/LutzW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics