Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Betty H. C. Cheng

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[c100]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gecco/FredericksC13
- ask others
Erik M. Fredericks, Betty H. C. Cheng: Exploring automated software composition with genetic programming. GECCO (Companion) 2013: 1733-1734
[c99]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/FredericksRC13
- ask others
Erik M. Fredericks, Andres J. Ramirez, Betty H. C. Cheng: Towards run-time testing of dynamic adaptive systems. SEAMS 2013: 169-174
[c98]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ssbse/FredericksRC13
- ask others
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
[e4]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/2013
- ask others
David Notkin, Betty H. C. Cheng, Klaus Pohl (Eds.): 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. IEEE / ACM 2013, ISBN 978-1-4673-3076-3
2012
[j30]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jisa/McKinleyCRJ12
- ask others
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 Services and Applications 3(1): 51-58 (2012)
[c97]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/alife/GoingsGCO12
- ask others
Sherri Goings, Heather Goldsby, Betty H. C. Cheng, Charles Ofria: An ecology-based evolutionary algorithm to evolve solutions to complex problems. ALIFE 2012
[c96]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gecco/ByersCM12
- ask others
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
[c95]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/FranceBMCJ12
- ask others
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
[c94]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/models/RamirezCBS12
- ask others
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
[c93]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ssbse/RamirezFJC12
- ask others
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]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cluster/RamirezKCM11
- ask others
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. Cluster Computing 14(3): 229-244 (2011)
[c92]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/aosd/RamirezJC11
- ask others
Andres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng: An aspect-oriented approach for implementing evolutionary computation applications. AOSD 2011: 153-164
[c91]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gecco/ByersCM11
- ask others
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
[c90]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kbse/RamirezJCK11
- ask others
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
[c89]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/models/BencomoBFCJ11
- ask others
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
[c88]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/models/MussbacherAAABBBCCFFGGIJKKLMMPT11
- ask others
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 Troup: Comparing Six Modeling Approaches. MoDELS Workshops 2011: 217-243
[c87]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/models/RamirezC11
- ask others
Andres J. Ramirez, Betty H. C. Cheng: Automatic Derivation of Utility Functions for Monitoring Software Requirements. MoDELS 2011: 501-516
[c86]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/models/JensenCGN11
- ask others
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
[c85]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/saso/RamirezCM11
- ask others
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
[e3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/2011seams
- ask others
Holger Giese, Betty H. C. Cheng (Eds.): 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
[i1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/dagstuhl-reports/AssmannBCF11
- ask others
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]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/re/WhittleSBCB10
- ask others
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)
[c84]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gecco/JensenC10
- ask others
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
[c83]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icac/RamirezCMB10
- ask others
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
[c82]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/ChengLGGLMMPT10
- ask others
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
[c81]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/models/GoldsbyC10
- ask others
Heather Goldsby, Betty H. C. Cheng: Automatically Discovering Properties That Specify the Latent Behavior of UML Models. MoDELS (1) 2010: 316-330

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[c80]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/aosd/ZhangGC09
- ask others
Ji Zhang, Heather Goldsby, Betty H. C. Cheng: Modular verification of dynamically adaptive systems. AOSD 2009: 161-172
[c79]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/ChengLGIMABBBCSDFGGGKKKLMMMPSTTWW09
- ask others
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
[c78]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gecco/KnoesterRMC09
- ask others
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
[c77]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icac/RamirezC09
- ask others
Andres J. Ramirez, Betty H. C. Cheng: Applying adaptation design patterns. ICAC 2009: 69-70
[c76]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icac/RamirezKCM09
- ask others
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
[c75]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/ChengLGGLMMT09
- ask others
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
[c74]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/models/ChengSBW09
- ask others
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
[c73]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/re/WhittleSBCB09
- ask others
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
[e2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/2009adaptive
- ask others
Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee (Eds.): 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
2008
[j27]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/computer/McKinleyCOKBG08
- ask others
Philip K. McKinley, Betty H. C. Cheng, Charles Ofria, David B. Knoester, Benjamin E. Beckmann, Heather Goldsby: Harnessing Digital Evolution. IEEE Computer 41(1): 54-63 (2008)
[c72]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/ChengGIML08
- ask others
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
[c71]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/ChengGIML08a
- ask others
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
[c70]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecbs/GoldsbySBCH08
- ask others
Heather Goldsby, Peter Sawyer, Nelly Bencomo, Betty H. C. Cheng, Danny Hughes: Goal-Based Modeling of Dynamically Adaptive System Requirements. ECBS 2008: 36-45
[c69]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gecco/GoldsbyC08
- ask others
Heather Goldsby, Betty H. C. Cheng: Avida-MDE: a digital evolution approach to generating models of adaptive software behavior. GECCO 2008: 1751-1758
[c68]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icac/GoldsbyCMKO08
- ask others
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
[c67]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icst/RamirezC08
- ask others
Andres J. Ramirez, Betty H. C. Cheng: Verifying and Analyzing Adaptive Logic through UML State Models. ICST 2008: 529-532
[c66]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/models/GoldsbyC08
- ask others
Heather Goldsby, Betty H. C. Cheng: Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty. MoDELS 2008: 568-583
[e1]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/2008P8031
- ask others
Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee (Eds.): 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
2007
[j26]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/isse/ZhangZCM07
- ask others
Ji Zhang, Zhinan Zhou, Betty H. C. Cheng, Philip K. McKinley: Specifying real-time properties in autonomic systems. ISSE 3(1): 3-16 (2007)
[c65]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/hase/GoldsbyKC07
- ask others
Heather Goldsby, Sascha Konrad, Betty H. C. Cheng: Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements. HASE 2007: 7-14
[c64]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/hase/EbnenasirC07
- ask others
Ali Ebnenasir, Betty H. C. Cheng: Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML. HASE 2007: 275-282
[c63]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/ChengLFGLMMT07a
- ask others
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
[c62]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/GoldsbyKCMO07
- ask others
Heather Goldsby, David B. Knoester, Betty H. C. Cheng, Philip K. McKinley, Charles Ofria: Digitally Evolving Models for Dynamically Adaptive Systems. SEAMS 2007: 13
[c61]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/ChengLFGLMMT07
- ask others
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
[c60]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/ChengA07
- ask others
Betty H. C. Cheng, Joanne M. Atlee: Research Directions in Requirements Engineering. FOSE 2007: 285-303
[c59]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/models/GoldsbyCZ07
- ask others
Heather Goldsby, Betty H. C. Cheng, Ji Zhang: AMOEBA-RT: Run-Time Verification of Adaptive Software. MoDELS Workshops 2007: 212-224
[c58]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/models/KonradGC07
- ask others
Sascha Konrad, Heather Goldsby, Betty H. C. Cheng: i²MAP : An Incremental and Iterative Modeling and Analysis Process. MoDELS 2007: 451-466
2006
[j25]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jss/ZhangC06
- ask others
Ji Zhang, Betty H. C. Cheng: Using temporal logic to specify adaptive program semantics. Journal of Systems and Software 79(10): 1361-1369 (2006)
[c57]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/EbnenasirC06
- ask others
Ali Ebnenasir, Betty H. C. Cheng: A Pattern-Based Approach for Modeling and Analyzing Error Recovery. WADS 2006: 115-141
[c56]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/ZhangC06
- ask others
Ji Zhang, Betty H. C. Cheng: Model-based development of dynamically adaptive software. ICSE 2006: 371-380
[c55]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/ChengGLMTFM06
- ask others
Betty H. C. Cheng, David Garlan, Rogério de Lemos, Jeff Magee, Richard Taylor, Stephen Fickas, Hausi A. Müller: Software engineering for adaptive and self-managing systems. ICSE 2006: 1015-1016
[c54]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/models/FranceBC06
- ask others
Robert B. France, James M. Bieman, Betty H. C. Cheng: Repository for Model Driven Development (ReMoDD). MoDELS Workshops 2006: 311-317
[c53]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/models/GoldsbyCKK06
- ask others
Heather Goldsby, Betty H. C. Cheng, Sascha Konrad, Stephane Kamdoum: A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems. MoDELS 2006: 707-721
[c52]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/re/EbnenasirCK06
- ask others
Ali Ebnenasir, Betty H. C. Cheng, Sascha Konrad: Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance. RE 2006: 336-337
[c51]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/re/GoldsbyC06
- ask others
Heather Goldsby, Betty H. C. Cheng: Goal-Oriented Modeling of Requirements Engineering for Dynamically Adaptive System. RE 2006: 338-339
2005
[j24]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ijseke/DengSC05
- ask others
Min Deng, R. E. Kurt Stirewalt, Betty H. C. Cheng: Retrieval by Construction: a Traceability Technique to Support Verification and Validation of Uml Formalizations. International Journal of Software Engineering and Knowledge Engineering 15(5): 837-872 (2005)
[j23]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/sigsoft/FlemingCSM05
- ask others
Scott D. Fleming, Betty H. C. Cheng, R. E. Kurt Stirewalt, Philip K. McKinley: An approach to implementing dynamic adaptation in C++. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
[j22]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/sigsoft/SadjadiMC05
- ask others
Seyed Masoud Sadjadi, Philip K. McKinley, Betty H. C. Cheng: Transparent shaping of existing software to support pervasive and autonomic computing. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
[j21]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/sigsoft/ZhangC05
- ask others
Ji Zhang, Betty H. C. Cheng: Specifying adaptation semantics. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
[c50]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/KonradC05
- ask others
Sascha Konrad, Betty H. C. Cheng: Real-time specification patterns. ICSE 2005: 372-381
[c49]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/re/KonradC05
- ask others
Sascha Konrad, Betty H. C. Cheng: Facilitating the Construction of Specification Pattern-based Properties. RE 2005: 329-338
[c48]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/uml/KonradC05
- ask others
Sascha Konrad, Betty H. C. Cheng: Automated Analysis of Natural Language Properties for UML Models. MoDELS Satellite Events 2005: 48-57
[c47]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/uml/ChengSB05
- ask others
Betty H. C. Cheng, Ryan Stephenson, Brian Berenbach: Lessons Learned from Automated Analysis of Industrial UML Class Models (An Experience Report). MoDELS 2005: 324-338
2004
[j20]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/computer/McKinleySKC04
- ask others
Philip K. McKinley, Seyed Masoud Sadjadi, Eric P. Kasten, Betty H. C. Cheng: Composing Adaptive Software. IEEE Computer 37(7): 56-64 (2004)
[j19]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tse/KonradCC04
- ask others
Sascha Konrad, Betty H. C. Cheng, Laura A. Campbell: Object Analysis Patterns for Embedded Systems. IEEE Trans. Software Eng. 30(12): 970-992 (2004)
[c46]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/coopis/SadjadiMCS04
- ask others
Seyed Masoud Sadjadi, Philip K. McKinley, Betty H. C. Cheng, R. E. Kurt Stirewalt: TRAP/J: Transparent Generation of Adaptable Java Programs. CoopIS/DOA/ODBASE (2) 2004: 1243-1261
[c45]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icac/SadjadiMSC04
- ask others
Seyed Masoud Sadjadi, Philip K. McKinley, R. E. Kurt Stirewalt, Betty H. C. Cheng: Generation of Self-Optimizing Wireless Network Applications. ICAC 2004: 310-311
[c44]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/ZhangCYM04
- ask others
Ji Zhang, Betty H. C. Cheng, Zhenxiao Yang, Philip K. McKinley: Enabling Safe Dynamic Component-Based Software Adaptation. WADS 2004: 194-211
[c43]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kbse/KonradCC04
- ask others
Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng: Automated Analysis of Timing Information in UML Diagrams. ASE 2004: 350-353
[c42]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/middleware/YangZCM04
- ask others
Zhenxiao Yang, Zhinan Zhou, Betty H. C. Cheng, Philip K. McKinley: Enabling collaborative adaptation across legacy components. Adaptive and Reflective Middleware 2004: 277-282
[c41]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/woss/BisbalC04
- ask others
Jesus Bisbal, Betty H. C. Cheng: Resource-based approach to feature interaction in adaptive software. WOSS 2004: 23-27
2003
[c40]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/spin/KonradCCD03
- ask others
Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng, Min Deng: A Requirements Patterns-Driven Approach to Specify Systems and Check Properties. SPIN 2003: 18-33
2002
[j18]
- view
  - electronic edition @ computer.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/dsonline/McKinleySCDK02
- ask others
Philip K. McKinley, Kurt Stirewalt, Betty H. C. Cheng, Laura K. Dillon, Sandeep S. Kulkarni: Education: Interactive Distributed Applications and the Computer Science Curriculum. IEEE Distributed Systems Online 3(10) (2002)
[j17]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/re/CampbellCMS02
- ask others
Laura A. Campbell, Betty H. C. Cheng, William E. McUmber, Kurt Stirewalt: Automatically Detecting and Visualising Errors in UML Diagrams. Requir. Eng. 7(4): 264-287 (2002)
[j16]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tse/ChengW02
- ask others
Betty H. C. Cheng, Enoch Y. Wang: Formalizing and Integrating the Dynamic Model for Object-Oriented Modeling. IEEE Trans. Software Eng. 28(8): 747-762 (2002)
[c39]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/re/KonradC02
- ask others
Sascha Konrad, Betty H. C. Cheng: Requirements Patterns for Embedded Systems. RE 2002: 127-136
[c38]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/woss/YangCSSSM02
- ask others
Zhenxiao Yang, Betty H. C. Cheng, R. E. Kurt Stirewalt, J. Sowell, Seyed Masoud Sadjadi, Philip K. McKinley: An aspect-oriented approach to dynamic adaptation. WOSS 2002: 85-92
2001
[j15]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ansoft/ChengG01
- ask others
Betty H. C. Cheng, Gerald C. Gannod: Developing and Maintaining an Object-Oriented Distributed Multimedia Information System. Ann. Software Eng. 12(1): 95-118 (2001)
[c37]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/compsac/Cheng01
- ask others
Betty H. C. Cheng: A Metamodel-Based Approach to Formalizing UML. COMPSAC 2001: 278-
[c36]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/McUmberC01
- ask others
William E. McUmber, Betty H. C. Cheng: A General Framework for Formalizing UML with Formal Languages. ICSE 2001: 433-442
[c35]
- view
  - electronic edition @ computer.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iwpc/GannodC01
- ask others
Gerald C. Gannod, Betty H. C. Cheng: A Suite of Tools for Facilitating Reverse Engineering Using Formal Methods. IWPC 2001: 221-232
[c34]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/re/ChengC01
- ask others
Betty H. C. Cheng, Laura A. Campbell: Integrating Informal and Formal Approaches to Requirements Modeling and Analysis. RE 2001: 294-295
2000
[j14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ijseke/WangC00
- ask others
Enoch Y. Wang, Betty H. C. Cheng: Formalizing the Functional Model within Object-Oriented Design. International Journal of Software Engineering and Knowledge Engineering 10(1): 5-30 (2000)
[j13]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/sigsoft/Cheng00
- ask others
Betty H. C. Cheng: Integrating object-oriented analysis and formal specifications. ACM SIGSOFT Software Engineering Notes 25(1): 40-41 (2000)
[j12]
- view
  - electronic edition @ computer.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/software/ChengW00
- ask others
Betty H. C. Cheng, David M. Weiss: Guest Editors' Introduction: Requirements Engineering - Integrating Technology. IEEE Software 17(3) (2000)
[c33]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dsn/ChengCW00
- ask others
Betty H. C. Cheng, Laura A. Campbell, Enoch Y. Wang: Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams. DSN 2000: 305-314
[c32]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iwssd/ACampbellC00
- ask others
Laura A. Campbell, Betty H. C. Cheng: Object-Oriented Modeling and Automated Analysis of a Telemedicine Application. IWSSD 2000: 39-50

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1999
[c31]
- view
  - electronic edition @ computer.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/hase/McUmberC99
- ask others
William E. McUmber, Betty H. C. Cheng: UML-Based Analysis of Embedded Systems Using a Mapping to VHDL. HASE 1999: 56-63
[c30]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/GannodC99
- ask others
Gerald C. Gannod, Betty H. C. Cheng: A Specification Matching Based Approach to Reverse Engineering. ICSE 1999: 389-398
[c29]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigcse/McKinleyCW99
- ask others
Philip K. McKinley, Betty H. C. Cheng, John J. Weng: Moving industry-guided multimedia technology into the classroom. SIGCSE 1999: 160-164
[c28]
- view
  - electronic edition @ computer.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wcre/GannodC99
- ask others
Gerald C. Gannod, Betty H. C. Cheng: A Framework for Classifying and Comparing Software Reverse Engineering and Design Recovery Techniques. WCRE 1999: 77-88
[c27]
- view
  - electronic edition @ computer.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wcre/GannodC99a
- ask others
Gerald C. Gannod, Betty H. C. Cheng: A Formal Approach for Reverse Engineering: A Case Study. WCRE 1999: 100-111
1998
[c26]
- view
  - electronic edition @ computer.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kbse/GannodCC98
- ask others
Gerald C. Gannod, Yonghao Chen, Betty H. C. Cheng: An Automated Approach for Supporting Software Reuse via Reverse Engineering. ASE 1998: 94-
[c25]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wcre/GannodSFC98
- ask others
Gerald C. Gannod, Gora Sudindranath, Mark Fagnani, Betty H. C. Cheng: PACKRAT: A Software Reengineering Case Study. WCRE 1998: 125-134
[c24]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wift/Cheng98
- ask others
Betty H. C. Cheng: A Discussion About Integrated Techniques. WIFT 1998: 65-
1997
[j11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jpdc/RobinsonMC97
- ask others
David F. Robinson, Philip K. McKinley, Betty H. C. Cheng: Path-Based Multicast Communication in Wormhole-Routed Unidirectional Torus Networks. J. Parallel Distrib. Comput. 45(2): 104-121 (1997)
[j10]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tkde/ChengJ97
- ask others
Betty H. C. Cheng, Jun-Jang Jeng: Reusing Analogous Components. IEEE Trans. Knowl. Data Eng. 9(2): 341-349 (1997)
[c23]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/WangRC97
- ask others
Enoch Y. Wang, Heather A. Richter, Betty H. C. Cheng: Formalizing and Integrating the Dynamic Model within OMT. ICSE 1997: 45-55
[c22]
- view
  - electronic edition @ computer.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ictai/ChenC97
- ask others
Yonghao Chen, Betty H. C. Cheng: Formalizing and Automating Component Reuse. ICTAI 1997: 94-101
[c21]
- view
  - electronic edition @ computer.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kbse/GannodC97
- ask others
Gerald C. Gannod, Betty H. C. Cheng: A Formal Automated Approach for Reverse Engineering Programs with Pointers. ASE 1997: 219-226
[c20]
- view
  - electronic edition @ computer.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kbse/ChenC97
- ask others
Yonghao Chen, Betty H. C. Cheng: Facilitating an Automated Approach to Architecture-based Software Reuse. ASE 1997: 238-245
1996
[j9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ase/GannodC96
- ask others
Gerald C. Gannod, Betty H. C. Cheng: Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering. Autom. Softw. Eng. 3(1/2): 139-164 (1996)
[j8]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tse/BourdeauC96
- ask others
Robert H. Bourdeau, Betty H. C. Cheng: Correspondence: Response to Botting's Comments. IEEE Trans. Software Eng. 22(12): 911 (1996)
[c19]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icre/Cheng96
- ask others
Betty H. C. Cheng: Where and How do Formal Methods Fit in Requirements Engineering?. ICRE 1996: 154-156
[c18]
- view
  - electronic edition @ computer.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icsm/GannodC96
- ask others
Gerald C. Gannod, Betty H. C. Cheng: Using Informal and Formal Techniques for the Reverse Engineering of C Programs. ICSM 1996: 265-274
[c17]
- view
  - electronic edition @ computer.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wcre/GannodC96
- ask others
Gerald C. Gannod, Betty H. C. Cheng: Using Informal and Formal Techniques for the Reverse Engineering of C Programs. WCRE 1996: 249-258
1995
[j7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jpdc/RobinsonJMC95
- ask others
David F. Robinson, Dan Judd, Philip K. McKinley, Betty H. C. Cheng: Efficient Multicast in All-Port Wormhole-Routed Hypercubes. J. Parallel Distrib. Comput. 31(2): 126-140 (1995)
[j6]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tc/TurnerNC95
- ask others
Stephen W. Turner, Lionel M. Ni, Betty H. C. Cheng: Contention-Free 2D-Mesh Cluster Allocation in Hypercubes. IEEE Trans. Computers 44(8): 1051-1055 (1995)
[j5]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tpds/RobinsonMC95
- ask others
David F. Robinson, Philip K. McKinley, Betty H. C. Cheng: Optimal Multicast Communication in Wormhole-Routed Torus Networks. IEEE Trans. Parallel Distrib. Syst. 6(10): 1029-1042 (1995)
[j4]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tse/BourdeauC95
- ask others
Robert H. Bourdeau, Betty H. C. Cheng: A Formal Semantics for Object Model Diagrams. IEEE Trans. Software Eng. 21(10): 799-821 (1995)
[c16]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icmcs/SharnowskiGC95
- ask others
Joseph L. Sharnowski, Gerald C. Gannod, Betty H. C. Cheng: A Distributed, Multimedia Environmental Information System. ICMCS 1995: 142-149
[c15]
- view
  - electronic edition @ computer.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ipps/SharnowskiC95
- ask others
Joseph L. Sharnowski, Betty H. C. Cheng: A visualization-based environment for top-down debugging of parallel programs. IPPS 1995: 640-
[c14]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ssr/JengC95
- ask others
Jun-Jang Jeng, Betty H. C. Cheng: Specification Matching for Software Reuse: A Foundation. SSR 1995: 97-105
[c13]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wcre/GannodC95
- ask others
Gerald C. Gannod, Betty H. C. Cheng: Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering. WCRE 1995: 0-
1994
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ijseke/GannodC94
- ask others
Gerald C. Gannod, Betty H. C. Cheng: Facilitating the Maintenance of Safety-Critical Systems. International Journal of Software Engineering and Knowledge Engineering 4(2): 183-204 (1994)
[c12]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icpp/RobinsonMC94
- ask others
David F. Robinson, Philip K. McKinley, Betty H. C. Cheng: Optimal Multicast Communication in a Wormhole-Routed Torus Networks. ICPP (1) 1994: 134-141
[c11]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ictai/ChengWB94
- ask others
Betty H. C. Cheng, Enoch Y. Wang, Robert H. Bourdeau: A Graphical Environment for Formally Developing Object-Oriented Software. ICTAI 1994: 26-32
[c10]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kbse/JengC94
- ask others
Jun-Jang Jeng, Betty H. C. Cheng: A Formal Approach to Reusing More General Components. KBSE 1994: 90-97
[c9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/parle/SharnowskiC94
- ask others
Joseph L. Sharnowski, Betty H. C. Cheng: A Formal Approach to Modeling Expected Behavior in Parallel Program Visualizations. PARLE 1994: 202-213
[c8]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sc/TurnerNC94
- ask others
Stephen W. Turner, Lionel M. Ni, Betty H. C. Cheng: Time and/or space sharing in a workstation cluster environment. SC 1994: 630-639
[c7]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/seke/ChengBG94
- ask others
Betty H. C. Cheng, Robert H. Bourdeau, Gerald C. Gannod: The object-oriented development of a distributed multimedia environmental information system. SEKE 1994: 70-77
1993
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jpdc/LapollaSCA93
- ask others
Mark Vincent LaPolla, Joseph L. Sharnowski, Betty H. C. Cheng, Kevin Anderson: Data Parallel Program Visualizations from Formal Specifications. J. Parallel Distrib. Comput. 18(2): 252-257 (1993)
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ershov/GannodC93
- ask others
Gerald C. Gannod, Betty H. C. Cheng: A Two-Phase Approach to Reverse Engineering Using Formal Methods. Formal Methods in Programming and Their Applications 1993: 335-348
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/esec/JengC93
- ask others
Jun-Jang Jeng, Betty H. C. Cheng: Using Formal Methods to Construct a Software Component Library. ESEC 1993: 397-417
[c4]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icpp/TurnerNC93
- ask others
Stephen W. Turner, Lionel M. Ni, Betty H. C. Cheng: Contention-Free 2D-Mesh Cluster Allocation in Hypercubes. ICPP 1993: 125-129
[c3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ictai/JengC93
- ask others
Jun-Jang Jeng, Betty H. C. Cheng: Using Analogy and Formal Methods for Software Reuse. ICTAI 1993: 113-116
[c2]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sc/RobinsonJMC93
- ask others
David F. Robinson, Dan Judd, Philip K. McKinley, Betty H. C. Cheng: Efficient collective data distribution in all-port wormhole-routed hypercubes. SC 1993: 792-801
[c1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/seke/LauxBC93
- ask others
Michael R. Laux, Robert H. Bourdeau, Betty H. C. Cheng: An Integrated Development Environment for Formal Specifications. SEKE 1993: 681-688
1992
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ijseke/JengC92
- ask others
Jun-Jang Jeng, Betty H. C. Cheng: Using Automated Reasoning Techniques to Determine Software Reuse. International Journal of Software Engineering and Knowledge Engineering 2(4): 523-546 (1992)

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?