Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBetty H. C. Cheng
Person information
- affiliation: Michigan State University, East Lansing, MI, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j40]Michael Austin Langford, Kenneth H. Chan, Jonathon Emil Fleck, Philip K. McKinley, Betty H. C. Cheng:
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty. Softw. Syst. Model. 22(5): 1543-1563 (2023)- 2022
- [j39]Javier Cámara, Javier Troya, Antonio Vallecillo, Nelly Bencomo, Radu Calinescu
, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl:
The uncertainty interaction problem in self-adaptive systems. Softw. Syst. Model. 21(4): 1277-1294 (2022) - [c154]Michael Austin Langford, Betty H. C. Cheng:
A Modular and Composable Approach to Develop Trusted Artificial Intelligence. ACSOS 2022: 121-130 - [c153]Javier Cámara, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl, Javier Troya, Antonio Vallecillo:
Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata. MoDELS 2022: 24-30 - [c152]Nick Polanco, Betty H. C. Cheng:
Situational crime prevention for automotive cybersecurity. MoDELS (Companion) 2022: 562-568 - [c151]Kenneth H. Chan, Betty H. C. Cheng:
EvoAttack: An Evolutionary Search-Based Adversarial Attack for Object Detection Models. SSBSE 2022: 83-97 - 2021
- [j38]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:
A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems. IEEE Softw. 38(4): 71-84 (2021) - [j37]Michael Austin Langford, Betty H. C. Cheng:
Enki: A Diversity-driven Approach to Test and Train Robust Learning-enabled Systems. ACM Trans. Auton. Adapt. Syst. 15(2): 5:1-5:32 (2021) - [c150]Michael Austin Langford, Kenneth H. Chan, Jonathon Emil Fleck, Philip K. McKinley, Betty H. C. Cheng:
MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous Systems. MoDELS 2021: 182-193 - [c149]Byron DeVries, Erik M. Fredericks, Betty H. C. Cheng:
Analysis and Monitoring of Cyber-Physical Systems via Environmental Domain Knowledge & Modeling. SEAMS@ICSE 2021: 11-17 - [c148]Michael Austin Langford, Betty H. C. Cheng:
"Know What You Know": Predicting Behavior for Learning-Enabled Systems When Facing Uncertainty. SEAMS@ICSE 2021: 78-89 - 2020
- [j36]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:
Toward model-driven sustainability evaluation. Commun. ACM 63(3): 80-91 (2020) - [j35]Sharmin Jahan, Ian Riley, Charles Walter, Rose F. Gamble, Matt Pasco, Philip K. McKinley, Betty H. C. Cheng:
MAPE-K/MAPE-SAC: An interaction framework for adaptive systems with security assurance cases. Future Gener. Comput. Syst. 109: 197-209 (2020) - [j34]Kate M. Bowers, Erik M. Fredericks, Reihaneh H. Hariri, Betty H. C. Cheng:
Providentia: Using search-based heuristics to optimize satisficement and competing concerns between functional and non-functional objectives in self-adaptive systems. J. Syst. Softw. 162 (2020) - [c147]Pranshu Bajpai, Richard J. Enbody, Betty H. C. Cheng:
Ransomware Targeting Automobiles. AutoSec@CODASPY 2020: 23-29 - [c146]Chung-Ling Lin, Wuwei Shen, Betty H. C. Cheng:
Measuring Confidence of Assurance Cases in Safety-Critical Domains. HICSS 2020: 1-10 - [c145]Fengyi Tang, Betty H. C. Cheng:
Protecting Temporal Fingerprints with Synchronized Chaotic Circuits. HICSS 2020: 1-10 - [c144]Betty H. C. Cheng, Robert Jared Clark, Jonathon Emil Fleck, Michael Austin Langford, Philip K. McKinley:
AC-ROS: assurance case driven adaptation for the robot operating system. MoDELS 2020: 102-113
2010 – 2019
- 2019
- [c143]Michael Austin Langford, Betty H. C. Cheng:
Enhancing Learning-Enabled Software Systems to Address Environmental Uncertainty. ICAC 2019: 115-124 - [c142]Betty H. C. Cheng:
A multidisciplinary approach to developing community-based research infrastructure. ECASE@ICSE 2019: 1 - [c141]Michael Austin Langford, Glen A. Simon, Philip K. McKinley, Betty H. C. Cheng:
Applying evolution and novelty search to enhance the resilience of autonomous systems. SEAMS@ICSE 2019: 63-69 - [c140]Byron DeVries, Betty H. C. Cheng:
Towards the detection of partial feature interactions. SEAMS@ICSE 2019: 146-152 - [c139]Betty H. C. Cheng, Bradley Doherty, Nick Polanco, Matthew Pasco:
Security Patterns for Automotive Systems. MoDELS (Companion) 2019: 54-63 - [c138]Byron DeVries, Betty H. C. Cheng:
Goal-Based Modeling and Analysis of Non-Functional Requirements. MoDELS 2019: 261-271 - [c137]Sharmin Jahan, Matthew Pasco, Rose F. Gamble, Philip K. McKinley, Betty H. C. Cheng:
MAPE-SAC: A Framework to Dynamically Manage Security Assurance Cases. FAS*W@SASO/ICAC 2019: 146-151 - 2018
- [j33]Peter J. Clarke, Betty H. C. Cheng:
Dr. Robert B. France - contributions to model-driven engineering and software engineering education. Comput. Sci. Educ. 28(1): 109-112 (2018) - [c136]Chung-Ling Lin, Wuwei Shen, Steven Drager, Betty H. C. Cheng:
Measure confidence of assurance cases in safety-critical domains. ICSE (NIER) 2018: 13-16 - [c135]Byron DeVries, Betty H. C. Cheng:
Run-time monitoring of self-adaptive systems to detect N-way feature interactions and their causes. SEAMS@ICSE 2018: 94-100 - [c134]Byron DeVries, Betty H. C. Cheng:
Automatic Detection of Feature Interactions Using Symbolic Analysis and Evolutionary Computation. QRS 2018: 257-268 - [c133]Kate M. Bowers, Erik M. Fredericks, Betty H. C. Cheng:
Automated Optimization of Weighted Non-functional Objectives in Self-adaptive Systems. SSBSE 2018: 182-197 - [i5]Gordon S. Blair, Betty H. C. Cheng, Lorenz M. Hilty, Richard F. Paige:
Modeling for Sustainability (Dagstuhl Seminar 18351). Dagstuhl Reports 8(8): 146-168 (2018) - 2017
- [c132]Byron DeVries, Betty H. C. Cheng:
Using Models at Run Time to Detect Incomplete and Inconsistent Requirements. MoDELS (Satellite Events) 2017: 201-209 - [c131]Silvia Abrahão, Francis Bordeleau, Betty H. C. Cheng, Sahar Kokaly, Richard F. Paige, Harald Störrle, Jon Whittle:
User Experience for Model-Driven Engineering: Challenges and Future Directions. MoDELS 2017: 229-236 - [c130]Mohammed Al-Refai, Andrew Jacobson, Sudipto Ghosh, James M. Bieman, Betty H. C. Cheng:
ReMoDD Eclipse Plug-in: Collaborative Modeling Using a Model Repository. MoDELS (Satellite Events) 2017: 344-348 - [c129]Byron DeVries, Betty H. C. Cheng:
Automatic Detection of Incomplete Requirements Using Symbolic Analysis and Evolutionary Computation. SSBSE 2017: 49-64 - 2016
- [c128]Betty H. C. Cheng:
Addressing Assurance for Self-Adaptive Systems in the Face of Uncertainty. ICAC 2016: 2 - [c127]Benoît Combemale, Betty H. C. Cheng, Ana Moreira, Jean-Michel Bruel, Jeffrey G. Gray:
Modeling for sustainability. MiSE@ICSE 2016: 62-66 - [c126]Byron DeVries, Betty H. C. Cheng:
Automatic detection of incomplete requirements via symbolic analysis. MoDELS 2016: 385-395 - [c125]Anthony J. Clark, Byron DeVries, Jared M. Moore, Betty H. C. Cheng, Philip K. McKinley:
An evolutionary approach to discovering execution mode boundaries for adaptive controllers. SSCI 2016: 1-8 - 2015
- [j32]Betty H. C. Cheng:
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 40(3): 23-31 (2015) - [c124]Chad M. Byers, Betty H. C. Cheng, Kalyanmoy Deb:
Unwanted Feature Interactions Between the Problem and Search Operators in Evolutionary Multi-objective Optimization. EMO (1) 2015: 19-33 - [c123]Chad Michael Byers, Betty H. C. Cheng:
An Approach to Mitigating Unwanted Interactions between Search Operators in Multi-Objective Optimization. GECCO 2015: 655-662 - [c122]Erik M. Fredericks, Betty H. C. Cheng:
An Empirical Analysis of Providing Assurance for Self-Adaptive Systems at Different Levels of Abstraction in the Face of Uncertainty. SBST@ICSE 2015: 8-14 - [c121]Erik M. Fredericks, Betty H. C. Cheng:
Automated Generation of Adaptive Test Plans for Self-Adaptive Systems. SEAMS@ICSE 2015: 157-167 - [c120]Brad Doherty, Betty H. C. Cheng:
UML Modeling for Visually-Impaired Persons. HuFaMo@MoDELS 2015: 4-10 - [e8]Betty H. C. Cheng, Benoît Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe:
Globalizing Domain-Specific Languages - International Dagstuhl Seminar Dagstuhl Castle, Germany, October 5-10, 2014 Revised Papers. Lecture Notes in Computer Science 9400, Springer 2015, ISBN 978-3-319-26171-3 [contents] - 2014
- [j31]Erik M. Fredericks, Byron DeVries, Betty H. C. Cheng:
AutoRELAX: automatically RELAXing a goal model to address uncertainty. Empir. Softw. Eng. 19(5): 1466-1501 (2014) - [c119]Betty H. C. Cheng, Benoît Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe:
On the Globalization of Domain-Specific Languages. Globalizing Domain-Specific Languages 2014: 1-6 - [c118]Betty H. C. Cheng, Thomas Degueule, Colin Atkinson, Siobhán Clarke, Ulrich Frank, Pieter J. Mosterman, Janos Sztipanovits:
Motivating Use Cases for the Globalization of DSLs. Globalizing Domain-Specific Languages 2014: 21-42 - [c117]Erik M. Fredericks, Byron DeVries, Betty H. C. Cheng:
Towards run-time adaptation of test cases for self-adaptive systems in the face of uncertainty. SEAMS 2014: 17-26 - [c116]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:
The Relevance of Model-Driven Engineering Thirty Years from Now. MoDELS 2014: 183-200 - [e7]Nelly Bencomo, Robert B. France, Betty H. C. Cheng, Uwe Aßmann:
Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27 - December 2, 2011]. Lecture Notes in Computer Science 8378, Springer 2014, ISBN 978-3-319-08914-0 [contents] - [i4]Betty H. C. Cheng, Benoît Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe:
Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412). Dagstuhl Reports 4(10): 32-50 (2014) - 2013
- [c115]Erik M. Fredericks, Betty H. C. Cheng:
Exploring automated software composition with genetic programming. GECCO (Companion) 2013: 1733-1734 - [c114]Betty H. C. Cheng, Andres J. Ramirez, Philip K. McKinley:
Harnessing evolutionary computation to enable dynamically adaptive systems to manage uncertainty. CMSBSE@ICSE 2013: 1-6 - [c113]Erik M. Fredericks, Andres J. Ramirez, Betty H. C. Cheng:
Towards run-time testing of dynamic adaptive systems. SEAMS 2013: 169-174 - [c112]Erik M. Fredericks, Andres J. Ramirez, Betty H. C. Cheng:
Validating Code-Level Behavior of Dynamic Adaptive Systems in the Face of Uncertainty. SSBSE 2013: 81-95 - [e6]David Notkin, Betty H. C. Cheng, Klaus Pohl:
35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. IEEE Computer Society 2013, ISBN 978-1-4673-3076-3 [contents] - 2012
- [j30]Philip K. McKinley, Betty H. C. Cheng, Andres J. Ramirez, Adam C. Jensen:
Applying evolutionary computation to mitigate uncertainty in dynamically-adaptive, high-assurance middleware. J. Internet Serv. Appl. 3(1): 51-58 (2012) - [c111]Sherri Goings, Heather Goldsby, Betty H. C. Cheng, Charles Ofria:
An ecology-based evolutionary algorithm to evolve solutions to complex problems. ALIFE 2012 - [c110]Chad M. Byers, Betty H. C. Cheng, Philip K. McKinley:
Exploring the evolution of internal control structure using digital enzymes. GECCO (Companion) 2012: 1407-1408 - [c109]Andres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng:
A taxonomy of uncertainty for dynamically adaptive systems. SEAMS 2012: 99-108 - [c108]Robert B. France, James M. Bieman, Sai Pradeep Mandalaparty, Betty H. C. Cheng, Adam C. Jensen:
Repository for Model Driven Development (ReMoDD). ICSE 2012: 1471-1472 - [c107]Andres J. Ramirez, Betty H. C. Cheng, Nelly Bencomo, Pete Sawyer:
Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time. MoDELS 2012: 53-69 - [c106]Andres J. Ramirez, Erik M. Fredericks, Adam C. Jensen, Betty H. C. Cheng:
Automatically RELAXing a Goal Model to Cope with Uncertainty. SSBSE 2012: 198-212 - 2011
- [j29]Andres J. Ramirez, David B. Knoester, Betty H. C. Cheng, Philip K. McKinley:
Plato: a genetic algorithm approach to run-time reconfiguration in autonomic computing systems. Clust. Comput. 14(3): 229-244 (2011) - [c105]Andres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng:
An aspect-oriented approach for implementing evolutionary computation applications. AOSD 2011: 153-164 - [c104]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:
Using Models at Runtime to Address Assurance for Self-Adaptive Systems. Models@run.time@Dagstuhl 2011: 101-136 - [c103]Chad M. Byers, Betty H. C. Cheng, Philip K. McKinley:
Digital enzymes: agents of reaction inside robotic controllers for the foraging problem. GECCO 2011: 243-250 - [c102]Andres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng, David B. Knoester:
Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems. ASE 2011: 568-571 - [c101]Nelly Bencomo, Gordon S. Blair, Robert B. France, Betty H. C. Cheng, Cédric Jeanneret:
Summary of the 6th International Workshop on Models@run.time. MoDELS (Workshops) 2011: 149-151 - [c100]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:
Comparing Six Modeling Approaches. MoDELS (Workshops) 2011: 217-243 - [c99]Andres J. Ramirez, Betty H. C. Cheng:
Automatic Derivation of Utility Functions for Monitoring Software Requirements. MoDELS 2011: 501-516 - [c98]Adam C. Jensen, Betty H. C. Cheng, Heather Goldsby, Edward C. Nelson:
A Toolchain for the Detection of Structural and Behavioral Latent System Properties. MoDELS 2011: 683-698 - [c97]Andres J. Ramirez, Betty H. C. Cheng, Philip K. McKinley:
An Evolutionary Approach to Network Self-Organization and Resilient Data Diffusion. SASO 2011: 198-207 - [e5]Holger Giese, Betty H. C. Cheng:
2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2011, Waikiki, Honolulu , HI, USA, May 23-24, 2011. ACM 2011, ISBN 978-1-4503-0575-4 [contents] - [i3]Uwe Aßmann, Nelly Bencomo, Betty H. C. Cheng, Robert B. France:
Models@run.time (Dagstuhl Seminar 11481). Dagstuhl Reports 1(11): 91-123 (2011) - 2010
- [j28]Jon Whittle, Peter Sawyer, Nelly Bencomo, Betty H. C. Cheng, Jean-Michel Bruel:
RELAX: a language to address uncertainty in self-adaptive systems requirement. Requir. Eng. 15(2): 177-196 (2010) - [c96]Adam C. Jensen, Betty H. C. Cheng:
On the use of genetic programming for automated refactoring and the introduction of design patterns. GECCO 2010: 1341-1348 - [c95]Andres J. Ramirez, Betty H. C. Cheng, Philip K. McKinley, Benjamin E. Beckmann:
Automatically generating adaptive logic to balance non-functional tradeoffs during reconfiguration. ICAC 2010: 225-234 - [c94]Andres J. Ramirez, Betty H. C. Cheng:
Design patterns for developing dynamically adaptive systems. SEAMS 2010: 49-58 - [c93]Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Mauro Pezzè, Richard Taylor:
Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010). ICSE (2) 2010: 447-448 - [c92]Heather Goldsby, Betty H. C. Cheng:
Automatically Discovering Properties That Specify the Latent Behavior of UML Models. MoDELS (1) 2010: 316-330 - [c91]Andres J. Ramirez, Betty H. C. Cheng, Philip K. McKinley:
Adaptive monitoring of software requirements. RE@RunTime 2010: 41-50
2000 – 2009
- 2009
- [c90]Ji Zhang, Heather Goldsby, Betty H. C. Cheng:
Modular verification of dynamically adaptive systems. AOSD 2009: 161-172 - [c89]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:
Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems 2009: 1-26 - [c88]David B. Knoester, Andres J. Ramirez, Philip K. McKinley, Betty H. C. Cheng:
Evolution of robust data distribution among digital organisms. GECCO 2009: 137-144 - [c87]Andres J. Ramirez, Betty H. C. Cheng:
Applying adaptation design patterns. ICAC 2009: 69-70 - [c86]Andres J. Ramirez, David B. Knoester, Betty H. C. Cheng, Philip K. McKinley:
Applying genetic algorithms to decision making in autonomic computing systems. ICAC 2009: 97-106 - [c85]Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor:
SEAMS 2009: Software engineering for adaptive and self-managing systems. ICSE Companion 2009: 463-464 - [c84]Betty H. C. Cheng, Peter Sawyer, Nelly Bencomo, Jon Whittle:
A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty. MoDELS 2009: 468-483 - [c83]Jon Whittle, Peter Sawyer, Nelly Bencomo, Betty H. C. Cheng, Jean-Michel Bruel:
RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems. RE 2009: 79-88 - [e4]Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee:
Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar]. Lecture Notes in Computer Science 5525, Springer 2009, ISBN 978-3-642-02160-2 [contents] - 2008
- [j27]Philip K. McKinley, Betty H. C. Cheng, Charles Ofria, David B. Knoester, Benjamin E. Beckmann, Heather Goldsby:
Harnessing Digital Evolution. Computer 41(1): 54-63 (2008) - [c82]Heather Goldsby, Peter Sawyer, Nelly Bencomo, Betty H. C. Cheng, Danny Hughes:
Goal-Based Modeling of Dynamically Adaptive System Requirements. ECBS 2008: 36-45 - [c81]Heather Goldsby, Betty H. C. Cheng:
Avida-MDE: a digital evolution approach to generating models of adaptive software behavior. GECCO 2008: 1751-1758 - [c80]Heather Goldsby, Betty H. C. Cheng, Philip K. McKinley, David B. Knoester, Charles Ofria:
Digital Evolution of Behavioral Models for Autonomic Systems. ICAC 2008: 87-96 - [c79]Andres J. Ramirez, Betty H. C. Cheng:
Design patterns for monitoring adaptive ULS systems. ULSSIS@ICSE 2008: 69-72 - [c78]Andres J. Ramirez, Betty H. C. Cheng:
Verifying and Analyzing Adaptive Logic through UML State Models. ICST 2008: 529-532 - [c77]Heather Goldsby, Betty H. C. Cheng:
Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty. MoDELS 2008: 568-583 - [e3]Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee:
Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008. Dagstuhl Seminar Proceedings 08031, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - [e2]Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard N. Taylor:
2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2008, Leipzig, Germany, May 12-13, 2008. ACM 2008, ISBN 978-1-60558-037-1 [contents] - [i2]Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos:
08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map. Software Engineering for Self-Adaptive Systems 2008 - [i1]Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos:
08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems 2008 - 2007
- [j26]Ji Zhang, Zhinan Zhou, Betty H. C. Cheng, Philip K. McKinley:
Specifying real-time properties in autonomic systems. Innov. Syst. Softw. Eng. 3(1): 3-16 (2007) - [c76]Heather Goldsby, Sascha Konrad, Betty H. C. Cheng:
Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements. HASE 2007: 7-14 - [c75]Ali Ebnenasir, Betty H. C. Cheng:
Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML. HASE 2007: 275-282 - [c74]Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor:
SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems. SEAMS 2007: 1 - [c73]Ji Zhang, Betty H. C. Cheng:
Towards Re-engineering Legacy Systems for Assured Dynamic Adaptation. MiSE@ICSE 2007: 10 - [c72]Heather Goldsby, David B. Knoester, Betty H. C. Cheng, Philip K. McKinley, Charles Ofria:
Digitally Evolving Models for Dynamically Adaptive Systems. SEAMS 2007: 13 - [c71]Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor:
SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems. ICSE Companion 2007: 152-153 - [c70]Betty H. C. Cheng, Joanne M. Atlee:
Research Directions in Requirements Engineering. FOSE 2007: 285-303 - [c69]Heather Goldsby, Betty H. C. Cheng, Ji Zhang:
AMOEBA-RT: Run-Time Verification of Adaptive Software. MoDELS (Workshops) 2007: 212-224 - [c68]Sascha Konrad, Heather Goldsby, Betty H. C. Cheng:
i2MAP : An Incremental and Iterative Modeling and Analysis Process. MoDELS 2007: 451-466 - 2006
- [j25]Ji Zhang, Betty H. C. Cheng:
Using temporal logic to specify adaptive program semantics. J. Syst. Softw. 79(10): 1361-1369 (2006) - [c67]Greg Brown, Betty H. C. Cheng, Heather Goldsby, Ji Zhang:
Goal-oriented specification of adaptation requirements engineering in adaptive systems. SEAMS@ICSE 2006: 23-29 - [c66]