| 2009 |
|---|
| 97 | EE | Ji Zhang,
Heather Goldsby,
Betty H. C. Cheng:
Modular verification of dynamically adaptive systems.
AOSD 2009: 161-172 |
| 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 | | 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) |
