The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Betty H. C. Cheng: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Enoch Y. Wang, Heather A. Richter, Betty H. C. Cheng
    Formalizing and Integrating the Dynamic Model within OMT. [Citation Graph (2, 0)][DBLP]
    ICSE, 1997, pp:45-55 [Conf]
  2. Robert H. Bourdeau, Betty H. C. Cheng
    A Formal Semantics for Object Model Diagrams. [Citation Graph (2, 0)][DBLP]
    IEEE Trans. Software Eng., 1995, v:21, n:10, pp:799-821 [Journal]
  3. Jun-Jang Jeng, Betty H. C. Cheng
    Using Formal Methods to Construct a Software Component Library. [Citation Graph (1, 0)][DBLP]
    ESEC, 1993, pp:397-417 [Conf]
  4. Jun-Jang Jeng, Betty H. C. Cheng
    A Formal Approach to Reusing More General Components. [Citation Graph (1, 0)][DBLP]
    KBSE, 1994, pp:90-97 [Conf]
  5. Jun-Jang Jeng, Betty H. C. Cheng
    Specification Matching for Software Reuse: A Foundation. [Citation Graph (1, 0)][DBLP]
    SSR, 1995, pp:97-105 [Conf]
  6. Gerald C. Gannod, Betty H. C. Cheng
    Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering. [Citation Graph (1, 0)][DBLP]
    WCRE, 1995, pp:0-0 [Conf]
  7. Betty H. C. Cheng
    A Metamodel-Based Approach to Formalizing UML. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2001, pp:278-0 [Conf]
  8. Seyed Masoud Sadjadi, Philip K. McKinley, Betty H. C. Cheng, R. E. Kurt Stirewalt
    TRAP/J: Transparent Generation of Adaptable Java Programs. [Citation Graph (0, 0)][DBLP]
    CoopIS/DOA/ODBASE (2), 2004, pp:1243-1261 [Conf]
  9. Betty H. C. Cheng, Laura A. Campbell, Enoch Y. Wang
    Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:305-0 [Conf]
  10. Gerald C. Gannod, Betty H. C. Cheng
    A Two-Phase Approach to Reverse Engineering Using Formal Methods. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:335-348 [Conf]
  11. William E. McUmber, Betty H. C. Cheng
    UML-Based Analysis of Embedded Systems Using a Mapping to VHDL. [Citation Graph (0, 0)][DBLP]
    HASE, 1999, pp:56-63 [Conf]
  12. Seyed Masoud Sadjadi, Philip K. McKinley, R. E. Kurt Stirewalt, Betty H. C. Cheng
    Generation of Self-Optimizing Wireless Network Applications. [Citation Graph (0, 0)][DBLP]
    ICAC, 2004, pp:310-311 [Conf]
  13. Joseph L. Sharnowski, Gerald C. Gannod, Betty H. C. Cheng
    A Distributed, Multimedia Environmental Information System. [Citation Graph (0, 0)][DBLP]
    ICMCS, 1995, pp:142-149 [Conf]
  14. David F. Robinson, Philip K. McKinley, Betty H. C. Cheng
    Optimal Multicast Communication in a Wormhole-Routed Torus Networks. [Citation Graph (0, 0)][DBLP]
    ICPP (1), 1994, pp:134-141 [Conf]
  15. Stephen W. Turner, Lionel M. Ni, Betty H. C. Cheng
    Contention-Free 2D-Mesh Cluster Allocation in Hypercubes. [Citation Graph (0, 0)][DBLP]
    ICPP, 1993, pp:125-129 [Conf]
  16. Betty H. C. Cheng
    Where and How do Formal Methods Fit in Requirements Engineering?. [Citation Graph (0, 0)][DBLP]
    ICRE, 1996, pp:154-156 [Conf]
  17. 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. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:1015-1016 [Conf]
  18. Gerald C. Gannod, Betty H. C. Cheng
    A Specification Matching Based Approach to Reverse Engineering. [Citation Graph (0, 0)][DBLP]
    ICSE, 1999, pp:389-398 [Conf]
  19. Sascha Konrad, Betty H. C. Cheng
    Real-time specification patterns. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:372-381 [Conf]
  20. William E. McUmber, Betty H. C. Cheng
    A General Framework for Formalizing UML with Formal Languages. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:433-442 [Conf]
  21. Ji Zhang, Betty H. C. Cheng
    Model-based development of dynamically adaptive software. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:371-380 [Conf]
  22. Ji Zhang, Betty H. C. Cheng, Zhenxiao Yang, Philip K. McKinley
    Enabling Safe Dynamic Component-Based Software Adaptation. [Citation Graph (0, 0)][DBLP]
    WADS, 2004, pp:194-211 [Conf]
  23. Gerald C. Gannod, Betty H. C. Cheng
    Using Informal and Formal Techniques for the Reverse Engineering of C Programs. [Citation Graph (0, 0)][DBLP]
    ICSM, 1996, pp:265-274 [Conf]
  24. Yonghao Chen, Betty H. C. Cheng
    Formalizing and Automating Component Reuse. [Citation Graph (0, 0)][DBLP]
    ICTAI, 1997, pp:94-101 [Conf]
  25. Betty H. C. Cheng, Enoch Y. Wang, Robert H. Bourdeau
    A Graphical Environment for Formally Developing Object-Oriented Software. [Citation Graph (0, 0)][DBLP]
    ICTAI, 1994, pp:26-32 [Conf]
  26. Jun-Jang Jeng, Betty H. C. Cheng
    Using Analogy and Formal Methods for Software Reuse. [Citation Graph (0, 0)][DBLP]
    ICTAI, 1993, pp:113-116 [Conf]
  27. Joseph L. Sharnowski, Betty H. C. Cheng
    A visualization-based environment for top-down debugging of parallel programs. [Citation Graph (0, 0)][DBLP]
    IPPS, 1995, pp:640-0 [Conf]
  28. Gerald C. Gannod, Betty H. C. Cheng
    A Suite of Tools for Facilitating Reverse Engineering Using Formal Methods. [Citation Graph (0, 0)][DBLP]
    IWPC, 2001, pp:221-232 [Conf]
  29. Laura A. Campbell, Betty H. C. Cheng
    Object-Oriented Modeling and Automated Analysis of a Telemedicine Application. [Citation Graph (0, 0)][DBLP]
    IWSSD, 2000, pp:39-50 [Conf]
  30. Yonghao Chen, Betty H. C. Cheng
    Facilitating an Automated Approach to Architecture-based Software Reuse. [Citation Graph (0, 0)][DBLP]
    ASE, 1997, pp:238-245 [Conf]
  31. Gerald C. Gannod, Betty H. C. Cheng
    A Formal Automated Approach for Reverse Engineering Programs with Pointers. [Citation Graph (0, 0)][DBLP]
    ASE, 1997, pp:219-226 [Conf]
  32. Gerald C. Gannod, Yonghao Chen, Betty H. C. Cheng
    An Automated Approach for Supporting Software Reuse via Reverse Engineering. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:94-0 [Conf]
  33. Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng
    Automated Analysis of Timing Information in UML Diagrams. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:350-353 [Conf]
  34. Zhenxiao Yang, Zhinan Zhou, Betty H. C. Cheng, Philip K. McKinley
    Enabling collaborative adaptation across legacy components. [Citation Graph (0, 0)][DBLP]
    Adaptive and Reflective Middleware, 2004, pp:277-282 [Conf]
  35. Heather Goldsby, Betty H. C. Cheng, Sascha Konrad, Stephane Kamdoum
    A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2006, pp:707-721 [Conf]
  36. Robert B. France, James M. Bieman, Betty H. C. Cheng
    Repository for Model Driven Development (ReMoDD). [Citation Graph (0, 0)][DBLP]
    MoDELS Workshops, 2006, pp:311-317 [Conf]
  37. Joseph L. Sharnowski, Betty H. C. Cheng
    A Formal Approach to Modeling Expected Behavior in Parallel Program Visualizations. [Citation Graph (0, 0)][DBLP]
    PARLE, 1994, pp:202-213 [Conf]
  38. Betty H. C. Cheng, Laura A. Campbell
    Integrating Informal and Formal Approaches to Requirements Modeling and Analysis. [Citation Graph (0, 0)][DBLP]
    RE, 2001, pp:294-295 [Conf]
  39. Sascha Konrad, Betty H. C. Cheng
    Requirements Patterns for Embedded Systems. [Citation Graph (0, 0)][DBLP]
    RE, 2002, pp:127-136 [Conf]
  40. Sascha Konrad, Betty H. C. Cheng
    Facilitating the Construction of Specification Pattern-based Properties. [Citation Graph (0, 0)][DBLP]
    RE, 2005, pp:329-338 [Conf]
  41. Ali Ebnenasir, Betty H. C. Cheng, Sascha Konrad
    Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance. [Citation Graph (0, 0)][DBLP]
    RE, 2006, pp:336-337 [Conf]
  42. Heather Goldsby, Betty H. C. Cheng
    Goal-Oriented Modeling of Requirements Engineering for Dynamically Adaptive System. [Citation Graph (0, 0)][DBLP]
    RE, 2006, pp:338-339 [Conf]
  43. David F. Robinson, Dan Judd, Philip K. McKinley, Betty H. C. Cheng
    Efficient collective data distribution in all-port wormhole-routed hypercubes. [Citation Graph (0, 0)][DBLP]
    SC, 1993, pp:792-801 [Conf]
  44. Stephen W. Turner, Lionel M. Ni, Betty H. C. Cheng
    Time and/or space sharing in a workstation cluster environment. [Citation Graph (0, 0)][DBLP]
    SC, 1994, pp:630-639 [Conf]
  45. Michael R. Laux, Robert H. Bourdeau, Betty H. C. Cheng
    An Integrated Development Environment for Formal Specifications. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:681-688 [Conf]
  46. Betty H. C. Cheng, Robert H. Bourdeau, Gerald C. Gannod
    The object-oriented development of a distributed multimedia environmental information system. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:70-77 [Conf]
  47. Philip K. McKinley, Betty H. C. Cheng, John J. Weng
    Moving industry-guided multimedia technology into the classroom. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1999, pp:160-164 [Conf]
  48. Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng, Min Deng
    A Requirements Patterns-Driven Approach to Specify Systems and Check Properties. [Citation Graph (0, 0)][DBLP]
    SPIN, 2003, pp:18-33 [Conf]
  49. Betty H. C. Cheng, Ryan Stephenson, Brian Berenbach
    Lessons Learned from Automated Analysis of Industrial UML Class Models (An Experience Report). [Citation Graph (0, 0)][DBLP]
    MoDELS, 2005, pp:324-338 [Conf]
  50. Sascha Konrad, Betty H. C. Cheng
    Automated Analysis of Natural Language Properties for UML Models. [Citation Graph (0, 0)][DBLP]
    MoDELS Satellite Events, 2005, pp:48-57 [Conf]
  51. Gerald C. Gannod, Betty H. C. Cheng
    A Framework for Classifying and Comparing Software Reverse Engineering and Design Recovery Techniques. [Citation Graph (0, 0)][DBLP]
    WCRE, 1999, pp:77-88 [Conf]
  52. Gerald C. Gannod, Betty H. C. Cheng
    A Formal Approach for Reverse Engineering: A Case Study. [Citation Graph (0, 0)][DBLP]
    WCRE, 1999, pp:100-111 [Conf]
  53. Gerald C. Gannod, Betty H. C. Cheng
    Using Informal and Formal Techniques for the Reverse Engineering of C Programs. [Citation Graph (0, 0)][DBLP]
    WCRE, 1996, pp:249-258 [Conf]
  54. Gerald C. Gannod, Gora Sudindranath, Mark Fagnani, Betty H. C. Cheng
    PACKRAT: A Software Reengineering Case Study. [Citation Graph (0, 0)][DBLP]
    WCRE, 1998, pp:125-134 [Conf]
  55. Betty H. C. Cheng
    A Discussion About Integrated Techniques. [Citation Graph (0, 0)][DBLP]
    WIFT, 1998, pp:65-0 [Conf]
  56. Jesus Bisbal, Betty H. C. Cheng
    Resource-based approach to feature interaction in adaptive software. [Citation Graph (0, 0)][DBLP]
    WOSS, 2004, pp:23-27 [Conf]
  57. 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. [Citation Graph (0, 0)][DBLP]
    WOSS, 2002, pp:85-92 [Conf]
  58. Betty H. C. Cheng, Gerald C. Gannod
    Developing and Maintaining an Object-Oriented Distributed Multimedia Information System. [Citation Graph (0, 0)][DBLP]
    Ann. Software Eng., 2001, v:12, n:1, pp:95-118 [Journal]
  59. Gerald C. Gannod, Betty H. C. Cheng
    Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 1996, v:3, n:1/2, pp:139-164 [Journal]
  60. Philip K. McKinley, Seyed Masoud Sadjadi, Eric P. Kasten, Betty H. C. Cheng
    Composing Adaptive Software. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2004, v:37, n:7, pp:56-64 [Journal]
  61. Philip K. McKinley, Kurt Stirewalt, Betty H. C. Cheng, Laura K. Dillon, Sandeep S. Kulkarni
    Education: Interactive Distributed Applications and the Computer Science Curriculum. [Citation Graph (0, 0)][DBLP]
    IEEE Distributed Systems Online, 2002, v:3, n:10, pp:- [Journal]
  62. Min Deng, R. E. Kurt Stirewalt, Betty H. C. Cheng
    Retrieval by Construction: a Traceability Technique to Support Verification and Validation of Uml Formalizations. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2005, v:15, n:5, pp:837-872 [Journal]
  63. Enoch Y. Wang, Betty H. C. Cheng
    Formalizing the Functional Model within Object-Oriented Design. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2000, v:10, n:1, pp:5-30 [Journal]
  64. Mark Vincent LaPolla, Joseph L. Sharnowski, Betty H. C. Cheng, Kevin Anderson
    Data Parallel Program Visualizations from Formal Specifications. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1993, v:18, n:2, pp:252-257 [Journal]
  65. David F. Robinson, Dan Judd, Philip K. McKinley, Betty H. C. Cheng
    Efficient Multicast in All-Port Wormhole-Routed Hypercubes. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1995, v:31, n:2, pp:126-140 [Journal]
  66. David F. Robinson, Philip K. McKinley, Betty H. C. Cheng
    Path-Based Multicast Communication in Wormhole-Routed Unidirectional Torus Networks. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1997, v:45, n:2, pp:104-121 [Journal]
  67. Ji Zhang, Betty H. C. Cheng
    Using temporal logic to specify adaptive program semantics. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2006, v:79, n:10, pp:1361-1369 [Journal]
  68. Laura A. Campbell, Betty H. C. Cheng, William E. McUmber, Kurt Stirewalt
    Automatically Detecting and Visualising Errors in UML Diagrams. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2002, v:7, n:4, pp:264-287 [Journal]
  69. Betty H. C. Cheng, David M. Weiss
    Guest Editors' Introduction: Requirements Engineering - Integrating Technology. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 2000, v:17, n:3, pp:- [Journal]
  70. Stephen W. Turner, Lionel M. Ni, Betty H. C. Cheng
    Contention-Free 2D-Mesh Cluster Allocation in Hypercubes. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1995, v:44, n:8, pp:1051-1055 [Journal]
  71. Betty H. C. Cheng, Jun-Jang Jeng
    Reusing Analogous Components. [Citation Graph (0, 11)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1997, v:9, n:2, pp:341-349 [Journal]
  72. David F. Robinson, Philip K. McKinley, Betty H. C. Cheng
    Optimal Multicast Communication in Wormhole-Routed Torus Networks. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 1995, v:6, n:10, pp:1029-1042 [Journal]
  73. Robert H. Bourdeau, Betty H. C. Cheng
    Correspondence: Response to Botting's Comments. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1996, v:22, n:12, pp:911- [Journal]
  74. Betty H. C. Cheng, Enoch Y. Wang
    Formalizing and Integrating the Dynamic Model for Object-Oriented Modeling. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2002, v:28, n:8, pp:747-762 [Journal]
  75. Sascha Konrad, Betty H. C. Cheng, Laura A. Campbell
    Object Analysis Patterns for Embedded Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2004, v:30, n:12, pp:970-992 [Journal]
  76. 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. [Citation Graph (0, 0)][DBLP]
    ICSE Companion, 2007, pp:152-153 [Conf]
  77. Ali Ebnenasir, Betty H. C. Cheng
    A Pattern-Based Approach for Modeling and Analyzing Error Recovery. [Citation Graph (0, 0)][DBLP]
    WADS, 2006, pp:115-141 [Conf]
  78. Sascha Konrad, Heather Goldsby, Betty H. C. Cheng
    i2MAP : An Incremental and Iterative Modeling and Analysis Process. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2007, pp:451-466 [Conf]

  79. Modular verification of dynamically adaptive systems. [Citation Graph (, )][DBLP]


  80. 08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems. [Citation Graph (, )][DBLP]


  81. 08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map. [Citation Graph (, )][DBLP]


  82. Software Engineering for Self-Adaptive Systems: A Research Roadmap. [Citation Graph (, )][DBLP]


  83. Goal-Based Modeling of Dynamically Adaptive System Requirements. [Citation Graph (, )][DBLP]


  84. Avida-MDE: a digital evolution approach to generating models of adaptive software behavior. [Citation Graph (, )][DBLP]


  85. Evolution of robust data distribution among digital organisms. [Citation Graph (, )][DBLP]


  86. On the use of genetic programming for automated refactoring and the introduction of design patterns. [Citation Graph (, )][DBLP]


  87. Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML. [Citation Graph (, )][DBLP]


  88. Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements. [Citation Graph (, )][DBLP]


  89. Digital Evolution of Behavioral Models for Autonomic Systems. [Citation Graph (, )][DBLP]


  90. Applying genetic algorithms to decision making in autonomic computing systems. [Citation Graph (, )][DBLP]


  91. Applying adaptation design patterns. [Citation Graph (, )][DBLP]


  92. Research Directions in Requirements Engineering. [Citation Graph (, )][DBLP]


  93. SEAMS 2009: Software engineering for adaptive and self-managing systems. [Citation Graph (, )][DBLP]


  94. Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010). [Citation Graph (, )][DBLP]


  95. SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems. [Citation Graph (, )][DBLP]


  96. Digitally Evolving Models for Dynamically Adaptive Systems. [Citation Graph (, )][DBLP]


  97. AMOEBA-RT: Run-Time Verification of Adaptive Software. [Citation Graph (, )][DBLP]


  98. Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty. [Citation Graph (, )][DBLP]


  99. A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty. [Citation Graph (, )][DBLP]


  100. Automatically Discovering Properties That Specify the Latent Behavior of UML Models. [Citation Graph (, )][DBLP]


  101. RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems. [Citation Graph (, )][DBLP]


  102. Verifying and Analyzing Adaptive Logic through UML State Models. [Citation Graph (, )][DBLP]


  103. Harnessing Digital Evolution. [Citation Graph (, )][DBLP]


Search in 0.012secs, Finished in 0.019secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002