Betty H. C. Cheng

According to our database, Betty H. C. Cheng authored at least 195 papers between 1990 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty.

Michael Austin Langford, Kenneth H. Chan, Jonathon Emil Fleck, Philip K. McKinley, Betty H. C. Cheng

Softw. Syst. Model., October, 2023

Expound: A Black-Box Approach for Generating Diversity-Driven Adversarial Examples.

Kenneth H. Chan, Betty H. C. Cheng

Proceedings of the Search-Based Software Engineering - 15th International Symposium, 2023

2022

The uncertainty interaction problem in self-adaptive systems.

Javier Cámara, Javier Troya, Antonio Vallecillo, Nelly Bencomo, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl

Softw. Syst. Model., 2022

EvoAttack: An Evolutionary Search-Based Adversarial Attack for Object Detection Models.

Kenneth H. Chan, Betty H. C. Cheng

Proceedings of the Search-Based Software Engineering - 14th International Symposium, 2022

Situational crime prevention for automotive cybersecurity.

Nick Polanco, Betty H. C. Cheng

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata.

Javier Cámara, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl, Javier Troya, Antonio Vallecillo

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

A Modular and Composable Approach to Develop Trusted Artificial Intelligence.

Michael Austin Langford, Betty H. C. Cheng

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2022

2021

Enki: A Diversity-driven Approach to Test and Train Robust Learning-enabled Systems.

Michael Austin Langford, Betty H. C. Cheng

ACM Trans. Auton. Adapt. Syst., 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 Softw., 2021

"Know What You Know": Predicting Behavior for Learning-Enabled Systems When Facing Uncertainty.

Michael Austin Langford, Betty H. C. Cheng

Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

Analysis and Monitoring of Cyber-Physical Systems via Environmental Domain Knowledge & Modeling.

Byron DeVries, Erik M. Fredericks, Betty H. C. Cheng

Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

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

Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021

2020

Providentia: Using search-based heuristics to optimize satisficement and competing concerns between functional and non-functional objectives in self-adaptive systems.

Kate M. Bowers, Erik M. Fredericks, Reihaneh H. Hariri, Betty H. C. Cheng

J. Syst. Softw., 2020

MAPE-K/MAPE-SAC: An interaction framework for adaptive systems with security assurance cases.

Sharmin Jahan, Ian Riley, Charles Walter, Rose F. Gamble, Matt Pasco, Philip K. McKinley, Betty H. C. Cheng

Future Gener. Comput. Syst., 2020

Toward model-driven sustainability evaluation.

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

Commun. ACM, 2020

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

Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Protecting Temporal Fingerprints with Synchronized Chaotic Circuits.

Fengyi Tang, Betty H. C. Cheng

Proceedings of the 53rd Hawaii International Conference on System Sciences, 2020

Measuring Confidence of Assurance Cases in Safety-Critical Domains.

Chung-Ling Lin, Wuwei Shen, Betty H. C. Cheng

Proceedings of the 53rd Hawaii International Conference on System Sciences, 2020

Ransomware Targeting Automobiles.

Pranshu Bajpai, Richard J. Enbody, Betty H. C. Cheng

Proceedings of the AutoSec@CODASPY '20: Proceedings of the Second ACM Workshop on Automotive and Aerial Vehicle Security, 2020

2019

MAPE-SAC: A Framework to Dynamically Manage Security Assurance Cases.

Sharmin Jahan, Matthew Pasco, Rose F. Gamble, Philip K. McKinley, Betty H. C. Cheng

Proceedings of the IEEE 4th International Workshops on Foundations and Applications of Self* Systems, 2019

Goal-Based Modeling and Analysis of Non-Functional Requirements.

Byron DeVries, Betty H. C. Cheng

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

Security Patterns for Automotive Systems.

Betty H. C. Cheng, Bradley Doherty, Nick Polanco, Matthew Pasco

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

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

Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

Towards the detection of partial feature interactions.

Byron DeVries, Betty H. C. Cheng

Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

A multidisciplinary approach to developing community-based research infrastructure.

Betty H. C. Cheng

Proceedings of the 2nd International Workshop on Establishing a Community-Wide Infrastructure for Architecture-Based Software Engineering, 2019

Enhancing Learning-Enabled Software Systems to Address Environmental Uncertainty.

