Robyn R. Lutz

Contact Information

Teaching

• Fall 2018: Com S/SE 409/509, Software Requirements Engineering
• Fall 2018: Com S/SE 417, Software Testing
• Spring 2018: Com S 415/515, Software System Safety
• Spring 2018: Com S 665A, Advanced Topics in Software Engineering Foundations:
  Safety and Security Requirements for Augmented and Virtual Reality

Publications

Research

• LAMP: Laboratory for Molecular Programming
• Laboratory for Software Safety
• Safety-Aware Cyber-Molecular Systems
• Advanced Traceability for Composing Product Line Safety Cases
• Robust Molecular Programming: Advances in the Design and Verification of Reliable Self-Assembling Nanosystems
• Evidence-based Reliability Assessment of Software Product Lines
• Modeling and Analysis of Molecular Programming and Nanoscale Self-Assembly
• Decision Support System for Reasoning with Preferences
• Software Design and Productivity Summit
• Safety Analysis of Evolving Product Lines
• Interactive and Verifiable Composition of Web Services To Satisfy End User Goals
• Safety Analysis for Critical Product Lines
• Natural Language in the Development of High-Confidence Software
• Software engineering
• Software safety
• Requirements analysis for molecular programming and nanoscale self-assembly
• Safety-critical product lines
• Requirements engineering
• Formal methods for specification and verification
• Fault monitoring, diagnostics and recovery

Activities

• Tutorial, RE 2018: Writing Requirements for Molecular Programs, 26th IEEE International Conference on Requirements Engineering, Banff, Canada, Aug. 20-24, 2018.
• Keynote, SafeComp 2018: Software Engineering for Safety in Programmed Molecular Systems, 37th International Conference on Computer Safety, Reliability, and Security, Vasteras, Sweden, Sept. 18-21, 2018.
• Associate Editor, IEEE Transactions on Software Engineering , 2013-2017
• Editorial Board, Requirements Engineering Journal
• IFIP Working Group 2.9, Requirements Engineering
• International Requirements Engineering Conference (RE), Steering Committee
• Technical Program Committee, NanoCom 2018, 5th ACM International Conference on Nanoscale Computing and Communication, Reykjavik, Iceland, Sept. 5-7, 2018.
• Program Committee, RE@Next! Track, 26th IEEE International Requirements Engineering Conference, Banff, Alberta, Canada, Aug. 20-24, 2018.
• College of Liberal Arts and Sciences Dean's Spring Lecture, 2017. Podcast
• Program Board, ICSE 2017, 39th International Conference on Software Engineering, Buenos Aires, Argentina, May, 2017.
• Keynote, RE 2016, 24th IEEE International Requirements Engineering Conference, Beijing, China, Sept. 11-16, 2016.
• Program Chair, RE 2014, 22nd IEEE International Requirements Engineering Conference, Karlskrona, Sweden, August 25-29, 2014.

Short CV