Betty H. C. Cheng Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

1Kevin Anderson [2]
2Jesper Andersson [98]
3Joanne M. Atlee [88]
4Basil Becker [98]
5Benjamin E. Beckmann [89]
6Nelly Bencomo [96] [98] [99] [100]
7Brian Berenbach [72]
8James M. Bieman [78]
9Jesus Bisbal [60]
10Robert H. Bourdeau [3] [10] [14] [17] [24]
11Jean-Michel Bruel [99]
12Yuriy Brun [98]
13Laura A. Campbell [45] [46] [48] [52] [57] [58] [65]
14Yonghao Chen [31] [33] [37]
15Bojan Cukic [98]
16Min Deng [57] [66]
17Laura K. Dillon [54]
18Schahram Dustdar [98]
19Ali Ebnenasir [75] [77] [87]
20Mark Fagnani [36]
21Stephen Fickas [81] [85]
22Anthony Finkelstein [98]
23Scott D. Fleming [69]
24Robert B. France [78]
25Cristina Gacek [98]
26Gerald C. Gannod [7] [9] [10] [20] [23] [25] [26] [27] [34] [36] [37] [38] [39] [41] [47] [49]
27David Garlan [81] [85] [101]
28Kurt Geihs [98]
29Holger Giese [90] [91] [97] [98] [101] [106]
30Heather Goldsby [76] [79] [83] [84] [86] [89] [92] [94] [95] [96] [105]
31Vincenzo Grassi [98]
32Danny Hughes (Daniel Hughes) [96]
33Paola Inverardi [90] [91] [97] [98] [106]
34Jun-Jang Jeng [1] [5] [8] [13] [21] [30]
35Dan Judd [4] [16]
36Stephane Kamdoum [79]
37Gabor Karsai [98]
38Eric P. Kasten [59]
39Holger M. Kienle [98]
40David B. Knoester [89] [94] [102] [104]
41Sascha Konrad [56] [57] [58] [65] [70] [71] [73] [77] [79] [84] [86]
42Jeff Kramer [98]
43Sandeep S. Kulkarni [54]
44Mark Vincent LaPolla [2]
45Michael R. Laux [3]
46Rogério de Lemos [81] [85] [90] [91] [97] [98] [101] [106]
47Heather Richter Lipford (Heather Richter, Heather A. Richter) [32]
48Marin Litoiu [85] [98] [101]
49Jeff Magee (Jeff N. Magee) [81] [85] [90] [91] [97] [98] [101] [106]
50Sam Malek [98]
51Philip K. McKinley [4] [15] [16] [18] [29] [40] [54] [55] [59] [61] [62] [63] [64] [67] [69] [82] [89] [94] [102] [104]
52William E. McUmber [42] [50] [52]
53Raffaela Mirandola [98]
54Hausi A. Müller [81] [85] [98] [101]
55Lionel M. Ni [6] [11] [19]
56Charles Ofria [89] [94]
57Sooyong Park [98]
58Andres J. Ramirez [93] [102] [103] [104]
59David F. Robinson [4] [15] [16] [18] [29]
60Seyed Masoud Sadjadi [55] [59] [62] [63] [67]
61Peter Sawyer [96] [99] [100]
62Giovanna Di Marzo Serugendo [98]
63Joseph L. Sharnowski [2] [12] [22] [23]
64Mary Shaw [98]
65J. Sowell [55]
66Ryan Stephenson [72]
67R. E. Kurt Stirewalt (Kurt Stirewalt) [52] [54] [55] [62] [63] [66] [69]
68Gora Sudindranath [36]
69Richard Taylor [81] [85] [101]
70Matthias Tichy [98]
71Massimo Tivoli [98]
72Stephen W. Turner [6] [11] [19]
73Enoch Y. Wang [14] [32] [43] [46] [53]
74David M. Weiss [44]
75John J. Weng [40]
76Danny Weyns [98]
77Jon Whittle (Jonathan Whittle) [98] [99] [100]
78Z. Yang [55]
79Zhenxiao Yang [61] [64]
80Ji Zhang [61] [68] [74] [80] [82] [83] [105]
81Zhinan Zhou [64] [82]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)