Betty H. C. Cheng

Erik M. Fredericks, Andres J. Ramirez, Betty H. C. Cheng: Towards run-time testing of dynamic adaptive systems. SEAMS 2013: 169-174

David Notkin, Betty H. C. Cheng, Klaus Pohl (Eds.): 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. IEEE / ACM 2013, isbn 978-1-4673-3076-3

Philip K. McKinley, Betty H. C. Cheng, Andres J. Ramirez, Adam C. Jensen: Applying evolutionary computation to mitigate uncertainty in dynamically-adaptive, high-assurance middleware. J. Internet Services and Applications 3(1): 51-58 (2012)

Chad M. Byers, Betty H. C. Cheng, Philip K. McKinley: Exploring the evolution of internal control structure using digital enzymes. GECCO (Companion) 2012: 1407-1408

Robert B. France, James M. Bieman, Sai Pradeep Mandalaparty, Betty H. C. Cheng, Adam C. Jensen: Repository for Model Driven Development (ReMoDD). ICSE 2012: 1471-1472

Andres J. Ramirez, Betty H. C. Cheng, Nelly Bencomo, Pete Sawyer: Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time. MoDELS 2012: 53-69

Andres J. Ramirez, Erik M. Fredericks, Adam C. Jensen, Betty H. C. Cheng: Automatically RELAXing a Goal Model to Cope with Uncertainty. SSBSE 2012: 198-212

Andres J. Ramirez, David B. Knoester, Betty H. C. Cheng, Philip K. McKinley: Plato: a genetic algorithm approach to run-time reconfiguration in autonomic computing systems. Cluster Computing 14(3): 229-244 (2011)

Andres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng: An aspect-oriented approach for implementing evolutionary computation applications. AOSD 2011: 153-164

Chad M. Byers, Betty H. C. Cheng, Philip K. McKinley: Digital enzymes: agents of reaction inside robotic controllers for the foraging problem. GECCO 2011: 243-250

Andres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng, David B. Knoester: Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems. ASE 2011: 568-571

Nelly Bencomo, Gordon S. Blair, Robert B. France, Betty H. C. Cheng, Cédric Jeanneret: Summary of the 6th International Workshop on Models@run.time. MoDELS Workshops 2011: 149-151

Gunter Mussbacher, Wisam Al Abed, Omar Alam, Shaukat Ali, Antoine Beugnard, Valentin Bonnet, Rolv Bræk, Alfredo Capozucca, Betty H. C. Cheng, Urooj Fatima, Robert B. France, Geri Georg, Nicolas Guelfi, Paul Istoan, Jean-Marc Jézéquel, Jörg Kienzle, Jacques Klein, Jean-Baptiste Lézoray, Somayeh Malakuti, Ana Moreira, An Phung-Khac, Lucy Troup: Comparing Six Modeling Approaches. MoDELS Workshops 2011: 217-243

Andres J. Ramirez, Betty H. C. Cheng: Automatic Derivation of Utility Functions for Monitoring Software Requirements. MoDELS 2011: 501-516

Adam C. Jensen, Betty H. C. Cheng, Heather Goldsby, Edward C. Nelson: A Toolchain for the Detection of Structural and Behavioral Latent System Properties. MoDELS 2011: 683-698

Andres J. Ramirez, Betty H. C. Cheng, Philip K. McKinley: An Evolutionary Approach to Network Self-Organization and Resilient Data Diffusion. SASO 2011: 198-207

Holger Giese, Betty H. C. Cheng (Eds.): 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2011, Waikiki, Honolulu , HI, USA, May 23-24, 2011. ACM 2011, isbn 978-1-4503-0575-4

Uwe Aßmann, Nelly Bencomo, Betty H. C. Cheng, Robert B. France: Models@run.time (Dagstuhl Seminar 11481). Dagstuhl Reports 1(11): 91-123 (2011)

Jon Whittle, Peter Sawyer, Nelly Bencomo, Betty H. C. Cheng, Jean-Michel Bruel: RELAX: a language to address uncertainty in self-adaptive systems requirement. Requir. Eng. 15(2): 177-196 (2010)

Adam C. Jensen, Betty H. C. Cheng: On the use of genetic programming for automated refactoring and the introduction of design patterns. GECCO 2010: 1341-1348