Michael Austin Langford, Betty H. C. Cheng

Proceedings of the 2019 IEEE International Conference on Autonomic Computing, 2019

2018

Modeling for Sustainability (Dagstuhl Seminar 18351).

Gordon S. Blair, Betty H. C. Cheng, Lorenz M. Hilty, Richard F. Paige

Dagstuhl Reports, 2018

Dr. Robert B. France - contributions to model-driven engineering and software engineering education.

Peter J. Clarke, Betty H. C. Cheng

Comput. Sci. Educ., 2018

Automated Optimization of Weighted Non-functional Objectives in Self-adaptive Systems.

Kate M. Bowers, Erik M. Fredericks, Betty H. C. Cheng

Proceedings of the Search-Based Software Engineering - 10th International Symposium, 2018

Automatic Detection of Feature Interactions Using Symbolic Analysis and Evolutionary Computation.

Byron DeVries, Betty H. C. Cheng

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Measure confidence of assurance cases in safety-critical domains.

Chung-Ling Lin, Wuwei Shen, Steven Drager, Betty H. C. Cheng

Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018

Run-time monitoring of self-adaptive systems to detect N-way feature interactions and their causes.

Byron DeVries, Betty H. C. Cheng

Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018

2017

Automatic Detection of Incomplete Requirements Using Symbolic Analysis and Evolutionary Computation.

Byron DeVries, Betty H. C. Cheng

Proceedings of the Search Based Software Engineering - 9th International Symposium, 2017

Using Models at Run Time to Detect Incomplete and Inconsistent Requirements.

Byron DeVries, Betty H. C. Cheng

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

ReMoDD Eclipse Plug-in: Collaborative Modeling Using a Model Repository.

Mohammed Al-Refai, Andrew Jacobson, Sudipto Ghosh, James M. Bieman, Betty H. C. Cheng

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

User Experience for Model-Driven Engineering: Challenges and Future Directions.

Silvia Abrahão, Francis Bordeleau, Betty H. C. Cheng, Sahar Kokaly, Richard F. Paige, Harald Störrle, Jon Whittle

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

2016

An evolutionary approach to discovering execution mode boundaries for adaptive controllers.

Anthony J. Clark, Byron DeVries, Jared M. Moore, Betty H. C. Cheng, Philip K. McKinley

Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016

Automatic detection of incomplete requirements via symbolic analysis.

Byron DeVries, Betty H. C. Cheng

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

Modeling for sustainability.

Benoît Combemale, Betty H. C. Cheng, Ana Moreira, Jean-Michel Bruel, Jeffrey G. Gray

Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016

Addressing Assurance for Self-Adaptive Systems in the Face of Uncertainty.

Betty H. C. Cheng

Proceedings of the 2016 IEEE International Conference on Autonomic Computing, 2016

2015

A Review of Dr. Robert France's Contributions and Impact on Model-Driven Engineering and Software Engineering: Robert B. France (1960-2015).

Betty H. C. Cheng

ACM SIGSOFT Softw. Eng. Notes, 2015

UML Modeling for Visually-Impaired Persons.

Brad Doherty, Betty H. C. Cheng

Proceedings of the First International Workshop on Human Factors in Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

Automated Generation of Adaptive Test Plans for Self-Adaptive Systems.

Erik M. Fredericks, Betty H. C. Cheng

Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015

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

Proceedings of the 8th IEEE/ACM International Workshop on Search-Based Software Testing, 2015

An Approach to Mitigating Unwanted Interactions between Search Operators in Multi-Objective Optimization.

Chad Michael Byers, Betty H. C. Cheng

Proceedings of the Genetic and Evolutionary Computation Conference, 2015

Unwanted Feature Interactions Between the Problem and Search Operators in Evolutionary Multi-objective Optimization.

Chad M. Byers, Betty H. C. Cheng, Kalyanmoy Deb

Proceedings of the Evolutionary Multi-Criterion Optimization, 2015

2014

AutoRELAX: automatically RELAXing a goal model to address uncertainty.

Erik M. Fredericks, Byron DeVries, Betty H. C. Cheng

Empir. Softw. Eng., 2014

Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412).

Betty H. C. Cheng, Benoît Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe

