Betty H. C. Cheng

220 papers A* 13A 39B 19C 4Journal 47Unranked 91

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	SavviDriver: model-based framework for game-based testing of autonomous vehicles in diverse multi-agent traffic scenarios. Softw. Syst. Model. Kenneth H. Chan, Sol Zilberman, Betty H. C. Cheng
2025	J	`jnl`	Evoattack: suppressive adversarial attacks against object detection models using evolutionary search. Autom. Softw. Eng. Kenneth H. Chan, Betty H. C. Cheng
2025	—	`conf`	On the Challenges of Integrating Digital Twins. MODELS-C Benoît Combemale, Jörg Kienzle, Gunter Mussbacher, Pascal Archambault, Jean-Michel Bruel, Lola Burgueño, Betty H. C. Cheng, Loek Cleophas, Gregor Engels, Damien Foures, Stefan Klikovits, Vinay Kulkarni, Judith Michael, Sébastien Mosser, Houari A. Sahraoui, Eugene Syriani, Andreas Wortmann
2025	—	`conf`	PRoBIFy: Formal-based Probabilistic Behavior Modeling for Verification of Autonomous Vehicles. MODELS-C Sol Zilberman, Betty H. C. Cheng
2024	—	`conf`	"No Free Lunch" when using Large Language Models to Verify Self-Generated Programs. ICSTW Sol Zilberman, Betty H. C. Cheng
2024	J	`jnl`	Abstraction Engineering. CoRR Nelly Bencomo, Jordi Cabot, Marsha Chechik, Betty H. C. Cheng, Benoît Combemale, Andrzej Wasowski, Steffen Zschaler
2024	J	`jnl`	Anunnaki: A Modular Framework for Developing Trusted Artificial Intelligence. ACM Trans. Auton. Adapt. Syst. Michael Austin Langford, Sol Zilberman, Betty H. C. Cheng
2024	—	`conf`	SafeDriveRL: Combining Non-cooperative Game Theory with Reinforcement Learning to Explore and Mitigate Human-based Uncertainty for Autonomous Vehicles. SEAMS@ICSE Kenneth H. Chan, Sol Zilberman, Nick Polanco, Joshua E. Siegel, Betty H. C. Cheng
2024	—	`conf`	Socio-technical Automotive Security Design Patterns: Applying a Stakeholder-Based Approach to Securing Self-Driving Vehicles. MoDELS (Companion) Nick Polanco, Betty H. C. Cheng
2024	—	`conf`	Worst Case Assurance Guarantees for Black-Box Perimeter Defense Policies. GameSec (2) Richard L. Frost, Betty H. C. Cheng, Shaunak D. Bopardikar
2023	B	`conf`	Expound: A Black-Box Approach for Generating Diversity-Driven Adversarial Examples. SSBSE Kenneth H. Chan, Betty H. C. Cheng
2023	J	`jnl`	MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty. Softw. Syst. Model. Michael Austin Langford, Kenneth H. Chan, Jonathon Emil Fleck, Philip K. McKinley, Betty H. C. Cheng
2022	—	`conf`	A Modular and Composable Approach to Develop Trusted Artificial Intelligence. ACSOS Michael Austin Langford, Betty H. C. Cheng
2022	A	`conf`	Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata. MoDELS Javier Cámara, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl, Javier Troya, Antonio Vallecillo
2022	B	`conf`	EvoAttack: An Evolutionary Search-Based Adversarial Attack for Object Detection Models. SSBSE Kenneth H. Chan, Betty H. C. Cheng
2022	—	`conf`	Situational crime prevention for automotive cybersecurity. MoDELS (Companion) Nick Polanco, Betty H. C. Cheng
2022	J	`jnl`	The uncertainty interaction problem in self-adaptive systems. Softw. Syst. Model. Javier Cámara, Javier Troya, Antonio Vallecillo, Nelly Bencomo, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl
2021	—	`conf`	"Know What You Know": Predicting Behavior for Learning-Enabled Systems When Facing Uncertainty. SEAMS@ICSE Michael Austin Langford, Betty H. C. Cheng
2021	J	`jnl`	A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems. IEEE Softw. 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
2021	—	`conf`	Analysis and Monitoring of Cyber-Physical Systems via Environmental Domain Knowledge & Modeling. SEAMS@ICSE Byron DeVries, Erik M. Fredericks, Betty H. C. Cheng
2021	J	`jnl`	Enki: A Diversity-driven Approach to Test and Train Robust Learning-enabled Systems. ACM Trans. Auton. Adapt. Syst. Michael Austin Langford, Betty H. C. Cheng
2021	A	`conf`	MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous Systems. MoDELS Michael Austin Langford, Kenneth H. Chan, Jonathon Emil Fleck, Philip K. McKinley, Betty H. C. Cheng
2020	A	`conf`	AC-ROS: assurance case driven adaptation for the robot operating system. MoDELS Betty H. C. Cheng, Robert Jared Clark, Jonathon Emil Fleck, Michael Austin Langford, Philip K. McKinley
2020	J	`jnl`	MAPE-K/MAPE-SAC: An interaction framework for adaptive systems with security assurance cases. Future Gener. Comput. Syst. Sharmin Jahan, Ian Riley, Charles Walter, Rose F. Gamble, Matt Pasco, Philip K. McKinley, Betty H. C. Cheng
2020	—	`conf`	Measuring Confidence of Assurance Cases in Safety-Critical Domains. HICSS Chung-Ling Lin, Wuwei Shen, Betty H. C. Cheng
2020	—	`conf`	Protecting Temporal Fingerprints with Synchronized Chaotic Circuits. HICSS Fengyi Tang, Betty H. C. Cheng
2020	J	`jnl`	Providentia: Using search-based heuristics to optimize satisficement and competing concerns between functional and non-functional objectives in self-adaptive systems. J. Syst. Softw. Kate M. Bowers, Erik M. Fredericks, Reihaneh H. Hariri, Betty H. C. Cheng
2020	—	`conf`	Ransomware Targeting Automobiles. AutoSec@CODASPY Pranshu Bajpai, Richard J. Enbody, Betty H. C. Cheng
2020	J	`jnl`	Toward model-driven sustainability evaluation. Commun. ACM 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
2019	—	`conf`	A multidisciplinary approach to developing community-based research infrastructure. ECASE@ICSE Betty H. C. Cheng
2019	—	`conf`	Applying evolution and novelty search to enhance the resilience of autonomous systems. SEAMS@ICSE Michael Austin Langford, Glen A. Simon, Philip K. McKinley, Betty H. C. Cheng
2019	—	`conf`	Enhancing Learning-Enabled Software Systems to Address Environmental Uncertainty. ICAC Michael Austin Langford, Betty H. C. Cheng
2019	A	`conf`	Goal-Based Modeling and Analysis of Non-Functional Requirements. MoDELS Byron DeVries, Betty H. C. Cheng
2019	—	`conf`	MAPE-SAC: A Framework to Dynamically Manage Security Assurance Cases. FAS*W@SASO/ICAC Sharmin Jahan, Matthew Pasco, Rose F. Gamble, Philip K. McKinley, Betty H. C. Cheng
2019	—	`conf`	Security Patterns for Automotive Systems. MoDELS (Companion) Betty H. C. Cheng, Bradley Doherty, Nick Polanco, Matthew Pasco
2019	—	`conf`	Towards the detection of partial feature interactions. SEAMS@ICSE Byron DeVries, Betty H. C. Cheng
2018	B	`conf`	Automated Optimization of Weighted Non-functional Objectives in Self-adaptive Systems. SSBSE Kate M. Bowers, Erik M. Fredericks, Betty H. C. Cheng
2018	C	`conf`	Automatic Detection of Feature Interactions Using Symbolic Analysis and Evolutionary Computation. QRS Byron DeVries, Betty H. C. Cheng
2018	J	`jnl`	Dr. Robert B. France - contributions to model-driven engineering and software engineering education. Comput. Sci. Educ. Peter J. Clarke, Betty H. C. Cheng
2018	—	`conf`	Measure confidence of assurance cases in safety-critical domains. ICSE (NIER) Chung-Ling Lin, Wuwei Shen, Steven Drager, Betty H. C. Cheng
2018	J	`jnl`	Modeling for Sustainability (Dagstuhl Seminar 18351). Dagstuhl Reports Gordon S. Blair, Betty H. C. Cheng, Lorenz M. Hilty, Richard F. Paige
2018	—	`conf`	Run-time monitoring of self-adaptive systems to detect N-way feature interactions and their causes. SEAMS@ICSE Byron DeVries, Betty H. C. Cheng
2017	B	`conf`	Automatic Detection of Incomplete Requirements Using Symbolic Analysis and Evolutionary Computation. SSBSE Byron DeVries, Betty H. C. Cheng
2017	—	`conf`	ReMoDD Eclipse Plug-in: Collaborative Modeling Using a Model Repository. MoDELS (Satellite Events) Mohammed Al-Refai, Andrew Jacobson, Sudipto Ghosh, James M. Bieman, Betty H. C. Cheng
2017	A	`conf`	User Experience for Model-Driven Engineering: Challenges and Future Directions. MoDELS Silvia Abrahão, Francis Bordeleau, Betty H. C. Cheng, Sahar Kokaly, Richard F. Paige, Harald Störrle, Jon Whittle
2017	—	`conf`	Using Models at Run Time to Detect Incomplete and Inconsistent Requirements. MoDELS (Satellite Events) Byron DeVries, Betty H. C. Cheng
2016	—	`conf`	Addressing Assurance for Self-Adaptive Systems in the Face of Uncertainty. ICAC Betty H. C. Cheng
2016	—	`conf`	An evolutionary approach to discovering execution mode boundaries for adaptive controllers. SSCI Anthony J. Clark, Byron DeVries, Jared M. Moore, Betty H. C. Cheng, Philip K. McKinley
2016	A	`conf`	Automatic detection of incomplete requirements via symbolic analysis. MoDELS Byron DeVries, Betty H. C. Cheng
2016	—	`conf`	Modeling for sustainability. MiSE@ICSE Benoît Combemale, Betty H. C. Cheng, Ana Moreira, Jean-Michel Bruel, Jeffrey G. Gray
2015	J	`jnl`	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 Betty H. C. Cheng
2015	A	`conf`	An Approach to Mitigating Unwanted Interactions between Search Operators in Multi-Objective Optimization. GECCO Chad Michael Byers, Betty H. C. Cheng
2015	—	`conf`	An Empirical Analysis of Providing Assurance for Self-Adaptive Systems at Different Levels of Abstraction in the Face of Uncertainty. SBST@ICSE Erik M. Fredericks, Betty H. C. Cheng
2015	—	`conf`	Automated Generation of Adaptive Test Plans for Self-Adaptive Systems. SEAMS@ICSE Erik M. Fredericks, Betty H. C. Cheng
2015	—	`ed.`	Globalizing Domain-Specific Languages - International Dagstuhl Seminar Dagstuhl Castle, Germany, October 5-10, 2014 Revised Papers Globalizing Domain-Specific Languages Betty H. C. Cheng, Benoît Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe
2015	—	`conf`	UML Modeling for Visually-Impaired Persons. HuFaMo@MoDELS Brad Doherty, Betty H. C. Cheng
2015	—	`conf`	Unwanted Feature Interactions Between the Problem and Search Operators in Evolutionary Multi-objective Optimization. EMO (1) Chad M. Byers, Betty H. C. Cheng, Kalyanmoy Deb
2014	J	`jnl`	AutoRELAX: automatically RELAXing a goal model to address uncertainty. Empir. Softw. Eng. Erik M. Fredericks, Byron DeVries, Betty H. C. Cheng
2014	J	`jnl`	Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412). Dagstuhl Reports Betty H. C. Cheng, Benoît Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe
2014	—	`ed.`	[email protected] - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27 - December 2, 2011]. [email protected]@Dagstuhl Nelly Bencomo, Robert B. France, Betty H. C. Cheng, Uwe Aßmann
2014	—	`conf`	Motivating Use Cases for the Globalization of DSLs. Globalizing Domain-Specific Languages Betty H. C. Cheng, Thomas Degueule, Colin Atkinson, Siobhán Clarke, Ulrich Frank, Pieter J. Mosterman, Janos Sztipanovits
2014	—	`conf`	On the Globalization of Domain-Specific Languages. Globalizing Domain-Specific Languages Betty H. C. Cheng, Benoît Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe
2014	A	`conf`	The Relevance of Model-Driven Engineering Thirty Years from Now. MoDELS 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
2014	A	`conf`	Towards run-time adaptation of test cases for self-adaptive systems in the face of uncertainty. SEAMS Erik M. Fredericks, Byron DeVries, Betty H. C. Cheng
2013	A*	`ed.`	35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013 ICSE David Notkin, Betty H. C. Cheng, Klaus Pohl
2013	—	`conf`	Exploring automated software composition with genetic programming. GECCO (Companion) Erik M. Fredericks, Betty H. C. Cheng
2013	—	`conf`	Harnessing evolutionary computation to enable dynamically adaptive systems to manage uncertainty. CMSBSE@ICSE Betty H. C. Cheng, Andres J. Ramirez, Philip K. McKinley
2013	A	`conf`	Towards run-time testing of dynamic adaptive systems. SEAMS Erik M. Fredericks, Andres J. Ramirez, Betty H. C. Cheng
2013	B	`conf`	Validating Code-Level Behavior of Dynamic Adaptive Systems in the Face of Uncertainty. SSBSE Erik M. Fredericks, Andres J. Ramirez, Betty H. C. Cheng
2012	A	`conf`	A taxonomy of uncertainty for dynamically adaptive systems. SEAMS Andres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng
2012	C	`conf`	An ecology-based evolutionary algorithm to evolve solutions to complex problems. ALIFE Sherri Goings, Heather Goldsby, Betty H. C. Cheng, Charles Ofria
2012	J	`jnl`	Applying evolutionary computation to mitigate uncertainty in dynamically-adaptive, high-assurance middleware. J. Internet Serv. Appl. Philip K. McKinley, Betty H. C. Cheng, Andres J. Ramirez, Adam C. Jensen
2012	B	`conf`	Automatically RELAXing a Goal Model to Cope with Uncertainty. SSBSE Andres J. Ramirez, Erik M. Fredericks, Adam C. Jensen, Betty H. C. Cheng
2012	—	`conf`	Exploring the evolution of internal control structure using digital enzymes. GECCO (Companion) Chad M. Byers, Betty H. C. Cheng, Philip K. McKinley
2012	A	`conf`	Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time. MoDELS Andres J. Ramirez, Betty H. C. Cheng, Nelly Bencomo, Pete Sawyer
2012	A*	`conf`	Repository for Model Driven Development (ReMoDD). ICSE Robert B. France, James M. Bieman, Sai Pradeep Mandalaparty, Betty H. C. Cheng, Adam C. Jensen
2011	A	`ed.`	2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2011, Waikiki, Honolulu , HI, USA, May 23-24, 2011 SEAMS Holger Giese, Betty H. C. Cheng
2011	A	`conf`	A Toolchain for the Detection of Structural and Behavioral Latent System Properties. MoDELS Adam C. Jensen, Betty H. C. Cheng, Heather Goldsby, Edward C. Nelson
2011	—	`conf`	An Evolutionary Approach to Network Self-Organization and Resilient Data Diffusion. SASO Andres J. Ramirez, Betty H. C. Cheng, Philip K. McKinley
2011	—	`conf`	An aspect-oriented approach for implementing evolutionary computation applications. AOSD Andres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng
2011	A	`conf`	Automatic Derivation of Utility Functions for Monitoring Software Requirements. MoDELS Andres J. Ramirez, Betty H. C. Cheng
2011	A*	`conf`	Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems. ASE Andres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng, David B. Knoester
2011	—	`conf`	Comparing Six Modeling Approaches. MoDELS (Workshops) 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
2011	A	`conf`	Digital enzymes: agents of reaction inside robotic controllers for the foraging problem. GECCO Chad M. Byers, Betty H. C. Cheng, Philip K. McKinley
2011	J	`jnl`	[email protected] (Dagstuhl Seminar 11481). Dagstuhl Reports Uwe Aßmann, Nelly Bencomo, Betty H. C. Cheng, Robert B. France
2011	J	`jnl`	Plato: a genetic algorithm approach to run-time reconfiguration in autonomic computing systems. Clust. Comput. Andres J. Ramirez, David B. Knoester, Betty H. C. Cheng, Philip K. McKinley
2011	—	`ed.`	Proceedings of the 6th International Workshop on [email protected] at the ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, Wellington, New Zealand, October 17, 2011 [email protected] Nelly Bencomo, Gordon S. Blair, Betty H. C. Cheng, Robert B. France, Cédric Jeanneret
2011	—	`conf`	Summary of the 6th International Workshop on [email protected]. MoDELS (Workshops) Nelly Bencomo, Gordon S. Blair, Robert B. France, Betty H. C. Cheng, Cédric Jeanneret
2011	—	`conf`	Using Models at Runtime to Address Assurance for Self-Adaptive Systems. [email protected]@Dagstuhl 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
2010	—	`conf`	Adaptive monitoring of software requirements. RE@RunTime Andres J. Ramirez, Betty H. C. Cheng, Philip K. McKinley
2010	—	`conf`	Automatically Discovering Properties That Specify the Latent Behavior of UML Models. MoDELS (1) Heather Goldsby, Betty H. C. Cheng
2010	—	`conf`	Automatically generating adaptive logic to balance non-functional tradeoffs during reconfiguration. ICAC Andres J. Ramirez, Betty H. C. Cheng, Philip K. McKinley, Benjamin E. Beckmann
2010	A	`conf`	Design patterns for developing dynamically adaptive systems. SEAMS Andres J. Ramirez, Betty H. C. Cheng
2010	—	`conf`	Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010). ICSE (2) Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Mauro Pezzè, Richard Taylor
2010	A	`conf`	On the use of genetic programming for automated refactoring and the introduction of design patterns. GECCO Adam C. Jensen, Betty H. C. Cheng
2010	J	`jnl`	RELAX: a language to address uncertainty in self-adaptive systems requirement. Requir. Eng. Jon Whittle, Peter Sawyer, Nelly Bencomo, Betty H. C. Cheng, Jean-Michel Bruel
2009	A	`conf`	A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty. MoDELS Betty H. C. Cheng, Peter Sawyer, Nelly Bencomo, Jon Whittle
2009	—	`conf`	Applying adaptation design patterns. ICAC Andres J. Ramirez, Betty H. C. Cheng
2009	—	`conf`	Applying genetic algorithms to decision making in autonomic computing systems. ICAC Andres J. Ramirez, David B. Knoester, Betty H. C. Cheng, Philip K. McKinley
2009	A	`conf`	Evolution of robust data distribution among digital organisms. GECCO David B. Knoester, Andres J. Ramirez, Philip K. McKinley, Betty H. C. Cheng
2009	—	`conf`	Modular verification of dynamically adaptive systems. AOSD Ji Zhang, Heather Goldsby, Betty H. C. Cheng
2009	A	`conf`	RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems. RE Jon Whittle, Peter Sawyer, Nelly Bencomo, Betty H. C. Cheng, Jean-Michel Bruel
2009	—	`conf`	SEAMS 2009: Software engineering for adaptive and self-managing systems. ICSE Companion Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor
2009	—	`ed.`	Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar] Software Engineering for Self-Adaptive Systems Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee
2009	—	`conf`	Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems 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
2008	—	`conf`	08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map. Software Engineering for Self-Adaptive Systems Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos
2008	—	`conf`	08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos
2008	A	`ed.`	2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2008, Leipzig, Germany, May 12-13, 2008 SEAMS Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard N. Taylor
2008	A	`conf`	Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty. MoDELS Heather Goldsby, Betty H. C. Cheng
2008	A	`conf`	Avida-MDE: a digital evolution approach to generating models of adaptive software behavior. GECCO Heather Goldsby, Betty H. C. Cheng
2008	—	`conf`	Design patterns for monitoring adaptive ULS systems. ULSSIS@ICSE Andres J. Ramirez, Betty H. C. Cheng
2008	—	`conf`	Digital Evolution of Behavioral Models for Autonomic Systems. ICAC Heather Goldsby, Betty H. C. Cheng, Philip K. McKinley, David B. Knoester, Charles Ofria
2008	—	`conf`	Goal-Based Modeling of Dynamically Adaptive System Requirements. ECBS Heather Goldsby, Peter Sawyer, Nelly Bencomo, Betty H. C. Cheng, Danny Hughes
2008	J	`jnl`	Harnessing Digital Evolution. Computer Philip K. McKinley, Betty H. C. Cheng, Charles Ofria, David B. Knoester, Benjamin E. Beckmann, Heather Goldsby
2008	—	`ed.`	Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008 Software Engineering for Self-Adaptive Systems Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee
2008	A	`conf`	Verifying and Analyzing Adaptive Logic through UML State Models. ICST Andres J. Ramirez, Betty H. C. Cheng
2007	—	`conf`	AMOEBA-RT: Run-Time Verification of Adaptive Software. MoDELS (Workshops) Heather Goldsby, Betty H. C. Cheng, Ji Zhang
2007	A	`conf`	Digitally Evolving Models for Dynamically Adaptive Systems. SEAMS Heather Goldsby, David B. Knoester, Betty H. C. Cheng, Philip K. McKinley, Charles Ofria
2007	—	`conf`	Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements. HASE Heather Goldsby, Sascha Konrad, Betty H. C. Cheng
2007	—	`conf`	Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML. HASE Ali Ebnenasir, Betty H. C. Cheng
2007	—	`conf`	Research Directions in Requirements Engineering. FOSE Betty H. C. Cheng, Joanne M. Atlee
2007	—	`conf`	SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems. ICSE Companion Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor
2007	A	`conf`	SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems. SEAMS Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor
2007	J	`jnl`	Specifying real-time properties in autonomic systems. Innov. Syst. Softw. Eng. Ji Zhang, Zhinan Zhou, Betty H. C. Cheng, Philip K. McKinley
2007	—	`conf`	Towards Re-engineering Legacy Systems for Assured Dynamic Adaptation. MiSE@ICSE Ji Zhang, Betty H. C. Cheng
2007	A	`conf`	i MoDELS Sascha Konrad, Heather Goldsby, Betty H. C. Cheng
2006	B	`conf`	A Pattern-Based Approach for Modeling and Analyzing Error Recovery. WADS Ali Ebnenasir, Betty H. C. Cheng
2006	A	`conf`	A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems. MoDELS Heather Goldsby, Betty H. C. Cheng, Sascha Konrad, Stephane Kamdoum
2006	A	`conf`	Goal-Oriented Modeling of Requirements Engineering for Dynamically Adaptive System. RE Heather Goldsby, Betty H. C. Cheng
2006	—	`conf`	Goal-oriented specification of adaptation requirements engineering in adaptive systems. SEAMS@ICSE Greg Brown, Betty H. C. Cheng, Heather Goldsby, Ji Zhang
2006	A*	`conf`	Model-based development of dynamically adaptive software. ICSE Ji Zhang, Betty H. C. Cheng
2006	—	`ed.`	Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, SEAMS 2006, Shanghai, China, May 21-22, 2006 SEAMS@ICSE Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Jeff Magee, Hausi A. Müller, Richard Taylor
2006	—	`conf`	Repository for Model Driven Development (ReMoDD). MoDELS (Workshops) Robert B. France, James M. Bieman, Betty H. C. Cheng
2006	A*	`conf`	Software engineering for adaptive and self-managing systems. ICSE Betty H. C. Cheng, David Garlan, Rogério de Lemos, Jeff Magee, Richard Taylor, Stephen Fickas, Hausi A. Müller
2006	A	`conf`	Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance. RE Ali Ebnenasir, Betty H. C. Cheng, Sascha Konrad
2006	J	`jnl`	Using temporal logic to specify adaptive program semantics. J. Syst. Softw. Ji Zhang, Betty H. C. Cheng
2005	J	`jnl`	An approach to implementing dynamic adaptation in C++. ACM SIGSOFT Softw. Eng. Notes Scott D. Fleming, Betty H. C. Cheng, R. E. Kurt Stirewalt, Philip K. McKinley
2005	—	`conf`	Automated Analysis of Natural Language Properties for UML Models. MoDELS (Satellite Events) Sascha Konrad, Betty H. C. Cheng
2005	A	`conf`	Facilitating the Construction of Specification Pattern-based Properties. RE Sascha Konrad, Betty H. C. Cheng
2005	A	`conf`	Lessons Learned from Automated Analysis of Industrial UML Class Models (An Experience Report). MoDELS Betty H. C. Cheng, Ryan Stephenson, Brian Berenbach
2005	A*	`conf`	Real-time specification patterns. ICSE Sascha Konrad, Betty H. C. Cheng
2005	J	`jnl`	Retrieval by Construction: a Traceability Technique to Support Verification and Validation of Uml Formalizations. Int. J. Softw. Eng. Knowl. Eng. Min Deng, R. E. Kurt Stirewalt, Betty H. C. Cheng
2005	—	`conf`	Specifying adaptation semantics. WADS@ICSE Ji Zhang, Betty H. C. Cheng
2005	J	`jnl`	Specifying adaptation semantics. ACM SIGSOFT Softw. Eng. Notes Ji Zhang, Betty H. C. Cheng
2005	J	`jnl`	Transparent shaping of existing software to support pervasive and autonomic computing. ACM SIGSOFT Softw. Eng. Notes Seyed Masoud Sadjadi, Philip K. McKinley, Betty H. C. Cheng
2005	—	`conf`	UML formalization is a traceability problem. TEFSE@ASE R. E. Kurt Stirewalt, Min Deng, Betty H. C. Cheng
2004	A*	`conf`	Automated Analysis of Timing Information in UML Diagrams. ASE Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng
2004	J	`jnl`	Composing Adaptive Software. Computer Philip K. McKinley, Seyed Masoud Sadjadi, Eric P. Kasten, Betty H. C. Cheng
2004	B	`conf`	Enabling Safe Dynamic Component-Based Software Adaptation. WADS Ji Zhang, Betty H. C. Cheng, Zhenxiao Yang, Philip K. McKinley
2004	—	`conf`	Enabling collaborative adaptation across legacy components. Adaptive and Reflective Middleware Zhenxiao Yang, Zhinan Zhou, Betty H. C. Cheng, Philip K. McKinley
2004	—	`conf`	Generation of Self-Optimizing Wireless Network Applications. ICAC Seyed Masoud Sadjadi, Philip K. McKinley, R. E. Kurt Stirewalt, Betty H. C. Cheng
2004	J	`jnl`	Object Analysis Patterns for Embedded Systems. IEEE Trans. Software Eng. Sascha Konrad, Betty H. C. Cheng, Laura A. Campbell
2004	—	`conf`	Resource-based approach to feature interaction in adaptive software. WOSS Jesus Bisbal, Betty H. C. Cheng
2004	—	`conf`	TRAP/J: Transparent Generation of Adaptable Java Programs. CoopIS/DOA/ODBASE (2) Seyed Masoud Sadjadi, Philip K. McKinley, Betty H. C. Cheng, R. E. Kurt Stirewalt
2003	—	`conf`	A Requirements Patterns-Driven Approach to Specify Systems and Check Properties. SPIN Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng, Min Deng
2002	—	`conf`	An aspect-oriented approach to dynamic adaptation. WOSS Zhenxiao Yang, Betty H. C. Cheng, R. E. Kurt Stirewalt, J. Sowell, Seyed Masoud Sadjadi, Philip K. McKinley
2002	J	`jnl`	Automatically Detecting and Visualising Errors in UML Diagrams. Requir. Eng. Laura A. Campbell, Betty H. C. Cheng, William E. McUmber, Kurt Stirewalt
2002	J	`jnl`	Education: Interactive Distributed Applications and the Computer Science Curriculum. IEEE Distributed Syst. Online Philip K. McKinley, Kurt Stirewalt, Betty H. C. Cheng, Laura K. Dillon, Sandeep S. Kulkarni
2002	J	`jnl`	Formalizing and Integrating the Dynamic Model for Object-Oriented Modeling. IEEE Trans. Software Eng. Betty H. C. Cheng, Enoch Y. Wang
2002	A	`conf`	Requirements Patterns for Embedded Systems. RE Sascha Konrad, Betty H. C. Cheng
2001	A*	`conf`	A General Framework for Formalizing UML with Formal Languages. ICSE William E. McUmber, Betty H. C. Cheng
2001	B	`conf`	A Metamodel-Based Approach to Formalizing UML. COMPSAC Betty H. C. Cheng
2001	—	`conf`	A Suite of Tools for Facilitating Reverse Engineering Using Formal Methods. IWPC Gerald C. Gannod, Betty H. C. Cheng
2001	J	`jnl`	Developing and Maintaining an Object-Oriented Distributed Multimedia Information System. Ann. Softw. Eng. Betty H. C. Cheng, Gerald C. Gannod
2001	A	`conf`	Integrating Informal and Formal Approaches to Requirements Modeling and Analysis. RE Betty H. C. Cheng, Laura A. Campbell
2000	A	`conf`	Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams. DSN Betty H. C. Cheng, Laura A. Campbell, Enoch Y. Wang
2000	J	`jnl`	Formalizing the Functional Model within Object-Oriented Design. Int. J. Softw. Eng. Knowl. Eng. Enoch Y. Wang, Betty H. C. Cheng
2000	J	`jnl`	Guest Editors' Introduction: Requirements Engineering - Integrating Technology. IEEE Softw. Betty H. C. Cheng, David M. Weiss
2000	J	`jnl`	Integrating object-oriented analysis and formal specifications. ACM SIGSOFT Softw. Eng. Notes Betty H. C. Cheng
2000	—	`conf`	Object-Oriented Modeling and Automated Analysis of a Telemedicine Application. IWSSD Laura A. Campbell, Betty H. C. Cheng
1999	—	`conf`	A Formal Approach for Reverse Engineering: A Case Study. WCRE Gerald C. Gannod, Betty H. C. Cheng
1999	—	`conf`	A Framework for Classifying and Comparing Software Reverse Engineering and Design Recovery Techniques. WCRE Gerald C. Gannod, Betty H. C. Cheng
1999	A*	`conf`	A Specification Matching Based Approach to Reverse Engineering. ICSE Gerald C. Gannod, Betty H. C. Cheng
1999	A	`conf`	Moving industry-guided multimedia technology into the classroom. SIGCSE Philip K. McKinley, Betty H. C. Cheng, John (Juyang) Weng
1999	—	`conf`	UML-Based Analysis of Embedded Systems Using a Mapping to VHDL. HASE William E. McUmber, Betty H. C. Cheng
1998	—	`conf`	A Discussion About Integrated Techniques. WIFT Betty H. C. Cheng
1998	A*	`conf`	An Automated Approach for Supporting Software Reuse via Reverse Engineering. ASE Gerald C. Gannod, Yonghao Chen, Betty H. C. Cheng
1998	—	`conf`	PACKRAT: A Software Reengineering Case Study. WCRE Gerald C. Gannod, Gora Sudindranath, Mark Fagnani, Betty H. C. Cheng
1997	A*	`conf`	A Formal Automated Approach for Reverse Engineering Programs with Pointers. ASE Gerald C. Gannod, Betty H. C. Cheng
1997	A*	`conf`	Facilitating an Automated Approach to Architecture-based Software Reuse. ASE Yonghao Chen, Betty H. C. Cheng
1997	B	`conf`	Formalizing and Automating Component Reuse. ICTAI Yonghao Chen, Betty H. C. Cheng
1997	A*	`conf`	Formalizing and Integrating the Dynamic Model within OMT. ICSE Enoch Y. Wang, Heather A. Richter, Betty H. C. Cheng
1997	J	`jnl`	Path-Based Multicast Communication in Wormhole-Routed Unidirectional Torus Networks. J. Parallel Distributed Comput. David F. Robinson, Philip K. McKinley, Betty H. C. Cheng
1997	J	`jnl`	Reusing Analogous Components. IEEE Trans. Knowl. Data Eng. Betty H. C. Cheng, Jun-Jang Jeng
1996	J	`jnl`	Correspondence: Response to Botting's Comments. IEEE Trans. Software Eng. Robert H. Bourdeau, Betty H. C. Cheng
1996	J	`jnl`	Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering. Autom. Softw. Eng. Gerald C. Gannod, Betty H. C. Cheng
1996	—	`conf`	Using Informal and Formal Techniques for the Reverse Engineering of C Programs. ICSM Gerald C. Gannod, Betty H. C. Cheng
1996	—	`conf`	Using Informal and Formal Techniques for the Reverse Engineering of C Programs. WCRE Gerald C. Gannod, Betty H. C. Cheng
1996	—	`conf`	Where and How do Formal Methods Fit in Requirements Engineering?. ICRE Betty H. C. Cheng
1995	—	`conf`	A Distributed, Multimedia Environmental Information System. ICMCS Joseph L. Sharnowski, Gerald C. Gannod, Betty H. C. Cheng
1995	J	`jnl`	A Formal Semantics for Object Model Diagrams. IEEE Trans. Software Eng. Robert H. Bourdeau, Betty H. C. Cheng
1995	—	`conf`	A visualization-based environment for top-down debugging of parallel programs. IPPS Joseph L. Sharnowski, Betty H. C. Cheng
1995	J	`jnl`	Contention-Free 2D-Mesh Cluster Allocation in Hypercubes. IEEE Trans. Computers Stephen W. Turner, Lionel M. Ni, Betty H. C. Cheng
1995	J	`jnl`	Efficient Multicast in All-Port Wormhole-Routed Hypercubes. J. Parallel Distributed Comput. David F. Robinson, Dan Judd, Philip K. McKinley, Betty H. C. Cheng
1995	J	`jnl`	Optimal Multicast Communication in Wormhole-Routed Torus Networks. IEEE Trans. Parallel Distributed Syst. David F. Robinson, Philip K. McKinley, Betty H. C. Cheng
1995	—	`conf`	Specification Matching for Software Reuse: A Foundation. SSR Jun-Jang Jeng, Betty H. C. Cheng
1995	—	`conf`	Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering. WCRE Gerald C. Gannod, Betty H. C. Cheng
1994	—	`conf`	A Formal Approach to Modeling Expected Behavior in Parallel Program Visualizations. PARLE Joseph L. Sharnowski, Betty H. C. Cheng
1994	—	`conf`	A Formal Approach to Reusing More General Components. KBSE Jun-Jang Jeng, Betty H. C. Cheng
1994	B	`conf`	A Graphical Environment for Formally Developing Object-Oriented Software. ICTAI Betty H. C. Cheng, Enoch Y. Wang, Robert H. Bourdeau
1994	J	`jnl`	Facilitating the Maintenance of Safety-Critical Systems. Int. J. Softw. Eng. Knowl. Eng. Gerald C. Gannod, Betty H. C. Cheng
1994	B	`conf`	Generalizing the Unimodular Approach. ICPADS D. R. Chesney, Betty H. C. Cheng
1994	—	`conf`	Optimal Multicast Communication in a Wormhole-Routed Torus Networks. ICPP (1) David F. Robinson, Philip K. McKinley, Betty H. C. Cheng
1994	C	`conf`	The object-oriented development of a distributed multimedia environmental information system. SEKE Betty H. C. Cheng, Robert H. Bourdeau, Gerald C. Gannod
1994	A	`conf`	Time and/or space sharing in a workstation cluster environment. SC Stephen W. Turner, Lionel M. Ni, Betty H. C. Cheng
1993	—	`conf`	A Two-Phase Approach to Reverse Engineering Using Formal Methods. Formal Methods in Programming and Their Applications Gerald C. Gannod, Betty H. C. Cheng
1993	B	`conf`	A temporal model for transparent monitoring of shared-memory multiprocessors. COMPSAC David F. Robinson, Betty H. C. Cheng
1993	C	`conf`	An Integrated Development Environment for Formal Specifications. SEKE Michael R. Laux, Robert H. Bourdeau, Betty H. C. Cheng
1993	—	`conf`	Contention-Free 2D-Mesh Cluster Allocation in Hypercubes. ICPP (2) Stephen W. Turner, Lionel M. Ni, Betty H. C. Cheng
1993	J	`jnl`	Data Parallel Program Visualizations from Formal Specifications. J. Parallel Distributed Comput. Mark Vincent LaPolla, Joseph L. Sharnowski, Betty H. C. Cheng, Kevin Anderson
1993	A	`conf`	Efficient collective data distribution in all-port wormhole-routed hypercubes. SC David F. Robinson, Dan Judd, Philip K. McKinley, Betty H. C. Cheng
1993	B	`conf`	Using Analogy and Formal Methods for Software Reuse. ICTAI Jun-Jang Jeng, Betty H. C. Cheng
1993	—	`conf`	Using Formal Methods to Construct a Software Component Library. ESEC Jun-Jang Jeng, Betty H. C. Cheng
1992	B	`conf`	A transparent monitoring tool for shared-memory multiprocessors. COMPSAC David F. Robinson, Betty H. C. Cheng, Richard J. Enbody
1992	B	`conf`	An object-oriented toolkit for constructing specification editors. COMPSAC Robert H. Bourdeau, Betty H. C. Cheng
1992	B	`conf`	Are formal methods useful for software development? COMPSAC Horst F. Wedde, Betty H. C. Cheng, David Gries, N. Shankar, Kwei-Jay Lin, Mark A. Ardis
1992	J	`jnl`	Using Automated Reasoning Techniques to Determine Software Reuse. Int. J. Softw. Eng. Knowl. Eng. Jun-Jang Jeng, Betty H. C. Cheng
1991	B	`conf`	Abstraction of formal specifications from program code. ICTAI Betty H. C. Cheng, Gerald C. Gannod
1991	B	`conf`	Synthesizing procedural abstractions from formal specifications. COMPSAC Betty H. C. Cheng
1990	—	`—`	Synthesis of procedural and data abstractions Betty H. C. Cheng