Andres J. Ramirez, Betty H. C. Cheng, Philip K. McKinley, Benjamin E. Beckmann: Automatically generating adaptive logic to balance non-functional tradeoffs during reconfiguration. ICAC 2010: 225-234

Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Mauro Pezzè, Richard Taylor: Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010). ICSE (2) 2010: 447-448

Heather Goldsby, Betty H. C. Cheng: Automatically Discovering Properties That Specify the Latent Behavior of UML Models. MoDELS (1) 2010: 316-330

Ji Zhang, Heather Goldsby, Betty H. C. Cheng: Modular verification of dynamically adaptive systems. AOSD 2009: 161-172

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

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

Andres J. Ramirez, Betty H. C. Cheng: Applying adaptation design patterns. ICAC 2009: 69-70

Andres J. Ramirez, David B. Knoester, Betty H. C. Cheng, Philip K. McKinley: Applying genetic algorithms to decision making in autonomic computing systems. ICAC 2009: 97-106

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

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

Jon Whittle, Peter Sawyer, Nelly Bencomo, Betty H. C. Cheng, Jean-Michel Bruel: RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems. RE 2009: 79-88

Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee (Eds.): Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar]. Lecture Notes in Computer Science 5525, Springer 2009, isbn 978-3-642-02160-2

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)

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

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

Heather Goldsby, Peter Sawyer, Nelly Bencomo, Betty H. C. Cheng, Danny Hughes: Goal-Based Modeling of Dynamically Adaptive System Requirements. ECBS 2008: 36-45

Heather Goldsby, Betty H. C. Cheng: Avida-MDE: a digital evolution approach to generating models of adaptive software behavior. GECCO 2008: 1751-1758

Heather Goldsby, Betty H. C. Cheng, Philip K. McKinley, David B. Knoester, Charles Ofria: Digital Evolution of Behavioral Models for Autonomic Systems. ICAC 2008: 87-96

Andres J. Ramirez, Betty H. C. Cheng: Verifying and Analyzing Adaptive Logic through UML State Models. ICST 2008: 529-532

Heather Goldsby, Betty H. C. Cheng: Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty. MoDELS 2008: 568-583

Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee (Eds.): Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008. Dagstuhl Seminar Proceedings 08031, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008

Ji Zhang, Zhinan Zhou, Betty H. C. Cheng, Philip K. McKinley: Specifying real-time properties in autonomic systems. ISSE 3(1): 3-16 (2007)

Heather Goldsby, Sascha Konrad, Betty H. C. Cheng: Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements. HASE 2007: 7-14

Ali Ebnenasir, Betty H. C. Cheng: Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML. HASE 2007: 275-282

Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor: SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems. SEAMS 2007: 1

Heather Goldsby, David B. Knoester, Betty H. C. Cheng, Philip K. McKinley, Charles Ofria: Digitally Evolving Models for Dynamically Adaptive Systems. SEAMS 2007: 13

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

Betty H. C. Cheng, Joanne M. Atlee: Research Directions in Requirements Engineering. FOSE 2007: 285-303

Heather Goldsby, Betty H. C. Cheng, Ji Zhang: AMOEBA-RT: Run-Time Verification of Adaptive Software. MoDELS Workshops 2007: 212-224

Sascha Konrad, Heather Goldsby, Betty H. C. Cheng: i²MAP : An Incremental and Iterative Modeling and Analysis Process. MoDELS 2007: 451-466

Ji Zhang, Betty H. C. Cheng: Using temporal logic to specify adaptive program semantics. Journal of Systems and Software 79(10): 1361-1369 (2006)

Ali Ebnenasir, Betty H. C. Cheng: A Pattern-Based Approach for Modeling and Analyzing Error Recovery. WADS 2006: 115-141

Ji Zhang, Betty H. C. Cheng: Model-based development of dynamically adaptive software. ICSE 2006: 371-380

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

Robert B. France, James M. Bieman, Betty H. C. Cheng: Repository for Model Driven Development (ReMoDD). MoDELS Workshops 2006: 311-317

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

Ali Ebnenasir, Betty H. C. Cheng, Sascha Konrad: Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance. RE 2006: 336-337

