Betty H. C. Cheng

Orcid: 0000-0001-9825-5359

Affiliations:
  • Michigan State University, East Lansing, MI, USA


According to our database1, Betty H. C. Cheng authored at least 201 papers between 1990 and 2025.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Evoattack: suppressive adversarial attacks against object detection models using evolutionary search.
Autom. Softw. Eng., June, 2025

2024
Anunnaki: A Modular Framework for Developing Trusted Artificial Intelligence.
ACM Trans. Auton. Adapt. Syst., September, 2024

Abstraction Engineering.
CoRR, 2024

SafeDriveRL: Combining Non-cooperative Game Theory with Reinforcement Learning to Explore and Mitigate Human-based Uncertainty for Autonomous Vehicles.
Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2024

Socio-technical Automotive Security Design Patterns: Applying a Stakeholder-Based Approach to Securing Self-Driving Vehicles.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

"No Free Lunch" when using Large Language Models to Verify Self-Generated Programs.
Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2024, 2024

2023
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty.
Softw. Syst. Model., October, 2023

Expound: A Black-Box Approach for Generating Diversity-Driven Adversarial Examples.
Proceedings of the Search-Based Software Engineering - 15th International Symposium, 2023

2022
The uncertainty interaction problem in self-adaptive systems.
Softw. Syst. Model., 2022

EvoAttack: An Evolutionary Search-Based Adversarial Attack for Object Detection Models.
Proceedings of the Search-Based Software Engineering - 14th International Symposium, 2022

Situational crime prevention for automotive cybersecurity.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

A Modular and Composable Approach to Develop Trusted Artificial Intelligence.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2022

2021
Enki: A Diversity-driven Approach to Test and Train Robust Learning-enabled Systems.
ACM Trans. Auton. Adapt. Syst., 2021

A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems.
IEEE Softw., 2021

"Know What You Know": Predicting Behavior for Learning-Enabled Systems When Facing Uncertainty.
Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

Analysis and Monitoring of Cyber-Physical Systems via Environmental Domain Knowledge & Modeling.
Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous Systems.
Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021

2020
Providentia: Using search-based heuristics to optimize satisficement and competing concerns between functional and non-functional objectives in self-adaptive systems.
J. Syst. Softw., 2020

MAPE-K/MAPE-SAC: An interaction framework for adaptive systems with security assurance cases.
Future Gener. Comput. Syst., 2020

Toward model-driven sustainability evaluation.
Commun. ACM, 2020

AC-ROS: assurance case driven adaptation for the robot operating system.
Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Protecting Temporal Fingerprints with Synchronized Chaotic Circuits.
Proceedings of the 53rd Hawaii International Conference on System Sciences, 2020

Measuring Confidence of Assurance Cases in Safety-Critical Domains.
Proceedings of the 53rd Hawaii International Conference on System Sciences, 2020

Ransomware Targeting Automobiles.
Proceedings of the AutoSec@CODASPY '20: Proceedings of the Second ACM Workshop on Automotive and Aerial Vehicle Security, 2020

2019
MAPE-SAC: A Framework to Dynamically Manage Security Assurance Cases.
Proceedings of the IEEE 4th International Workshops on Foundations and Applications of Self* Systems, 2019

Goal-Based Modeling and Analysis of Non-Functional Requirements.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

Security Patterns for Automotive Systems.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Applying evolution and novelty search to enhance the resilience of autonomous systems.
Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

Towards the detection of partial feature interactions.
Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

A multidisciplinary approach to developing community-based research infrastructure.
Proceedings of the 2nd International Workshop on Establishing a Community-Wide Infrastructure for Architecture-Based Software Engineering, 2019

Enhancing Learning-Enabled Software Systems to Address Environmental Uncertainty.
Proceedings of the 2019 IEEE International Conference on Autonomic Computing, 2019

2018
Modeling for Sustainability (Dagstuhl Seminar 18351).
Dagstuhl Reports, 2018

Dr. Robert B. France - contributions to model-driven engineering and software engineering education.
Comput. Sci. Educ., 2018

Automated Optimization of Weighted Non-functional Objectives in Self-adaptive Systems.
Proceedings of the Search-Based Software Engineering - 10th International Symposium, 2018

