MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty von Langford, Michael Austin, Chan, Kenneth H., Fleck, Jonathon Emil, McKinley, Philip K., Cheng, Betty H. C.

Volltext

A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems von 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

Volltext

RELAX: a language to address uncertainty in self-adaptive systems requirement von Whittle, Jon, Sawyer, Pete, Bencomo, Nelly, Cheng, Betty H. C., Bruel, Jean-Michel

Volltext

AutoRELAX: automatically RELAXing a goal model to address uncertainty von Fredericks, Erik M., DeVries, Byron, Cheng, Betty H. C.

Volltext

Evoattack: suppressive adversarial attacks against object detection models using evolutionary search von Chan, Kenneth H., Cheng, Betty H. C.

Volltext

The uncertainty interaction problem in self-adaptive systems von Cámara, Javier, Troya, Javier, Vallecillo, Antonio, Bencomo, Nelly, Calinescu, Radu, Cheng, Betty H. C., Garlan, David, Schmerl, Bradley

Volltext

Providentia: Using search-based heuristics to optimize satisficement and competing concerns between functional and non-functional objectives in self-adaptive systems von Bowers, Kate M., Fredericks, Erik M., Hariri, Reihaneh H., H. C. Cheng, Betty

Volltext

MUSIC: Middleware Support for Self-Adaptation in Ubiquitous and Service-Oriented Environments von Rouvoy, Romain, Barone, Paolo, Ding, Yun, Eliassen, Frank, Hallsteinsen, Svein, Lorenzo, Jorge, Mamelli, Alessandro, Scholz, Ulrich

Volltext

Software Engineering for Self-Adaptive Systems: A Research Roadmap von Cheng, Betty H. C., de Lemos, Rogério, Giese, Holger, Inverardi, Paola, Magee, Jeff, Andersson, Jesper, Becker, Basil, Bencomo, Nelly, Brun, Yuriy, Cukic, Bojan, Di Marzo Serugendo, Giovanna, Dustdar, Schahram, Finkelstein, Anthony, Gacek, Cristina, Geihs, Kurt, Grassi, Vincenzo, Karsai, Gabor, Kienle, Holger M., Kramer, Jeff, Litoiu, Marin, Malek, Sam, Mirandola, Raffaela, Müller, Hausi A., Park, Sooyong, Shaw, Mary, Tichy, Matthias, Tivoli, Massimo, Weyns, Danny, Whittle, Jon

Volltext

Expound: A Black-Box Approach for Generating Diversity-Driven Adversarial Examples von Chan, Kenneth H., Cheng, Betty H. C.

Volltext

Using temporal logic to specify adaptive program semantics von Zhang, Ji, Cheng, Betty H.C.

Volltext

Engineering Self-Adaptive Systems through Feedback Loops von Brun, Yuriy, Di Marzo Serugendo, Giovanna, Gacek, Cristina, Giese, Holger, Kienle, Holger, Litoiu, Marin, Müller, Hausi, Pezzè, Mauro, Shaw, Mary

Volltext

Software Engineering for Self-Adaptive Systems von Cheng, Betty H. C, de Lemos, Rogério, Inverardi, Paola, Magee, Jeff

Volltext

Modeling Dimensions of Self-Adaptive Software Systems von Andersson, Jesper, de Lemos, Rogério, Malek, Sam, Weyns, Danny

Volltext

A visualization framework for the modeling and formal analysis of high assurance systems von Goldsby, Heather, Cheng, Betty H. C., Konrad, Sascha, Kamdoum, Stephane

Volltext

Enki: A Diversity-driven Approach to Test and Train Robust Learning-enabled Systems von Langford, Michael Austin, Cheng, Betty H. C.

Volltext

MAPE-K/MAPE-SAC: An interaction framework for adaptive systems with security assurance cases von Jahan, Sharmin, Riley, Ian, Walter, Charles, Gamble, Rose F., Pasco, Matt, McKinley, Philip K., Cheng, Betty H.C.

Volltext

Harnessing Digital Evolution von McKinley, P., Cheng, B.H.C., Ofria, C., Knoester, D., Beckmann, B., Goldsby, H.

Volltext

Plato: a genetic algorithm approach to run-time reconfiguration in autonomic computing systems von Ramirez, Andres J., Knoester, David B., Cheng, Betty H. C., McKinley, Philip K.

Volltext

Anunnaki: A Modular Framework for Developing Trusted Artificial Intelligence von Langford, Michael Austin, Zilberman, Sol, Cheng, Betty

Volltext