Betty H. C. Cheng
Orcid: 0000-0001-9825-5359Affiliations:
- Michigan State University, East Lansing, MI, USA
According to our database1,
Betty H. C. Cheng
authored at least 201 papers
between 1990 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on cse.msu.edu
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2025
Evoattack: suppressive adversarial attacks against object detection models using evolutionary search.
Autom. Softw. Eng., June, 2025
2024
ACM Trans. Auton. Adapt. Syst., September, 2024
SafeDriveRL: Combining Non-cooperative Game Theory with Reinforcement Learning to Explore and Mitigate Human-based Uncertainty for Autonomous Vehicles.
Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2024
Socio-technical Automotive Security Design Patterns: Applying a Stakeholder-Based Approach to Securing Self-Driving Vehicles.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024
Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2024, 2024
2023
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty.
Softw. Syst. Model., October, 2023
Proceedings of the Search-Based Software Engineering - 15th International Symposium, 2023
2022
Softw. Syst. Model., 2022
EvoAttack: An Evolutionary Search-Based Adversarial Attack for Object Detection Models.
Proceedings of the Search-Based Software Engineering - 14th International Symposium, 2022
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.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2022
2021
ACM Trans. Auton. Adapt. Syst., 2021
IEEE Softw., 2021
"Know What You Know": Predicting Behavior for Learning-Enabled Systems When Facing Uncertainty.
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.
Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021
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.
J. Syst. Softw., 2020
MAPE-K/MAPE-SAC: An interaction framework for adaptive systems with security assurance cases.
Future Gener. Comput. Syst., 2020
Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
Proceedings of the 53rd Hawaii International Conference on System Sciences, 2020
Proceedings of the 53rd Hawaii International Conference on System Sciences, 2020
Proceedings of the AutoSec@CODASPY '20: Proceedings of the Second ACM Workshop on Automotive and Aerial Vehicle Security, 2020
2019
Proceedings of the IEEE 4th International Workshops on Foundations and Applications of Self* Systems, 2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019
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.
Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019
Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019
Proceedings of the 2nd International Workshop on Establishing a Community-Wide Infrastructure for Architecture-Based Software Engineering, 2019
Proceedings of the 2019 IEEE International Conference on Autonomic Computing, 2019
2018
Dr. Robert B. France - contributions to model-driven engineering and software engineering education.
Comput. Sci. Educ., 2018
Automated Optimization of Weighted Non-functional Objectives in Self-adaptive Systems.
Proceedings of the Search-Based Software Engineering - 10th International Symposium, 2018
Automatic Detection of Feature Interactions Using Symbolic Analysis and Evolutionary Computation.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018
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.
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.
Proceedings of the Search Based Software Engineering - 9th International Symposium, 2017
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017
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.
Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016
Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016
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).
ACM SIGSOFT Softw. Eng. Notes, 2015
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
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.
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.
Proceedings of the Genetic and Evolutionary Computation Conference, 2015
Unwanted Feature Interactions Between the Problem and Search Operators in Evolutionary Multi-objective Optimization.
Proceedings of the Evolutionary Multi-Criterion Optimization, 2015
2014
Empir. Softw. Eng., 2014
Dagstuhl Reports, 2014
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.
Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014
Proceedings of the Globalizing Domain-Specific Languages, 2014
Proceedings of the Globalizing Domain-Specific Languages, 2014
2013
Validating Code-Level Behavior of Dynamic Adaptive Systems in the Face of Uncertainty.
Proceedings of the Search Based Software Engineering - 5th International Symposium, 2013
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.
Proceedings of the 1st International Workshop on Combining Modelling and Search-Based Software Engineering, 2013
Proceedings of the Genetic and Evolutionary Computation Conference, 2013
2012
Applying evolutionary computation to mitigate uncertainty in dynamically-adaptive, high-assurance middleware.
J. Internet Serv. Appl., 2012
Proceedings of the Search Based Software Engineering - 4th International Symposium, 2012
Proceedings of the Model Driven Engineering Languages and Systems, 2012
Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2012
Proceedings of the 34th International Conference on Software Engineering, 2012
Proceedings of the Genetic and Evolutionary Computation Conference, 2012
Proceedings of the Thirteenth International Conference on the Simulation and Synthesis of Living Systems, 2012
2011
Plato: a genetic algorithm approach to run-time reconfiguration in autonomic computing systems.
Clust. Comput., 2011
Proceedings of the 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2011
Proceedings of the Model Driven Engineering Languages and Systems, 2011
Proceedings of the Models in Software Engineering, 2011
Proceedings of the Model Driven Engineering Languages and Systems, 2011
Proceedings of the Models in Software Engineering, 2011
Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems.
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.
Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, 2011
Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011
Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011
2010
Requir. Eng., 2010
Proceedings of the First International Workshop on Requirements@Run.Time, 2010
Proceedings of the Model Driven Engineering Languages and Systems, 2010
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).
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010
Automatically generating adaptive logic to balance non-functional tradeoffs during reconfiguration.
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.
Proceedings of the Genetic and Evolutionary Computation Conference, 2010
2009
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.
Proceedings of the Model Driven Engineering Languages and Systems, 2009
Proceedings of the 31st International Conference on Software Engineering, 2009
Proceedings of the 6th International Conference on Autonomic Computing, 2009
Proceedings of the 6th International Conference on Autonomic Computing, 2009
Proceedings of the Genetic and Evolutionary Computation Conference, 2009
Proceedings of the Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 2009
Proceedings of the 8th International Conference on Aspect-Oriented Software Development, 2009
2008
Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty.
Proceedings of the Model Driven Engineering Languages and Systems, 2008
Proceedings of the First International Conference on Software Testing, 2008
Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems, 2008
Proceedings of the 2008 International Conference on Autonomic Computing, 2008
Avida-MDE: a digital evolution approach to generating models of adaptive software behavior.
Proceedings of the Genetic and Evolutionary Computation Conference, 2008
Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March, 2008
Proceedings of the Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008, 2008
Proceedings of the Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008, 2008
2007
Proceedings of the Model Driven Engineering Languages and Systems, 2007
Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007
Proceedings of the International Workshop on Modeling in Software Engineering, 2007
Proceedings of the 2007 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2007
Proceedings of the 2007 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2007
Proceedings of the International Conference on Software Engineering, 2007
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007
2006
Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006
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.
Proceedings of the Model Driven Engineering Languages and Systems, 2006
Proceedings of the Models in Software Engineering, 2006
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006
Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006
Goal-oriented specification of adaptation requirements engineering in adaptive systems.
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, 2006
2005
Transparent shaping of existing software to support pervasive and autonomic computing.
ACM SIGSOFT Softw. Eng. Notes, 2005
ACM SIGSOFT Softw. Eng. Notes, 2005
Retrieval by Construction: a Traceability Technique to Support Verification and Validation of Uml Formalizations.
Int. J. Softw. Eng. Knowl. Eng., 2005
Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005
Lessons Learned from Automated Analysis of Industrial UML Class Models (An Experience Report).
Proceedings of the Model Driven Engineering Languages and Systems, 2005
Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005
Proceedings of the 3rd International Workshop on Traceability in Emerging Forms of Software Engineering, 2005
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005
2004
Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, 2004
Proceedings of the 3rd Workshop on Adaptive and Reflective Middleware, 2004
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004
Proceedings of the Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops], 2004
Proceedings of the 1st International Conference on Autonomic Computing (ICAC 2004), 2004
Proceedings of the On the Move to Meaningful Internet Systems 2004: CoopIS, 2004
2003
Proceedings of the Model Checking Software, 2003
2002
IEEE Trans. Software Eng., 2002
Education: Interactive Distributed Applications and the Computer Science Curriculum.
IEEE Distributed Syst. Online, 2002
Proceedings of the First Workshop on Self-Healing Systems, 2002
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.
Ann. Softw. Eng., 2001
Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001
Proceedings of the 9th International Workshop on Program Comprehension (IWPC 2001), 2001
Proceedings of the 23rd International Conference on Software Engineering, 2001
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001
2000
IEEE Softw., 2000
ACM SIGSOFT Softw. Eng. Notes, 2000
Int. J. Softw. Eng. Knowl. Eng., 2000
Proceedings of the 10th International Workshop on Software Specification and Design, 2000
Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams.
Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000
1999
Proceedings of the Sixth Working Conference on Reverse Engineering, 1999
A Framework for Classifying and Comparing Software Reverse Engineering and Design Recovery Techniques.
Proceedings of the Sixth Working Conference on Reverse Engineering, 1999
Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999
Proceedings of the 1999 International Conference on Software Engineering, 1999
Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999
1998
Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998
Proceedings of the 5th Working Conference on Reverse Engineering, 1998
Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998
1997
J. Parallel Distributed Comput., 1997
Proceedings of the 1997 International Conference on Automated Software Engineering, 1997
Proceedings of the 1997 International Conference on Automated Software Engineering, 1997
Proceedings of the 9th International Conference on Tools with Artificial Intelligence, 1997
Proceedings of the Pulling Together, 1997
1996
Autom. Softw. Eng., 1996
Proceedings of the 3rd Working Conference on Reverse Engineering, 1996
Proceedings of the 2nd International Conference on Requirements Engineering, 1996
1995
IEEE Trans. Parallel Distributed Syst., 1995
IEEE Trans. Computers, 1995
J. Parallel Distributed Comput., 1995
Proceedings of the ACM SIGSOFT Symposium on Software Reusability, 1995
Proceedings of IPPS '95, 1995
Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1995
1994
Int. J. Softw. Eng. Knowl. Eng., 1994
The object-oriented development of a distributed multimedia environmental information system.
Proceedings of the SEKE'94, 1994
Proceedings of the Proceedings Supercomputing '94, 1994
Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994
Proceedings of the Proceedings KBSE'94, 1994
Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994
Proceedings of the Proceedings 1994 International Conference on Parallel and Distributed Systems, 1994
1993
J. Parallel Distributed Comput., 1993
An Integrated Development Environment for Formal Specifications.
Proceedings of the SEKE'93, 1993
Proceedings of the Proceedings Supercomputing '93, 1993
Proceedings of the Fifth International Conference on Tools with Artificial Intelligence, 1993
Proceedings of the Software Engineering, 1993
Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993
Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993
1992
Int. J. Softw. Eng. Knowl. Eng., 1992
Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992
Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992
Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992
1991
Proceedings of the Third International Conference on Tools for Artificial Intelligence, 1991
Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991
1990