Dagstuhl Reports, 2014

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, Benoît Combemale, Robert B. France, Rogardt Heldal, James H. Hill, Jörg Kienzle, Matthias Schöttle, Friedrich Steimann, Dave R. Stikkolorum, Jon Whittle

Proceedings of the Model-Driven Engineering Languages and Systems, 2014

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

Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014

Motivating Use Cases for the Globalization of DSLs.

Betty H. C. Cheng, Thomas Degueule, Colin Atkinson, Siobhán Clarke, Ulrich Frank, Pieter J. Mosterman, Janos Sztipanovits

Proceedings of the Globalizing Domain-Specific Languages, 2014

On the Globalization of Domain-Specific Languages.

Betty H. C. Cheng, Benoît Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe

Proceedings of the Globalizing Domain-Specific Languages, 2014

2013

Validating Code-Level Behavior of Dynamic Adaptive Systems in the Face of Uncertainty.

Erik M. Fredericks, Andres J. Ramirez, Betty H. C. Cheng

Proceedings of the Search Based Software Engineering - 5th International Symposium, 2013

Towards run-time testing of dynamic adaptive systems.

Erik M. Fredericks, Andres J. Ramirez, Betty H. C. Cheng

Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2013

Harnessing evolutionary computation to enable dynamically adaptive systems to manage uncertainty.

Betty H. C. Cheng, Andres J. Ramirez, Philip K. McKinley

Proceedings of the 1st International Workshop on Combining Modelling and Search-Based Software Engineering, 2013

Exploring automated software composition with genetic programming.

Erik M. Fredericks, Betty H. C. Cheng

Proceedings of the Genetic and Evolutionary Computation Conference, 2013

2012

Applying evolutionary computation to mitigate uncertainty in dynamically-adaptive, high-assurance middleware.

Philip K. McKinley, Betty H. C. Cheng, Andres J. Ramirez, Adam C. Jensen

J. Internet Serv. Appl., 2012

Automatically RELAXing a Goal Model to Cope with Uncertainty.

Andres J. Ramirez, Erik M. Fredericks, Adam C. Jensen, Betty H. C. Cheng

Proceedings of the Search Based Software Engineering - 4th International Symposium, 2012

Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time.

Andres J. Ramirez, Betty H. C. Cheng, Nelly Bencomo, Pete Sawyer

Proceedings of the Model Driven Engineering Languages and Systems, 2012

A taxonomy of uncertainty for dynamically adaptive systems.

Andres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng

Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2012

Repository for Model Driven Development (ReMoDD).

Robert B. France, James M. Bieman, Sai Pradeep Mandalaparty, Betty H. C. Cheng, Adam C. Jensen

Proceedings of the 34th International Conference on Software Engineering, 2012

Exploring the evolution of internal control structure using digital enzymes.

Chad M. Byers, Betty H. C. Cheng, Philip K. McKinley

Proceedings of the Genetic and Evolutionary Computation Conference, 2012

An ecology-based evolutionary algorithm to evolve solutions to complex problems.

Sherri Goings, Heather Goldsby, Betty H. C. Cheng, Charles Ofria

Proceedings of the Thirteenth International Conference on the Simulation and Synthesis of Living Systems, 2012

2011

[e-mail] (Dagstuhl Seminar 11481).

Uwe Aßmann, Nelly Bencomo, Betty H. C. Cheng, Robert B. France

Dagstuhl Reports, 2011

Plato: a genetic algorithm approach to run-time reconfiguration in autonomic computing systems.

Andres J. Ramirez, David B. Knoester, Betty H. C. Cheng, Philip K. McKinley

Clust. Comput., 2011

An Evolutionary Approach to Network Self-Organization and Resilient Data Diffusion.

Andres J. Ramirez, Betty H. C. Cheng, Philip K. McKinley

Proceedings of the 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2011

Automatic Derivation of Utility Functions for Monitoring Software Requirements.

Andres J. Ramirez, Betty H. C. Cheng

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Comparing Six Modeling Approaches.

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

Proceedings of the Models in Software Engineering, 2011

A Toolchain for the Detection of Structural and Behavioral Latent System Properties.

Adam C. Jensen, Betty H. C. Cheng, Heather Goldsby, Edward C. Nelson

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Summary of the 6th International Workshop on [e-mail].