Heather Goldsby, Betty H. C. Cheng: Goal-Oriented Modeling of Requirements Engineering for Dynamically Adaptive System. RE 2006: 338-339

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)

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)

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)

Ji Zhang, Betty H. C. Cheng: Specifying adaptation semantics. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)

Sascha Konrad, Betty H. C. Cheng: Real-time specification patterns. ICSE 2005: 372-381

Sascha Konrad, Betty H. C. Cheng: Facilitating the Construction of Specification Pattern-based Properties. RE 2005: 329-338

Sascha Konrad, Betty H. C. Cheng: Automated Analysis of Natural Language Properties for UML Models. MoDELS Satellite Events 2005: 48-57

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

Philip K. McKinley, Seyed Masoud Sadjadi, Eric P. Kasten, Betty H. C. Cheng: Composing Adaptive Software. IEEE Computer 37(7): 56-64 (2004)

Sascha Konrad, Betty H. C. Cheng, Laura A. Campbell: Object Analysis Patterns for Embedded Systems. IEEE Trans. Software Eng. 30(12): 970-992 (2004)

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

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

Ji Zhang, Betty H. C. Cheng, Zhenxiao Yang, Philip K. McKinley: Enabling Safe Dynamic Component-Based Software Adaptation. WADS 2004: 194-211

Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng: Automated Analysis of Timing Information in UML Diagrams. ASE 2004: 350-353

Zhenxiao Yang, Zhinan Zhou, Betty H. C. Cheng, Philip K. McKinley: Enabling collaborative adaptation across legacy components. Adaptive and Reflective Middleware 2004: 277-282

Jesus Bisbal, Betty H. C. Cheng: Resource-based approach to feature interaction in adaptive software. WOSS 2004: 23-27

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

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)

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)

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)

Sascha Konrad, Betty H. C. Cheng: Requirements Patterns for Embedded Systems. RE 2002: 127-136

Zhenxiao Yang, Betty H. C. Cheng, R. E. Kurt Stirewalt, J. Sowell, Seyed Masoud Sadjadi, Philip K. McKinley: An aspect-oriented approach to dynamic adaptation. WOSS 2002: 85-92

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)

Betty H. C. Cheng: A Metamodel-Based Approach to Formalizing UML. COMPSAC 2001: 278-

William E. McUmber, Betty H. C. Cheng: A General Framework for Formalizing UML with Formal Languages. ICSE 2001: 433-442

Gerald C. Gannod, Betty H. C. Cheng: A Suite of Tools for Facilitating Reverse Engineering Using Formal Methods. IWPC 2001: 221-232

Betty H. C. Cheng, Laura A. Campbell: Integrating Informal and Formal Approaches to Requirements Modeling and Analysis. RE 2001: 294-295

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)

Betty H. C. Cheng: Integrating object-oriented analysis and formal specifications. ACM SIGSOFT Software Engineering Notes 25(1): 40-41 (2000)

Betty H. C. Cheng, David M. Weiss: Guest Editors' Introduction: Requirements Engineering - Integrating Technology. IEEE Software 17(3) (2000)

Betty H. C. Cheng, Laura A. Campbell, Enoch Y. Wang: Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams. DSN 2000: 305-314

Laura A. Campbell, Betty H. C. Cheng: Object-Oriented Modeling and Automated Analysis of a Telemedicine Application. IWSSD 2000: 39-50

William E. McUmber, Betty H. C. Cheng: UML-Based Analysis of Embedded Systems Using a Mapping to VHDL. HASE 1999: 56-63

Gerald C. Gannod, Betty H. C. Cheng: A Specification Matching Based Approach to Reverse Engineering. ICSE 1999: 389-398

Philip K. McKinley, Betty H. C. Cheng, John J. Weng: Moving industry-guided multimedia technology into the classroom. SIGCSE 1999: 160-164

Gerald C. Gannod, Betty H. C. Cheng: A Framework for Classifying and Comparing Software Reverse Engineering and Design Recovery Techniques. WCRE 1999: 77-88

Gerald C. Gannod, Betty H. C. Cheng: A Formal Approach for Reverse Engineering: A Case Study. WCRE 1999: 100-111

