About

I work in the general area of high assurance computing systems (i.e., system failures can cause injury or loss of life, property damage, financial loss, etc.), including formal methods for software engineering, model-driven engineering, software engineering and assurance for autonomous systems, assurance for learning-enabled systems (i.e., systems with machine learning and AI), harnessing evolutionary computation for search-based software engineering, and automotive cybersecurity.

Teaching

Recent Notables

  • 10 year Most Influential Paper Award, "A taxonomy of uncertainty for dynamically adaptive systems," (Andres J. Ramirez, Adam C. Jensen, and Betty H.C. Cheng) in the Proceedings of the IEEE International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012), pp. 99-108, May 2012. (Recognized at SEAMS 2023, May 2023, Melbourne, Australia.)
  • Best Paper Award "Know What You Know": Predicting Behavior for Learning-Enabled Systems When Facing Uncertainty. (Michael Austin Langford, Betty H. C. Cheng), 16th IEEE International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS@ICSE 2021), Full paper, pp. 78-89. (Link to paper)
  • 10 year Most Influential Paper Award, "Design patterns for developing dynamically adaptive systems," (Andres J. Ramirez and Betty H.C. Cheng) in the Proceedings of the (IEEE International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010), pp. 49-58, May 2010. (Recognized at SEAMS 2022, May 2022, Pittsburgh, USA.)
  • 10 year Most Influential Paper Award, “RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems,” (Jon Whittle, Pete Sawyer, Nelly Bencomo, Betty H.C. Cheng, Jean-Michel Bruel), Proceedings of 17th IEEE International Requirements Engineering Connference (RE09), pp. 79–88, September 2009, Atlanta, Georgia. (Recognized at RE2019, Jeju Island, S. Korea)
  • 10 year Most Influential Paper Award, “A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty” (Betty H.C. Cheng, Pete Sawyer, Nelly Bencomo, Jon Whittle), in the Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS 2009), pp. 468–483, Denver, Colorado, 2009. (Recognized at MODELS 2019, Munich, Germany)
  • 10 year Most Influential Paper Award, Runner up: "Model-Based Development of Dynamically Adaptive Software'' (Ji Zhang and Betty H.C. Cheng), in Proceedings of IEEE International Conference on Software Engineering (ICSE06), Shanghai, China, May 2006. (9% acceptance rate) (Received Distinguished Paper Award), pp. 371-380.

Recent Keynotes and Other Highlights

  • “Search-Based Software Engineering for Learning-Enabled Self-Adaptive Systems” Keynote for International Symposium on Search-based Software Engineering (SSBSE2023) (co-located with ESEC/FSE 2024, San Francisco, California, USA, December 2023.
  • “Be careful what you wish for... When should we trust AI?” Keynote for SE4SafeML: Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components Co-located with ESEC/FSE 2023, San Francisco, California, USA, December 2023.
  • "SE4LESAS: Software Engineering for Learning-Enabled Self-Adaptive Systems" Keynote for the 18th IEEE International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2023) held in Melbourne, Australia, May 2023.
  • "Enki: A Diversity-driven Approach to Test and Train Robust Learning-enabled Systems," (Michael Austin Langford, Betty H. C. Cheng), ACM Transactions on Autonomous and Adaptive Systems, Vol. 15, No. 2, pp. 5:1-5:32, 2021.
  • "A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems," (Benoît Combemale, Jörg Kienzle, Gunter Mussbacher, Hyacinth Ali, Daniel Amyot, Mojtaba Bagherzadeh, Edouard Batot, Nelly Bencomo, Benjamin Benni, Jean-Michel Bruel, Jordi Cabot, Betty H. C. Cheng, Philippe Collet, Gregor Engels, Robert Heinrich, Jean-Marc Jézéquel, Anne Koziolek, Sébastien Mosser, Ralf H. Reussner, Houari A. Sahraoui, Rijul Saini, June Sallou, Serge Stinckwich, Eugene Syriani, Manuel Wimmer), IEEE Software Vol. 38, No. 4, pp 71-84, 2021.
  • “Model-driven Engineering for Data-Centric Autonomous Systems,” Keynote for IEEE/ACM International Conference for Model Driven Engineering Languages and Systems (MODELS 2020), October 2020.
  • "Applying Model-Driven Requirements Engineering to Manage Uncertainty for High- Assurance Self-Adaptive Systems: Lessons Learned and Research Challenges" Keynote for 10-year Anniversary of International Workshop on Model-Driven Requirements Engineering (MODRE)co-located with IEEE Requirements Engineering Conference (RE2020), August 2020.
  • “A Multi-Disciplinary Approach to Addressing Uncertainty for High-Assurance Self-Adaptive Systems,” Invited presentation for Assurance of Autonomy for Robotic Space Missions workshop at 7th International Conference on Space Missions Challenges for Information Technology (SMC-IT), Pasadena, California, July 2019.
  • “A Socio-technical Approach to Automotive Security: Computer Science and Engineering meets Criminal Justice,” 2019 Michigan Transportation and Planning Association Conference, Lansing, Michigan, July 2019.
  • “A Requirements-Driven and Context-Aware Approach to Assurance of Autonomous Systems” Keynote for Joint workshops for IEEE International Conference on Autonomic Computing (ICAC) and Self Adaptive Self-Organizing, Self-protecting Systems (SPS), 1st Workshop on Evaluations and Measurements in Self-Aware Computing Systems (EMSAC2019), 3rd Workshop on Self-Aware Computing (SeAC 2019), June 2019, Umea, Sweden.
  • “A Multidisciplinary Approach to Requirements-based Adaptive Testing of Autonomous Systems” Keynote for 6th International Workshop on Requirements Engineering and Testing, co-located with 41st IEEE International Conference on Software Engineering (ICSE), May 25 - 31, 2019. Montreal, QC, Canada.
  • “A Multidisciplinary Approach to Developing Community-Based Research Infrastructure” Keynote for Second International Workshop on Establishing a Community-Wide Infrastruc- ture for Architecture-Based Software Engineering (ECASE’19), co-located with The 41st IEEE International Conference on Software Engineering, May 25 - 31, 2019. Montreal, QC, Canada.
  • “Requirements Engineering for High Assurance Autonomous Systems in the Face of Uncertainty: A Multidisciplinary Perspective,” Opening Keynote for IEEE 25th Inter- national Requirements Engineering Conference (RE), held in Lisbon, Portugal, September 2017.
  • "Addressing Assurance for Self-Adaptive Systems in the Face of Uncertainty,” Keynote for 13th IEEE International Conference on Autonomic Computing (ICAC 2016), Wuerzburg, Germany, July 2016.
  • “Dealing with Uncertainty for High-Assurance Self-Adaptive Systems,” Keynote for IEEE International Conference on Software Testing, Verification and Validation (ICST) 2016, Chicago, Illinois, April 2016.

Current Affiliations and Professional Activities