| * | 2009 |
|---|
| 102 | EE | 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]
Springer 2009 |
| 101 | EE | Ji Zhang,
Heather Goldsby,
Betty H. C. Cheng:
Modular verification of dynamically adaptive systems.
AOSD 2009: 161-172 |
| 100 | EE | 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 |
| 99 | EE | 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 |
| 98 | EE | 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 |
| 97 | EE | 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 |
| 2008 |
|---|
| 96 | | 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
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 |
| 95 | EE | Heather Goldsby,
Peter Sawyer,
Nelly Bencomo,
Betty H. C. Cheng,
Danny Hughes:
Goal-Based Modeling of Dynamically Adaptive System Requirements.
ECBS 2008: 36-45 |
| 94 | EE | Heather Goldsby,
Betty H. C. Cheng:
Avida-MDE: a digital evolution approach to generating models of adaptive software behavior.
GECCO 2008: 1751-1758 |
| 93 | EE | Andres J. Ramirez,
Betty H. C. Cheng:
Verifying and Analyzing Adaptive Logic through UML State Models.
ICST 2008: 529-532 |
| 92 | EE | Heather Goldsby,
Betty H. C. Cheng:
Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty.
MoDELS 2008: 568-583 |
| 91 | EE | 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 |
| 90 | EE | 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 |
| 89 | EE | 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) |
| 2007 |
|---|
| 88 | EE | Betty H. C. Cheng,
Joanne M. Atlee:
Research Directions in Requirements Engineering.
FOSE 2007: 285-303 |
| 87 | EE | Ali Ebnenasir,
Betty H. C. Cheng:
Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML.
HASE 2007: 275-282 |
| 86 | EE | Heather Goldsby,
Sascha Konrad,
Betty H. C. Cheng:
Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements.
HASE 2007: 7-14 |
| 85 | EE | 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 |
| 84 | EE | Sascha Konrad,
Heather Goldsby,
Betty H. C. Cheng:
i2MAP : An Incremental and Iterative Modeling and Analysis Process.
MoDELS 2007: 451-466 |
| 83 | EE | Heather Goldsby,
Betty H. C. Cheng,
Ji Zhang:
AMOEBA-RT: Run-Time Verification of Adaptive Software.
MoDELS Workshops 2007: 212-224 |
| 82 | EE | Ji Zhang,
Zhinan Zhou,
Betty H. C. Cheng,
Philip K. McKinley:
Specifying real-time properties in autonomic systems.
ISSE 3(1): 3-16 (2007) |
| 2006 |
|---|
| 81 | EE | 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 |
| 80 | EE | Ji Zhang,
Betty H. C. Cheng:
Model-based development of dynamically adaptive software.
ICSE 2006: 371-380 |
| 79 | EE | 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 |
| 78 | EE | Robert B. France,
James M. Bieman,
Betty H. C. Cheng:
Repository for Model Driven Development (ReMoDD).
MoDELS Workshops 2006: 311-317 |
| 77 | EE | Ali Ebnenasir,
Betty H. C. Cheng,
Sascha Konrad:
Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance.
RE 2006: 336-337 |
| 76 | EE | Heather Goldsby,
Betty H. C. Cheng:
Goal-Oriented Modeling of Requirements Engineering for Dynamically Adaptive System.
RE 2006: 338-339 |
| 75 | EE | Ali Ebnenasir,
Betty H. C. Cheng:
A Pattern-Based Approach for Modeling and Analyzing Error Recovery.
WADS 2006: 115-141 |
| 74 | EE | Ji Zhang,
Betty H. C. Cheng:
Using temporal logic to specify adaptive program semantics.
Journal of Systems and Software 79(10): 1361-1369 (2006) |
| 2005 |
|---|
| 73 | EE | Sascha Konrad,
Betty H. C. Cheng:
Real-time specification patterns.
ICSE 2005: 372-381 |
| 72 | EE | 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 |
| 71 | EE | Sascha Konrad,
Betty H. C. Cheng:
Automated Analysis of Natural Language Properties for UML Models.
MoDELS Satellite Events 2005: 48-57 |
| 70 | EE | Sascha Konrad,
Betty H. C. Cheng:
Facilitating the Construction of Specification Pattern-based Properties.
RE 2005: 329-338 |
| 69 | EE | 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) |
| 68 | EE | Ji Zhang,
Betty H. C. Cheng:
Specifying adaptation semantics.
ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005) |
| 67 | EE | 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) |
| 66 | EE | 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) |
| 2004 |
|---|
| 65 | EE | Sascha Konrad,
Laura A. Campbell,
Betty H. C. Cheng:
Automated Analysis of Timing Information in UML Diagrams.
ASE 2004: 350-353 |
| 64 | EE | Zhenxiao Yang,
Zhinan Zhou,
Betty H. C. Cheng,
Philip K. McKinley:
Enabling collaborative adaptation across legacy components.
Adaptive and Reflective Middleware 2004: 277-282 |
| 63 | EE | 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 |
| 62 | EE | 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 |
| 61 | EE | Ji Zhang,
Betty H. C. Cheng,
Zhenxiao Yang,
Philip K. McKinley:
Enabling Safe Dynamic Component-Based Software Adaptation.
WADS 2004: 194-211 |
| 60 | EE | Jesus Bisbal,
Betty H. C. Cheng:
Resource-based approach to feature interaction in adaptive software.
WOSS 2004: 23-27 |
| 59 | EE | Philip K. McKinley,
Seyed Masoud Sadjadi,
Eric P. Kasten,
Betty H. C. Cheng:
Composing Adaptive Software.
IEEE Computer 37(7): 56-64 (2004) |
| 58 | EE | Sascha Konrad,
Betty H. C. Cheng,
Laura A. Campbell:
Object Analysis Patterns for Embedded Systems.
IEEE Trans. Software Eng. 30(12): 970-992 (2004) |
| 2003 |
|---|
| 57 | EE | 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 |
|---|
| 56 | EE | Sascha Konrad,
Betty H. C. Cheng:
Requirements Patterns for Embedded Systems.
RE 2002: 127-136 |
| 55 | EE | Z. 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 |
| 54 | EE | 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) |
| 53 | EE | 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) |
| 52 | EE | 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) |
| 2001 |
|---|
| 51 | EE | Betty H. C. Cheng:
A Metamodel-Based Approach to Formalizing UML.
COMPSAC 2001: 278- |
| 50 | | William E. McUmber,
Betty H. C. Cheng:
A General Framework for Formalizing UML with Formal Languages.
ICSE 2001: 433-442 |
| 49 | EE | Gerald C. Gannod,
Betty H. C. Cheng:
A Suite of Tools for Facilitating Reverse Engineering Using Formal Methods.
IWPC 2001: 221-232 |
| 48 | EE | Betty H. C. Cheng,
Laura A. Campbell:
Integrating Informal and Formal Approaches to Requirements Modeling and Analysis.
RE 2001: 294-295 |
| 47 | | 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) |
| 2000 |
|---|
| 46 | EE | Betty H. C. Cheng,
Laura A. Campbell,
Enoch Y. Wang:
Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams.
DSN 2000: 305- |
| 45 | EE | Laura A. Campbell,
Betty H. C. Cheng:
Object-Oriented Modeling and Automated Analysis of a Telemedicine Application.
IWSSD 2000: 39-50 |
| 44 | EE | Betty H. C. Cheng,
David M. Weiss:
Guest Editors' Introduction: Requirements Engineering - Integrating Technology.
IEEE Software 17(3): (2000) |
| 43 | | 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) |
| 1999 |
|---|
| 42 | EE | William E. McUmber,
Betty H. C. Cheng:
UML-Based Analysis of Embedded Systems Using a Mapping to VHDL.
HASE 1999: 56-63 |
| 41 | EE | Gerald C. Gannod,
Betty H. C. Cheng:
A Specification Matching Based Approach to Reverse Engineering.
ICSE 1999: 389-398 |
| 40 | EE | Philip K. McKinley,
Betty H. C. Cheng,
John J. Weng:
Moving industry-guided multimedia technology into the classroom.
SIGCSE 1999: 160-164 |
| 39 | EE | Gerald C. Gannod,
Betty H. C. Cheng:
A Formal Approach for Reverse Engineering: A Case Study.
WCRE 1999: 100-111 |
| 38 | EE | Gerald C. Gannod,
Betty H. C. Cheng:
A Framework for Classifying and Comparing Software Reverse Engineering and Design Recovery Techniques.
WCRE 1999: 77-88 |
| 1998 |
|---|
| 37 | EE | Gerald C. Gannod,
Yonghao Chen,
Betty H. C. Cheng:
An Automated Approach for Supporting Software Reuse via Reverse Engineering.
ASE 1998: 94- |
| 36 | | Gerald C. Gannod,
Gora Sudindranath,
Mark Fagnani,
Betty H. C. Cheng:
PACKRAT: A Software Reengineering Case Study.
WCRE 1998: 125-134 |
| 35 | EE | Betty H. C. Cheng:
A Discussion About Integrated Techniques.
WIFT 1998: 65- |
| 1997 |
|---|
| 34 | EE | Gerald C. Gannod,
Betty H. C. Cheng:
A Formal Automated Approach for Reverse Engineering Programs with Pointers.
ASE 1997: 219-226 |
| 33 | EE | Yonghao Chen,
Betty H. C. Cheng:
Facilitating an Automated Approach to Architecture-based Software Reuse.
ASE 1997: 238-245 |
| 32 | EE | Enoch Y. Wang,
Heather A. Richter,
Betty H. C. Cheng:
Formalizing and Integrating the Dynamic Model within OMT.
ICSE 1997: 45-55 |
| 31 | EE | Yonghao Chen,
Betty H. C. Cheng:
Formalizing and Automating Component Reuse.
ICTAI 1997: 94-101 |
| 30 | EE | Betty H. C. Cheng,
Jun-Jang Jeng:
Reusing Analogous Components.
IEEE Trans. Knowl. Data Eng. 9(2): 341-349 (1997) |
| 29 | | 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) |
| 1996 |
|---|
| 28 | EE | Betty H. C. Cheng:
Where and How do Formal Methods Fit in Requirements Engineering?.
ICRE 1996: 154-156 |
| 27 | EE | Gerald C. Gannod,
Betty H. C. Cheng:
Using Informal and Formal Techniques for the Reverse Engineering of C Programs.
ICSM 1996: 265-274 |
| 26 | EE | Gerald C. Gannod,
Betty H. C. Cheng:
Using Informal and Formal Techniques for the Reverse Engineering of C Programs.
WCRE 1996: 249-258 |
| 25 | | 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) |
| 24 | EE | Robert H. Bourdeau,
Betty H. C. Cheng:
Correspondence: Response to Botting's Comments.
IEEE Trans. Software Eng. 22(12): 911 (1996) |
| 1995 |
|---|
| 23 | | Joseph L. Sharnowski,
Gerald C. Gannod,
Betty H. C. Cheng:
A Distributed, Multimedia Environmental Information System.
ICMCS 1995: 142-149 |
| 22 | EE | Joseph L. Sharnowski,
Betty H. C. Cheng:
A visualization-based environment for top-down debugging of parallel programs.
IPPS 1995: 640- |
| 21 | EE | Jun-Jang Jeng,
Betty H. C. Cheng:
Specification Matching for Software Reuse: A Foundation.
SSR 1995: 97-105 |
| 20 | | Gerald C. Gannod,
Betty H. C. Cheng:
Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering.
WCRE 1995: 0- |
| 19 | | 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) |
| 18 | EE | 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) |
| 17 | EE | Robert H. Bourdeau,
Betty H. C. Cheng:
A Formal Semantics for Object Model Diagrams.
IEEE Trans. Software Eng. 21(10): 799-821 (1995) |
| 16 | | 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) |
| 1994 |
|---|
| 15 | | David F. Robinson,
Philip K. McKinley,
Betty H. C. Cheng:
Optimal Multicast Communication in a Wormhole-Routed Torus Networks.
ICPP (1) 1994: 134-141 |
| 14 | | Betty H. C. Cheng,
Enoch Y. Wang,
Robert H. Bourdeau:
A Graphical Environment for Formally Developing Object-Oriented Software.
ICTAI 1994: 26-32 |
| 13 | | Jun-Jang Jeng,
Betty H. C. Cheng:
A Formal Approach to Reusing More General Components.
KBSE 1994: 90-97 |
| 12 | | Joseph L. Sharnowski,
Betty H. C. Cheng:
A Formal Approach to Modeling Expected Behavior in Parallel Program Visualizations.
PARLE 1994: 202-213 |
| 11 | EE | Stephen W. Turner,
Lionel M. Ni,
Betty H. C. Cheng:
Time and/or space sharing in a workstation cluster environment.
SC 1994: 630-639 |
| 10 | | 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 |
| 9 | EE | 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) |
| 1993 |
|---|
| 8 | | Jun-Jang Jeng,
Betty H. C. Cheng:
Using Formal Methods to Construct a Software Component Library.
ESEC 1993: 397-417 |
| 7 | EE | 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 |
| 6 | | Stephen W. Turner,
Lionel M. Ni,
Betty H. C. Cheng:
Contention-Free 2D-Mesh Cluster Allocation in Hypercubes.
ICPP 1993: 125-129 |
| 5 | | Jun-Jang Jeng,
Betty H. C. Cheng:
Using Analogy and Formal Methods for Software Reuse.
ICTAI 1993: 113-116 |
| 4 | EE | 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 |
| 3 | | Michael R. Laux,
Robert H. Bourdeau,
Betty H. C. Cheng:
An Integrated Development Environment for Formal Specifications.
SEKE 1993: 681-688 |
| 2 | | 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) |
| 1992 |
|---|
| 1 | EE | 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) |