Automatic Detection of Feature Interactions Using Symbolic Analysis and Evolutionary Computation.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Measure confidence of assurance cases in safety-critical domains.
Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018

Run-time monitoring of self-adaptive systems to detect N-way feature interactions and their causes.
Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018

2017
Automatic Detection of Incomplete Requirements Using Symbolic Analysis and Evolutionary Computation.
Proceedings of the Search Based Software Engineering - 9th International Symposium, 2017

Using Models at Run Time to Detect Incomplete and Inconsistent Requirements.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

ReMoDD Eclipse Plug-in: Collaborative Modeling Using a Model Repository.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

User Experience for Model-Driven Engineering: Challenges and Future Directions.
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

2016
An evolutionary approach to discovering execution mode boundaries for adaptive controllers.
Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016

Automatic detection of incomplete requirements via symbolic analysis.
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

Modeling for sustainability.
Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016

Addressing Assurance for Self-Adaptive Systems in the Face of Uncertainty.
Proceedings of the 2016 IEEE International Conference on Autonomic Computing, 2016

2015
A Review of Dr. Robert France's Contributions and Impact on Model-Driven Engineering and Software Engineering: Robert B. France (1960-2015).
ACM SIGSOFT Softw. Eng. Notes, 2015

UML Modeling for Visually-Impaired Persons.
Proceedings of the First International Workshop on Human Factors in Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

Automated Generation of Adaptive Test Plans for Self-Adaptive Systems.
Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015

An Empirical Analysis of Providing Assurance for Self-Adaptive Systems at Different Levels of Abstraction in the Face of Uncertainty.
Proceedings of the 8th IEEE/ACM International Workshop on Search-Based Software Testing, 2015

An Approach to Mitigating Unwanted Interactions between Search Operators in Multi-Objective Optimization.
Proceedings of the Genetic and Evolutionary Computation Conference, 2015

Unwanted Feature Interactions Between the Problem and Search Operators in Evolutionary Multi-objective Optimization.
Proceedings of the Evolutionary Multi-Criterion Optimization, 2015

2014
AutoRELAX: automatically RELAXing a goal model to address uncertainty.
Empir. Softw. Eng., 2014

Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412).
Dagstuhl Reports, 2014

The Relevance of Model-Driven Engineering Thirty Years from Now.
Proceedings of the Model-Driven Engineering Languages and Systems, 2014

Towards run-time adaptation of test cases for self-adaptive systems in the face of uncertainty.
Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014

Motivating Use Cases for the Globalization of DSLs.
Proceedings of the Globalizing Domain-Specific Languages, 2014

On the Globalization of Domain-Specific Languages.
Proceedings of the Globalizing Domain-Specific Languages, 2014

2013
Validating Code-Level Behavior of Dynamic Adaptive Systems in the Face of Uncertainty.
Proceedings of the Search Based Software Engineering - 5th International Symposium, 2013

Towards run-time testing of dynamic adaptive systems.
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2013

Harnessing evolutionary computation to enable dynamically adaptive systems to manage uncertainty.
Proceedings of the 1st International Workshop on Combining Modelling and Search-Based Software Engineering, 2013

Exploring automated software composition with genetic programming.
Proceedings of the Genetic and Evolutionary Computation Conference, 2013

2012
Applying evolutionary computation to mitigate uncertainty in dynamically-adaptive, high-assurance middleware.
J. Internet Serv. Appl., 2012

Automatically RELAXing a Goal Model to Cope with Uncertainty.
Proceedings of the Search Based Software Engineering - 4th International Symposium, 2012

Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time.
Proceedings of the Model Driven Engineering Languages and Systems, 2012

A taxonomy of uncertainty for dynamically adaptive systems.
Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2012

Repository for Model Driven Development (ReMoDD).
Proceedings of the 34th International Conference on Software Engineering, 2012

Exploring the evolution of internal control structure using digital enzymes.
Proceedings of the Genetic and Evolutionary Computation Conference, 2012

An ecology-based evolutionary algorithm to evolve solutions to complex problems.
Proceedings of the Thirteenth International Conference on the Simulation and Synthesis of Living Systems, 2012

2011
Models@run.time (Dagstuhl Seminar 11481).
Dagstuhl Reports, 2011