Nelly Bencomo, Gordon S. Blair, Robert B. France, Betty H. C. Cheng, Cédric Jeanneret

Proceedings of the Models in Software Engineering, 2011

Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems.

Andres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng, David B. Knoester

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Digital enzymes: agents of reaction inside robotic controllers for the foraging problem.

Chad M. Byers, Betty H. C. Cheng, Philip K. McKinley

Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, 2011

Using Models at Runtime to Address Assurance for Self-Adaptive Systems.

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

Proceedings of the [e-mail] - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011

An aspect-oriented approach for implementing evolutionary computation applications.

Andres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng

Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010

RELAX: a language to address uncertainty in self-adaptive systems requirement.

Jon Whittle, Peter Sawyer, Nelly Bencomo, Betty H. C. Cheng, Jean-Michel Bruel

Requir. Eng., 2010

Adaptive monitoring of software requirements.

Andres J. Ramirez, Betty H. C. Cheng, Philip K. McKinley

Proceedings of the First International Workshop on [e-mail], 2010

Automatically Discovering Properties That Specify the Latent Behavior of UML Models.

Heather Goldsby, Betty H. C. Cheng

Proceedings of the Model Driven Engineering Languages and Systems, 2010

Design patterns for developing dynamically adaptive systems.

Andres J. Ramirez, Betty H. C. Cheng

Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2010

Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 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

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Automatically generating adaptive logic to balance non-functional tradeoffs during reconfiguration.

Andres J. Ramirez, Betty H. C. Cheng, Philip K. McKinley, Benjamin E. Beckmann

Proceedings of the 7th International Conference on Autonomic Computing, 2010

On the use of genetic programming for automated refactoring and the introduction of design patterns.

Adam C. Jensen, Betty H. C. Cheng

Proceedings of the Genetic and Evolutionary Computation Conference, 2010

2009

RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems.

Jon Whittle, Peter Sawyer, Nelly Bencomo, Betty H. C. Cheng, Jean-Michel Bruel

Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

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

Proceedings of the Model Driven Engineering Languages and Systems, 2009

SEAMS 2009: Software engineering for adaptive and self-managing systems.

Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor

Proceedings of the 31st International Conference on Software Engineering, 2009

Applying genetic algorithms to decision making in autonomic computing systems.

Andres J. Ramirez, David B. Knoester, Betty H. C. Cheng, Philip K. McKinley

Proceedings of the 6th International Conference on Autonomic Computing, 2009

Applying adaptation design patterns.

Andres J. Ramirez, Betty H. C. Cheng

Proceedings of the 6th International Conference on Autonomic Computing, 2009

Evolution of robust data distribution among digital organisms.

David B. Knoester, Andres J. Ramirez, Philip K. McKinley, Betty H. C. Cheng

Proceedings of the Genetic and Evolutionary Computation Conference, 2009

Software Engineering for Self-Adaptive Systems: A Research Roadmap.

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

Proceedings of the Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 2009

Modular verification of dynamically adaptive systems.

Ji Zhang, Heather Goldsby, Betty H. C. Cheng

Proceedings of the 8th International Conference on Aspect-Oriented Software Development, 2009

2008

Harnessing Digital Evolution.

Philip K. McKinley, Betty H. C. Cheng, Charles Ofria, David B. Knoester, Benjamin E. Beckmann, Heather Goldsby

Computer, 2008

Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty.

Heather Goldsby, Betty H. C. Cheng

Proceedings of the Model Driven Engineering Languages and Systems, 2008

Verifying and Analyzing Adaptive Logic through UML State Models.

Andres J. Ramirez, Betty H. C. Cheng

Proceedings of the First International Conference on Software Testing, 2008

Design patterns for monitoring adaptive ULS systems.

Andres J. Ramirez, Betty H. C. Cheng

Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems, 2008

Digital Evolution of Behavioral Models for Autonomic Systems.

Heather Goldsby, Betty H. C. Cheng, Philip K. McKinley, David B. Knoester, Charles Ofria

Proceedings of the 2008 International Conference on Autonomic Computing, 2008

Avida-MDE: a digital evolution approach to generating models of adaptive software behavior.

Heather Goldsby, Betty H. C. Cheng

Proceedings of the Genetic and Evolutionary Computation Conference, 2008

