Betty H. C. Cheng

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 41

Top Venues

Publications

Kenneth H. Chan, Sol Zilberman, Nick Polanco, Joshua E. Siegel, Betty H. C. Cheng
SafeDriveRL: Combining Non-cooperative Game Theory with Reinforcement Learning to Explore and Mitigate Human-based Uncertainty for Autonomous Vehicles. SEAMS@ICSE (2024)
Kenneth H. Chan, Betty H. C. Cheng
Expound: A Black-Box Approach for Generating Diversity-Driven Adversarial Examples. SSBSE (2023)
Michael Austin Langford, Kenneth H. Chan, Jonathon Emil Fleck, Philip K. McKinley, Betty H. C. Cheng
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty. Softw. Syst. Model. 22 (5) (2023)
Javier Cámara, Javier Troya, Antonio Vallecillo, Nelly Bencomo, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl
The uncertainty interaction problem in self-adaptive systems. Softw. Syst. Model. 21 (4) (2022)
Kenneth H. Chan, Betty H. C. Cheng
EvoAttack: An Evolutionary Search-Based Adversarial Attack for Object Detection Models. SSBSE (2022)
Javier Cámara, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl, Javier Troya, Antonio Vallecillo
Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata. MoDELS (2022)
Michael Austin Langford, Betty H. C. Cheng
A Modular and Composable Approach to Develop Trusted Artificial Intelligence. ACSOS (2022)
Nick Polanco, Betty H. C. Cheng
Situational crime prevention for automotive cybersecurity. MoDELS (Companion) (2022)
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
A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems. IEEE Softw. 38 (4) (2021)
Michael Austin Langford, Betty H. C. Cheng
"Know What You Know": Predicting Behavior for Learning-Enabled Systems When Facing Uncertainty. SEAMS@ICSE (2021)
Michael Austin Langford, Kenneth H. Chan, Jonathon Emil Fleck, Philip K. McKinley, Betty H. C. Cheng
MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous Systems. MoDELS (2021)
Byron DeVries, Erik M. Fredericks, Betty H. C. Cheng
Analysis and Monitoring of Cyber-Physical Systems via Environmental Domain Knowledge & Modeling. SEAMS@ICSE (2021)
Michael Austin Langford, Betty H. C. Cheng
Enki: A Diversity-driven Approach to Test and Train Robust Learning-enabled Systems. ACM Trans. Auton. Adapt. Syst. 15 (2) (2021)
Chung-Ling Lin, Wuwei Shen, Betty H. C. Cheng
Measuring Confidence of Assurance Cases in Safety-Critical Domains. HICSS (2020)
Betty H. C. Cheng, Robert Jared Clark, Jonathon Emil Fleck, Michael Austin Langford, Philip K. McKinley
AC-ROS: assurance case driven adaptation for the robot operating system. MoDELS (2020)
Kate M. Bowers, Erik M. Fredericks, Reihaneh H. Hariri, Betty H. C. Cheng
Providentia: Using search-based heuristics to optimize satisficement and competing concerns between functional and non-functional objectives in self-adaptive systems. J. Syst. Softw. 162 (2020)
Jörg Kienzle, Gunter Mussbacher, Benoît Combemale, Lucy Bastin, Nelly Bencomo, Jean-Michel Bruel, Christoph Becker, Stefanie Betz, Ruzanna Chitchyan, Betty H. C. Cheng, Sonja Klingert, Richard F. Paige, Birgit Penzenstadler, Norbert Seyff, Eugene Syriani, Colin C. Venters
Toward model-driven sustainability evaluation. Commun. ACM 63 (3) (2020)
Sharmin Jahan, Ian Riley, Charles Walter, Rose F. Gamble, Matt Pasco, Philip K. McKinley, Betty H. C. Cheng
MAPE-K/MAPE-SAC: An interaction framework for adaptive systems with security assurance cases. Future Gener. Comput. Syst. 109 (2020)
Pranshu Bajpai, Richard J. Enbody, Betty H. C. Cheng
Ransomware Targeting Automobiles. AutoSec@CODASPY (2020)
Fengyi Tang, Betty H. C. Cheng
Protecting Temporal Fingerprints with Synchronized Chaotic Circuits. HICSS (2020)
Michael Austin Langford, Glen A. Simon, Philip K. McKinley, Betty H. C. Cheng
Applying evolution and novelty search to enhance the resilience of autonomous systems. SEAMS@ICSE (2019)
Byron DeVries, Betty H. C. Cheng
Goal-Based Modeling and Analysis of Non-Functional Requirements. MoDELS (2019)
Betty H. C. Cheng
A multidisciplinary approach to developing community-based research infrastructure. ECASE@ICSE (2019)
Sharmin Jahan, Matthew Pasco, Rose F. Gamble, Philip K. McKinley, Betty H. C. Cheng
MAPE-SAC: A Framework to Dynamically Manage Security Assurance Cases. FAS*W@SASO/ICAC (2019)
Byron DeVries, Betty H. C. Cheng
Towards the detection of partial feature interactions. SEAMS@ICSE (2019)
Betty H. C. Cheng, Bradley Doherty, Nick Polanco, Matthew Pasco
Security Patterns for Automotive Systems. MoDELS (Companion) (2019)
Michael Austin Langford, Betty H. C. Cheng
Enhancing Learning-Enabled Software Systems to Address Environmental Uncertainty. ICAC (2019)
Chung-Ling Lin, Wuwei Shen, Steven Drager, Betty H. C. Cheng
Measure confidence of assurance cases in safety-critical domains. ICSE (NIER) (2018)
Gordon S. Blair, Betty H. C. Cheng, Lorenz M. Hilty, Richard F. Paige
Modeling for Sustainability (Dagstuhl Seminar 18351). Dagstuhl Reports 8 (8) (2018)
Peter J. Clarke, Betty H. C. Cheng
Dr. Robert B. France - contributions to model-driven engineering and software engineering education. Comput. Sci. Educ. 28 (1) (2018)
Byron DeVries, Betty H. C. Cheng
Run-time monitoring of self-adaptive systems to detect N-way feature interactions and their causes. SEAMS@ICSE (2018)
Byron DeVries, Betty H. C. Cheng
Automatic Detection of Feature Interactions Using Symbolic Analysis and Evolutionary Computation. QRS (2018)
Kate M. Bowers, Erik M. Fredericks, Betty H. C. Cheng
Automated Optimization of Weighted Non-functional Objectives in Self-adaptive Systems. SSBSE (2018)
Byron DeVries, Betty H. C. Cheng
Automatic Detection of Incomplete Requirements Using Symbolic Analysis and Evolutionary Computation. SSBSE (2017)
Byron DeVries, Betty H. C. Cheng
Using Models at Run Time to Detect Incomplete and Inconsistent Requirements. MoDELS (Satellite Events) (2017)
Mohammed Al-Refai, Andrew Jacobson, Sudipto Ghosh, James M. Bieman, Betty H. C. Cheng
ReMoDD Eclipse Plug-in: Collaborative Modeling Using a Model Repository. MoDELS (Satellite Events) (2017)
Silvia Abrahão, Francis Bourdeleau, Betty H. C. Cheng, Sahar Kokaly, Richard F. Paige, Harald Störrle, Jon Whittle
User Experience for Model-Driven Engineering: Challenges and Future Directions. MoDELS (2017)
Betty H. C. Cheng
Addressing Assurance for Self-Adaptive Systems in the Face of Uncertainty. ICAC (2016)
Byron DeVries, Betty H. C. Cheng
Automatic detection of incomplete requirements via symbolic analysis. MoDELS (2016)
Benoît Combemale, Betty H. C. Cheng, Ana Moreira, Jean-Michel Bruel, Jeffrey G. Gray
Modeling for sustainability. MiSE@ICSE (2016)
Anthony J. Clark, Byron DeVries, Jared M. Moore, Betty H. C. Cheng, Philip K. McKinley
An evolutionary approach to discovering execution mode boundaries for adaptive controllers. SSCI (2016)
Erik M. Fredericks, Betty H. C. Cheng
Automated Generation of Adaptive Test Plans for Self-Adaptive Systems. SEAMS@ICSE (2015)
Betty H. C. Cheng
A Review of Dr. Robert France's Contributions and Impact on Model-Driven Engineering and Software Engineering: Robert B. France (1960-2015). ACM SIGSOFT Softw. Eng. Notes 40 (3) (2015)
Erik M. Fredericks, Betty H. C. Cheng
An Empirical Analysis of Providing Assurance for Self-Adaptive Systems at Different Levels of Abstraction in the Face of Uncertainty. SBST@ICSE (2015)
Chad M. Byers, Betty H. C. Cheng, Kalyanmoy Deb
Unwanted Feature Interactions Between the Problem and Search Operators in Evolutionary Multi-objective Optimization. EMO (1) (2015)
Chad Michael Byers, Betty H. C. Cheng
An Approach to Mitigating Unwanted Interactions between Search Operators in Multi-Objective Optimization. GECCO (2015)
Brad Doherty, Betty H. C. Cheng
UML Modeling for Visually-Impaired Persons. HuFaMo@MoDELS (2015)
Erik M. Fredericks, Byron DeVries, Betty H. C. Cheng
Towards run-time adaptation of test cases for self-adaptive systems in the face of uncertainty. SEAMS (2014)
Betty H. C. Cheng, Benoît Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe
Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412). Dagstuhl Reports 4 (10) (2014)
Betty H. C. Cheng, Thomas Degueule, Colin Atkinson, Siobhán Clarke, Ulrich Frank, Pieter J. Mosterman, Janos Sztipanovits
Motivating Use Cases for the Globalization of DSLs. Globalizing Domain-Specific Languages (2014)
Betty H. C. Cheng, Benoît Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe
On the Globalization of Domain-Specific Languages. Globalizing Domain-Specific Languages (2014)
Gunter Mussbacher, Daniel Amyot, Ruth Breu, Jean-Michel Bruel, Betty H. C. Cheng, Philippe Collet, Benoît Combemale, Robert B. France, Rogardt Heldal, James H. Hill, Jörg Kienzle, Matthias Schöttle, Friedrich Steimann, Dave R. Stikkolorum, Jon Whittle
The Relevance of Model-Driven Engineering Thirty Years from Now. MoDELS (2014)
Erik M. Fredericks, Byron DeVries, Betty H. C. Cheng
AutoRELAX: automatically RELAXing a goal model to address uncertainty. Empir. Softw. Eng. 19 (5) (2014)
Erik M. Fredericks, Andres J. Ramirez, Betty H. C. Cheng
Towards run-time testing of dynamic adaptive systems. SEAMS (2013)
Erik M. Fredericks, Andres J. Ramirez, Betty H. C. Cheng
Validating Code-Level Behavior of Dynamic Adaptive Systems in the Face of Uncertainty. SSBSE (2013)
Betty H. C. Cheng, Andres J. Ramirez, Philip K. McKinley
Harnessing evolutionary computation to enable dynamically adaptive systems to manage uncertainty. CMSBSE@ICSE (2013)
Erik M. Fredericks, Betty H. C. Cheng
Exploring automated software composition with genetic programming. GECCO (Companion) (2013)
Sherri Goings, Heather Goldsby, Betty H. C. Cheng, Charles Ofria
An ecology-based evolutionary algorithm to evolve solutions to complex problems. ALIFE (2012)
Philip K. McKinley, Betty H. C. Cheng, Andres J. Ramirez, Adam C. Jensen
Applying evolutionary computation to mitigate uncertainty in dynamically-adaptive, high-assurance middleware. J. Internet Serv. Appl. 3 (1) (2012)
Chad M. Byers, Betty H. C. Cheng, Philip K. McKinley
Exploring the evolution of internal control structure using digital enzymes. GECCO (Companion) (2012)
Robert B. France, James M. Bieman, Sai Pradeep Mandalaparty, Betty H. C. Cheng, Adam C. Jensen
Repository for Model Driven Development (ReMoDD). ICSE (2012)
Andres J. Ramirez, Betty H. C. Cheng, Nelly Bencomo, Pete Sawyer
Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time. MoDELS (2012)
Andres J. Ramirez, Erik M. Fredericks, Adam C. Jensen, Betty H. C. Cheng
Automatically RELAXing a Goal Model to Cope with Uncertainty. SSBSE (2012)
Andres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng
A taxonomy of uncertainty for dynamically adaptive systems. SEAMS (2012)
Andres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng, David B. Knoester
Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems. ASE (2011)
Gunter Mussbacher, Wisam Al Abed, Omar Alam, Shaukat Ali, Antoine Beugnard, Valentin Bonnet, Rolv Bræk, Alfredo Capozucca, Betty H. C. Cheng, Urooj Fatima, Robert B. France, Geri Georg, Nicolas Guelfi, Paul Istoan, Jean-Marc Jézéquel, Jörg Kienzle, Jacques Klein, Jean-Baptiste Lézoray, Somayeh Malakuti, Ana Moreira, An Phung-Khac, Lucy J. Troup
Comparing Six Modeling Approaches. MoDELS (Workshops) (2011)
Adam C. Jensen, Betty H. C. Cheng, Heather Goldsby, Edward C. Nelson
A Toolchain for the Detection of Structural and Behavioral Latent System Properties. MoDELS (2011)
Chad M. Byers, Betty H. C. Cheng, Philip K. McKinley
Digital enzymes: agents of reaction inside robotic controllers for the foraging problem. GECCO (2011)
Andres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng
An aspect-oriented approach for implementing evolutionary computation applications. AOSD (2011)
Andres J. Ramirez, David B. Knoester, Betty H. C. Cheng, Philip K. McKinley
Plato: a genetic algorithm approach to run-time reconfiguration in autonomic computing systems. Clust. Comput. 14 (3) (2011)
Betty H. C. Cheng, Kerstin I. Eder, Martin Gogolla, Lars Grunske, Marin Litoiu, Hausi A. Müller, Patrizio Pelliccione, Anna Perini, Nauman A. Qureshi, Bernhard Rumpe, Daniel Schneider, Frank Trollmann, Norha M. Villegas
Using Models at Runtime to Address Assurance for Self-Adaptive Systems. Models@run.time@Dagstuhl (2011)
Andres J. Ramirez, Betty H. C. Cheng, Philip K. McKinley
An Evolutionary Approach to Network Self-Organization and Resilient Data Diffusion. SASO (2011)
Andres J. Ramirez, Betty H. C. Cheng
Automatic Derivation of Utility Functions for Monitoring Software Requirements. MoDELS (2011)
Nelly Bencomo, Gordon S. Blair, Robert B. France, Betty H. C. Cheng, Cédric Jeanneret
Summary of the 6th International Workshop on Models@run.time. MoDELS (Workshops) (2011)
Uwe Aßmann, Nelly Bencomo, Betty H. C. Cheng, Robert B. France
Models@run.time (Dagstuhl Seminar 11481). Dagstuhl Reports 1 (11) (2011)
Adam C. Jensen, Betty H. C. Cheng
On the use of genetic programming for automated refactoring and the introduction of design patterns. GECCO (2010)
Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Mauro Pezzè, Richard Taylor
Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010). ICSE (2) (2010)
Andres J. Ramirez, Betty H. C. Cheng, Philip K. McKinley, Benjamin E. Beckmann
Automatically generating adaptive logic to balance non-functional tradeoffs during reconfiguration. ICAC (2010)
Heather Goldsby, Betty H. C. Cheng
Automatically Discovering Properties That Specify the Latent Behavior of UML Models. MoDELS (1) (2010)
Andres J. Ramirez, Betty H. C. Cheng
Design patterns for developing dynamically adaptive systems. SEAMS (2010)
Andres J. Ramirez, Betty H. C. Cheng, Philip K. McKinley
Adaptive monitoring of software requirements. RE@RunTime (2010)
Jon Whittle, Peter Sawyer, Nelly Bencomo, Betty H. C. Cheng, Jean-Michel Bruel
RELAX: a language to address uncertainty in self-adaptive systems requirement. Requir. Eng. 15 (2) (2010)
Jon Whittle, Peter Sawyer, Nelly Bencomo, Betty H. C. Cheng, Jean-Michel Bruel
RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems. RE (2009)
Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor
SEAMS 2009: Software engineering for adaptive and self-managing systems. ICSE Companion (2009)
Andres J. Ramirez, Betty H. C. Cheng
Applying adaptation design patterns. ICAC (2009)
Andres J. Ramirez, David B. Knoester, Betty H. C. Cheng, Philip K. McKinley
Applying genetic algorithms to decision making in autonomic computing systems. ICAC (2009)
Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Giovanna Di Marzo Serugendo, Schahram Dustdar, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger M. Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, Hausi A. Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle
Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems (2009)
Betty H. C. Cheng, Peter Sawyer, Nelly Bencomo, Jon Whittle
A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty. MoDELS (2009)
David B. Knoester, Andres J. Ramirez, Philip K. McKinley, Betty H. C. Cheng
Evolution of robust data distribution among digital organisms. GECCO (2009)
Ji Zhang, Heather Goldsby, Betty H. C. Cheng
Modular verification of dynamically adaptive systems. AOSD (2009)
Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos
08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map. Software Engineering for Self-Adaptive Systems (2008)
Heather Goldsby, Betty H. C. Cheng
Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty. MoDELS (2008)
Andres J. Ramirez, Betty H. C. Cheng
Design patterns for monitoring adaptive ULS systems. ULSSIS@ICSE (2008)
Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos
08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems (2008)
Heather Goldsby, Betty H. C. Cheng
Avida-MDE: a digital evolution approach to generating models of adaptive software behavior. GECCO (2008)
Heather Goldsby, Peter Sawyer, Nelly Bencomo, Betty H. C. Cheng, Danny Hughes
Goal-Based Modeling of Dynamically Adaptive System Requirements. ECBS (2008)
Andres J. Ramirez, Betty H. C. Cheng
Verifying and Analyzing Adaptive Logic through UML State Models. ICST (2008)
Heather Goldsby, Betty H. C. Cheng, Philip K. McKinley, David B. Knoester, Charles Ofria
Digital Evolution of Behavioral Models for Autonomic Systems. ICAC (2008)
Philip K. McKinley, Betty H. C. Cheng, Charles Ofria, David B. Knoester, Benjamin E. Beckmann, Heather Goldsby
Harnessing Digital Evolution. Computer 41 (1) (2008)
Ji Zhang, Betty H. C. Cheng
Towards Re-engineering Legacy Systems for Assured Dynamic Adaptation. MiSE@ICSE (2007)

Betty H. C. Cheng.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Betty H. C. Cheng