Plato: a genetic algorithm approach to run-time reconfiguration in autonomic computing systems.
Clust. Comput., 2011

An Evolutionary Approach to Network Self-Organization and Resilient Data Diffusion.
Proceedings of the 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2011

Automatic Derivation of Utility Functions for Monitoring Software Requirements.
Proceedings of the Model Driven Engineering Languages and Systems, 2011


A Toolchain for the Detection of Structural and Behavioral Latent System Properties.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

Summary of the 6th International Workshop on Models@run.time.
Proceedings of the Models in Software Engineering, 2011

Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Digital enzymes: agents of reaction inside robotic controllers for the foraging problem.
Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, 2011

Using Models at Runtime to Address Assurance for Self-Adaptive Systems.
Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011

An aspect-oriented approach for implementing evolutionary computation applications.
Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010
RELAX: a language to address uncertainty in self-adaptive systems requirement.
Requir. Eng., 2010

Adaptive monitoring of software requirements.
Proceedings of the First International Workshop on Requirements@Run.Time, 2010

Automatically Discovering Properties That Specify the Latent Behavior of UML Models.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

Design patterns for developing dynamically adaptive systems.
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2010

Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010).
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Automatically generating adaptive logic to balance non-functional tradeoffs during reconfiguration.
Proceedings of the 7th International Conference on Autonomic Computing, 2010

On the use of genetic programming for automated refactoring and the introduction of design patterns.
Proceedings of the Genetic and Evolutionary Computation Conference, 2010

2009
RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems.
Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty.
Proceedings of the Model Driven Engineering Languages and Systems, 2009

SEAMS 2009: Software engineering for adaptive and self-managing systems.
Proceedings of the 31st International Conference on Software Engineering, 2009

Applying genetic algorithms to decision making in autonomic computing systems.
Proceedings of the 6th International Conference on Autonomic Computing, 2009

Applying adaptation design patterns.
Proceedings of the 6th International Conference on Autonomic Computing, 2009

Evolution of robust data distribution among digital organisms.
Proceedings of the Genetic and Evolutionary Computation Conference, 2009


Modular verification of dynamically adaptive systems.
Proceedings of the 8th International Conference on Aspect-Oriented Software Development, 2009

2008
Harnessing Digital Evolution.
Computer, 2008

Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty.
Proceedings of the Model Driven Engineering Languages and Systems, 2008

Verifying and Analyzing Adaptive Logic through UML State Models.
Proceedings of the First International Conference on Software Testing, 2008

Design patterns for monitoring adaptive ULS systems.
Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems, 2008

Digital Evolution of Behavioral Models for Autonomic Systems.
Proceedings of the 2008 International Conference on Autonomic Computing, 2008

Avida-MDE: a digital evolution approach to generating models of adaptive software behavior.
Proceedings of the Genetic and Evolutionary Computation Conference, 2008

Goal-Based Modeling of Dynamically Adaptive System Requirements.
Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March, 2008

08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems.
Proceedings of the Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008, 2008

08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map.
Proceedings of the Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008, 2008

2007
Specifying real-time properties in autonomic systems.
Innov. Syst. Softw. Eng., 2007

i<sup>2</sup>MAP : An Incremental and Iterative Modeling and Analysis Process.
Proceedings of the Model Driven Engineering Languages and Systems, 2007

AMOEBA-RT: Run-Time Verification of Adaptive Software.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

Towards Re-engineering Legacy Systems for Assured Dynamic Adaptation.
Proceedings of the International Workshop on Modeling in Software Engineering, 2007

Digitally Evolving Models for Dynamically Adaptive Systems.
Proceedings of the 2007 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2007

SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems.
Proceedings of the 2007 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2007

Research Directions in Requirements Engineering.
Proceedings of the International Conference on Software Engineering, 2007

Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements.
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML.
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

2006
Using temporal logic to specify adaptive program semantics.
J. Syst. Softw., 2006

Goal-Oriented Modeling of Requirements Engineering for Dynamically Adaptive System.
Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance.
Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems.
Proceedings of the Model Driven Engineering Languages and Systems, 2006

Repository for Model Driven Development (ReMoDD).
Proceedings of the Models in Software Engineering, 2006

Model-based development of dynamically adaptive software.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

A Pattern-Based Approach for Modeling and Analyzing Error Recovery.
Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006