Gerald C. Gannod, Yonghao Chen, Betty H. C. Cheng: An Automated Approach for Supporting Software Reuse via Reverse Engineering. ASE 1998: 94-

Gerald C. Gannod, Gora Sudindranath, Mark Fagnani, Betty H. C. Cheng: PACKRAT: A Software Reengineering Case Study. WCRE 1998: 125-134

Betty H. C. Cheng: A Discussion About Integrated Techniques. WIFT 1998: 65-

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)

Betty H. C. Cheng, Jun-Jang Jeng: Reusing Analogous Components. IEEE Trans. Knowl. Data Eng. 9(2): 341-349 (1997)

Enoch Y. Wang, Heather A. Richter, Betty H. C. Cheng: Formalizing and Integrating the Dynamic Model within OMT. ICSE 1997: 45-55

Yonghao Chen, Betty H. C. Cheng: Formalizing and Automating Component Reuse. ICTAI 1997: 94-101

Gerald C. Gannod, Betty H. C. Cheng: A Formal Automated Approach for Reverse Engineering Programs with Pointers. ASE 1997: 219-226

Yonghao Chen, Betty H. C. Cheng: Facilitating an Automated Approach to Architecture-based Software Reuse. ASE 1997: 238-245

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)

Robert H. Bourdeau, Betty H. C. Cheng: Correspondence: Response to Botting's Comments. IEEE Trans. Software Eng. 22(12): 911 (1996)

Betty H. C. Cheng: Where and How do Formal Methods Fit in Requirements Engineering?. ICRE 1996: 154-156

Gerald C. Gannod, Betty H. C. Cheng: Using Informal and Formal Techniques for the Reverse Engineering of C Programs. ICSM 1996: 265-274

Gerald C. Gannod, Betty H. C. Cheng: Using Informal and Formal Techniques for the Reverse Engineering of C Programs. WCRE 1996: 249-258

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)

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)

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)

Robert H. Bourdeau, Betty H. C. Cheng: A Formal Semantics for Object Model Diagrams. IEEE Trans. Software Eng. 21(10): 799-821 (1995)

Joseph L. Sharnowski, Gerald C. Gannod, Betty H. C. Cheng: A Distributed, Multimedia Environmental Information System. ICMCS 1995: 142-149

Joseph L. Sharnowski, Betty H. C. Cheng: A visualization-based environment for top-down debugging of parallel programs. IPPS 1995: 640-

Jun-Jang Jeng, Betty H. C. Cheng: Specification Matching for Software Reuse: A Foundation. SSR 1995: 97-105

Gerald C. Gannod, Betty H. C. Cheng: Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering. WCRE 1995: 0-

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)

David F. Robinson, Philip K. McKinley, Betty H. C. Cheng: Optimal Multicast Communication in a Wormhole-Routed Torus Networks. ICPP (1) 1994: 134-141

Betty H. C. Cheng, Enoch Y. Wang, Robert H. Bourdeau: A Graphical Environment for Formally Developing Object-Oriented Software. ICTAI 1994: 26-32

Jun-Jang Jeng, Betty H. C. Cheng: A Formal Approach to Reusing More General Components. KBSE 1994: 90-97

Joseph L. Sharnowski, Betty H. C. Cheng: A Formal Approach to Modeling Expected Behavior in Parallel Program Visualizations. PARLE 1994: 202-213

Stephen W. Turner, Lionel M. Ni, Betty H. C. Cheng: Time and/or space sharing in a workstation cluster environment. SC 1994: 630-639

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

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)

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

Jun-Jang Jeng, Betty H. C. Cheng: Using Formal Methods to Construct a Software Component Library. ESEC 1993: 397-417

Stephen W. Turner, Lionel M. Ni, Betty H. C. Cheng: Contention-Free 2D-Mesh Cluster Allocation in Hypercubes. ICPP 1993: 125-129

Jun-Jang Jeng, Betty H. C. Cheng: Using Analogy and Formal Methods for Software Reuse. ICTAI 1993: 113-116

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

Michael R. Laux, Robert H. Bourdeau, Betty H. C. Cheng: An Integrated Development Environment for Formal Specifications. SEKE 1993: 681-688

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)