A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems
Combemale, Benoit, Kienzle, Jorg, Mussbacher, Gunter, Ali, Hyacinth, Amyot, Daniel, Bagherzadeh, Mojtaba, Batot, Edouard, Bencomo, Nelly, Benni, Benjamin, Bruel, Jean-Michel, Cabot, Jordi, Cheng, Betty H.C., Collet, Philippe, Engels, Gregor, Heinrich, Robert, Jezequel, Jean-Marc, Koziolek, Anne, Mosser, Sebastien, Reussner, Ralf, Sahraoui, Houari, Saini, Rijul, Sallou, June, Stinckwich, Serge, Syriani, Eugene, Wimmer, Manuel
Published in IEEE software (01.07.2021)
Published in IEEE software (01.07.2021)
Get full text
Journal Article
RELAX: a language to address uncertainty in self-adaptive systems requirement
Whittle, Jon, Sawyer, Pete, Bencomo, Nelly, Cheng, Betty H. C., Bruel, Jean-Michel
Published in Requirements engineering (01.06.2010)
Published in Requirements engineering (01.06.2010)
Get full text
Journal Article
AutoRELAX: automatically RELAXing a goal model to address uncertainty
Fredericks, Erik M., DeVries, Byron, Cheng, Betty H. C.
Published in Empirical software engineering : an international journal (01.10.2014)
Published in Empirical software engineering : an international journal (01.10.2014)
Get full text
Journal Article
Providentia: Using search-based heuristics to optimize satisficement and competing concerns between functional and non-functional objectives in self-adaptive systems
Bowers, Kate M., Fredericks, Erik M., Hariri, Reihaneh H., H. C. Cheng, Betty
Published in The Journal of systems and software (01.04.2020)
Published in The Journal of systems and software (01.04.2020)
Get full text
Journal Article
The uncertainty interaction problem in self-adaptive systems
Cámara, Javier, Troya, Javier, Vallecillo, Antonio, Bencomo, Nelly, Calinescu, Radu, Cheng, Betty H. C., Garlan, David, Schmerl, Bradley
Published in Software and systems modeling (01.08.2022)
Published in Software and systems modeling (01.08.2022)
Get full text
Journal Article
A visualization framework for the modeling and formal analysis of high assurance systems
Goldsby, Heather, Cheng, Betty H. C., Konrad, Sascha, Kamdoum, Stephane
Published in Lecture notes in computer science (01.01.2006)
Published in Lecture notes in computer science (01.01.2006)
Get full text
Conference Proceeding
Book Chapter
Plato: a genetic algorithm approach to run-time reconfiguration in autonomic computing systems
Ramirez, Andres J., Knoester, David B., Cheng, Betty H. C., McKinley, Philip K.
Published in Cluster computing (01.09.2011)
Published in Cluster computing (01.09.2011)
Get full text
Journal Article
Harnessing Digital Evolution
McKinley, P., Cheng, B.H.C., Ofria, C., Knoester, D., Beckmann, B., Goldsby, H.
Published in Computer (Long Beach, Calif.) (01.01.2008)
Published in Computer (Long Beach, Calif.) (01.01.2008)
Get full text
Journal Article
Lessons learned from automated analysis of industrial UML class models (an experience report)
Cheng, Betty H. C., Stephenson, Ryan, Berenbach, Brian
Published in Lecture notes in computer science (01.01.2005)
Published in Lecture notes in computer science (01.01.2005)
Get full text
Conference Proceeding
Book Chapter
Automated Analysis of Natural Language Properties for UML Models
Get full text
Book Chapter
Conference Proceeding
SafeDriveRL: Combining Non-Cooperative Game Theory with Reinforcement Learning to Explore and Mitigate Human-Based Uncertainty for Autonomous Vehicles
Chan, Kenneth H., Zilberman, Sol, Polanco, Nick, Siegel, Joshua E., Cheng, Betty H.C.
Published in 2024 IEEE/ACM 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) (15.04.2024)
Published in 2024 IEEE/ACM 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) (15.04.2024)
Get full text
Conference Proceeding
Automatically Detecting and Visualising Errors in UML Diagrams
Campbell, Laura A., Cheng, Betty H. C., McUmber, William E., Stirewalt, R. E. K.
Published in Requirements engineering (01.12.2002)
Published in Requirements engineering (01.12.2002)
Get full text
Journal Article