Software engineering for adaptive and self-managing systems.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Goal-oriented specification of adaptation requirements engineering in adaptive systems.
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, 2006

2005
Specifying adaptation semantics.
ACM SIGSOFT Softw. Eng. Notes, 2005

Transparent shaping of existing software to support pervasive and autonomic computing.
ACM SIGSOFT Softw. Eng. Notes, 2005

An approach to implementing dynamic adaptation in C++.
ACM SIGSOFT Softw. Eng. Notes, 2005

Retrieval by Construction: a Traceability Technique to Support Verification and Validation of Uml Formalizations.
Int. J. Softw. Eng. Knowl. Eng., 2005

Automated Analysis of Natural Language Properties for UML Models.
Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

Lessons Learned from Automated Analysis of Industrial UML Class Models (An Experience Report).
Proceedings of the Model Driven Engineering Languages and Systems, 2005

Facilitating the Construction of Specification Pattern-based Properties.
Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

UML formalization is a traceability problem.
Proceedings of the 3rd International Workshop on Traceability in Emerging Forms of Software Engineering, 2005

Real-time specification patterns.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

2004
Object Analysis Patterns for Embedded Systems.
IEEE Trans. Software Eng., 2004

Composing Adaptive Software.
Computer, 2004

Resource-based approach to feature interaction in adaptive software.
Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, 2004

Enabling collaborative adaptation across legacy components.
Proceedings of the 3rd Workshop on Adaptive and Reflective Middleware, 2004

Automated Analysis of Timing Information in UML Diagrams.
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Enabling Safe Dynamic Component-Based Software Adaptation.
Proceedings of the Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops], 2004

Generation of Self-Optimizing Wireless Network Applications.
Proceedings of the 1st International Conference on Autonomic Computing (ICAC 2004), 2004

TRAP/J: Transparent Generation of Adaptable Java Programs.
Proceedings of the On the Move to Meaningful Internet Systems 2004: CoopIS, 2004

2003
A Requirements Patterns-Driven Approach to Specify Systems and Check Properties.
Proceedings of the Model Checking Software, 2003

2002
Formalizing and Integrating the Dynamic Model for Object-Oriented Modeling.
IEEE Trans. Software Eng., 2002

Automatically Detecting and Visualising Errors in UML Diagrams.
Requir. Eng., 2002

Education: Interactive Distributed Applications and the Computer Science Curriculum.
IEEE Distributed Syst. Online, 2002

An aspect-oriented approach to dynamic adaptation.
Proceedings of the First Workshop on Self-Healing Systems, 2002

Requirements Patterns for Embedded Systems.
Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 2002

2001
Developing and Maintaining an Object-Oriented Distributed Multimedia Information System.
Ann. Softw. Eng., 2001

Integrating Informal and Formal Approaches to Requirements Modeling and Analysis.
Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

A Suite of Tools for Facilitating Reverse Engineering Using Formal Methods.
Proceedings of the 9th International Workshop on Program Comprehension (IWPC 2001), 2001

A General Framework for Formalizing UML with Formal Languages.
Proceedings of the 23rd International Conference on Software Engineering, 2001

A Metamodel-Based Approach to Formalizing UML.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

2000
Guest Editors' Introduction: Requirements Engineering - Integrating Technology.
IEEE Softw., 2000

Integrating object-oriented analysis and formal specifications.
ACM SIGSOFT Softw. Eng. Notes, 2000

Formalizing the Functional Model within Object-Oriented Design.
Int. J. Softw. Eng. Knowl. Eng., 2000

Object-Oriented Modeling and Automated Analysis of a Telemedicine Application.
Proceedings of the 10th International Workshop on Software Specification and Design, 2000

Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams.
Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

1999
A Formal Approach for Reverse Engineering: A Case Study.
Proceedings of the Sixth Working Conference on Reverse Engineering, 1999

A Framework for Classifying and Comparing Software Reverse Engineering and Design Recovery Techniques.
Proceedings of the Sixth Working Conference on Reverse Engineering, 1999

Moving industry-guided multimedia technology into the classroom.
Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999

A Specification Matching Based Approach to Reverse Engineering.
Proceedings of the 1999 International Conference on Software Engineering, 1999

