| 2026 | SEAMS | SEAMS 2026 Community Debate: How Ethical Can an Ethics-Aware Controller Be? Can we Trust it? | Genana Nunes Rodrigues, Betty H. C. Cheng, David Garlan, Paola Inverardi, Jeff Kramer, Sol Zilberman |
| 2026 | SEAMS | EvoDriver: Novelty-Search Driven Evolution of Behavioral Test Suites for Autonomous Vehicles. | Sol Zilberman, Kenneth H. Chan, Betty H. C. Cheng |
| 2025 | MODELS | On the Challenges of Integrating Digital Twins. | Benot Combemale, Jrg Kienzle, Gunter Mussbacher, Pascal Archambault, Jean-Michel Bruel, Lola Burgueo, Betty H. C. Cheng, Loek Cleophas, Gregor Engels, Damien Foures, Stefan Klikovits, Vinay Kulkarni, Judith Michael, Sbastien Mosser, Houari A. Sahraoui, Eugene Syriani, Andreas Wortmann |
| 2025 | MODELS | PRoBIFy: Formal-based Probabilistic Behavior Modeling for Verification of Autonomous Vehicles. | Sol Zilberman, Betty H. C. Cheng |
| 2024 | ICST | "No Free Lunch" when using Large Language Models to Verify Self-Generated Programs. | Sol Zilberman, Betty H. C. Cheng |
| 2024 | MODELS | Socio-technical Automotive Security Design Patterns: Applying a Stakeholder-Based Approach to Securing Self-Driving Vehicles. | Nick Polanco, Betty H. C. Cheng |
| 2024 | SEAMS | SafeDriveRL: Combining Non-cooperative Game Theory with Reinforcement Learning to Explore and Mitigate Human-based Uncertainty for Autonomous Vehicles. | Kenneth H. Chan, Sol Zilberman, Nick Polanco, Joshua E. Siegel, Betty H. C. Cheng |
| 2023 | SSBSE | Expound: A Black-Box Approach for Generating Diversity-Driven Adversarial Examples. | Kenneth H. Chan, Betty H. C. Cheng |
| 2022 | MODELS | Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata. | Javier Cmara, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl, Javier Troya, Antonio Vallecillo |
| 2022 | MODELS | Situational crime prevention for automotive cybersecurity. | Nick Polanco, Betty H. C. Cheng |
| 2022 | SSBSE | EvoAttack: An Evolutionary Search-Based Adversarial Attack for Object Detection Models. | Kenneth H. Chan, Betty H. C. Cheng |
| 2021 | MODELS | MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous Systems. | Michael Austin Langford, Kenneth H. Chan, Jonathon Emil Fleck, Philip K. McKinley, Betty H. C. Cheng |
| 2021 | SEAMS | Analysis and Monitoring of Cyber-Physical Systems via Environmental Domain Knowledge & Modeling. | Byron DeVries, Erik M. Fredericks, Betty H. C. Cheng |
| 2021 | SEAMS | "Know What You Know": Predicting Behavior for Learning-Enabled Systems When Facing Uncertainty. | Michael Austin Langford, Betty H. C. Cheng |
| 2020 | MODELS | AC-ROS: assurance case driven adaptation for the robot operating system. | Betty H. C. Cheng, Robert Jared Clark, Jonathon Emil Fleck, Michael Austin Langford, Philip K. McKinley |
| 2019 | ICSE | A multidisciplinary approach to developing community-based research infrastructure. | Betty H. C. Cheng |
| 2019 | ICSE | Towards the detection of partial feature interactions. | Byron DeVries, Betty H. C. Cheng |
| 2019 | ICSE | Applying evolution and novelty search to enhance the resilience of autonomous systems. | Michael Austin Langford, Glen A. Simon, Philip K. McKinley, Betty H. C. Cheng |
| 2019 | MODELS | Security Patterns for Automotive Systems. | Betty H. C. Cheng, Bradley Doherty, Nick Polanco, Matthew Pasco |
| 2019 | MODELS | Goal-Based Modeling and Analysis of Non-Functional Requirements. | Byron DeVries, Betty H. C. Cheng |
| 2018 | ICSE | Run-time monitoring of self-adaptive systems to detect N-way feature interactions and their causes. | Byron DeVries, Betty H. C. Cheng |
| 2018 | ICSE | Measure confidence of assurance cases in safety-critical domains. | Chung-Ling Lin, Wuwei Shen, Steven Drager, Betty H. C. Cheng |
| 2018 | QRS | Automatic Detection of Feature Interactions Using Symbolic Analysis and Evolutionary Computation. | Byron DeVries, Betty H. C. Cheng |
| 2018 | SSBSE | Automated Optimization of Weighted Non-functional Objectives in Self-adaptive Systems. | Kate M. Bowers, Erik M. Fredericks, Betty H. C. Cheng |
| 2017 | MODELS | User Experience for Model-Driven Engineering: Challenges and Future Directions. | Silvia Abraho, Francis Bordeleau, Betty H. C. Cheng, Sahar Kokaly, Richard F. Paige, Harald Strrle, Jon Whittle |
| 2017 | MODELS | ReMoDD Eclipse Plug-in: Collaborative Modeling Using a Model Repository. | Mohammed Al-Refai, Andrew Jacobson, Sudipto Ghosh, James M. Bieman, Betty H. C. Cheng |
| 2017 | MODELS | Using Models at Run Time to Detect Incomplete and Inconsistent Requirements. | Byron DeVries, Betty H. C. Cheng |
| 2017 | SSBSE | Automatic Detection of Incomplete Requirements Using Symbolic Analysis and Evolutionary Computation. | Byron DeVries, Betty H. C. Cheng |
| 2016 | ICSE | Modeling for sustainability. | Benot Combemale, Betty H. C. Cheng, Ana Moreira, Jean-Michel Bruel, Jeffrey G. Gray |
| 2016 | MODELS | Automatic detection of incomplete requirements via symbolic analysis. | Byron DeVries, Betty H. C. Cheng |
| 2015 | EMO | Unwanted Feature Interactions Between the Problem and Search Operators in Evolutionary Multi-objective Optimization. | Chad M. Byers, Betty H. C. Cheng, Kalyanmoy Deb |
| 2015 | GECCO | An Approach to Mitigating Unwanted Interactions between Search Operators in Multi-Objective Optimization. | Chad Michael Byers, Betty H. C. Cheng |
| 2015 | ICSE | An Empirical Analysis of Providing Assurance for Self-Adaptive Systems at Different Levels of Abstraction in the Face of Uncertainty. | Erik M. Fredericks, Betty H. C. Cheng |
| 2015 | ICSE | Automated Generation of Adaptive Test Plans for Self-Adaptive Systems. | Erik M. Fredericks, Betty H. C. Cheng |
| 2015 | MODELS | UML Modeling for Visually-Impaired Persons. | Brad Doherty, Betty H. C. Cheng |
| 2014 | ICSE | Towards run-time adaptation of test cases for self-adaptive systems in the face of uncertainty. | Erik M. Fredericks, Byron DeVries, Betty H. C. Cheng |
| 2014 | MODELS | The Relevance of Model-Driven Engineering Thirty Years from Now. | Gunter Mussbacher, Daniel Amyot, Ruth Breu, Jean-Michel Bruel, Betty H. C. Cheng, Philippe Collet, Benot Combemale, Robert B. France, Rogardt Heldal, James H. Hill, Jrg Kienzle, Matthias Schttle, Friedrich Steimann, Dave R. Stikkolorum, Jon Whittle |
| 2013 | GECCO | Exploring automated software composition with genetic programming. | Erik M. Fredericks, Betty H. C. Cheng |
| 2013 | ICSE | Harnessing evolutionary computation to enable dynamically adaptive systems to manage uncertainty. | Betty H. C. Cheng, Andres J. Ramirez, Philip K. McKinley |
| 2013 | ICSE | Towards run-time testing of dynamic adaptive systems. | Erik M. Fredericks, Andres J. Ramirez, Betty H. C. Cheng |
| 2013 | SSBSE | Validating Code-Level Behavior of Dynamic Adaptive Systems in the Face of Uncertainty. | Erik M. Fredericks, Andres J. Ramirez, Betty H. C. Cheng |
| 2012 | ALIFE | An ecology-based evolutionary algorithm to evolve solutions to complex problems. | Sherri Goings, Heather Goldsby, Betty H. C. Cheng, Charles Ofria |
| 2012 | GECCO | Exploring the evolution of internal control structure using digital enzymes. | Chad M. Byers, Betty H. C. Cheng, Philip K. McKinley |
| 2012 | ICSE | Repository for Model Driven Development (ReMoDD). | Robert B. France, James M. Bieman, Sai Pradeep Mandalaparty, Betty H. C. Cheng, Adam C. Jensen |
| 2012 | ICSE | A taxonomy of uncertainty for dynamically adaptive systems. | Andres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng |
| 2012 | MODELS | Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time. | Andres J. Ramirez, Betty H. C. Cheng, Nelly Bencomo, Pete Sawyer |
| 2012 | SSBSE | Automatically RELAXing a Goal Model to Cope with Uncertainty. | Andres J. Ramirez, Erik M. Fredericks, Adam C. Jensen, Betty H. C. Cheng |
| 2011 | GECCO | Digital enzymes: agents of reaction inside robotic controllers for the foraging problem. | Chad M. Byers, Betty H. C. Cheng, Philip K. McKinley |
| 2011 | MODELS | Summary of the 6th International Workshop on Models@run.time. | Nelly Bencomo, Gordon S. Blair, Robert B. France, Betty H. C. Cheng, Cdric Jeanneret |
| 2011 | MODELS | A Toolchain for the Detection of Structural and Behavioral Latent System Properties. | Adam C. Jensen, Betty H. C. Cheng, Heather Goldsby, Edward C. Nelson |
| 2011 | MODELS | Comparing Six Modeling Approaches. | Gunter Mussbacher, Wisam Al Abed, Omar Alam, Shaukat Ali, Antoine Beugnard, Valentin Bonnet, Rolv Brk, Alfredo Capozucca, Betty H. C. Cheng, Urooj Fatima, Robert B. France, Geri Georg, Nicolas Guelfi, Paul Istoan, Jean-Marc Jzquel, Jrg Kienzle, Jacques Klein, Jean-Baptiste Lzoray, Somayeh Malakuti, Ana Moreira, An Phung-Khac, Lucy J. Troup |
| 2011 | MODELS | Automatic Derivation of Utility Functions for Monitoring Software Requirements. | Andres J. Ramirez, Betty H. C. Cheng |
| 2010 | GECCO | On the use of genetic programming for automated refactoring and the introduction of design patterns. | Adam C. Jensen, Betty H. C. Cheng |
| 2010 | ICSE | Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010). | Betty H. C. Cheng, Rogrio de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Mller, Mauro Pezz, Richard Taylor |
| 2010 | ICSE | Design patterns for developing dynamically adaptive systems. | Andres J. Ramirez, Betty H. C. Cheng |
| 2010 | MODELS | Automatically Discovering Properties That Specify the Latent Behavior of UML Models. | Heather Goldsby, Betty H. C. Cheng |
| 2010 | RE | Adaptive monitoring of software requirements. | Andres J. Ramirez, Betty H. C. Cheng, Philip K. McKinley |
| 2009 | GECCO | Evolution of robust data distribution among digital organisms. | David B. Knoester, Andres J. Ramirez, Philip K. McKinley, Betty H. C. Cheng |
| 2009 | ICSE | SEAMS 2009: Software engineering for adaptive and self-managing systems. | Betty H. C. Cheng, Rogrio de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Mller, Richard Taylor |
| 2009 | MODELS | A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty. | Betty H. C. Cheng, Peter Sawyer, Nelly Bencomo, Jon Whittle |
| 2009 | RE | RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems. | Jon Whittle, Peter Sawyer, Nelly Bencomo, Betty H. C. Cheng, Jean-Michel Bruel |
| 2008 | GECCO | Avida-MDE: a digital evolution approach to generating models of adaptive software behavior. | Heather Goldsby, Betty H. C. Cheng |
| 2008 | ICSE | Design patterns for monitoring adaptive ULS systems. | Andres J. Ramirez, Betty H. C. Cheng |
| 2008 | ICST | Verifying and Analyzing Adaptive Logic through UML State Models. | Andres J. Ramirez, Betty H. C. Cheng |
| 2008 | MODELS | Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty. | Heather Goldsby, Betty H. C. Cheng |
| 2007 | ICSE | Research Directions in Requirements Engineering. | Betty H. C. Cheng, Joanne M. Atlee |
| 2007 | ICSE | SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems. | Betty H. C. Cheng, Rogrio de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Mller, Richard Taylor |
| 2007 | ICSE | SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems. | Betty H. C. Cheng, Rogrio de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Mller, Richard Taylor |
| 2007 | ICSE | Digitally Evolving Models for Dynamically Adaptive Systems. | Heather Goldsby, David B. Knoester, Betty H. C. Cheng, Philip K. McKinley, Charles Ofria |
| 2007 | ICSE | Towards Re-engineering Legacy Systems for Assured Dynamic Adaptation. | Ji Zhang, Betty H. C. Cheng |
| 2007 | MODELS | AMOEBA-RT: Run-Time Verification of Adaptive Software. | Heather Goldsby, Betty H. C. Cheng, Ji Zhang |
| 2007 | MODELS | i | Sascha Konrad, Heather Goldsby, Betty H. C. Cheng |
| 2006 | ICSE | Goal-oriented specification of adaptation requirements engineering in adaptive systems. | Greg Brown, Betty H. C. Cheng, Heather Goldsby, Ji Zhang |
| 2006 | ICSE | Software engineering for adaptive and self-managing systems. | Betty H. C. Cheng, David Garlan, Rogrio de Lemos, Jeff Magee, Richard Taylor, Stephen Fickas, Hausi A. Mller |
| 2006 | ICSE | A Pattern-Based Approach for Modeling and Analyzing Error Recovery. | Ali Ebnenasir, Betty H. C. Cheng |
| 2006 | ICSE | Model-based development of dynamically adaptive software. | Ji Zhang, Betty H. C. Cheng |
| 2006 | MODELS | Repository for Model Driven Development (ReMoDD). | Robert B. France, James M. Bieman, Betty H. C. Cheng |
| 2006 | MODELS | A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems. | Heather Goldsby, Betty H. C. Cheng, Sascha Konrad, Stephane Kamdoum |
| 2006 | RE | Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance. | Ali Ebnenasir, Betty H. C. Cheng, Sascha Konrad |
| 2006 | RE | Goal-Oriented Modeling of Requirements Engineering for Dynamically Adaptive System. | Heather Goldsby, Betty H. C. Cheng |
| 2005 | ICSE | Real-time specification patterns. | Sascha Konrad, Betty H. C. Cheng |
| 2005 | ICSE | Specifying adaptation semantics. | Ji Zhang, Betty H. C. Cheng |
| 2005 | RE | Facilitating the Construction of Specification Pattern-based Properties. | Sascha Konrad, Betty H. C. Cheng |
| 2004 | CoopIS | TRAP/J: Transparent Generation of Adaptable Java Programs. | Seyed Masoud Sadjadi, Philip K. McKinley, Betty H. C. Cheng, R. E. Kurt Stirewalt |
| 2004 | ICSE | Enabling Safe Dynamic Component-Based Software Adaptation. | Ji Zhang, Betty H. C. Cheng, Zhenxiao Yang, Philip K. McKinley |
| 2004 | Middleware | Enabling collaborative adaptation across legacy components. | Zhenxiao Yang, Zhinan Zhou, Betty H. C. Cheng, Philip K. McKinley |
| 2002 | RE | Requirements Patterns for Embedded Systems. | Sascha Konrad, Betty H. C. Cheng |
| 2001 | COMPSAC | A Metamodel-Based Approach to Formalizing UML. | Betty H. C. Cheng |
| 2001 | ICSE | A General Framework for Formalizing UML with Formal Languages. | William E. McUmber, Betty H. C. Cheng |
| 2001 | RE | Integrating Informal and Formal Approaches to Requirements Modeling and Analysis. | Betty H. C. Cheng, Laura A. Campbell |
| 2000 | DSN | Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams. | Betty H. C. Cheng, Laura A. Campbell, Enoch Y. Wang |
| 1999 | ICSE | A Specification Matching Based Approach to Reverse Engineering. | Gerald C. Gannod, Betty H. C. Cheng |
| 1999 | SIGCSE | Moving industry-guided multimedia technology into the classroom. | Philip K. McKinley, Betty H. C. Cheng, John (Juyang) Weng |
| 1997 | ICSE | Formalizing and Integrating the Dynamic Model within OMT. | Enoch Y. Wang, Heather A. Richter, Betty H. C. Cheng |
| 1997 | ICTAI | Formalizing and Automating Component Reuse. | Yonghao Chen, Betty H. C. Cheng |
| 1994 | ICPADS | Generalizing the Unimodular Approach. | D. R. Chesney, Betty H. C. Cheng |
| 1994 | ICPP | Optimal Multicast Communication in a Wormhole-Routed Torus Networks. | David F. Robinson, Philip K. McKinley, Betty H. C. Cheng |
| 1994 | ICTAI | A Graphical Environment for Formally Developing Object-Oriented Software. | Betty H. C. Cheng, Enoch Y. Wang, Robert H. Bourdeau |
| 1994 | SC | Time and/or space sharing in a workstation cluster environment. | Stephen W. Turner, Lionel M. Ni, Betty H. C. Cheng |
| 1994 | SEKE | The object-oriented development of a distributed multimedia environmental information system. | Betty H. C. Cheng, Robert H. Bourdeau, Gerald C. Gannod |
| 1993 | COMPSAC | A temporal model for transparent monitoring of shared-memory multiprocessors. | David F. Robinson, Betty H. C. Cheng |
| 1993 | ICPP | Contention-Free 2D-Mesh Cluster Allocation in Hypercubes. | Stephen W. Turner, Lionel M. Ni, Betty H. C. Cheng |
| 1993 | ICTAI | Using Analogy and Formal Methods for Software Reuse. | Jun-Jang Jeng, Betty H. C. Cheng |
| 1993 | SC | Efficient collective data distribution in all-port wormhole-routed hypercubes. | David F. Robinson, Dan Judd, Philip K. McKinley, Betty H. C. Cheng |
| 1993 | SEKE | An Integrated Development Environment for Formal Specifications. | Michael R. Laux, Robert H. Bourdeau, Betty H. C. Cheng |
| 1992 | COMPSAC | An object-oriented toolkit for constructing specification editors. | Robert H. Bourdeau, Betty H. C. Cheng |
| 1992 | COMPSAC | A transparent monitoring tool for shared-memory multiprocessors. | David F. Robinson, Betty H. C. Cheng, Richard J. Enbody |
| 1992 | COMPSAC | Are formal methods useful for software development? | Horst F. Wedde, Betty H. C. Cheng, David Gries, N. Shankar, Kwei-Jay Lin, Mark A. Ardis |
| 1991 | COMPSAC | Synthesizing procedural abstractions from formal specifications. | Betty H. C. Cheng |
| 1991 | ICTAI | Abstraction of formal specifications from program code. | Betty H. C. Cheng, Gerald C. Gannod |