Goal-Based Modeling of Dynamically Adaptive System Requirements.

Heather Goldsby, Peter Sawyer, Nelly Bencomo, Betty H. C. Cheng, Danny Hughes

Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March, 2008

08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems.

Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos

Proceedings of the Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008, 2008

08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map.

Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos

Proceedings of the Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008, 2008

2007

Specifying real-time properties in autonomic systems.

Ji Zhang, Zhinan Zhou, Betty H. C. Cheng, Philip K. McKinley

Innov. Syst. Softw. Eng., 2007

i²MAP : An Incremental and Iterative Modeling and Analysis Process.

Sascha Konrad, Heather Goldsby, Betty H. C. Cheng

Proceedings of the Model Driven Engineering Languages and Systems, 2007

AMOEBA-RT: Run-Time Verification of Adaptive Software.

Heather Goldsby, Betty H. C. Cheng, Ji Zhang

Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

Towards Re-engineering Legacy Systems for Assured Dynamic Adaptation.

Ji Zhang, Betty H. C. Cheng

Proceedings of the International Workshop on Modeling in Software Engineering, 2007

Digitally Evolving Models for Dynamically Adaptive Systems.

Heather Goldsby, David B. Knoester, Betty H. C. Cheng, Philip K. McKinley, Charles Ofria

Proceedings of the 2007 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2007

SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems.

Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor

Proceedings of the 2007 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2007

Research Directions in Requirements Engineering.

Betty H. C. Cheng, Joanne M. Atlee

Proceedings of the International Conference on Software Engineering, 2007

Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements.

Heather Goldsby, Sascha Konrad, Betty H. C. Cheng

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML.

Ali Ebnenasir, Betty H. C. Cheng

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

2006

Using temporal logic to specify adaptive program semantics.

Ji Zhang, Betty H. C. Cheng

J. Syst. Softw., 2006

Goal-Oriented Modeling of Requirements Engineering for Dynamically Adaptive System.

Heather Goldsby, Betty H. C. Cheng

Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance.

Ali Ebnenasir, Betty H. C. Cheng, Sascha Konrad

Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems.

Heather Goldsby, Betty H. C. Cheng, Sascha Konrad, Stephane Kamdoum

Proceedings of the Model Driven Engineering Languages and Systems, 2006

Repository for Model Driven Development (ReMoDD).

Robert B. France, James M. Bieman, Betty H. C. Cheng

Proceedings of the Models in Software Engineering, 2006

Model-based development of dynamically adaptive software.

Ji Zhang, Betty H. C. Cheng

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

A Pattern-Based Approach for Modeling and Analyzing Error Recovery.

Ali Ebnenasir, Betty H. C. Cheng

Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006

Software engineering for adaptive and self-managing systems.

Betty H. C. Cheng, David Garlan, Rogério de Lemos, Jeff Magee, Richard Taylor, Stephen Fickas, Hausi A. Müller

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Goal-oriented specification of adaptation requirements engineering in adaptive systems.

Greg Brown, Betty H. C. Cheng, Heather Goldsby, Ji Zhang

Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, 2006

2005

Specifying adaptation semantics.

Ji Zhang, Betty H. C. Cheng

ACM SIGSOFT Softw. Eng. Notes, 2005

Transparent shaping of existing software to support pervasive and autonomic computing.

Seyed Masoud Sadjadi, Philip K. McKinley, Betty H. C. Cheng

ACM SIGSOFT Softw. Eng. Notes, 2005

An approach to implementing dynamic adaptation in C++.

Scott D. Fleming, Betty H. C. Cheng, R. E. Kurt Stirewalt, Philip K. McKinley

ACM SIGSOFT Softw. Eng. Notes, 2005

Retrieval by Construction: a Traceability Technique to Support Verification and Validation of Uml Formalizations.

Min Deng, R. E. Kurt Stirewalt, Betty H. C. Cheng

Int. J. Softw. Eng. Knowl. Eng., 2005

Automated Analysis of Natural Language Properties for UML Models.

Sascha Konrad, Betty H. C. Cheng

Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

Lessons Learned from Automated Analysis of Industrial UML Class Models (An Experience Report).

Betty H. C. Cheng, Ryan Stephenson, Brian Berenbach

