dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Betty H. C. Cheng Coauthor index pubzone.org

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

DBLP keys2011
121no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Giese, Betty H. C. Cheng: 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2011, Waikiki, Honolulu , HI, USA, May 23-24, 2011 ACM 2011
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng: An aspect-oriented approach for implementing evolutionary computation applications. AOSD 2011: 153-164
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndres 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
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChad 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
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndres J. Ramirez, Betty H. C. Cheng: Automatic Derivation of Utility Functions for Monitoring Software Requirements. MoDELS 2011: 501-516
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam 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
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndres J. Ramirez, Betty H. C. Cheng, Philip K. McKinley: An Evolutionary Approach to Network Self-Organization and Resilient Data Diffusion. SASO 2011: 198-207
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndres 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)
2010
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam 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
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndres 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
111Electronic 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, Mauro Pezzè, Richard Taylor: Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010). ICSE (2) 2010: 447-448
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeather Goldsby, Betty H. C. Cheng: Automatically Discovering Properties That Specify the Latent Behavior of UML Models. MoDELS (1) 2010: 316-330
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJon 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)
2009
108Electronic 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
107Electronic 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
106Electronic 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
105Electronic 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
104Electronic 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
103Electronic 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
102Electronic 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
101Electronic 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
100Electronic 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
99no 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
98Electronic 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
97Electronic 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
96Electronic 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
95Electronic 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
94Electronic 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
93Electronic 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
92Electronic 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
91Electronic 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
90Electronic 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
89Electronic 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
88Electronic 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
87Electronic 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
86Electronic 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
85Electronic 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
84Electronic 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. SEAMS 2007: 1
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeather Goldsby, David B. Knoester, Betty H. C. Cheng, Philip K. McKinley, Charles Ofria: Digitally Evolving Models for Dynamically Adaptive Systems. SEAMS 2007: 13
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 XMLZhenxiao 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
47Electronic Edition 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-314
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)
43Electronic Edition 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)
29Electronic Edition 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
25Electronic Edition 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-
19Electronic Edition 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)
16Electronic Edition 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
12Electronic Edition 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
8Electronic Edition 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
2Electronic Edition 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 [100]
3Joanne M. Atlee [90]
4Basil Becker [100]
5Benjamin E. Beckmann [91] [112]
6Nelly Bencomo [98] [100] [101] [102] [109]
7Brian Berenbach [72]
8James M. Bieman [78]
9Jesús Bisbal (Jesus Bisbal) [60]
10Robert H. Bourdeau [3] [10] [14] [17] [24]
11Jean-Michel Bruel [101] [109]
12Yuriy Brun [100]
13Chad M. Byers [118]
14Laura A. Campbell [45] [46] [48] [52] [57] [58] [65]
15Yonghao Chen [31] [33] [37]
16Bojan Cukic [100]
17Min Deng [57] [66]
18Laura K. Dillon [54]
19Schahram Dustdar [100]
20Ali Ebnenasir [75] [77] [89]
21Mark Fagnani [36]
22Stephen Fickas [81] [84] [87]
23Anthony Finkelstein [100]
24Scott D. Fleming [69]
25Robert B. France [78]
26Cristina Gacek [100]
27Gerald C. Gannod [7] [9] [10] [20] [23] [25] [26] [27] [34] [36] [37] [38] [39] [41] [47] [49]
28David Garlan [81] [84] [87] [103] [111]
29Kurt Geihs [100]
30Holger Giese [92] [93] [99] [100] [103] [108] [111] [121]
31Heather Goldsby [76] [79] [83] [85] [86] [88] [91] [94] [96] [97] [98] [107] [110] [116]
32Vincenzo Grassi [100]
33Danny Hughes (Daniel Hughes) [98]
34Paola Inverardi [92] [93] [99] [100] [108]
35Jun-Jang Jeng [1] [5] [8] [13] [21] [30]
36Adam C. Jensen [113] [116] [119] [120]
37Dan Judd [4] [16]
38Stephane Kamdoum [79]
39Gabor Karsai [100]
40Eric P. Kasten [59]
41Holger M. Kienle [100]
42David B. Knoester [83] [91] [96] [104] [106] [114] [119]
43Sascha Konrad [56] [57] [58] [65] [70] [71] [73] [77] [79] [86] [88]
44Jeff Kramer (Jeffrey Kramer) [100]
45Sandeep S. Kulkarni [54]
46Mark Vincent LaPolla [2]
47Michael R. Laux [3]
48Rogério de Lemos [81] [84] [87] [92] [93] [99] [100] [103] [108] [111]
49Heather Richter Lipford (Heather Richter, Heather A. Richter) [32]
50Marin Litoiu [84] [87] [100] [103] [111]
51Jeff Magee (Jeff N. Magee) [81] [84] [87] [92] [93] [99] [100] [103] [108] [111]
52Sam Malek [100]
53Philip K. McKinley [4] [15] [16] [18] [29] [40] [54] [55] [59] [61] [62] [63] [64] [67] [69] [82] [83] [91] [96] [104] [106] [112] [114] [115] [118]
54William E. McUmber [42] [50] [52]
55Raffaela Mirandola [100]
56Hausi A. Müller [81] [84] [87] [100] [103] [111]
57Edward C. Nelson [116]
58Lionel M. Ni [6] [11] [19]
59Charles Ofria [83] [91] [96]
60Sooyong Park [100]
61Mauro Pezzè [111]
62Andres J. Ramirez [95] [104] [105] [106] [112] [114] [115] [117] [119] [120]
63David F. Robinson [4] [15] [16] [18] [29]
64Seyed Masoud Sadjadi [55] [59] [62] [63] [67]
65Peter Sawyer (Pete Sawyer) [98] [101] [102] [109]
66Giovanna Di Marzo Serugendo [100]
67Joseph L. Sharnowski [2] [12] [22] [23]
68Mary Shaw [100]
69J. Sowell [55]
70Ryan Stephenson [72]
71R. E. Kurt Stirewalt (Kurt Stirewalt) [52] [54] [55] [62] [63] [66] [69]
72Gora Sudindranath [36]
73Richard Taylor [81] [84] [87] [103] [111]
74Matthias Tichy [100]
75Massimo Tivoli [100]
76Stephen W. Turner [6] [11] [19]
77Enoch Y. Wang [14] [32] [43] [46] [53]
78David M. Weiss [44]
79John J. Weng [40]
80Danny Weyns [100]
81Jon Whittle (Jonathan Whittle) [100] [101] [102] [109]
82Zhenxiao Yang [55] [61] [64]
83Ji Zhang [61] [68] [74] [80] [82] [85] [107]
84Zhinan Zhou [64] [82]

Colors in the list of coauthors

Last update Sat Feb 11 22:55:45 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page