UML-Based Analysis of Embedded Systems Using a Mapping to VHDL.
Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

1998
A Discussion About Integrated Techniques.
Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

PACKRAT: A Software Reengineering Case Study.
Proceedings of the 5th Working Conference on Reverse Engineering, 1998

An Automated Approach for Supporting Software Reuse via Reverse Engineering.
Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

1997
Reusing Analogous Components.
IEEE Trans. Knowl. Data Eng., 1997

Path-Based Multicast Communication in Wormhole-Routed Unidirectional Torus Networks.
J. Parallel Distributed Comput., 1997

A Formal Automated Approach for Reverse Engineering Programs with Pointers.
Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

Facilitating an Automated Approach to Architecture-based Software Reuse.
Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

Formalizing and Automating Component Reuse.
Proceedings of the 9th International Conference on Tools with Artificial Intelligence, 1997

Formalizing and Integrating the Dynamic Model within OMT.
Proceedings of the Pulling Together, 1997

1996
Correspondence: Response to Botting's Comments.
IEEE Trans. Software Eng., 1996

Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering.
Autom. Softw. Eng., 1996

Using Informal and Formal Techniques for the Reverse Engineering of C Programs.
Proceedings of the 3rd Working Conference on Reverse Engineering, 1996

Where and How do Formal Methods Fit in Requirements Engineering?.
Proceedings of the 2nd International Conference on Requirements Engineering, 1996

1995
A Formal Semantics for Object Model Diagrams.
IEEE Trans. Software Eng., 1995

Optimal Multicast Communication in Wormhole-Routed Torus Networks.
IEEE Trans. Parallel Distributed Syst., 1995

Contention-Free 2D-Mesh Cluster Allocation in Hypercubes.
IEEE Trans. Computers, 1995

Efficient Multicast in All-Port Wormhole-Routed Hypercubes.
J. Parallel Distributed Comput., 1995

Specification Matching for Software Reuse: A Foundation.
Proceedings of the ACM SIGSOFT Symposium on Software Reusability, 1995

A visualization-based environment for top-down debugging of parallel programs.
Proceedings of IPPS '95, 1995

A Distributed, Multimedia Environmental Information System.
Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1995

1994
Facilitating the Maintenance of Safety-Critical Systems.
Int. J. Softw. Eng. Knowl. Eng., 1994

The object-oriented development of a distributed multimedia environmental information system.
Proceedings of the SEKE'94, 1994

Time and/or space sharing in a workstation cluster environment.
Proceedings of the Proceedings Supercomputing '94, 1994

A Formal Approach to Modeling Expected Behavior in Parallel Program Visualizations.
Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994

A Formal Approach to Reusing More General Components.
Proceedings of the Proceedings KBSE'94, 1994

A Graphical Environment for Formally Developing Object-Oriented Software.
Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994

Generalizing the Unimodular Approach.
Proceedings of the Proceedings 1994 International Conference on Parallel and Distributed Systems, 1994

1993
Data Parallel Program Visualizations from Formal Specifications.
J. Parallel Distributed Comput., 1993

An Integrated Development Environment for Formal Specifications.
Proceedings of the SEKE'93, 1993

Efficient collective data distribution in all-port wormhole-routed hypercubes.
Proceedings of the Proceedings Supercomputing '93, 1993

Using Analogy and Formal Methods for Software Reuse.
Proceedings of the Fifth International Conference on Tools with Artificial Intelligence, 1993

Using Formal Methods to Construct a Software Component Library.
Proceedings of the Software Engineering, 1993

A Two-Phase Approach to Reverse Engineering Using Formal Methods.
Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993

A temporal model for transparent monitoring of shared-memory multiprocessors.
Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993

1992
Using Automated Reasoning Techniques to Determine Software Reuse.
Int. J. Softw. Eng. Knowl. Eng., 1992

Are formal methods useful for software development?
Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992

A transparent monitoring tool for shared-memory multiprocessors.
Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992

An object-oriented toolkit for constructing specification editors.
Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992

1991
Abstraction of formal specifications from program code.
Proceedings of the Third International Conference on Tools for Artificial Intelligence, 1991

Synthesizing procedural abstractions from formal specifications.
Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991

1990
Synthesis of procedural and data abstractions
PhD thesis, 1990


  Loading...