Proceedings of the Model Driven Engineering Languages and Systems, 2005

Facilitating the Construction of Specification Pattern-based Properties.

Sascha Konrad, Betty H. C. Cheng

Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

UML formalization is a traceability problem.

R. E. Kurt Stirewalt, Min Deng, Betty H. C. Cheng

Proceedings of the 3rd International Workshop on Traceability in Emerging Forms of Software Engineering, 2005

Real-time specification patterns.

Sascha Konrad, Betty H. C. Cheng

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

2004

Object Analysis Patterns for Embedded Systems.

Sascha Konrad, Betty H. C. Cheng, Laura A. Campbell

IEEE Trans. Software Eng., 2004

Composing Adaptive Software.

Philip K. McKinley, Seyed Masoud Sadjadi, Eric P. Kasten, Betty H. C. Cheng

Computer, 2004

Resource-based approach to feature interaction in adaptive software.

Jesus Bisbal, Betty H. C. Cheng

Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, 2004

Enabling collaborative adaptation across legacy components.

Zhenxiao Yang, Zhinan Zhou, Betty H. C. Cheng, Philip K. McKinley

Proceedings of the 3rd Workshop on Adaptive and Reflective Middleware, 2004

Automated Analysis of Timing Information in UML Diagrams.

Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Enabling Safe Dynamic Component-Based Software Adaptation.

Ji Zhang, Betty H. C. Cheng, Zhenxiao Yang, Philip K. McKinley

Proceedings of the Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops], 2004

Generation of Self-Optimizing Wireless Network Applications.

Seyed Masoud Sadjadi, Philip K. McKinley, R. E. Kurt Stirewalt, Betty H. C. Cheng

Proceedings of the 1st International Conference on Autonomic Computing (ICAC 2004), 2004

TRAP/J: Transparent Generation of Adaptable Java Programs.

Seyed Masoud Sadjadi, Philip K. McKinley, Betty H. C. Cheng, R. E. Kurt Stirewalt

Proceedings of the On the Move to Meaningful Internet Systems 2004: CoopIS, 2004

2003

A Requirements Patterns-Driven Approach to Specify Systems and Check Properties.

Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng, Min Deng

Proceedings of the Model Checking Software, 2003

2002

Formalizing and Integrating the Dynamic Model for Object-Oriented Modeling.

Betty H. C. Cheng, Enoch Y. Wang

IEEE Trans. Software Eng., 2002

Automatically Detecting and Visualising Errors in UML Diagrams.

Laura A. Campbell, Betty H. C. Cheng, William E. McUmber, Kurt Stirewalt

Requir. Eng., 2002

Education: Interactive Distributed Applications and the Computer Science Curriculum.

Philip K. McKinley, Kurt Stirewalt, Betty H. C. Cheng, Laura K. Dillon, Sandeep S. Kulkarni

IEEE Distributed Syst. Online, 2002

An aspect-oriented approach to dynamic adaptation.

Zhenxiao Yang, Betty H. C. Cheng, R. E. Kurt Stirewalt, J. Sowell, Seyed Masoud Sadjadi, Philip K. McKinley

Proceedings of the First Workshop on Self-Healing Systems, 2002

Requirements Patterns for Embedded Systems.

Sascha Konrad, Betty H. C. Cheng

Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 2002

2001

Developing and Maintaining an Object-Oriented Distributed Multimedia Information System.

Betty H. C. Cheng, Gerald C. Gannod

Ann. Softw. Eng., 2001

Integrating Informal and Formal Approaches to Requirements Modeling and Analysis.

Betty H. C. Cheng, Laura A. Campbell

Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

A Suite of Tools for Facilitating Reverse Engineering Using Formal Methods.

Gerald C. Gannod, Betty H. C. Cheng

Proceedings of the 9th International Workshop on Program Comprehension (IWPC 2001), 2001

A General Framework for Formalizing UML with Formal Languages.

William E. McUmber, Betty H. C. Cheng

Proceedings of the 23rd International Conference on Software Engineering, 2001

A Metamodel-Based Approach to Formalizing UML.

Betty H. C. Cheng

Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

2000

Guest Editors' Introduction: Requirements Engineering - Integrating Technology.

Betty H. C. Cheng, David M. Weiss

IEEE Softw., 2000

Integrating object-oriented analysis and formal specifications.

Betty H. C. Cheng

ACM SIGSOFT Softw. Eng. Notes, 2000

Formalizing the Functional Model within Object-Oriented Design.

Enoch Y. Wang, Betty H. C. Cheng

Int. J. Softw. Eng. Knowl. Eng., 2000

Object-Oriented Modeling and Automated Analysis of a Telemedicine Application.

Laura A. Campbell, Betty H. C. Cheng

Proceedings of the 10th International Workshop on Software Specification and Design, 2000

Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams.

Betty H. C. Cheng, Laura A. Campbell, Enoch Y. Wang

Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

1999

A Formal Approach for Reverse Engineering: A Case Study.

Gerald C. Gannod, Betty H. C. Cheng

Proceedings of the Sixth Working Conference on Reverse Engineering, 1999

A Framework for Classifying and Comparing Software Reverse Engineering and Design Recovery Techniques.

Gerald C. Gannod, Betty H. C. Cheng

Proceedings of the Sixth Working Conference on Reverse Engineering, 1999

Moving industry-guided multimedia technology into the classroom.

Philip K. McKinley, Betty H. C. Cheng, John (Juyang) Weng

Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999

A Specification Matching Based Approach to Reverse Engineering.

Gerald C. Gannod, Betty H. C. Cheng

Proceedings of the 1999 International Conference on Software Engineering, 1999

UML-Based Analysis of Embedded Systems Using a Mapping to VHDL.

William E. McUmber, Betty H. C. Cheng

Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

1998

A Discussion About Integrated Techniques.

Betty H. C. Cheng

Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

PACKRAT: A Software Reengineering Case Study.

Gerald C. Gannod, Gora Sudindranath, Mark Fagnani, Betty H. C. Cheng

Proceedings of the 5th Working Conference on Reverse Engineering, 1998

An Automated Approach for Supporting Software Reuse via Reverse Engineering.

Gerald C. Gannod, Yonghao Chen, Betty H. C. Cheng

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

1997

Reusing Analogous Components.

Betty H. C. Cheng, Jun-Jang Jeng

IEEE Trans. Knowl. Data Eng., 1997

Path-Based Multicast Communication in Wormhole-Routed Unidirectional Torus Networks.

David F. Robinson, Philip K. McKinley, Betty H. C. Cheng

J. Parallel Distributed Comput., 1997

A Formal Automated Approach for Reverse Engineering Programs with Pointers.

Gerald C. Gannod, Betty H. C. Cheng

Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

Facilitating an Automated Approach to Architecture-based Software Reuse.

Yonghao Chen, Betty H. C. Cheng

Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

Formalizing and Automating Component Reuse.

Yonghao Chen, Betty H. C. Cheng

Proceedings of the 9th International Conference on Tools with Artificial Intelligence, 1997

Formalizing and Integrating the Dynamic Model within OMT.

Enoch Y. Wang, Heather A. Richter, Betty H. C. Cheng

Proceedings of the Pulling Together, 1997

1996

Correspondence: Response to Botting's Comments.

Robert H. Bourdeau, Betty H. C. Cheng

IEEE Trans. Software Eng., 1996

Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering.

Gerald C. Gannod, Betty H. C. Cheng

Autom. Softw. Eng., 1996

Using Informal and Formal Techniques for the Reverse Engineering of C Programs.

Gerald C. Gannod, Betty H. C. Cheng

Proceedings of the 3rd Working Conference on Reverse Engineering, 1996

Where and How do Formal Methods Fit in Requirements Engineering?.

Betty H. C. Cheng

Proceedings of the 2nd International Conference on Requirements Engineering, 1996

1995

A Formal Semantics for Object Model Diagrams.

Robert H. Bourdeau, Betty H. C. Cheng

IEEE Trans. Software Eng., 1995

Optimal Multicast Communication in Wormhole-Routed Torus Networks.

David F. Robinson, Philip K. McKinley, Betty H. C. Cheng

IEEE Trans. Parallel Distributed Syst., 1995

Contention-Free 2D-Mesh Cluster Allocation in Hypercubes.

Stephen W. Turner, Lionel M. Ni, Betty H. C. Cheng

IEEE Trans. Computers, 1995

Efficient Multicast in All-Port Wormhole-Routed Hypercubes.

David F. Robinson, Dan Judd, Philip K. McKinley, Betty H. C. Cheng

J. Parallel Distributed Comput., 1995

Specification Matching for Software Reuse: A Foundation.

Jun-Jang Jeng, Betty H. C. Cheng

Proceedings of the ACM SIGSOFT Symposium on Software Reusability, 1995

A visualization-based environment for top-down debugging of parallel programs.

Joseph L. Sharnowski, Betty H. C. Cheng

Proceedings of IPPS '95, 1995

A Distributed, Multimedia Environmental Information System.

Joseph L. Sharnowski, Gerald C. Gannod, Betty H. C. Cheng

Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1995

1994

Facilitating the Maintenance of Safety-Critical Systems.

Gerald C. Gannod, Betty H. C. Cheng

Int. J. Softw. Eng. Knowl. Eng., 1994

The object-oriented development of a distributed multimedia environmental information system.

Betty H. C. Cheng, Robert H. Bourdeau, Gerald C. Gannod

Proceedings of the SEKE'94, 1994

Time and/or space sharing in a workstation cluster environment.

Stephen W. Turner, Lionel M. Ni, Betty H. C. Cheng

Proceedings of the Proceedings Supercomputing '94, 1994

A Formal Approach to Modeling Expected Behavior in Parallel Program Visualizations.

Joseph L. Sharnowski, Betty H. C. Cheng

Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994

A Formal Approach to Reusing More General Components.

Jun-Jang Jeng, Betty H. C. Cheng

Proceedings of the Proceedings KBSE'94, 1994

A Graphical Environment for Formally Developing Object-Oriented Software.

Betty H. C. Cheng, Enoch Y. Wang, Robert H. Bourdeau

Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994

Generalizing the Unimodular Approach.

D. R. Chesney, Betty H. C. Cheng

Proceedings of the Proceedings 1994 International Conference on Parallel and Distributed Systems, 1994

1993

Data Parallel Program Visualizations from Formal Specifications.

Mark Vincent LaPolla, Joseph L. Sharnowski, Betty H. C. Cheng, Kevin Anderson

J. Parallel Distributed Comput., 1993

An Integrated Development Environment for Formal Specifications.

Michael R. Laux, Robert H. Bourdeau, Betty H. C. Cheng

Proceedings of the SEKE'93, 1993

Efficient collective data distribution in all-port wormhole-routed hypercubes.

David F. Robinson, Dan Judd, Philip K. McKinley, Betty H. C. Cheng

Proceedings of the Proceedings Supercomputing '93, 1993

Using Analogy and Formal Methods for Software Reuse.

Jun-Jang Jeng, Betty H. C. Cheng

Proceedings of the Fifth International Conference on Tools with Artificial Intelligence, 1993

Using Formal Methods to Construct a Software Component Library.

Jun-Jang Jeng, Betty H. C. Cheng

Proceedings of the Software Engineering, 1993

A Two-Phase Approach to Reverse Engineering Using Formal Methods.

Gerald C. Gannod, Betty H. C. Cheng

Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993

A temporal model for transparent monitoring of shared-memory multiprocessors.

David F. Robinson, Betty H. C. Cheng

Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993

1992

Using Automated Reasoning Techniques to Determine Software Reuse.

Jun-Jang Jeng, Betty H. C. Cheng

Int. J. Softw. Eng. Knowl. Eng., 1992

Are formal methods useful for software development?

Horst F. Wedde, Betty H. C. Cheng, David Gries, N. Shankar, Kwei-Jay Lin, Mark A. Ardis

Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992

A transparent monitoring tool for shared-memory multiprocessors.

David F. Robinson, Betty H. C. Cheng, Richard J. Enbody

Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992

An object-oriented toolkit for constructing specification editors.

Robert H. Bourdeau, Betty H. C. Cheng

Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992

1991

Abstraction of formal specifications from program code.

Betty H. C. Cheng, Gerald C. Gannod

Proceedings of the Third International Conference on Tools for Artificial Intelligence, 1991

Synthesizing procedural abstractions from formal specifications.

Betty H. C. Cheng

Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991

1990

Synthesis of procedural and data abstractions

Betty H. C. Cheng

PhD thesis, 1990