Curriculum Vitae

Betty H.C. Cheng

Software Engineering and Network Systems LaboratoryDepartment of Computer Science and Engineering

Michigan State University3115 Engineering Building

East Lansing, Michigan 48824(Phone: 517-355-8344; FAX: 517-432-1061)

email: chengb@cse.msu.eduURL: http://www.cse.msu.edu/~chengb

Brief Biographical Sketch

Betty H.C. Cheng received her BS in computer science from Northwestern University in 1985 andher MS and PhD degrees in computer science from the University of Illinois-Urbana Champaign,in 1987 and 1990, respectively. She is a professor in the Department of Computer Science andEngineering at Michigan State University. Her research interests include dynamically adaptivesystems, requirements engineering, model-driven engineering, automated software engineering, andharnessing evolutionary computation to address software engineering problems. These research ar-eas are used to support the development of high-assurance adaptive systems that must continuouslydeliver acceptable behavior, even in the face of environmental and system uncertainty. Example ap-plications include intelligent transportation and vehicle systems. She collaborates extensively withindustrial partners in her research projects in order to ensure real-world relevance of her researchand to facilitate technology exchange between academia and industry. Previously, she was awardeda NASA/JPL Faculty Fellowship to investigate the use of new software engineering techniques fora portion of the shuttle software. She spent one sabbatical working with the Motorola SoftwareLabs investigating automated analysis techniques of specifications of telecommunication systems.During her next sabbatical, she was awarded an international faculty scholarship to explore researchtechniques for specifying and managing uncertainty in high-assurance systems. She is currently onsabbatical, where she is starting new projects in the area of model-driven approaches to sustain-ability, cyber security for automotive systems, and feature interaction detection and mitigation forautonomic systems, all in the context of operating under uncertainty while maintaining assuranceobjectives. She has also taught courses in programming languages, software engineering for embed-ded systems, and formal methods for security and adaptive systems. In recognition of her teachingefforts, she has received the Withrow Teaching award.

She has been a PI or Co-PI on externally funded projects totaling more than $65 M, withfunding from NSF, DARPA, ARO, AFRL, NASA, EPA, USDA, and numerous industrial col-laborators, including Eaton Corporation, Ford Motor Company, General Motors, Motorola, andSiemens. Her research interests include high assurance systems, integrating informal and formalsoftware engineering techniques, automated software engineering, model-driven engineering, embed-ded systems, dynamically adaptive software systems, and harnessing digital evolution for developinghigh-assurance systems.

Dr. Cheng has been active in service to the professional community, where in addition to previ-ously serving two terms as an Associate Editor, she has recently been named Associate Editor-in-

1

Chief for IEEE Transactions on Software Engineering; she is an associate editor for two journals:Requirements Engineering Journal and Journal for Software and Systems Modeling. She has beenactive on the organizing committees for IEEE International Conference on Software Engineering(ICSE), and IEEE Requirements Engineering Conference (RE), IEEE/ACM International Confer-ence on Model-driven Engineering, Languages, and Systems for the past several years. She was theTechnical Program Co-Chair for IEEE International Conference on Software Engineering (ICSE-2013), the premier and flagship conference for software engineering. She was also the ProgramCo-Chair for RE2000. In addition, each year she serves on several program committees for work-shops and conferences. She regularly serves on review panels for NSF and other funding agencies.

In 2007, she was selected to receive a Michigan State University Distinguished Faculty Award foroutstanding scholarship and service to the University. In 2008, she was awarded the MSU Collegeof Engineering John D. and Dortha J. Withrow Endowed Scholar Award for her achievements inthe design of high-assurance software systems.

Education

1990 Ph.D. in Computer Science. University of Illinois at Urbana-Champaign, Urbana, Illinois.

1987 M.S. in Computer Science. University of Illinois at Urbana-Champaign, Urbana, Illinois.

1985 B.S. in Computer Science. Northwestern University, Evanston, Illinois.

Professional Experience

7/02–present Professor of Computer Science, Michigan State University.Teach undergraduate courses in software engineering and programming languages, , graduatecourses in advanced software engineering and formal methods in software development. Con-duct research with M.S. and Ph.D. students in the areas of automated software engineering,adaptive middleware and security, requirements engineering, component-based reuse, object-oriented development techniques, and embedded systems development.

8/08-10/08 Visiting Professor in Laboratroire Informatique de L’Universite de Pau et des Pays de L’AdouritemPau, France.

7/96–6/02 Associate Professor of Computer Science, Michigan State University.Teach undergraduate courses in Software Engineering and Senior Design Capstone, graduatecourses in Advanced Software Engineering and Formal Methods in Software Development.Conduct research with M.S. and Ph.D. students in the areas of formal methods in softwareengineering and applications to distributed computing with specific emphasis on requirementsengineering, component-based reuse, and reverse engineering, object-oriented developmenttechniques, and embedded systems development.

8/98-12/98 Visiting Faculty Scholar, Motorola Labs, Schaumburg, Illinois.Perform research into using integrated specification and analysis techniques for specifyingtelecommunication systems.

2

9/90–7/96 Assistant Professor of Computer Science, Michigan State University.Teach undergraduate courses in Software Engineering and Organization of Programming Lan-guages, graduate courses in Formal Methods for Software Development and Analysis of Al-gorithms. Conduct research with M.S. and Ph.D. students in the areas of formal methods insoftware engineering and distributed multimedia systems. Developed techniques and tools tosupport automated reuse and reverse engineering.

6/93–8/93 NASA/ASEE Faculty Fellow,Jet Propulsion Laboratory, California Institute of Technology.Perform research into the application of formal methods and object-oriented analysis on aportion of software for the space shuttle.

1/86–8/90 Graduate Research Assistant, University of Illinois, Computer Science Department. Doctoralresearch has included the design and implementation of the automated program synthesissystem. User-supplied formal specifications are transformed into a high-level language. Thesystem is capable of synthesizing both procedural and data abstractions.

5/87–8/87 Software Analyst, Digital Equipment Corporation, Maynard, Massachusetts.Designed and implemented a parser and syntactic editor to handle the manipulation of infor-mation supplied to and retrieved from CAD systems used for VLSI design.

5/86–8/86 Program Analyst and Developer, Data General, Research Triangle Park, North Carolina.Designed and implemented software used in conjunction with expert systems.

8/85–12/85 Graduate Assistant, University of Illinois, Computer Science Department.Provided hardware and software support to customers of the Civil Engineering ResearchLaboratory for the U.S. Army Corps of Engineers.

6/85–8/85 Program Analyst IBM, Research Triangle Park, North Carolina.Developed software to enhance network management processes.

Manuscripts and Publications

Edited Volumes and Special Issues:

• “Modeling for Sustainability,” (Gordon Blair, Betty H.C. Cheng, Lorenz Hilty, andRichard F. Paige), Report from Dagstuhl Seminar 18351, September 2018.

• “On the Globalization of Domain-Specific Languages,” (Betty H. C. Cheng, BenoitCombemale, Robert B. France, Jean-Marc Jzquel, Bernhard Rumpe), in GlobalizingDomain-Specific Languages - International Dagstuhl Seminar Dagstuhl Castle,Germany, October 5-10, 2014, Revised Papers, Springer, 2015, pp. 1-6.

• Nelly Bencomo, Robert B. France, Betty H. C. Cheng, Uwe Amann: Modelsrun.time- Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27- December 2, 2011]. Lecture Notes in Computer Science 8378, Springer 2014, ISBN978-3-319-08914-0

• “Message from the Chairs,” (David Notkin, Betty H. C. Cheng, Klaus Pohl), 35th Inter-national Conference on Software Engineering, ICSE ’13, San Francisco, CA, USA, May18-26, 2013. IEEE / ACM 2013, ISBN 978-1-4673-3076-3

3

• “Summary of the 6th International Workshop on Models@run.time. MoDELS Work-shops 2011,” (Nelly Bencomo, Gordon S. Blair, Robert B. France, Betty H. C. Cheng,Cdric Jeannere), Proceedings of the International Workshop on Models@run.time. MoD-ELS Workshops 2011, pp. 149-151.

• “Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems(SEAMS 2010)” (Cheng, B.H.C.; de Lemos, Rogerio; Garlan, D.; Giese, H.; Litoiu,M.; Magee, J.; Muller, H.A.; Pezz, Mauro; Taylor, Richard) Software Engineering, 2010ACM/IEEE 32nd International Conference on Year: 2010, Volume: 2 Pages: 447 - 448,DOI: 10.1145/1810295.1810422

• “SEAMS 2009: Software engineering for adaptive and self-managing systems,” (Cheng,B.H.C.; de Lemos, Rogerio; Garlan, D.; Giese, H.; Litoiu, M.; Magee, J.; Muller, H.A.;Taylor, Richard) Software Engineering - Companion Volume, 2009. ICSE-Companion2009. 31st International Conference on Year: 2009 Pages: 463 - 464, DOI: 10.1109/ICSE-COMPANION.2009.5071063

• SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems, Cheng,B.H.C.; Lemos, Rogerio de; Fickas, S.; Garlan, D.; Litoiu, M.; Magee, J.; Muller, H.A.;Taylor, Richard Software Engineering - Companion, 2007. ICSE 2007 Companion. 29thInternational Conference on Year: 2007 Pages: 152 - 153, DOI: 10.1109/ICSECOMPAN-ION.2007.64

• “Requirements engineering: integrating technology,” (Cheng, B.H.C.; Weiss, D.M.), inIEEE Software, vol.17, no.3, pp.18-20, May/Jun 2000 doi: 10.1109/MS.2000.896245.

Refereed Book Chapters:

• “Motivating Use Cases for the Globalization of DSLs,” (Betty H. C. Cheng, ThomasDegueule, Colin Atkinson, Siobhan Clarke, Ulrich Frank, Pieter J. Mosterman, JanosSztipanovits), in Globalizing Domain-Specific Languages - International Dagstuhl Sem-inar Dagstuhl Castle, Germany, October 5-10, 2014 Revised Papers, Springer, 2015, pp.21–42.

• “Using Models at Runtime to Address Assurance for Self-Adaptive Systems,” (BettyH. C. Cheng, Kerstin I. Eder, Martin Gogolla, Lars Grunske, Marin Litoiu, Hausi A.Mller, Patrizio Pelliccione, Anna Perini, Nauman A. Qureshi, Bernhard Rumpe, DanielSchneider, Frank Trollmann, Norha M. Villegas), Models@run.time, Springer Interna-tional Publishing, 2014, pp. 101–136, ISBN: 978-3-319-08914-0.

• “Transparent Shaping: A Methodology for Adding Adaptive Behavior to Existing Soft-ware Systems and Applications” (Masoud Sadjadi, Betty H.C. Cheng, and Philip K.McKinley), An Adaptive Control Approach for Software Quality Improvement, edited byB. Cukic and E. Wong, World Scientific Press, 2011, pp. 77–114, ISBN: 978-981-4340-91-5.

• “Software Engineering for Self-Adaptive Systems: A Research Roadmap” (B.H.C. Chenget al), Software Engineering for Self-Adaptive Systems, Eds. Cheng, de Lemos, Giese,Inverardi, Magee, 2009, Springer, pp. 1-26.

• “Current and Future Directions in Requirements Engineering” (Betty H.C. Cheng andJoanne M. Atlee), Design Requirements Engineering: A Ten-Year Perspective, Eds. J.Mylopoulos, Springer, 2009, pp. 11–43.

4

• “Transparent Shaping: A Methodology for Adding Adaptive Behavior to Existing Soft-ware Systems and Applications” (S. Masoud Sadjadi, P.K. McKinley, and B.H.C. Cheng),An Adaptive Control Approach for Software Quality Improvement, Eds. E. Wong andB. Cukic, World Scientific Publishing Company, in press.

• “A Pattern-Based Approach for Modeling and Analysis of Error Recovery,” Ali Ebne-nasir and Betty H.C. Cheng, Architecting Dependable Systems IV, Springer LectureNotes for Computer Science, Vol. 4615, Eds. R. de Lemos, C. Gacek, and A. Ro-manovsky, Springer, 2007.

• “Repository for Model Driven Development (ReMoDD)” (Robert France, Jim Bieman,and Betty H.C. Cheng), Models in Software Engineering, Springer Lecture Notes forComputer Science, LNCS, Vol. 4364, 2007, pp. 311–317, Springer.

• “Automated Analysis of Natural Language Properties for UML Models,” Sascha Konradand Betty H.C. Cheng, in Springer Lecture Notes in Computer Science, Satellite Pro-ceedings of ACM/IEEE MoDELS Conference, vol. 3844, pp. 48-57, Springer, January2006.

• “Enabling Safe Dynamic Component-Based Software Adaptation,” (J. Zhang, B.H.C.Cheng, Z. Yang, and P.K. McKinley), in Architecting Dependable Systems, SpringerLecture Notes for Computer Science, Springer, 2005, pp. 194-211.

• “A Semantic Foundation for Specification Matching” (with Y. Chen) in Foundations ofComponent-Based Systems Eds. M. Sitaraman and G. Leavens, Cambridge UniversityPress, 2000.

• “Multiple Dimensions of Integrating Development Technology” in Computer Security,Dependability, and Assurance: From Needs to Solutions, Eds. P. Ammann, B. Barnes,S. Jajodia, and E. Sibley, IEEE Computer Society, 1999.

• “The Object-Oriented Development of Multimedia Information Systems,” (with G.C. Gannod),in Storage and Management of Multimedia Systems, Ed. S.M. Chung, Kluwer Aca-demic Publishers, 1996.

Refereed Journal Articles:

• “Providentia: Automatically Optimizing Weighted Non-Functional Objectives in Self-Adaptive Systems,” (K. Bowers, E.M. Fredericks, and B.H.C. Cheng), Journal of Sys-tems and Software (in revision).

• “Towards Model-Driven Sustainability Evaluation,” (Jorg Kienzle, Gunter Mussbacher,Lucy Bastian, Nelly Bencomo, Jean-Michel Bruel, Benoit Combemale, Christoph Becker,Stefanie Betz, Ruzanna Chitchyan, Betty H. C. Cheng, Sonja Klingert, Richard F. Paige,Birgit Penzenstadler, Norbert Seyff, Eugene Syriani, and Colin C. Venters), Communi-cations of the ACM (CACM) (in press).

• “AutoRELAX: Automatically RELAXing a Goal Model to Address Uncertainty” (ErikFredericks, Byron DeVries, and Betty H.C. Cheng), Journal of Empirical Software En-gineering, vol. 19, no. 5, pp. 1466–1501, 2014.

• “Applying evolutionary computation to mitigate uncertainty in dynamically-adaptive,high-assurance middleware,” (P.K. McKinley, B.H.C. Cheng, A.J. Ramirez, and A.C.

5

Jensen), Journal of Internet Services and Applications, pp. 51–58, 2012, vol. 3, no. 1,Springer.

• “Plato: A Genetic Algorithm Approach to Run-Time Reconfiguration in AutonomicComputing Systems,” Andres Ramirez, David Knoester, Betty H.C. Cheng, and PhilipK. McKinley, “Journal of Cluster Computing (Special Issue on Autonomic Computing),”pp. 229–244, vol 14, no. 3, 2011.

• “RELAX: A Language to Address Uncertainty in Self-Adaptive Systems Requirements,”Jon Whittle, Pete Sawyer, Nelly Bencomo, Betty H.C. Cheng, and Jean-Michel Bruel,”Requirements Engineering Journal, Springer, vol. 15, no. 2, pp. 177-196, 2010.

• “Harnessing Digital Evolution,” P. McKinley, B.H.C. Cheng, C. Ofria, D. Knoester, Be.Beckmann, and H. Goldsby, IEEE Computer, volume 41, number 1, January 2008, pp.54–63.

• “Specifying Real-time Properties in Autonomic Systems,” J. Zhang, Z. Zhou, B.H.C.Cheng, and P.K. McKinley, Innovations in Systems and Software Engineering, Springer,vol. 3, number 1, March 2007, pp. 3–16.

• “ Using Temporal Logic to Specify Adaptive Program Semantics,” Ji Zhang and BettyH.C. Cheng, Journal of Systems and Software, Elsevier. Special issue on ArchitectingDependable Systems, Eds. R. de Lemos, C. Gacek, and A. Romanovsky, volume 79,issue 10, pp. 1361–1369, October, 2006.

• “Retrieval-By-Construction: A Traceability Technique to Support Verification and Val-idation of UML Formalizations” (M. Deng, R.E.K. Stirewalt, and B.H.C. Cheng), inInternational Journal on Software Engineering and Knowledge Engineering, Special is-sue on Traceability, Eds. George Spanoudakis and Andrea Zisman, October 2005.

• “Object Analysis Patterns for Embedded Systems” S. Konrad, B.H.C. Cheng, and L.Campbell), IEEE Transactions on Software Engineering, vol. 30, no. 12, pp. 970–992,December 2004.

• “Composing Adaptive Software,” P. K. McKinley, S. M. Sadjadi, E. P. Kasten, andB. H. C. Cheng, IEEE Computer, vol. 37, no. 7, pp. 56–64, 2004.

• “Interactive Distributed Applications and the Computer Science Curriculum” (P. McKin-ley, R.E.K. Stirewalt, B.H.C. Cheng, L.K. Dillon, and S. Kulkarni), IEEE DistributedSystems Online Journal, Vol. 3, Number 10, October 2002,URL: http://dsonline.computer.org/0210/d/edu.htm.

• “Automatically Detecting and Visualizing Errors in UML Diagrams,” (with Laura A.Campbell, William E. McUmber, R.E.K. Stirewalt), Requirements Engineering Journal,Springer-Verlag, Vol. 7, No. 4, 2002, pp. 264–287.

• “Formalizing and Integrating the Dynamic Model for Object-Oriented Modeling” (withEnoch Y. Wang), in IEEE Transactions on Software Engineering, Vol. 28, No. 8, August2002, pp. 747–762.

• “Developing and Maintaining an Object-Oriented Distributed Multimedia InformationSystem” (with Gerald C. Gannod), Annals of Software Engineering (Special issue onMultimedia Software Engineering), vol. 12, December 2001, pp. 95–118.

6

• “Formalizing the Functional Model within Object-Oriented Design” (with Enoch Y.Wang), International Journal on Software Engineering and Knowledge Engineering, Vol.10, No. 1, February 2000, pp. 5–30.

• “Path-Based Multicast Communication in Wormhole-Routed Torus Networks,” (withD. F. Robinson and P. K. McKinley) Journal of Parallel and Distributed Computing,vol. 45, pp. 104–121, 1997.

• “Reusing Analogous Components” (with Jun-jang Jeng), in IEEE Trans. on Knowledgeand Data Engineering, Vol 9., No. 2, March/April 1997, pp. 341–349.

• “Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering” (withG.C. Gannod), The Journal of Automated Software Engineering, Vol. 3, No. 1/2, KluwerAcademic Publishers, 1996. (Shortened preliminary version appeared in Proc. of IEEEWorking Conference on Reverse Engineering, Toronto, Ontario, Canada, pp. 188–197,July 1995.)

• “A Regional Information System for Environmental Data Analysis” (with R.H. Bour-deau and B.C. Pijanowski), Journal of Photogrammetric Engineering & Remote Sensing,Vol. 62, No. 7, July 1996, pp. 855–861.

• “Efficient Collective Data Distribution in All-Port Wormhole-Routed Hypercubes” (withD. F. Robinson, D. Judd, and P. K. McKinley), Journal of Parallel and DistributedComputing, Vol. 31, No. 1, November 1995.

• “A Formal Semantics of Object Models” (with R.H. Bourdeau), IEEE Trans. on Soft-ware Engineering, Vol. 21, No. 10, pp. 799–821, October 1995.

• “Optimal Multicast Communication in Wormhole-Routed Torus Networks” (with D.F. Robin-son and P.K. McKinley), in IEEE Trans. on Parallel and Distributed Systems, Vol. 6,No. 10, pp. 1029 – 1042, October 1995.

• “Contention Free 2-D Mesh Cluster Allocation in Hypercubes” (with Stephen W. Turnerand Lionel M. Ni), IEEE Transactions on Computers, Vol. 44, No. 8, pp. 1051–1055,August 1995.

• “Facilitating the Maintenance of Safety-Critical Systems,” International Journal on Soft-ware Engineering and Knowledge Engineering, (with G.C. Gannod), (Special issue onsafety-critical systems), Vol. 4, No. 2, pp. 183–204, March 1994.

• “Applying Formal Methods in Automated Software Development,” Journal of Computerand Software Engineering, vol. 2, no. 2, pp. 137–164, 1994.

• “Data Parallel Program Visualizations from Formal Specifications” (with M.V. LaPolla,J.L. Sharnowski, and K. Anderson), Journal of Parallel and Distributed Computing,Vol. 18, No. 2, pp. 252–257, June, 1993.

• “Using Automated Reasoning Techniques to Determine Software Reuse” (with Jun-jangJeng), International Journal of Software Engineering and Knowledge Engineering, Vol.2, No. 4, pp. 523–546, December 1992.

Invited and Other Papers:

• “Dr. Robert B. France’s Contributions to Model-driven Engineering and Software Engi-neering Education,” Peter J. Clarke and Betty H.C. Cheng, Computer Science Education,volume. 28, number 1, pp. 109–112, DOI: 10.1080/08993408.2018.1493811.

7

• “Dealing with Uncertainty for High-Assurance Self-Adaptive Systems,” Invited Keynotefor IEEE International Conference on Software Testing, Verification and Validation(ICST) 2016, Chicago, Illinois, April 2016 (2 pages).

• “A Review of Dr. Robert France’s Contributions and Impact on Model-Driven Engi-neering and Software Engineering: Robert B. France (1960-2015).” Betty H. C. Cheng:ACM SIGSOFT Software Engineering Notes, 40(3): 23-31 (2015)

• “Harnessing Evolutionary Computation to Enable Dynamically Adaptive Systems toManage Uncertainty Betty H.C. Cheng, Andres J. Ramirez, and Philip K. McKinley,Keynote for 2013 1st International Workshop on Combining Modeling and Search-BasedSoftware Engineering (CMSBSE), co-located with IEEE International Conference onSoftware Engineering (ICSE), May 2013, pp. 1–6.

• “Message from the Chairs”, David Notkin, Betty H. C. Cheng, Klaus Pohl (Eds.): 35thInternational Conference on Software Engineering, ICSE ’13, San Francisco, CA, USA,May 18-26, 2013. IEEE / ACM 2013.

• “Using Models@Run Time to Manage Ultra-Large Scale Systems,” Betty H.C. Cheng,Sidebar in Guest Editor’s Introduction, Gordon Blair, Nelly Bencomo, Robert France“Models at Run Time,” IEEE Computer, vol. 42, no, 10, October, 2009, pp. 30.

• “CRI Collaborative Project Report: Repository for Model Driven Development (Re-MoDD),” Robert France, James Bieman, and Betty H.C. Cheng, Proceedings of CRI ofPI Meeting, Snowbird, Utah, June 2006.

• “A Metamodel-Based Approach to Formalizing UML,” Proc. of IEEE InternationalConference on Computer Software and Applications Conference (COMPSAC01), Chicago,Illinois, October 2001.

• “Properties of Separate Components” IEEE 4th Component-Based Software EngineeringWorkshop, Session Overview, May 2001.

• “Requirements Engineering: Integrating Technology” (with D. Weiss), IEEE Software,May 2000.

• “A Discussion about Integrated Techniques” (with R. France), in Post-Proceedings ofIEEE 2nd International Workshop on Industrial Strength Formal Specification Tech-niques (WIFT98), Boca Raton, Florida, April 1999.

• ”Integrating formal and informal specification techniques. why? how?,” (Bruel, J.-M.;Cheng, B.H.C.; Easterbrook, S.; France, R.; Rumpe, B.,) in Industrial Strength FormalSpecification Techniques, 1998. Proceedings. 2nd IEEE Workshop on , vol., no., pp.50-57, 23-23 Oct. 1998 doi: 10.1109/WIFT.1998.766297

• “How do Formal Methods fit in Requirements Engineering?” (with M. A. Ardis, J. Goguen,and C. Heitmeyer), in Proc. of IEEE International Conference on Requirements Engi-neering, April 1996.

• “The Role of Multimedia and AI in GIS” (with N. Bourbakis, W. Campbell, M. Gen-nert, and K. Makki), Proc. of ACM Workshop on Advances in Geographic InformationSystems, Gaithersburg, Maryland, pp. 84–88, December 1994.

• “Are Formal Methods Useful for Software Development?” (with David Gries, Mark A.Ardis, N. Shankar, Joseph Urban, Kwei-Jay Lin, and Horst F. Wedde) Proc. of IEEE

8

16th Annual International Computer Software and Applications Conference, pp. 2–9.September 1992.

Refereed Conferences and Workshops:

• “Goal-Based Modeling and Analysis of Non-Functional Requirements,” Byron DeVries,Betty H. C. Cheng, (to appear in ) Proceedings of IEEE / ACM 22nd InternationalConference on Model Driven Engineering Languages and Systems (MODELS), Practiceand Innovation Track, September 2019, Munich, Germany.

• “Enhancing Learning-Enabled Software Systems to Address Environmental Uncertainty”Michael Austin Langford and Betty H. C. Cheng, 16th IEEE International Conferenceon Autonomic Computing (ICAC), pp. 115-124, June 2019, Umea, Sweden.

• “MAPE-SAC: A Framework to Dynamically Manage Security Assurance Cases” SharminJahan, Matthew Pasco, Rose Gamble, Philip McKinley and Betty H.C. Cheng. 1stInternational Workshop on Self-Protecting Systems (SPS?19), pp. 146-151, June 2019,Umea, Sweden.

• “Towards the detection of partial feature interactions” Byron DeVries, Betty H. C.Cheng, Proceedings of the 11th International Symposium on software Engineering forAdaptive and Self-managing Systems SEAMS@ICSE 2019: pp. 146-152

• “Applying evolution and novelty search to enhance the resilience of autonomous systems,” Michael Austin Langford, Glen A. Simon, Philip K. McKinley, Betty H. C. Cheng,Proceedings of the 11th International Symposium on software Engineering for Adaptiveand Self-managing Systems SEAMS@ICSE 2019: 63-69

• “Automated Optimization of Weighted Non-Functional Objectives,” Kate M. Bowers,Erik M. Fredericks, and Betty H. C. Cheng, in Proceedings of International Symposiumon Search-based Software Engineering (SSBSE’18), 2018, Montpellier, France.

• “Automatic Detection of Feature Interactions Using Symbolic Analysis and EvolutionaryComputation,” Byron DeVries and Betty H.C. Cheng, accepted to appear in Proceed-ings of The 18th IEEE International Conference on Software Quality, Reliability, andSecurity (QRS), July 2018, Lisbon, Portugal.

• “Measure Confidence of Assurance Cases in Safety-Critical Domains,” Chung-Ling Lin,Wuwei Shen, Steven Drager, Betty H.C. Cheng, Proceedings of IEEE 40th InternationalConference on Software Engineering (ICSE), (NIER track), May 2018, Gothenburg,Sweden, pp. 13–16.

• “Run-time Monitoring of Self-Adaptive Systems to Detect N-way Feature Interactionsand their Causes,” Byron DeVries and Betty H.C. Cheng, Proceedings of the 10th Inter-national Symposium on software Engineering for Adaptive and Self-managing Systems(SEAMS), 2018, Gothenburg, Sweden, pp. 94–100 (short paper).

• “User Experience for Model-Driven Engineering: Challenges and Future Directions,”Silvia Abraho, Francis Bourdeleau, Betty H. C. Cheng, Sahar Kokaly, Richard F. Paige,Harald Strrle, Jon Whittle, ACM/IEEE 18th International Conference on Model DrivenEngineering Languages and Systems (MODELS 2017), pp. 229-236.

• “ReMoDD Eclipse Plug-in: Collaborative Modeling Using a Model Repository.” Mo-hammed Al-Refai, Andrew Jacobson, Sudipto Ghosh, James M. Bieman, and Betty H.C. Cheng, MODELS (Satellite Events) 2017, pp. 344-348.

9

• “Using Models at Run Time to Detect Incomplete Requirements,” Byron DeVries andBetty H. C. Cheng, Workshop on Models at Run time (MART), co-located with ACM/IEEE18th International Conference on Model Driven Engineering Languages and Systems(MODELS 2017), Austin, Texas, 2017, pp. 201-209.

• “Automatic Detection of Incomplete Requirements Using Symbolic Analysis and Evolu-tionary Computation.” Byron DeVries, Betty H. C. Cheng, Proceedings of InternationalSymposium on Search-based Software Engineering (SSBSE’17), 2017, Paderborn, Ger-many, pp. 49-64.

• “An Evolutionary Approach to Discovering Execution Mode Boundaries for AdaptiveControllers,” Anthony J. Clark, Byron DeVries, Jared M. Moore, Betty H.C. Cheng,and Philip K. McKinley, in Proceedings of the IEEE International Conference on Evolv-able Systems, held in conjunction with the 2016 IEEE Symposium on ComputationalIntelligence (SSCI), pp. 1-8, Athens, Greece, December 2016, peer-reviewed full paper.

• “Automatic Detection of Incomplete Requirements via Symbolic Analysis,” Byron De-Vries, Betty H. C. Cheng, Proceedings of ACM/IEEE 18th International Conference onModel Driven Engineering Languages and Systems (MODELS 2016), St. Malo, France,pp. 385–395.

• “Modeling for sustainability,” Benoit Combemale, Betty H. C. Cheng, Ana Moreira,Jean-Michel Bruel, and Jeff Gray. 2016. . In Proceedings of the 8th InternationalWorkshop on Modeling in Software Engineering (MiSE ’16). ACM, New York, NY,USA, 62-66.

• “UML Modeling for Visually-Impaired Persons,” (Brad Doherty and Betty H.C. Cheng),Proceedings of the First International Workshop on Human Factors in Modeling co-located with ACM/IEEE 18th International Conference on Model Driven EngineeringLanguages and Systems (MODELS 2015), Ottawa, Canada, pp. 4-10.

• “An Approach to Mitigating Unwanted Interactions between Search Operators in Multi-Objective Optimization” (Chad Byers and Betty H.C. Cheng) ACM Proceedings of theGenetic and Evolutionary Computation Conference (GECCO 2015), Madrid, Spain, pp.655–662.

• “Automated Generation of Adaptive Test Plans for Self-Adaptive Systems” (Erik M.Fredericks and Betty H. C. Cheng), in the Proceedings of the 10th International Sympo-sium on software Engineering for Adaptive and Self-managing Systems (SEAMS), 2015,Florence, Italy.

• “An Empirical Analysis of Providing Assurance for Self-Adaptive Systems at Differ-ent Levels of Abstraction in the Face of Uncertainty.” (Erik M. Fredericks and BettyH. C. Cheng) in the Proceedings of 8th International Workshop on Search-Based SoftwareTesting (SBST) 2015, Florence, Italy.

• “Unwanted Feature Interactions Between the Problem and Search Operators in Evolu-tionary Multi-objective Optimization,” (Chad Byers and Betty H.C. Cheng), Proceedingsof 8th International Conference on Evolutionary Multi-Criterion Optimization (EMO),pp. 19–33, 2015, Portugal.

• “The Relevance of Model-Driven Engineering Thirty Years from Now,” (Gunter Muss-bacher, Daniel Amyot, Ruth Breu, Jean-Michel Bruel, Betty H. C. Cheng, Philippe Col-let, Benot Combemale, Robert B. France, Rogardt Heldal, James H. Hill, Jrg Kienzle,

10

Matthias Schttle, Friedrich Steimann, Dave R. Stikkolorum, Jon Whittle), Proceedingsof the International Conference on Model Driven Engineering and Language Systems(MODELS’2014), pp. 183-200.

• “Towards run-time adaptation of test cases for self-adaptive systems in the face ofuncertainty,” (Erik M. Fredericks, Byron DeVries, and B. H. C. Cheng), in the Pro-ceedings of the 9th International Symposium on software Engineering for Adaptive andSelf-managing Systems (SEAMS), 2014, pp. 17–26.

• “Validating Code-Level Behavior of Dynamic Adaptive Systems in the Face of Uncer-tainty,” (Erik M. Fredericks, Andres J. Ramirez, and Betty H. C. Cheng), in the Pro-ceedings of International Symposium on Search-based Software Engineering (SSBSE’13),2013, pp. 81–95, Springer.

• “Exploring Automated Software Composition with Genetic Programming,” Erik M.Fredericks and Betty H. C. Cheng, in the Proceedings of GECCO 2013, 2013, pp. 1733–1734.

• “Towards run-time testing of dynamic adaptive systems,” (Erik M. Fredericks, AndresJ. Ramirez, and Betty H. C. Cheng), in Proceedings of the 8th International Symposiumon Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2013, pp.169-174.

• “RELAXing Claims: Coping with Uncertainty While Evaluating Assumptions at RunTime,” (Andres J. Ramirez, Betty H.C. Cheng, Nelly Bencomo, and Pete Sawyer), inProceedings of the Fifteenth International Conference on Model Driven Engineering andLanguage Systems (MODELS12), pp. 53–69, Innsbruck, Austria, October 2012.

• “Automatically RELAXing Goal Models to Cope with Uncertainty” (Andres J. Ramirez,Erik M. Fredericks, Adam C. Jensen, and Betty H.C. Cheng), Proceedings of the FourthInternational Symposium on Search-based Software Engineering (SSBSE’12), pp. 198–212, Riva del Garda, Italy, September 2012.

• “An ecology-based evolutionary algorithm to evolve solutions to complex problems”(Sherri Goings, Heather Goldsby, Betty H.C. Cheng, and Charles Ofria) Proceedings ofArtificial Life (ALife), East Lansing, Michigan, July 2012, pp. 171–177.

• “Exploring the evolution of internal control structure using digital enzymes” (Chad M.Byers, Betty H. C. Cheng and Philip K. McKinley), in Proceedings of ACM GECCO(Companion) 2012, pp. 1407-1408, July 2012, Philadelphia, PA.

• “Repository for Model Driven Development (ReMoDD)” (Robert B. France, James M.Bieman, Sai Pradeep Mandalaparty, Betty H. C. Cheng, and Adam C. Jensen), in Pro-ceedings of ICSE 2012, pp. 1471-1472, June 2012, Zurich, Switzerland.

• “A Taxonomy of Uncertainty for Dynamically Adaptive Systems” (Andres J. Ramirezand Betty H.C. Cheng), in Proceedings of IEEE International Symposium on SoftwareEngineering for Adaptive and Self-Managing Systems (SEAMS), pp. 99–108, June, 2012,Zurich, Switzerland.

• “Automatically Exploring How Uncertainty Impacts Behavior of Dynamically AdaptiveSystems” (Andres J. Ramirez, Adam C. Jensen, Betty H.C. Cheng and David Knoester,),in Proceedings of 26th IEEE/ACM International Conference on Automated SoftwareEngineering (ASE 2011), pp. 568–571, November, 2011, Lawrence, Kansas.

11

• “An Evolutionary Approach to Network Self-Organization and Resilient Data Diffusion”(Andres J. Ramirez and Betty H.C. Cheng), Proceedings Fifth IEEE International Con-ference on Self-Adaptive and Self-Organizing Systems (SASO), pp. 198–207, Ann Arbor,Michigan, USA; October, 2011.

• ”Automatic Derivation of Utility Functions for Monitoring Software Requirements” (An-dres J. Ramirez and Betty H.C. Cheng), Proceedings of the ACM/IEEE InternationalConference on Model Driven Engineering Languages and Systems (MODELS 2011), pp.501–516, Wellington, New Zealand, October, 2011.

• “A Toolchain for the Detection of Structural and Behavioral Latent System Properties”(Adam Jensen, Betty H.C. Cheng, Heather J. Goldsby, and Edward Nelson), Proceedingsof the ACM/IEEE International Conference on Model Driven Engineering Languagesand Systems (MODELS 2011), pp. 683–698, Wellington, New Zealand, October, 2011.(Nominated for Best Paper).

• “Digital Enzymes: Agents of Reaction Inside Robotic Controllers for the Foraging Prob-lem” (Chad Byers, Betty H.C. Cheng, and Philip K. McKinley), in ACM Proceedingsof the Genetic and Evolutionary Computation Conference (GECCO 2011), pp. 243-250,July 2011, Dublin, Ireland, full paper (Nominated for Best Paper).

• “An Aspect-Oriented Approach for Implementing Evolutionary Computation Applica-tions” (Andres J. Ramirez, Adam C. Jensen, and Betty H.C. Cheng), Proceedings of the10th International Conference on Aspect-Oriented Software Development (AOSD-11),pp. 153–164, Porto de Galinhas, Pernambuco, Brazil.

• “Automatically Discovering Properties that Specify the Latent Behavior of UML Mod-els” (Heather J. Goldsby and Betty H.C. Cheng), Proceedings of the ACM/IEEE Inter-national Conference on Model Driven Engineering Languages and Systems (MODELS2010), pp. 316–330, Oslo, Norway, October 2010.

• “Design Patterns for Developing Dynamically Adaptive Systems,” (Andres J. Ramirez,Betty H.C. Cheng), in Proceedings of IEEE International Conference on Software Engi-neering Workshop Software Engineering for Adaptive and Self-Managing Systems (SEAMS),pp. 49–58, May 2010, Capetown, South Africa, full paper.

• “Adaptive Monitoring of Software Requirements,” (Andres J. Ramirez, Betty H.C.Cheng, and Philip K. McKinley), In the Proceedings of First International Workshop onRequirements Engineering (RRT10), Sydney, Australia. September, 2010.

• “On the Use of Genetic Programming for Automated Refactoring and the Introductionof Design Patterns” (Adam C. Jensen and Betty H.C. Cheng), ACM Proceedings of theGenetic and Evolutionary Computation Conference (GECCO), pp. 1341–1348, Portland,Oregon, USA, July 2010.

• “Automatically Generating Adaptive Logic to Balance Non-functional Tradeoffs Dur-ing Reconfiguration” (Andres J. Ramirez, Betty H.C. Cheng, Philip K. McKinley, andBenjamin E. Beckmann), In the Proceedings of the 7th International Conference onAutonomic Computing (ICAC-10), Washington, DC, USA, pp. 225-234.

• “Evolving Models at Run Time to Address Functional and Non-Functional AdaptationRequirements,” (Andres J. Ramirez and Betty H.C. Cheng), In the Proceedings of theFourth International Workshop on Models at Run Time (MaRT09), Denver, Colorado,USA, October, 2009.

12

• “A Goal-Based Modeling Approach to Develop Requirements of an Adaptive Systemwith Environmental Uncertainty” (Betty H.C. Cheng, Pete Sawyer, Nelly Bencomo, JonWhittle), the Proceedings of the ACM/IEEE International Conference on Model DrivenEngineering Languages and Systems (MoDELS 2009), pp. 468–483, Denver, Colorado,2009. (Full paper, 16% acceptance rate.)

• “RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems,”(Jon Whittle, Pete Sawyer, Nelly Bencomo, Betty H.C. Cheng, Jean-Michel Bruel),Proceedings of 17th IEEE International Requirements Engineering Conference (RE09),pp. 79–88, September 2009, Atlanta, Georgia.

• “Evolution of Robust Data Distribution Among Digital Organisms,” (David Knoester,Andres J. Ramirez, Philip K. McKinley, and Betty H.C. Cheng), Proceedings of ACMGenetic and Evolutionary Computation Conference (GECCO-09), Montreal, Canada,July 2009 (full paper, nominated for Best Paper).

• ”Applying Genetic Algorithms to Decision Making in Autonomic Computing Systems,”(Andres J. Ramirez, Betty H.C. Cheng, David Knoester, and Philip K. McKinley)Sixth IEEE International Conference on Autonomic Computing (ICAC09), pp. 97–106, Barcelona, Spain, June 2009, (received Best Paper Award). (Full paper, 16%acceptance rate).

• ”Applying Design Patterns to an Adaptive News Server,” (Andres J. Ramirez and BettyH.C. Cheng) Sixth IEEE International Conference on Autonomic Computing (ICAC09),Barcelona, Spain, June 2009, short paper.

• “Modular Verification of Dynamically Adaptive Systems” (Ji Zhang, Heather Goldsby,and Betty H.C. Cheng), the Proceedings of Eighth International Conference on Aspect-Oriented Software Development (AOSD09), pp. 161–172, Charlottesville, Virginia, March2009.

• “Automatically Generating Behavioral Models of Adaptive Systems to Address Uncer-tainty” (Heather Goldsby and Betty H.C. Cheng), the Proceedings of the ACM/IEEEInternational Conference on Model Driven Engineering Languages and Systems (MoD-ELS 2008), Toulouse, France, October 2008 (Selected as one of the Best Papers).

• “A Language for Self-Adaptive System Requirements” (Jon Whittle, Pete Sawyer, NellyBencomo, and Betty H.C. Cheng), Proceedings for SOCCER’08: International Workshopon Service-Oriented Computing Consequences for Engineering Requirements (co-locatedwith RE08), Barcelona, Spain, September 2008.

• “Avida-MDE: A Digital Evolution Approach to Generating Models of Adaptive SoftwareBehavior” (Heather J. Goldsby, Betty H.C. Cheng), Proceedings of ACM Genetic andEvolutionary Computation Conference (GECCO-08), Atlanta, Georgia, July, 2008 (fullpaper).

• “Digital Evolution of Behavioral Models for Autonomic Systems” (Heather J. Goldsby,Betty H.C. Cheng, Philip K. McKinley, David B. Knoester, and Charles A. Ofria), FifthIEEE International Conference on Autonomic Computing (ICAC08), Chicago, Illinois,June, 2008, pp. 87–96 (received Best Paper Award).

• “Design Patterns for Monitoring Adaptive ULS Systems” (Andres Ramirez and BettyH.C. Cheng), IEEE International Conference on Software Engineering Workshop onUltra-Large Scale Software-Intensive Systems (ULSSIS), May 2008.

13

• “Verifying and Analyzing Adaptive Logic through UML State Models,” (Andres Ramirezand Betty H.C. Cheng), IEEE International Conference on Software Testing, April 2008.

• “Goal-based Modeling of Dynamically Adaptive System Requirements,” (Heather J.Goldsby, Pete Sawyer, Nelly Bencomo, Betty H.C. Cheng, and Danny Hughes), Engi-neering of Computer-Based Systems (ECBS08), Ulster, Northern Ireland, April 2008(full paper).

• “Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements”Heather Goldsby, Sascha Konrad, and Betty H.C. Cheng, Proceedings of IEEE Confer-ence on High Assurance Software Engineering (HASE07), Dallas, Texas, November 2007,pp. 7–14.

• “Pattern-based Modeling and Analysis of Failsafe Fault-Tolerance in UML” Ali Ebne-nasir and Betty H.C. Cheng, Proceedings of IEEE Conference on High Assurance Soft-ware Engineering (HASE07), Dallas, Texas, November 2007, pp. 275–282.

• “i2MAP: An Incremental and Iterative Modeling and Analysis Process” Sascha Konrad,Heather Goldsby, and Betty H.C. Cheng, Proceedings of ACM/IEEE Int. ConferenceModel-Driven Engineering Languages and Systems (MoDELS/UML 2007), Nashville,Tennessee, October 2007, pp. 451-466.

• “AMOEBA-RT: Run-time Verification of Adaptive Software,” (Ji Zhang, Betty H.C.Cheng, and Heather Goldsby) in Proceedings for Workshop on Models at Run-time,selected as a Best Paper, Nashville, Tennessee, October 2007.

• “Visualizing the Analysis of Dynamically Adaptive Systems Using i* and DSLs*,” (PeteSawyer, Nelly Bencomo, Danny Hughes, Paul Grace, Heather J. Goldsby, and Betty H.C.Cheng), Proceedings of Second International Workshop on Requirements EngineeringVisualization (REV07), New Delhi, India, October 2007.

• “Future Research Directions in Requirements Engineering” Betty H.C. Cheng and JoanneM. Atlee, Proceedings of IEEE ICSE Future of Software Engineering, eds. L. Briand andA. Wolf, Minneapolis, Minnesota, May 2007, pp. 285–303.

• “Applying Digital Evolution to the Development of Self-Adaptive ULS Systems” (PhilipK. McKinley, Betty H.C. Cheng, and Charles A. Ofria), IEEE International Conferenceon Software Engineering Workshop on Ultra-Large Scale Systems (ULS), May 2007,Minneapolis, MN.

• “Digitally Evolving Models for Dynamically Adaptive Systems” (Heather J. Goldsby,David B. Knoester, Betty H.C. Cheng, Philip K. McKinley, and Charles A. Ofria),in Proceedings of IEEE International Conference on Software Engineering WorkshopSoftware Engineering for Adaptive and Self-Managing Systems (SEAMS), pp. 13-22,May 2007, Minneapolis, MN.

• “Re-engineering Legacy Systems for Assured Dynamic Adaptation” (Ji Zhang and BettyH.C. Cheng), in Proceedings of IEEE International Conference on Software EngineeringWorkshop on on Models in Software Engineering (MiSE) May 2007, Minneapolis, MN.

• “A Visualization Framework for the Modeling and Formal Analysis of High AssuranceSystems” (Heather Goldsby, Betty H.C. Cheng, Sascha Konrad, and Stephane Kam-doum), in Proceedings of ACM/IEEE Int. Conference Model-Driven Engineering Lan-guages and Systems (MoDELS/UML 2006), October 2006, Genova, Italy, pp. 707–721.

14

• “Visualizing Requirements in UML Models” (Sascha Konrad, Heather Goldsby, KarliLopez, and Betty H.C. Cheng), International Workshop on Requirements EngineeringVisualization (REV 2006), held in conjunction with RE06, September 2006, Minneapo-lis/St. Paul, Minnesota.

• “Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance” (Ali Ebnenasir,Betty H.C. Cheng, Sascha. Konrad), Poster Summary, Proceedings of 14th IEEE In-ternational Requirements Engineering Conference (RE06), September 2006, Minneapo-lis/St. Paul, Minnesota, pp 343-344.

• “Goal-Oriented Modeling of Requirements Engineering for Dynamically Adaptive Sys-tems” (H. Goldsby, B.H.C. Cheng), Poster Summary, Proceedings of 14th IEEE Interna-tional Requirements Engineering Conference (RE06), September 2006, Minneapolis/St.Paul, Minnesota, pp 345–346.

• “Pattern-based modeling and analysis of fault-tolerance” (Ali Ebnenasir and BettyH.C. Cheng), Abstract, Proceedings of Dependable Systems and Networks, June 2006,Philadelphia, Pennsylvania.

• “Model-Based Development of Dynamically Adaptive Software” (Ji Zhang and BettyH.C. Cheng), in Proceedings of IEEE International Conference on Software Engineer-ing (ICSE06), Shanghai, China, May 2006. (9% acceptance rate) (Received Distin-guished Paper Award; Runner up for Most Influential Paper at ICSE2016),pp. 371–380.

• “Goal-oriented Specification of Adaptation Requirements in Adaptive Systems” (Gre-gory Brown, Betty H.C. Cheng, Heather J. Goldsby, and Ji Zhang), in Proceedings ofIEEE ICSE Workshop of Software Engineering of Adaptive and Self-Managing Systems(SEAMS06), May, 2006, pp 23–29.

• “TA-:LTL: Specifying Adaptation Timing Properties in Autonomic Systems” (Z. Zhou,J. Zhang, P. K. McKinley, and B. H. C. Cheng), 3rd IEEE Workshop on Engineering ofAutonomic and Autonomous Systems (EASe 2006), Columbia, MD, April 2006.

• “UML formalization is a traceability problem” (R. E. K. Stirewalt, Min Deng, andBetty H. C. Cheng), 3rd International Workshop on Traceability in Emerging Forms ofSoftware Engineering (TEFSE05 (in conjunction with ASE05), pp. 31–36, November2005.

• “Automated Analysis of Natural Language Properties for UML Models,” Sascha Kon-rad and Betty H.C. Cheng, in MoDELS Workshop on Model Design and Validation(MoDEVA), selected as a Best Paper. An extended and updated version of the pa-per appears in Lecture Notes in Computer Science, Satellite Proceedings of ACM/IEEEMoDELS Conference, vol. 3844, pp. 48-57, Springer-Verlag, 2006.

• “Lessons Learned from -Based Automated Analysis of Industrial UML Models,” RyanStephenson, Betty H.C. Cheng, Brian Berenbach, in Proceedings of ACM/IEEE Int.Conference Model-Driven Engineering Languages and Systems (MoDELS/UML 2005),October 2005, Montego Bay, Jamaica. (25.5% acceptance rate).

• “The Four Levels of Requirements Engineering for and in Dynamic Adaptive Systems”(Daniel M. Berry, Betty H.C. Cheng, and Ji Zhang), Proceedings of 11th InternationalWorkshop on Requirements Engineering Foundation for Software Quality (REFSQ), pp.95-100, June 13-14, 2005, Porto, Portugal.

15

• “Facilitating the Construction of Specification Patterns-based Properties” (S. Konradand B.H.C. Cheng), 13th IEEE International Requirements Engineering Conference(RE05), pp. 329–338, Paris, France, August-September 2005, pp. 329–338. (20% ac-ceptance rate)

• “Real-time Specification Patterns,” (S. Konrad and B.H.C. Cheng), IEEE InternationalConference on Software Engineering (ICSE05), pp. 372–381, St. Louis, Missouri, May2005. (14% acceptance rate).

• “Transparent Shaping of Existing Software to Support Pervasive and Autonomic Com-puting” (S. Masoud Sadjadi, P.K. McKinley, and B.H.C. Cheng), IEEE ICSE Workshopon Design and Evolution of Autonomic Computing Systems (DEAS), pp. 99–105, St.Louis, Missouri, May 2005. (also accepted for presentation).

• “An Approach to Implementing Dynamic Adaptation in C++” (Scott D. Fleming,B.H.C. Cheng, K. Stirewalt, P.K. McKinley), IEEE ICSE Workshop on Design andEvolution of Autonomic Computing Systems (DEAS), pp. 118–124, St. Louis, Missouri,May 2005.

• “Specifying Adaptation Semantics,” (J. Zhang and B.H.C. Cheng), IEEE ICSE Work-shop on Architecting Dependable Systems (WADS), pp. 14–20, St. Louis, Missouri, May2005.

• “Resource-based Approach to Feature Interaction in Adaptive Software,” (J. Bisbal andB.H.C. Cheng), ACM SIGSOFT Workshop on Self-Managing Systems, workshop co-located with ACM SIGSOFT Foundations of Software Engineering (FSE), NewportBeach, CA, October 2004.

• “Enabling Collaborative Adaptation across Legacy Components” (Z. Yang, Z. Zhou, B.H. C. Cheng, and P. K. McKinley), In Proceedings of the Third Workshop on Reflectiveand Adaptive Middleware (with Middleware’04), pp. 277-282, Toronto, Ontario, Canada,October 2004.

• “TRAP/J: Transparent Generation of Adaptable Java Programs” (S. M. Sadjadi, P.K. McKinley, B. H. C. Cheng, and R. E. K. Stirewalt), In Proceedings of the 2004International Symposium on Distributed Objects and Applications, Agia Napa, Cyprus,October 2004.

• “Automated Analysis of Timing Information in UML Diagrams,” (Sascha Konrad, LauraCampbell, and Betty H.C. Cheng), Proc. of IEEE International Conference on Auto-mated Software Engineering, Poster Summary, September 2004, Linz Austria.

• “Generation of self-optimizing wireless network applications” (S. M. Sadjadi, P. K.McKinley, R. E. K. Stirewalt, and B. H.C. Cheng), Proceedings of of the InternationalConference on Autonomic Computing (ICAC-04), pages 310-311, New York, NY, May2004.

• “Adding Safeness to Dynamic Adaptation Techniques,” Workshop on Architecture forDependable Systems (WADS04) associated with IEEE International Conference on Soft-ware Engineering (ICSE04), May 2004, Edinburgh, Scotland, 2004.

• “Using Security Patterns to Model and Analyze Security Requirements” (with S. Konrad,L. Campbell, and R. Wassermann), IEEE Workshop on Requirements for High AssuranceSystems, (RHAS03), September 2003, Monterey, California.

16

• “A Requirements Pattern-Driven Approach to Specify Systems and check Properties”(with Sascha Konrad, Laura Campbell, and Min Deng), in IEEE SPIN 2003 Workshop,Portland, Oregon, May 2003.

• “Requirements Patterns for Embedded Systems” (with Sascha Konrad), IEEE Joint In-ternational Requirements Engineering Conference (RE02), September 2002, Essen Ger-many.

• “Adding Formal Specifications to Requirements Patterns” (with Sascha Konrad andLaura Campbell), IEEE Workshop on Requirements for High Assurance Systems, (RHAS02),September 2002, Essen, Germany. (Workshop affiliated with RE02).

• “An Aspect-Oriented Approach to Dynamic Adaptation” (with Z. Yang, R. E. K. Stire-walt, J. Sowell, S. M. Sadjadi, and P. K. McKinley), Proceedings of the ACM SIGSOFTWorkshop on Self-Healing Systems (WOSS02), November 2002.

• “Automated Development and Run-time Adaptation of Interactive Distributed Applica-tions” (B. Cheng, L. Dillon, K. Stirewalt, P. McKinley, S. Kulkarni, and J. Lee), acceptedfor NCO Workshop on New Visions for Software Design and Productivity: Research andApplications, Nashville, Tennessee, December 2001.

• “Integrating Informal and Formal Approaches to Requirements Modeling and Analysis”(with L. Campbell), IEEE Proceedings Requirements Engineering (RE01), August 2001,Toronto, Canada.

• “A Suite of Tools for Facilitating Reverse Engineering Using Formal Methods” (withG. Gannod), in Proc. of IEEE International Workshop on Program Comprehension,Toronto, Canada, May 12-13, 2001.

• “A General Framework for Formalizing UML” (with W. E. McUmber), in Proc. ofIEEE International Conference on Software Engineering (ICSE01), Toronto, Canada,May 2001.

• “Object-Oriented Modeling and Automated Analysis of a Telemedicine Application”(with L. A. Campbell), IEEE International Workshop on Software Specification andDesign, November 2000.

• “Enabling Automated Analysis through Object-Oriented Modeling Diagrams” (withLaura A. Campbell and Enoch Y. Wang), in Proceedings of IEEE Dependable Systemsand Networks (FTCS-30 and DCCA-8), New York, NY, June 2000.

• “UML–Based Analysis of Embedded Systems Using a Mapping to VHDL” (with WilliamE. McUmber), in Proceedings of IEEE High Assurance Software Engineering, Washing-ton, DC, November 1999.

• “A Framework for Classifying and Comparing Software Reverse Engineering and De-sign Recovery Techniques,” (with Gerald C. Gannod), in Proceedings of the 6th IEEEWorking Conference on Reverse Engineering, Atlanta, Georgia, October 1999.

• “A Formal Approach to Reverse Engineering: A Case Study,” (with Gerald C. Gannod),in Proceedings of the 6th IEEE Working Conference on Reverse Engineering, Atlanta,Georgia, October 1999.

• “A Specification Matching Based approach to Reverse Engineering”, (with Gerald C.Gannod), in Proc. of IEEE International Conference on Software Engineering (ICSE99),Los Angelos, California, May 1999.

17

• “PackRat: A Software Re-Engineering Case Study” (with G.C. Gannod, Gora Sudin-dranath, and Mark Fagnani) in Proc. of IEEE Working Conference on Reverse Engi-neering, October 1998.

• “An Automated Approach for Supporting Software Reuse via Reverse Engineering”(with G.C. Gannod and Y. Chen) in Proc. of IEEE International Automated SoftwareEngineering Conference, October 1998.

• “A Rigorous Object-Oriented Design Process” (with Enoch Y. Wang), in InternationalConference on Software Process (ICSP5), June 1998.

• “Formalizing and Integrating the Functional Model within Object-Oriented Design”(with Enoch Y. Wang), in Proc. of International Conference on Software Engineer-ing and Knowledge Engineering, San Franciso, California, June 1998 (Nominated forBest Paper Award).

• “Formalizing and Automating Component Reuse” (with Yonghao Chen), in IEEE Proc.of International Conference on Tools with Artificial Intelligence, November 1997.

• “A Formal Automated Approach for Reverse Engineering Programs with Pointers” (withGerald C. Gannod), in Proc. of IEEE Automated Software Engineering, November 1997.

• “Facilitating an Automated Approach to Architecture-based Software Reuse” (withYonghao Chen), in Proc. of IEEE Automated Software Engineering, November 1997.

• “Formalizing and Integrating the Dynamic Model within OMT” (with Enoch Y. Wangand Heather A. Richter), in IEEE Proc. of International Conference on Software Engi-neering (ICSE97), Boston, Massachusetts, May 1997, pp. 45–55.

• “Formally Specifying and Analyzing Architectural and Functional Properties of Com-ponents for Reuse” (with Yonghao Chen), Proc. Eighth Annual Workshop on SoftwareReuse (WISR8), Columbus, OH, March 1997.

• “Integration of Informal and Formal Methods for the Reverse Engineering of C Pro-grams” (with G. C. Gannod), in IEEE Proc. of International Conference on SoftwareMaintenance and IEEE Proc. of Working Conference on Reverse Engineering, Novem-ber 1996.

• “Bridging the Gap Between the Informal and Formal Approaches to Software Devel-opment” (with E.Y. Wang, R.H. Bourdeau, and H.A. Richter), in Proc. of SoftwareEngineering Research Forum, November 1995.

• “A Scheduling Facility for Network of Workstations” (with Stephen W. Turner andLionel M. Ni), Proc. of High Performance Computing-Asia, September 1995.

• “Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering” (withG.C. Gannod), in Proc. of IEEE Working Conference on Reverse Engineering, Toronto,Ontario, Canada, pp. 188–197, July 1995.

• “A Distributed Multimedia Environmental Information System” (with J. L. Sharnowskiand G.C. Gannod), Proc. of IEEE International Conference on Multimedia and Com-puting Systems, pp. 142–149, May 1995.

• “Specification Matching for Software Reuse: A Foundation” (with Jun-jang Jeng), Proc.of ACM Symposium on Software Reuse, pp. 97–105, April 1995.

18

• “A Visualization-Based Environment for Top-down Debugging of Parallel Programs”(with Joseph L. Sharnowski) Proc. of 9th IEEE International Parallel Processing Sym-posium, pp. 640–645, April 1995.

• “Generalizing the Unimodular Approach” (with D. R. Chesney), in Proc. of IEEE 1994International Conference on Parallel and Distributed Systems, pp. 398–403, December1994.

• “Time and/or Space Sharing in a Workstation Cluster Environment” (with S. W. Turnerand L. M. Ni), Proc. of IEEE Supercomputing’94, pp. 630–639, November 1994 (receivedbest paper award).

• “A Top-down Approach to Visualization-based Debugging of Parallel Programs” (withJoseph L. Sharnowski), presented in a poster session at IEEE Supercomputing’94, Novem-ber 1994.

• “A Graphical Environment for Formally Developing Object-Oriented Software” (withE. Y. Wang and R. H. Bourdeau), Proc. of IEEE Int’l Conf. on Tools with ArtificialIntelligence, pp. , November 1994 .

• “A Formal Approach to Reusing More General Components” (with Jun-jang Jeng), Proc.of IEEE 9th Knowledge-Based Software Engineering Conference, September 1994, pp.90–97.

• “Optimal Multicast Communication in Torus Networks” (with D.F. Robinson and P.K. McKin-ley), Proc. of International Conference on Parallel Processing, Vol. I, pp. 134–141, Au-gust 1994.

• “A Formal Approach to Modeling Expected Behavior in Parallel Program Visualiza-tions,” (with J.L. Sharnowski), Proc. of Parallel Architectures and Languages Europe(PARLE’94), Lecture Notes in Computer Science, Vol. 817, Springer Verlag, pp. 202–213,July 1994.

• “The Object-Oriented Development of a Distributed Multimedia Environmental Infor-mation System” (with R.H. Bourdeau and G.C. Gannod), Proc. of 6th InternationalConference on Software Engineering and Knowledge Engineering, pp. 70–77, Jurmala,Latvia, June 1994.

• “Application of the Unimodular Approach to Loop Fission and Loop Fusion” (withDavid R. Chesney) presented at the Scalable High Performance Computing Conference,Knoxville, Tennessee, May 1994.

• “Applying Formal Methods and Object-Oriented Analysis to Existing Flight Systems,”(with Brent Auernheimer), Proc. of 18th Annual Software Engineering Workshop, pp.274–282, Greenbelt, Maryland, December 1993.

• “Using Analogy to Determine Program Modifications Based on Specification Changes”(with Jun-jang Jeng), Proc. of IEEE Int’l Conf. on Tools with Artificial Intelligence,pp. 113–119, November 1993.

• “Efficient Collective Data Distribution in All-Port Wormhole-Routed Hypercubes” (withD. F. Robinson, D. Judd, and P. K. McKinley), Proc. of IEEE Supercomputing’93, pp.792–803, November 1993.

19

• “A Temporal Model for Transparent Monitoring of Shared-Memory Multiprocessors”(with David F. Robinson) Proc. of the IEEE 17th Annual International Computer Soft-ware and Applications Conference, pp. 388-394, November 1993.

• “Using Formal Methods to Construct a Software Component Library,” (with Jun-jangJeng), Proc. of Fourth European Software Engineering Conference (ESEC), published inLecture Notes in Computer Science, Vol. 717, Springer-Verlag, pp. 397–417, September1993.

• “Contention Free 2-D Mesh Cluster Allocation in Hypercubes” (with Stephen W. Turnerand Lionel M. Ni), Proc. of International Conference on Parallel Processing, pp. 125–129, August 1993.

• “A Two-Phase Approach to Reverse Engineering using Formal Methods,” (with GeraldC. Gannod), in Lecture Notes in Computer Science, Springer-Verlag, Proc. of FormalMethods in Programming and Their Applications Conference, pp. 335–348, June 1993.

• “An Integrated Development Environment for Formal Specifications” (with Michael R.Laux and Robert H. Bourdeau), Proc. of the 5th International Conference on SoftwareEngineering and Knowledge Engineering, pp. 681–688, San Francisco, California, June1993.

• “A Decision Support System for Regional Environmental Analysis” (with R.H. Bourdeauand B.C. Pijanowski), Proc. of 25th International Symposium on Remote Sensing andGlobal Environment Change: Tools for Sustainable Development, Vol. II, pp. 223-233,April 1993.

• “The Stride Interval Tests for Data Dependence Analysis,” (with Jianchang Mao andLionel M. Ni), in Proc. of 1992 International Conference on Parallel and DistributedSystems, pp. 409–416. December 1992.

• “Formal Methods Applied to Reuse” (with Jun-jang Jeng), Proc. of the Fifth AnnualWorkshop on Software Reuse, October 1992.

• “A Transparent Monitoring Tool for Shared-Memory Multiprocessors,” (with David F.Robinson and Richard J. Enbody), Proc. of IEEE 16th Annual International ComputerSoftware and Applications Conference, pp. 227–232, September 1992.

• “An Object-Oriented Toolkit for Constructing Specification Editors,” (with Robert H.Bourdeau), Proc. of IEEE 16th Annual International Computer Software and Applica-tions Conference, 239–244, September 1992.

• “A Formal Approach to Automatic Source Code Translation for Parallel Architectures”(with D.R. Chesney), Proc. of Minnowbrook Workshop on Software Engineering forParallel Computing, pp. 16–27, August 1992.

• “Mapping Formal Specifications to Parallel Program Visualizations” (with J.L. Sharnowskiand M.V. LaPolla), Proc. of Minnowbrook Workshop on Software Engineering for Par-allel Computing, pp. 29–34. August 1992.

• “Constructing Formal Specifications from Program Code”, (with Gerald C. Gannod) inProc. of the IEEE Third International Conference on Tools in Artificial Intelligence,San Jose, California, pp. 125–128. November 1991.

20

• “Synthesis of Procedural Abstractions from Formal Specifications,” Proc. of The IEEE15th International COMPSAC’91: Computer Software and Applications Conference, pp.149–154. Tokyo, Japan, September 1991.

• “Constructing Formal Specifications from Informal Descriptions”, Proc. of FourteenthMinnowbrook Software Engineering Workshop, Minnowbrook Conference Center, NewYork, pp. 22–23, July 1991.

• “Automated Synthesis of Data Abstractions,” Proc. of Irvine Software Symposium,Irvine, California, pp. 161–176, June 1991.

• “A Semantically Oriented Program Synthesis System,” Proc. of IEEE Hawaii Interna-tional Conference on System Sciences-22,” (with Simon M. Kaplan), pp. 85–94, Kona,Hawaii, January 1989.

21

Pedagogical Papers and Presentations:

• “Integrating Multimedia Technology into the Undergraduate Curriculum,” (P. McKin-ley, Betty H.C. Cheng, and J. Weng, International Journal of Engineering Education),volume 22, number 4, pp. 829–838. 2006.

• “Incorporating Large-Scale Projects into a Multi-Disciplinary Approach to EmbeddedSystems” (D. Rover, B. Cheng, C.L. Wey, and M. Mutka), Proc. of 2000 InternationalConference on Engineering Education, Taipei Taiwan, August 2000, pp. 105-108.

• “Embedded System Design in VESL,” (with M. Mutka, D. Rover, A. Niemi), Presenta-tion at ASEE 2000 Annual Conference, June 2000.

• “Moving Industry-Guided Multimedia into the Classroom” (P.K. McKinley, B. Cheng,and J. J. Weng), Proc. of the 30th ACM SIGCSE Technical Symposium on ComputerScience Education, New Orleans, Louisiana, pp. 160–164, March 1999.

• “A Multi-Pronged Approach to Bringing Embedded Systems into Undergradate Educa-tion” (B. Cheng, D. T. Rover and M. Mutka) in Proc. of ASEE, June 1998.

Technical Reports:

• “An Empirical Analysis of Providing Assurance for Self-Adaptive Systems at DifferentLevels of Abstraction in the Face of Uncertainty,” (Erik M. Fredericks and Betty H.C.Cheng), Technical Report, submitted for publication, 2015.

• “An Approach to Mitigating Unwanted Interactions between Search Operators in Multi-Objective Optimization,” (Chad Byers and Betty H.C. Cheng), Technical Report, sub-mitted for publication, 2015.

• “A Pattern-Based Approach to Providing User Guidance for Specifying and AnalyzingProperties,” Sascha Konrad and Laura A. Campbell and Betty H.C. Cheng, TechnicalReport MSU-CSE-04-3, January, 2004, submitted for publication.

• “TRAP: Transparent Reflective Aspect Programming” S.M. Sadjadis, P.K. McKinley,R.E.K. Stirewalt, and B.H.C. Cheng, Technical Report MSU-CSE-03-31, November2003, submitted for publication.

• “Security Patterns,” R. Wassermann and B.H.C. Cheng, Technical Report MSU-CSE-03-23, August 2003.

• “Adding and Analyzing Timing Information for UML Diagrams for Embedded Systems,”Technical Report MSU-CSE-03-17, July 2003, submitted for publication.

• “Enabling Validation of UML Formalizations,” B.H.C. Cheng, R.E.K. Stirewalt, M.Deng, and L. Campbell, Technical Report MSU-CSE-03-20, July 2003, (revised Novem-ber 2003).

• “Enabling Safe Dynamic Adaptation,” B.H.C. Cheng, Z. Yang, and J. Zhang, TechnicalReport MSU-CSE-03-11, May 2003, submitted for publication.

• “An OO-Framework Approach to a Generic UML Formalization Tool” R.E.K. Stirewalt,Betty H.C. Cheng, and William E. McUmber, MSU-CSE-02-16, June 2002.

• “A Suite of Tools for Facilitating Reverse Engineering Using Formal Methods,” (withG. C. Gannod), MSU-CSE-00-30, December 2000.

22

• “Formalized UML for Embedded Systems Design,” (with W. E. McUmber), MSU-CSE-00-11, May 2000.

• “A Generic Framework for Formalizing UML with Formal Languages” (with W. E. McUm-ber), MSU-CPS-99-10, February 1999 (revised February 2000), submitted for publica-tion.

• “Design Document for ENFORMS II: Decision Support System for Great Lakes RegionalEnvironmental Information System” (with Y. Chen, P. Fraley, G. Gannod, D. Judd, J.Kusler, H. Richter, S. Schafer, J. Sharnowski, S. Wagner, and E. Wang), TechnicalReport, MSU-CPS-95-24, May 1995.

• “Configuration Management: Design, Implementation, and Maintenance through theOMT Object Model” (with Steven R. Schafer), Technical Report, MSU-CPS-95-8, March1995.

• “A Requirements Analysis Report for a Regional Decision Support System” (with RobertH. Bourdeau and Gerald C. Gannod), Technical Report, MSU-CPS-94-70, November1994.

• “A Distributed, Object-Oriented Multimedia Environmental Information System: ADevelopment Document” (with P. Fraley, G. Gannod, J. Kusler, S. Schafer, E. Wang),Technical Report, MSU-CPS-94-60, November 1994.

• “Extending the Unimodular Approach to Loop Blocking and Loop Coalescing” (withDavid R. Chesney), Michigan State University Technical Report, MSU-CPS-94-25 April1994.

• “Graphical Development Environment for Larch Shared and Interface Languages” (withMichele Morin), Michigan State University Technical Report, MSU-CPS-94-18, April1994.

• “Extending the Unimodular Approach to Other Transformation Techniques” (with DavidR. Chesney), Michigan State University Technical Report, MSU-CPS-93-24, September1993.

• “Using Visualizations to Guide Data Partitioning” (with J. L. Sharnowski) TechnicalReport, Michigan State University, Department of Computer, CPS-93-19, May 1993.

• “Guideplus: An Interface-Building Tool for the Sun OpenWindows Environment” (withJ.L. Sharnowski and K. Gidewall), Michigan State University Technical Report, MSU-CPS-92-04, July 1992.

• “Using Formal Specifications to Generate Visualizations of Data Parallelism” (withM.V. LaPolla, J.L. Sharnowski, and K. Anderson), Michigan State University TechnicalReport, MSU-CPS-92-05, July 1992.

• “Intelligent Browser for Formal Specifications of Software Components” (with D.K. Pierce),Michigan State University Technical Report, MSU-CPS-91-14, August 1991.

• “Synthesis of Procedural and Data Abstractions,” Tech Report UIUCDCS-R-90-1631,(Ph.D. Thesis). University of Illinois, Urbana, IL, August 1990.

23

Funding Summary

Federal Funding:

AFRL:“An Uncertainty-aware Approach to Certifying Security Assurance for Autonomous Sys-tems,”PI: Rose Gamble (University of Tulsa)Co-PI: Betty H.C. Cheng and Philip K. McKinley (subcontract)Duration: 2018-2019Amount: $347,000 (subaward to MSU, $205,000)Status: Funded.

NSF:“NSF Student and Early Career Faculty Travel and Registration Grant for 2017 IEEEInternational Conference on Software Engineering (ICSE),”PI: B. ChengDuration: 2017-2018Amount: $35,149Status: Funded.

AFRL:“X-PLORE: Combining Model-Driven Engineering, Bio-Inspiration and Formal Analysisto Mitigate Uncertainty in High-Assurance Software Systems,”PI: B. Cheng; Co-PI: P. McKinleyDuration: 2016-2020Amount: $699,920Status: Funded.

NSF/DBI:“BEACON: An NSF Center for Studying Evolution in Action (Renewal),”PI: E. Goodman; MSU Co-PI: Betty Cheng (also BEACON Industrial Relations Man-ager) Collaborative research center involving 5 universities (MSU primary; Univ. ofWashington; Univ. of Texas-Austin; Univ. of Idaho; North Carolina A&T).Duration: 2015-2020Amount: $25MStatus: Funded.

NSF/CRI: (CNS-1305358 )“Collaborative Research: CI-ADDO-EN: Research Repository for Model-Driven Soft-ware Development (REMODD),”Duration: 8/16/2013-8/15/2016 (funds available 10/2013)Amount: $433,473Status: funded.

BAE Systems (DARPA subcontract):“Harnessing Evolutionary Computation to Support Software Composition with Code-Level Adaptors,”Duration: 8/16/2012-8/15/13

24

Amount: $129,128Status: funded.

NSF/DBI: (DBI-0939454)“BEACON: An NSF Center for Studying Evolution in Action,”PI: E. Goodman; MSU Co-PI: Betty Cheng (also BEACON Knowledge Transfer Man-ager)Duration: 2010-2015Amount: $25M,Status: funded.

NSF/CRI: (CNS 0854931)“Collaborative Research: CI-ADDON-NEW; Research Repository for Model-DrivenSoftware Development (REMODD),”Duration: 5/15/2009-5/14/2012 (extended to 5/2014)Amount: $188,934Status: funded.

NSF/SRS: (CCF 0820220)”ORCHID: Harnessing Digital Evolution to Design High-Assurance Adaptive Systems,”PI: B. Cheng; Co-PIs: P. McKinley, C. Ofria, X. TanDuration: 2008-2011 (extended to 2013)Amount: $600,000,Status: funded.

NSF/CRI: (CNS 0751155)”A Testbed for Evolving Adaptive and Cooperative Behavior Among Autonomous Sys-tems,”PI: P. McKinley; Co-PIs: B. Cheng, C. Ofria, R. Pennock, X. TanDuration: 2008-2011Amount: $188,110,Status: funded.

ARO: ARMY W911NF-08-1-0495AWARE: Adaptive Software Monitoring and Dynamic Reconfiguration for Critical In-frastructure ProtectionPI: P. McKinley; Co-PI: B. ChengDuration: 9/1/08- 8/30/11Amount: $315,000Status: funded.

NSF: (CCF-0750787)Applying Digital Evolution to Behavioral ModelsPI: Cheng; Co-PIs: P. McKinley, C. Ofria, R. LenskiDuration: 9/15/07–8/31/2008Amount: $100,000Status: funded.

NSF/IUCRC: (IIP-0700329)Planning grant for collaborative proposal: Center for Software-Intensive Ultra-Large-Scale Systems

25

PI: Cheng; Co-PIs: S. Biswas, C. Ofria, P. McKinley, and L. DillonDuration: 1/07-12/31/07Amount: $10,000Status: funded.

AFRL (MICH 06-S567-07-C2)Model-Driven Engineering of Adaptive Auditing of High Assurance SystemsPI: ChengDuration: 4/1/07-2/25/08Amount: $28,687Status: funded.

AFRL (MICH 06-S001-07-C1)Model-Driven Engineering of Adaptive Auditing of High Assurance SystemsPI: ChengDuration: 9/8/06-9/7/07Amount: $27,562Status: funded.

NSF/CCF: (CCF-0541131 )Facilitating the Modeling and Analysis of Distributed Real-time Embedded SystemsPI: ChengDuration: 5/16/2006-5/15/2009Amount: $330,000Status: funded.

NSF/CNS: (CNS-0551622 )CRI: A Repository for Model Driven Development (Planning grant)PI: Cheng (Collaborative proposal with R. France, J. Bieman, Colorado State University)Duration: 5/16/2006-5/15/2007Amount: $40,000Status: funded.

ONR/CIP: (N00014-01-1-0744)RAPIDware: Component-Based Adaptable and Dependable MiddlewarePI: P.K. McKinley; Co-PI: R.E.K. Stirewalt, B. Cheng, L.K. Dillon, and S. Kulkarni)Duration: 5/1/01-12/31/07Amount: $3,145,609 (3-year base plus a renewed 2-year option)Status: funded.

NSF/EIA: (EIA-0000433)Meridian: An Integrated Toolkit for Developing Interactive Distributed ApplicationsPI: B. Cheng; Co-PI: L.K. Dillon, P.K. McKinley, and R.E.K. StirewaltDuration: 1/1/01-12/31/06Amount: $ 1,934,076Status: funded.

NSF/CISE: (CCR-9901017)Title: “Object-Oriented Development and Analysis of Embedded Systems”PI: B. Cheng; Co-PI: R.E.K. StirewaltDuration: 8/16/99-8/15/06

26

Amount: $379,000 (includes $14,000 REU supplement)Status: funded.

NSF/EIA: (EIA-0130724)A Proxy-Centric Testbed For Mobile Internet ResearchPI: P. McKinley; Co-PI: K. Stirewalt,B. Cheng, S. Kulkarni, J. Lee, L. DillonDuration: 8/16/01-8/15/04Amount: $ 146,390 (includes $ 50,000 MSU cost share)Status: funded.

NSF/CRCD: (CDA-9700732)Title: Visions for Embedded Systems LaboratoriesPI: Matt Mutka; Co-PI: Diane Rover, Chin-Long Wey, B. ChengDuration: 6/1/97-5/31/02Amount: $529,863 (includes $133,206 MSU cost share)Status: funded.

NSF/CISE/CDA: (CDA-9617310)Title: “CISE Research Instrumentation for SMP Cluster” TestbedPI: P.K. McKinley; Co-PI: B. Cheng and A.K. JainDuration: 1/1/97–3/31/99Amount: $190,200 (includes $65,000 MSU cost share)Status: funded

NSF/DARPA: (CCR-9633391 and F30602-96-1-0298 managed by Air Force’s Rome Lab.)Title: “Integrating Informal and Formal Techniques: An Evolutionary Approach toSystems Development” (Project jointly sponsored by DARPA.)PI: B. ChengDuration: 8/16/96–8/15/99Amount: $304,585Status: funded.

NSF/DARPA: (CCR-9633391 and F30602-96-1-0298 managed by Air Force’s Rome Lab.)Title: “Integrating Informal and Rewriting Techniques” (Project jointly sponsored byDARPA. Supplement to each of our EDCS projects.)Co-PIs: B. Cheng; J. Meseguer (SRI), C. Talcott (Stanford)Duration: 8/16/98–8/15/99Amount: $90,000Status: funded.

NSF/CISE: (CCR-9407318)Title: “A Formal Approach to Requirements Analysis and Design (Research Experi-ence for Undergraduates Supplement)”PI: B. ChengDuration: 5/1/95–12/31/96Amount: $5,000Status: funded (no indirect costs)

NSF/ILI: (DUE-9551180) Title: “Cooperative Multimedia Computing Laboratory”PI: P. K. McKinley; Co-PI: B. Cheng and J. WengDuration: 6/1/95–5/30/97

27

Amount: $194,610 (includes $100,000 MSU cost share)Status: funded.

NASA Headquarters:Title: “An Approach to Reverse Engineering Based on Formal Methods and Object-Oriented Analysis Techniques” (Graduate Student Researchers Program Fellowship forGerald C. Gannod)PI: B. ChengDuration: 7/94–6/97Amount: $66,000 (no indirect costs)Status: funded

NSF/CISE: (CCR-9407318)Title: “A Formal Approach to Requirements Analysis and Design”PI: B. ChengDuration: 1/1/95–12/31/96Amount: $76,991Status: funded

NSF/CISE: (CCR-9209873)Title: “Software Development Environment Supporting Formal Methods,”PI: B. ChengDuration: 9/92-12/96Amount: $89,789Status: funded

EPA/CIESIN:Title: “Design and Prototyping of an Environmental Information and Decision SupportSystem for Great Lakes Region Areas and Issues”PI: B. ChengDuration: 4/94–9/95Amount: $219,920Status: funded

USDA/CIESIN:Title: “USDA Global Change Data Assessment and Integration Project”PI: B. ChengDuration: 9/93–8/95Amount: $112,252Status: funded

U.S. Geological Survey:Title: “Contextual Information Browser for Water Quality Issues,”PI: B. ChengDuration: 4/93–3/94Amount: $69,000Status: funded

NASA/CIESIN:Title: “User Needs Assessment for Watershed Prototype,”PI: B. Cheng

28

Duration: 1/92-5/93Amount: $33,418Status: funded

USDA/CIESIN:Title: “Regional Watershed Demonstration Prototype”PI: B. Cheng; Co-PI: A.K. JainDuration: 5/92-5/93Amount: $41,325Status: funded.

NASA Consortium for International Earth Science Information Network (CIESIN):Title: “Investigations for Software/Hardware Testbed of Data Exploitation Systems,”PI: B. ChengDuration: 1/92/-5/93Amount: $158,732Status: funded

NSF Travel Grant (CDA-91-16850):Title: “Group Travel Grant to attend IEEE 15th Annual International Computer andSoftware Applications Conference in Tokyo,”PI: B. ChengDuration: 9/91–2/92Amount: $6,000 (no indirect costs)Status: funded.

29

Industry Funding:

ZF-TRW:Title: “A Platform to Address Automotive Cybersecurity and Safety,”PI: B. ChengDuration: 2017-OpenAmount: $50,000 (No indirect charged)Status: funded.

Ford Motor Company:Title: “[Crime Prevention] Situational Crime Prevention Framework for AutomotiveCybersecurity,”PI: B. Cheng ; Co-PI: T. Holt, J. KennedyDuration: 2017-2019Amount: $200,000Status: funded.

Ford Motor Company:Title: “Method for Executing Powertrain Features in Parallel in a Multicore Environ-ment,”PI: B. ChengDuration: 2016-2018Amount: $193,807Status: funded.

BAE:Title: “Harnessing Evolutionary Computation to Support Software Composition withCode-Level Adaptors,”PI: B. ChengDuration: 2012-2013Amount: $129,128Status: funded.

General Motors Research:Title: “Harnessing Evolutionary Computation and MDE to Detect and Mitigate Un-wanted Feature Interactions in Onboard Systems,”PI: B. ChengDuration: 2013-2018Amount: $100,000 (no indirect costs)Status: funded.

Ford Motor Research:Title: “Model-Driven Approach to Detecting and Mitigating Unexpected Feature In-teractions”PI: B. ChengDuration: 2008-2011Amount: $120,000 (no indirect costs)Status: funded.

Siemens Corporate Research:Title: “Behavior-Oriented Assurance Patterns for Rigorously Developing Distributed

30

Real-Time Embedded Systems”PI: B. ChengDuration: Open (Initiated October 2005)Amount: $47,000 (no indirect costs)Status: funded.

Siemens Corporate Research:Title: “Assurance Patterns and Metrics-Based Analysis of UML Diagrams”PI: B. ChengDuration: Open (Initiated September 2004)Amount: $43,041 (no indirect costs)Status: funded.

Siemens Corporate Research:Title: “Analyzing UML Diagrams”PI: B. ChengDuration: Open (Initiated May 2003)Amount: $35,000 (no indirect costs)Status: funded.

Motorola Labs:Title: “Specification and Analysis of Requirements of Telecommunication Systems”PI: B. ChengDuration: OpenAmount: $28,082Status: funded.

Motorola University Partnerships in Research Program:Title: “Integrating Automated Analysis Techniques”PI: B. ChengDuration: 8/99-8/02Amount: $77,897Status: funded.

Eaton Corporation:Title: “Software Development for Embedded Systems”PI: B. ChengDuration: OpenAmount: $24,000Status: funded

Eaton Corporation:Title: “Software Process Improvement for Embedded Systems”PI: B. ChengDuration: OpenAmount: $24,000Status: funded

Eaton Corporation:Title: “Software Reuse for Embedded Systems”PI: B. Cheng

31

Duration: OpenAmount: $32,000Status: funded

Manufacturing Research Consortium (GM, Ford, Defense Logistics Agency):Title: “Environmental Information and Decision Support System for Secure Access toDistributed Multimedia Data”PI: B. Cheng; Co-PI: P.K. McKinleyDuration: 8/15/95-12/31/96Amount: $42,360 (no indirect costs)Status: funded.

Sun Microsystems: (EDUD-PTR-94-04-175) Title: “Multimedia Research and In-struction (Equipment Grant)”PI: B. ChengDuration: 8/1/94-presentAmount: $7,990 (no indirect costs)Status: funded.

Other Funding:

Michigan State University: Quality Fund Concept ProgramTitle: “High Assurance Systems”PI: B. ChengCo-PIs: P. McKinleySenior Personnel: S. Biswas, S. Gage, B. Pentland, L. Dillon, S. Kulkarni, C.Radcliffe, K. Stirewalt, X. TanDuration: 1/1/2006–12/31/2008Amount: $797,815 (including $ 427,815 matching funds)Status : funded (no indirect costs).

Michigan State University:Title: “A Multidisciplinary Approach to Integration and Analysis of EnvironmentalInformation using ENFORMS”PI: B. ChengDuration: 1/1/94–6/30/95Amount: $40,500Status : funded (no indirect costs).

Michigan State University, All University Research Initiation Grant:Title: “Using Formal Methods to Determine Software Reuse,”PI: B. ChengDuration: 1/92/-6/93Amount: $9,815 (no indirect costs)Status: funded

32

Tutorials

“Formal Techniques for Safety-Critical Software Development” (with B. Auernheimer), presentedat the 5th International Symposium on Software Reliability Engineering, Monterey, California,November 1994.

Keynotes and Other Invited Technical Presentations

• “ A Requirements-Driven and Context-Aware Approach to Assurance of Autonomous Sys-tems” Keynote for Joint workshops for IEEE International Conference on Autonomic Com-puting (ICAC) and Self Adaptive Self-Organizing, Self-protecting Systems (SPS), 1st Work-shop on Evaluations and Measurements in Self-Aware Computing Systems (EMSAC?19), 3rdWorkshop on Self-Aware Computing (SeAC 2019), June 2019, Umea, Sweden.

• “Goal-Driven Approach to High-Assurance Systems Research: Sharing some highlights andlessons ” Faculty Research Seminar for MSU Summer Research Opportunities Program (SROP),June 2019.

• “A Multidisciplinary Approach to Requirements-based Adaptive Testing of Autonomous Sys-tems” Keynote for 6th International Workshop on Requirements Engineering and Testing,co-located with 41st IEEE International Conference on Software Engineering (ICSE), May25 - 31, 2019. Montral, QC, Canada.

• “A Multidisciplinary Approach to Developing Community-Based Research Infrastructure”Keynote for Second International Workshop on Establishing a Community-Wide Infrastruc-ture for Architecture-Based Software Engineering (ECASE’19), co-located with The 41stIEEE International Conference on Software Engineering, May 25 - 31, 2019. Montral, QC,Canada.

• “Situational Crime Prevention and Automotive Cybersecurity: Computer Science and Engi-neering meets Criminal Justice” 6th Annual Cybercrime Conference, East Lansing, Michigan,April 2019.

• “Addressing Uncertainty for High-Assurance Self-Adaptive Systems,” University of Toronto,Department of Computer Science Research Seminar, November 2018.

• “Dealing with Uncertainty for High-Assurance Self-Adaptive Systems” Interdisciplinary Cen-tre for Security, Reliability and Trust, Universit du Luxembourg, August 2018.

• “Modeling For Sustainability: A Multidisciplinary Problem,” Dagstuhl Seminar, Wadern,Germany, August 2018.

• “Model-Driven Approach to Manage Uncertainty for High-Assurance Autonomous Systems,”University of Nice-Sophia Antipolis, France, July 2018.

• “Automotive Security Patterns,” ZF-TRW, Farmington Hills, Michigan, July 2018.

• “Addressing Safety and Security for Autonomous Systems: A Multi-Disciplinary Approach,”Broad Inter-college Collaboration Initiative - College of Engineering Roundtable, April 2018.

33

• “Dealing with Uncertainty for High-Assurance Self-Adaptive Systems” Colloquium as part of”Feed your Brain Seminar Series”, Medtronic, March 2018.

• “MSU helping to create safer self-driving cars,” Betty H.C. Cheng, Interview with Jorma Du-ran, WLNS, November 3, 2017, (URL: http://wlns.com/2017/11/03/msu-helping-to-create-safer-self-driving-cars/).

• “Goal-Driven Approach to MDE-Based Research: Sharing some highlights and lessons,”Keynote for Doctoral Symposium at IEEE Int. Model-Driven Engineering Languages andSystems (MODELS) Conference, held in Austin, TX, October 2017.

• “ Requirements Engineering for High Assurance Autonomous Systems in the Face of Un-certainty: A Multidisciplinary Perspective,” Opening Keynote Speech for IEEE 25th Inter-national Requirements Engineering Conference (RE), held in Lisbon, Portugal, September2017.

• “Addressing Assurance for Self-Adaptive Systems in the Context of Uncertainty,” ComputerScience and Engineering Seminar, Oakland University, March 24, 2017.

• “Addressing Assurance for Self-Adaptive Systems in the Face of Uncertainty,” Invited Keynotefor 13th IEEE International Conference on Autonomic Computing (ICAC 2016), Wuerzburg,Germany, July 2016.

• “Dealing with Uncertainty for High-Assurance Self-Adaptive Systems,” Invited Keynotefor IEEE International Conference on Software Testing, Verification and Validation (ICST)2016, Chicago, Illinois, April 2016.

• “Dealing with Uncertainty in Self-Adaptive Systems,” Univ. Rennes 1, Rennes, France,December 2015.

• “Applying Evolutionary Computation Techniques to Address Environmental Uncertainty inDynamically Adaptive Systems,” Invited Presentation, University of Chile, November 2015.

• “”Model-based Approaches to Managing Uncertainty for High-Assurance Dynamically Adap-tive Systems,” Invited Keynote for 10th International Workshop on Modelsrun.time., Septem-ber 2015, Ottawa, Canada.

• “Managing Uncertainty for High-Assurance Dynamically Adaptive Systems,” Invited Keynotefor Engineering the Intelligent Systems of Tomorrow Interdisciplinary Challenges, Heinz Nix-dorf Institute, Paderborn University, Germany, September 2014.

• “Managing Uncertainty for High-Assurance Dynamically Adaptive Systems,” Computer Sci-ence Colloquium, Colorado State University, April 2014.

• “Managing Uncertainty for High-Assurance Dynamically Adaptive Systems,” Computer Sci-ence Colloquium, Western Michigan University, January 2014.

• “Managing Uncertainty for High-Assurance Dynamically Adaptive Systems ”, General MotorsResearch Center, October 2013.

34

• “Exploring Automated Software Composition with Genetic Programming” for ACM Geneticand Evolutionary Computation Conference (GECCO), Amsterdam, The Netherlands, July2013.

• “Harnessing Evolutionary Computation to Enable Dynamically Adaptive Systems to ManageUncertainty” Invited Keynote for First International Workshop on Combining Modelingand Search-Based Software Engineering, May 20, 2013, in conjunction with ICSE 2013, SanFrancisco, California, USA.

• “Model-Driven Development of High-Assurance Dynamically Adaptive Systems,” Keck Insti-tute of Space Studies (KISS) Workshop for Engineering Resilient Space Systems: LeveragingNovel System Engineering Techniques and Software Architectures, February 2013, Pasadena,California.

• “Model-based Development of High-Assurance Dynamically Adaptive Systems,” ISR Distin-guished Speaker and Keynote for Institute for Software Research (ISR) Research Forum,University of California, Irvine, May 2012, Irvine, California.

• “Computer Science + Other Disciplines = Endless Possibilities” Invited Keynote for Michi-gan Celebration of Women in Computing, Oakland University, Auburn Hills, Michigan, April2011.

• “Towards Modal Modelling of Biological Systems” (Manuel Capon, Theresa Casey, LauraDillon, Betty H.C. Cheng Robert Seymour), Brussels, Belgium, Virtual Physiological HumanNetwork of Excellence, September/October, 2010.

• “Model-Driven Approach to Detecting and Mitigating Unexpected Feature Interactions,” pre-sented to researchers from Ford Motor Company Research, May 2010.

• “A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System withEnvironmental Uncertainty,” Presentation to the IFIP WG 2.9 (Requirements Engineering),Feb. 2010, La Jolla, California.

• “Model-Driven Development of High-Assurance Adaptive Systems” Presentation to ArmyResearch Program Officer, Michigan State University, February 20, 2009.

• “Orchid: A Digital Evolution Approach to Designing Dynamically High-Assurance AdaptiveSystem,” IBM Hawthorne, New York, October 2009.

• “RELAX: A Requirements Specification Language Addressing Uncertainty in Adaptive Sys-tems,” IFIP WG 2.9 (Working Group on Requirements Engineering), San Juan, Puerto Rico,February 2009.

• “Digitally Evolving Behavioral Models and Properties of Software” IFIP WG 2.9 (WorkingGroup on Requirements Engineering), Salvador, Brazil, February 2008.

• “Model-Driven Development of High-Assurance Adaptive Systems ... harnessing Digital Evo-lution to generate the software models” Dagstuhl Seminar on Software Engineering of Self-Adaptive Systems, Schloss Dagstuhl, Germany, January 2008.

35

• “High-Assurance Systems: From Cyberinfrastructure to Consumers” to Texas Instruments,November 2007.

• ”Challenges to bring Formal Methods to the Masses,” Panel Statement, IEEE Conference onHigh Assurance Software Engineering (HASE07), Dallas, Texas, November 2007,

• “A Day in the Life of a Computer Science Student”, EGR 100: Engineering Careers, November2007.

• “Model-Driven Development of High Assurance Adaptive Systems, Frontiers of SoftwarePractice Plenary Presentation, CASCON, Toronto, Canada, October 2007. item ”Model-Driven Engineering of High-Assurance and Adaptive Systems” NSF Kickoff Meeting for Ultra-Large Scale Software Intensive Systems IUCRC, Crystal City, Virginia, October 2007.

• “Modeling and Formally Analyzing Dynamically Adaptive Software” Keynote for IEEE/ACMMoDELS Workshop, MoDeVVA07 (Integrating V&V in MDE), October 2007.

• “Model-Driven Requirements Engineering for High Assurance Embedded Systems” Ford Re-search Laboratory, Dearborn, Michigan, June 2007.

• “Addressing Assurance for Dynamically-Adaptive Systems” Keynote for ICSE Workshopfor Software Engineering for Adaptive and Self-Managing Systems”, May 26-27, 2007, Min-neapolis, Minnesota.

• “Model-Driven Requirements Engineering for High Assurance Embedded Systems” ComputerScience Colloquium, Michigan Technological University, Houghton, Michigan, April 2007.

• “Model-Driven Requirements Engineering for High Assurance Embedded Systems” Keynotefor Siemens Requirements Engineering Workshop, Auburn Hills, Michigan, April 2007.

• “Model-Driven Requirements Engineering for High Assurance Embedded Systems” GeorgiaInstitute of Technology, April 2007.

• “Model-Driven Engineering of Adaptive Auditing for High-Assurance Systems” MinorityLeaders Sensors Program Review, Panama City, Florida, March 2007.

• “Modeling and Analyzing Adaptive Software” University of Alabama, Birmingham, February2007.

• “High-Assurance Systems: From Cyberinfrastructure to Consumers” to Michigan Departmentof Information Technology, January 2007.

• “Model-Driven Development and Analysis of Dynamically Adaptive Systems,” Keynote Pre-sentation, IEEE MoDELS Workshop for Models @ Runtime, Genova, Italy, October 2006.

• “ReMoDD: Repository for Model-Driven Development” Invited presentation, IEEE MoDELSWorkshop for Model-size Metrics, Genova, Italy, October 2006.

• “Model-Driven Requirements Engineering for High Assurance Embedded Systems,” Keynotefor IEEE Workshop on Automotive Requirements Engineering (AuRE06), Minneapolis, Min-nesota, September 2006.

36

• “High Assurance Autonomic Systems: Model-Driven Engineering” Motorola Labs, Schaum-burg, Illinois, August 2006.

• “A Requirements Pattern-Driven Approach to Modeling and Analyzing Embedded Systems,”Invited Colloquium, Computer School of Science & Technology at Nanjing University ofScience & Technology, Nanjing, China, June 2006.

• “A Requirements Pattern-Driven Approach to Modeling and Analyzing Embedded Systems,”Invited Colloquium, Beijing University, Beijing, China, June 2006.

• “Assurance Patterns for Modeling and Analyzing Embedded Systems,” Siemens CorporateResearch, March 2006.

• “The Four Levels of Requirements Engineering for and in Dynamic Adaptive Systems,”(D. Berry, B.H.C. Cheng, and J. Zhang) ICSE Workshop on Design and Evolution of Auto-nomic Computing Systems (DEAS), St. Louis, Missouri, May 2005.

• “A Requirements-Pattern Driven Approach to Modeling and Analyzing Embedded Systems,”IBM Lecture Series, University of Notre Dame, October 2004.

• “A Requirements-Pattern Driven Approach to Modeling and Analyzing Embedded Systems,”Colloquium, Wayne State University October 2004.

• “A Requirements-Pattern Driven Approach to Modeling and Analyzing Embedded Systems,”Colloquium, University of Minnesota, September 2004.

• “From Diagrams to Automatic Code Generation,” Cedarcrest College, January 2003.

• “An Aspect-Oriented Approach to Dynamic Adaptation,”IFIP WG 2.9 (Working Group onRequirements Engineering), St. Thomas, Virgin Islands, February 2003.

• “Enabling Safe Dynamic Adaptation,” ONR Project Review, Leesburg, Virginia, June 2003.

• “Component-based Approach Dynamic Adaptation”, ONR Third Year Project Review, Bal-timore, Maryland, December 2003.

• “Detecting and Visualizing Structural and Behavioral Errors in Formalized UML Diagrams,”International Workshop on Requirements Engineering, Essen, Germany, April 2002.

• “Requirements Patterns,” IFIP WG 2.9 (Working Group on Requirements Engineering), DuckKey, Florida, February 2002.

• “Integrating Informal and Formal Approaches to Requirements Engineering,” InternationalWorkshop on Requirements Engineering, London, UK, April 2001.

• “A General Framework for Formalizing Object-Oriented Modeling Techniques” Faculty Sem-inar, University of Michigan, February 2001.

• “Meridian: An Integrated Toolkit for Developing Interactive Distributed Applications,” Col-loquium Series, Rose-Hulman Institute, Terre Haute, Indiana, November 2000.

37

• “Formally Specifying Product Family Architectures,” Presentation at Motorola, Schaumburg,Illinois, April 1999.

• “Software Engineering for Embedded Systems,” Presentation to subcontractors of VESLproject, Michigan State University, May 1999.

• “Correct and Automated Software Development,” Presentation at Vehicular Advanced Soft-ware Technology Consortium Workshop, TACOM, Warren, Michigan May 1999.

• “Software Engineering and Network Systems Laboratory,” Presentation to Dr. George Strawn,Executive Officer for CISE at NSF, June 1999.

• “Integrating Informal and Formal Methods”, NSF and ONR-sponsored workshop, From NeedsTo Solutions Workshop (the future of Security from Fault Tolerance, Formal Methods, and Se-curity perspectives), (Experts from these three domains were invited to workshop), Williams-burg, Virginia, November 1998.

• “Integrating Informal and Formal Approaches to Software Engineering,” General Motors,Detroit, Michigan, July 1998.

• “How can we facilitate technology exchange with industry?” Workshop on Empirical Researchin Software Engineering, Greenbelt, Maryland, June 1998.

• “Integrating Informal and Formal Approaches to Object-Oriented Development” ColloquiumSeries, Iowa State University, February 1998.

• “Integrating Informal and Formal Techniques, DARPA PI Meeting,” Sonoma, California,October 1998.

• “Informal Discussion about Formal Methods for Software Engineering,” Motorola, CellularInfrastructure Group Sector, Arlington Heights, February 1998

• “Integrating Informal and Formal Techniques to Object-Oriented Design,” DARPA PI Meet-ing, Sante Fe, New Mexico, April 1997.

• “Integrating Informal and Formal Approaches to Software Development,” Presentation toRome Laboratory, April 1997.

• “Integrating Informal and Formal Techniques to Object-Oriented Design,” DARPA PI Meet-ing, Sante Fe, New Mexico, April 1997.

• “Formal Methods for Software Engineering,” Presentation to NASA/WVU Software ResearchLaboratory at the NASA/WVU Software Independent Verification and Validation Facility,Fairmont, West Virginia, May 1996. (Invited as part of Technical Lecture Series.)

• “Overview of Formal Methods for Validation and Verification of Traditional and Heuristics-based software,” Presentation to NASA Ames Research Center, Moffett Field, California,February 1995.

• “Formal Methods for Software Engineering,” Presentation to Cellular Infrastructure Group,Motorola, Arlington Heights, Illinois, November 1994.

38

• “Formalizing Object-Oriented Analysis and Design Models, ” Presentation to NASA JohnsonSpace Center, Houston, Texas, November 1994.

• “Saginaw Bay Watershed Computer Prototype: Regional Environmental Information andDecision Support System,” Presentation to EPA, Chicago, Illinois, May 1994.

• “Object-Oriented Distributed Multimedia Decision Support System for Environmental Sci-ence Information,” Presentation to Deans from Agriculture and Natural Resources, Engineer-ing, Natural Science, and Social Sciences, Michigan State University, January 1994.

Professional Activities and Awards

• Awards and Professional Recognition:

– “Model-Based Development of Dynamically Adaptive Software” (Ji Zhang and BettyH.C. Cheng), in Proceedings of IEEE International Conference on Software Engineering(ICSE06), Shanghai, China, May 2006. (9% acceptance rate) (Runner Up for MostInfluential Paper Award, ICSE 2016).

– Michigan State University, College of Engineering Withrow Distinguished Scholar Award,2008.

– Michigan State University Distinguished Faculty Award, 2007.

– Best Paper Awards

∗ “A Toolchain for the Detection of Structural and Behavioral Latent System Proper-ties” (Adam Jensen, Betty H.C. Cheng, Heather J. Goldsby, and Edward Nelson),Proceedings of the ACM/IEEE International Conference on Model Driven Engi-neering Languages and Systems (MODELS 2011), pp. 683–698, Wellington, NewZealand, October, 2011. (Nominated for Best Paper).

∗ “Digital Enzymes: Agents of Reaction Inside Robotic Controllers for the ForagingProblem” (Chad Byers, Betty H.C. Cheng, and Philip K. McKinley), in ACM Pro-ceedings of the Genetic and Evolutionary Computation Conference (GECCO 2011),pp. 243-250, July 2011, Dublin, Ireland, full paper (Nominated for Best Paper).

∗ “Evolution of Robust Data Distribution Among Digital Organisms,” (David Knoester,Andres J. Ramirez, Philip K. McKinley, and Betty H.C. Cheng), Proceedings ofACM Genetic and Evolutionary Computation Conference (GECCO-09), Montreal,Canada, July 2009 (full paper, nominated for Best Paper).

∗ ”Applying Genetic Algorithms to Decision Making in Autonomic Computing Sys-tems,” (Andres J. Ramirez, Betty H.C. Cheng, David Knoester, and Philip K.McKinley) Sixth IEEE International Conference on Autonomic Computing (ICAC09),Barcelona, Spain, June 2009, full paper (received Best Paper Award). (Full pa-per, 16% acceptance rate).

∗ “Automatically Generating Behavioral Models of Adaptive Systems to AddressUncertainty” (Heather Goldsby and Betty H.C. Cheng), the Proceedings of theACM/IEEE International Conference on Model Driven Engineering Languages andSystems (MoDELS 2008), Toulouse, France, October 2008 (Selected as one ofthe Best Papers).

39

∗ “Digital Evolution of Behavioral Models for Autonomic Systems” (Heather J. Goldsby,Betty H.C. Cheng, Philip K. McKinley, David B. Knoester, and Charles A. Ofria),Fifth IEEE International Conference on Autonomic Computing (ICAC08), Chicago,Illinois, June, 2008, pp. 87–96 (received Best Paper Award).

∗ “AMOEBA-RT: Run-time Verification of Adaptive Software,” (Ji Zhang, Betty H.C.Cheng, and Heather Goldsby) in Proceedings for Workshop on Models at Run-time,selected as a Best Paper, Nashville, Tennessee, October 2007.

∗ “Model-Based Development of Dynamically Adaptive Software” (Ji Zhang and BettyH.C. Cheng), in Proceedings of IEEE International Conference on Software Engi-neering (ICSE06), Shanghai, China, May 2006. (9% acceptance rate) (ReceivedDistinguished Paper Award).

∗ “Automated Analysis of Natural Language Properties for UML Models,” SaschaKonrad and Betty H.C. Cheng, in MoDELS Workshop on Model Design and Vali-dation (MoDEVA), selected as a Best Paper.

∗ “Formalizing and Integrating the Functional Model within Object-Oriented Design”(with Enoch Y. Wang), in Proc. of International Conference on Software Engineer-ing and Knowledge Engineering, San Franciso, California, June 1998 (Nominatedfor Best Paper).

∗ “Time and/or Space Sharing in a Workstation Cluster Environment” (with S. W. Turnerand L. M. Ni), Proc. of IEEE Supercomputing’94, pp. 630–639, November 1994 (Re-ceived Best Paper Award).

– ACM SIGSOFT appreciation award for dedicated service to the Software Engineeringcommunity in promoting student participation through the Conference Attendance Pro-gram for Students (CAPS), May 2003.

– Elected Senior Member, IEEE, 2000.

– Most Valuable Player Award, IEEE ICRE200 recognition for outstanding contributionsand dedication to the organization and success of conference.

– 1998 Withrow Teaching Award, Department of Computer Science and Engineering,Michigan State University (selected by students).

• Associate Editor-in-Chief, IEEE Transactions on Software Engineering (2018-present).

• Associate Editor for Journals,

– IEEE Transactions on Software Engineering (2002-2006), (2010-2015)

– ACM Transactions on Autonomous and Adaptive Systems (2011-2012)

– Requirements Engineering Journal (Kluwer Publishing, 2002-present)

– Journal on Software and Systems Modeling (Springer-Verlag, 2001-present)

• Other Journal Activities:

– IEEE Transactions and Magazine publications, EIC search committees.

• Federal Agency Activities:

40

– Reviewer, National Science Foundation, serve regularly on funding panels for a broadrange of programs (1991-present).

– Reviewer, Science Foundation Ireland Site Review for Lero, the Irish Software Engineer-ing Research Center, June 2008.

– Member, Committee of Visitors, perform review of CISE programs within National Sci-ence Foundation, July 2000.

– Site Visit Panelist, NSF Center Program Review, National Science Foundation, March1999.

– Member, Advisory Panel, National Science Foundation (1993, 1998, 2002, 2003, 2004,2005, 2006).

– Ad-Hoc and Panel Proposal Reviewer, National Science Foundation, 1993-present.

• Selected Conference and Workshop Activities over past ten years:

– Program Co-Chair, IEEE International Conference on Software Engineering (ICSE-13),San Francisco, California, 2013.

– Program Board,

∗ IEEE International Conference on Software Engineering (ICSE-18), Gothenberg,Sweden, 2018.

∗ IEEE International Conference on Software Engineering (ICSE-17), Buenos Aires,Argentina, 2017.

∗ IEEE International Conference on Software Engineering (ICSE-16), Austin, Texas2016.

∗ IEEE International Conference on Software Engineering (ICSE-14), Hyderabad, In-dia, 2014. item ACM/IEEE International Conference on Model Driven EngineeringLanguages and Systems (MODELS-2017), Austin Texas, 2017.

∗ ACM/IEEE International Conference on Model Driven Engineering Languages andSystems (MODELS-2016), St. Malo, France, 2016.

∗ ACM/IEEE International Conference on Model Driven Engineering Languages andSystems (MODELS-2015), Ottawa, Canada, 2015.

∗ ACM/IEEE International Conference on Model Driven Engineering Languages andSystems (MODELS-2012), Innsbruck, Austria, 2012.

∗ IEEE International Requirements Engineering Conference 2014 (RE2014)

∗ IEEE International Requirements Engineering Conference 2006 (RE06).

– Co-organizer (with Gordon Blair, Lorenz Hilty, Richard Paige), Dagstuhl Seminar onModeling for Sustainability, August 2018.

– Co-organizer (with Benoit Combemale, Robert France, Jean-Marc Jezequel, BernhardRumpe), Dagstuhl Seminar on Globalizing Domain-Specific Languages, October, 2014.

– Co-organizer (with Nelly Bencomo, Robert France, Gordon Blair, Uwe Assmann), DagstuhlSeminar on Models at Runtime, November-December, 2011.

– Program Chair, 6th IEEE International Symposium on Software Engineering for Adap-tive and Self-Managing Systems (SEAMS), 2011. (Co-located with ICSE-11.)

41

– Co-organizer (with Ana Moreira, Benoit Combemale, Jean-Michel Bruel, Jeff Gray, andRobert B. France), Modularity’15 Workshop on Sustainability, co-located with Modu-larity, March 2015.

– Co-organizer (with Nelly Bencomo, Robert France, Gordon Blair), Workshop on Modelsat Runtime, co-located with MODELS, October, 2011.

– Co-organizer (with Geri Georg, Ana Moreira, Gunter Mussbacher, Robert France) Work-shop on Comparing Modeling Methods, co-located with MODELS, October, 2011.

– Steering Committee Member IEEE International Conference on Autonomic Computingand Self-Organizing Systems (ACSOS), (merger of ICAC and SASO conferences, 2019-present) International Conference on Autonomic Computing (ICAC, 2013-2019); IEEEInternational Conference on Software Engineering (ICSE, 2010-2016); IEEE Interna-tional Requirements Engineering Conference (RE, 2000-2005); Workshop on Architect-ing Dependable Systems (WADS, 2004-2006).

– Tool and Formal Research Demos Co-Chair (with Holger Giese), IEEE InternationalConference on Software Engineering (ICSE08), Leipzig, Germany, 2008.

– Organizing Committee and Program Committee,

∗ Journal First Chair, IEEE International Conference on Software Engineering (ICSE),2019.

∗ New Faculty Symposium Co-Chair, IEEE International Conference on Software En-gineering (ICSE), 2018.

∗ Doctoral Symposium Co-Chair, IEEE International Conference on Software Engi-neering (ICSE), 2017.

∗ Co-organizer (with Ana Moreira, Benoit Combermale, Robert France, Jeff Gray),Sustainability Workshop, co-located with Modularity 2015, Ft. Collins, Colorado.

∗ Co-organizer (with Hausi Muller, David Garlan, Rogerio de Lemos, Jeff Magee,Marin Litiou), IEEE ICSE Workshop on Software Engineering for Adaptive andSelf-Managing Systems (SEAMS), May 2009, Vancouver, Canada.

∗ Co-organizer (with Hausi Muller, David Garlan, Rogerio de Lemos, Jeff Magee,Marin Litiou), IEEE ICSE Workshop on Software Engineering for Adaptive andSelf-Managing Systems (SEAMS), May 2008, Leipzig, Germany.

∗ Awards Selection Committees, Several ACM SIGSOFT awards, 2015.

∗ Tutorial Selection Committee, ACM/IEEE International Conference on Model DrivenEngineering Languages and Systems (MODELS2015), Ottawa, Canada, 2015.

∗ First International Workshop on Combining Modeling and Search-Based SoftwareEngineering, part of the ICSE 2013 program, San Francisco, California, May 2013.IEEE International Conference on Software Engineering (ICSE11), Chair of Men-toring Program.

∗ Managing Uncertainties and Incompleteness in Software Development, IEEE ASEWorkshop, 2007, (with A. Egyed, M. Chechik, A. Orso, K. Sullivan).

∗ Co-organizer (with Holger Giese, Rogerio de Lemos, Hausi Muller, David Garlan,Jeff Magee, Richard Taylor), Dagstuhl Workshop on Self-adaptive Systems, January,2008.

42

∗ Co-organizer (with Michel R.V. Chaudron, Christian Lange, Jacqueline McQuil-lan, Frank Weil, Andrij Neczwid) IEEE/ACM MoDELS Workshop on Model SizeMetrics, October 2007.

∗ Co-organizer with Alex Wolf, IEEE/ACM International Workshop on the Engi-neering of Software Services for Pervasive Environments (ESSPE), 2007 (held inconjunction with ESEC/FSE2007), Dubrovnik, Croatia.

∗ Co-organizer (with Hausi Muller, David Garlan, Rogerio de Lemos, Jeff Magee,Marin Litiou), IEEE ICSE Workshop on Software Engineering for Adaptive andSelf-Managing Systems (SEAMS), May 2007, Minneapolis, Minnesota.

∗ Co-organizer (with Frank Weil, Brian Berenbach, AW Brown, Robert France, AndrijNeczwid) IEEE/ACM MoDELS Workshop on Model Size Metrics, October 2006.

∗ Workshop co-organizer (with Frank Houdek, DaimlerChrysler AG, Germany andShigeyuki Kawana, Toyota Motor, Japan), International Workshop on AutomotiveRequirements Engineering (AuRE), Minneapolis, Minnesota, September 2006.

∗ Co-organizer (with David Garlan, Carnegie Mellon Univ. and Rogerio de Lemos,Univ of Kent), IEEE ICSE Workshop on Software Engineering for Adaptive andSelf-Managing Systems (SEAMS), May 21-22, 2006, Shanghai, China.

– Doctoral Symposium Chair, IEEE International Requirements Engineering Conference(RE06), 2006, Minneapolis, Minnesota.

– Emerging Results Track Chair (B. Shen, Shanghai, China, Asia Co-Chair) IEEE Inter-national Conference on Software Engineering (ICSE06), Shanghai, China, 2006.

– Formal Research Demos Chair, IEEE International Conference on Software Engineering(ICSE04), Edinburgh, Scotland, 2004.

– Doctoral Symposium Chair, ACM SIGSOFT Foundations of Software Engineering/EuropeanSoftware Engineering Conference (FSE/ESEC 2003),

– Organizing Committee, IEEE International Conference on Software Engineering (ICSE03),Chair of Frontiers of Software Practice Track.

– Workshops Chair, IEEE International Requirements Engineering Conference (RE03),

– Program Co-Chair, IEEE International Conference on Requirements Engineering (ICRE00),Schaumburg, Illinois, 2000. IEEE/NSF Workshop on Industrial Strength Formal Speci-fication Techniques, 1995.

– Doctoral Symposium Program Committee and Panelist,

∗ ACM/IEEE International Conference on Model Driven Engineering Languages andSystems (MODELS2019), Munich, Germany.

∗ IEEE/ACM International Conference on Software Engineering, 2019 (ICSE2019),Montreal, Canada.

∗ 14th International Symposium on Software Engineering for Adaptive and Self-ManagingSystems (SEAMS), co-located with IEEE/ACM International Conference on Soft-ware Engineering, 2019 (ICSE2019), Montreal, Canada, 2019.

∗ ACM/IEEE International Conference on Model Driven Engineering Languages andSystems (MODELS2018), Copenhagen, Denmark.

43

∗ ACM/IEEE International Conference on Model Driven Engineering Languages andSystems (MODELS2017), Austin, Texas.

∗ IEEE International Conference on Software Engineering (ICSE 2015), Florence,Italy.

∗ ACM/IEEE International Conference on Model Driven Engineering Languages andSystems (MODELS10), Oslo, Norway.

∗ ACM/IEEE International Conference on Model Driven Engineering Languages andSystems (MODELS09), Denver, Colorado.

∗ ACM/IEEE International Conference on Model Driven Engineering Languages andSystems (MODELS08), Toulouse, France.

∗ ACM International Conference on Foundations of Software Engineering, 2008 (FSE08),Atlanta, Georgia.

∗ IEEE/ACM International Conference on Software Engineering, 2007 (ICSE07), Min-neapolis, Minnesota.

∗ IEEE/ACM MoDELS Conference, October 2005, Jamaica,

∗ IEEE International Requirements Engineering Conference (RE05), 2005, Paris, France.

– Program Committee Member (Over the past ten years)

∗ SMC-IT 2019 Mini-Workshop on Assurance of Autonomy for Robotic Space Mis-sions, co-located with 2019 IEEE International Conference on Space Mission Chal-lenges for Information Technology (SMC-IT), Pasadena, California, July 2019.

∗ International Workshop on Software Engineering Intelligence (SEI), co-located withIEEE Automated Software Engineering (ASE) Conference, San Diego, California,2019.

∗ MODELING IN AUTOMOTIVE SOFTWARE ENGINEERING, co-located withco-located with MODELS, Munich, Germany, October 2019.

∗ 1st Workshop on Articial Intelligence and Model-driven Engineering, co-located withco-located with MODELS, Munich, Germany, October 2019.

∗ The Second International Workshop on Establishing a Community-Wide Infrastruc-ture for Architecture-Based Software Engineering, co-located with ICSE2019, Mon-treal, Canada, 2019.

∗ 14th International Symposium on Software Engineering for Adaptive and Self-ManagingSystems (SEAMS), co-located with IEEE/ACM International Conference on Soft-ware Engineering, 2019 (ICSE2019), Montreal, Canada, 2019.

∗ International Symposium on Search-based Software Engineering (SSBSE2019), TallinnEstonia, 2019.

∗ 8th International Model-Driven Requirements Engineering Workshop, co-locatedwith 26th IEEE International Requirements Engineering Conference (RE 2018) inBanff, Canada, August.

∗ The First International Workshop on Requirements for the Internet of Things (RIOT),co-located with RE2018, Banff, Canada, 2018.

∗ 8th International Model-Driven Requirements Engineering Workshop (MoDRE), co-located with MODELS, Copenhagen, Denmark, 2018.

44

∗ The 3rd International Workshop on Models@run.time for Self-aware Computing Sys-tems (MRT18ICAC), Trento, Italy, 2018.

∗ 13th International Symposium on Software Engineering for Adaptive and Self-ManagingSystems (SEAMS), co-located with IEEE/ACM International Conference on Soft-ware Engineering, 2018 (ICSE2018), Gothenburg, Sweden, 2018.

∗ 15th IEEE International Conference on Autonomic Computing 2018, Trento, Italy.

∗ 27th ACM Genetic and Evolutionary Computation Conference (GECCO) 2018, Ky-oto, Japan.

∗ IEEE International Symposium on Self-Adaptive and Self-Managing Systems (SEAMS2017);Co-located with ICSE2017, Buenos Aires, Argentina.

∗∗ International Workshop on Modeling in Automotive Software Engineering (MASE

2015), Ottawa, Canada.

∗ European Software Engineering Conference and Foundations for Software Engineer-ing (ESEC/FSE), Bergamo, Italy, August/September 2015.

∗ North American Search Based Software Engineering Symposium (NASBASE), Dear-born, Michigan, March 2015.

∗ IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO),2015.

∗ IEEE Symposium on Software Engineering for Adaptive and Self-Managing Systems(SEAMS), 2015.

∗ IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO),2014, Imperial College London.

∗ International Symposium on Search-based Software Engineering (SSBSE-14), Brazil.

∗ IEEE International Conference on Software Engineering Workshop on on Models inSoftware Engineering (MiSE), Hyderabad, India, 2014.

∗ International Workshop on Combining Modeling with Search- and Example-BasedApproaches, Valencia, Spain, 2014.

∗ International Workshop on Model-Driven Requirements Engineering (MODRE),Karlskrona, Sweden, 2014.

∗ Seventh IEEE International Conference on Self-Adaptive and Self-Organizing Sys-tems (SASO), Philadelphia, PA, 2013.

∗ International Workshop on Combining Modeling and Search-based Software Engi-neering (CMSBSE), part of ICSE 2013, San Francisco, California, May 2013.

∗ IEEE/ACM MoDELS Workshop on Models at Run Time, October 2012.

∗ IEEE International Conference on Software Engineering (ICSE-12).

∗ IEEE/ACM MoDELS Workshop on Models at Run Time, October 2011.

∗ Workshop on Requirements Engineering Patterns (REP-2011).

∗ IEEE International Symposium on Search-Based Software Engineering (SSBSE-2011).

∗ IEEE International Conference on Software Engineering (ICSE-11).

∗ Workshop on Living with Inconsistency (LWI-10), 2010, co-located with IEEE Au-tomated Software Engineering Conference.

45

∗ IEEE Workshop on Composition: Objects, Aspects, Components, Services andProduct Lines, co-located with IEEE International Conference on Aspect-OrientedSoftware Development (AOSD10).

∗ ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE2010).

∗ IEEE International Conference on Aspect-Oriented Software Development (AOSD10).

∗ International Conference on Autonomic Computing (ICAC-10), 2010.

∗ International Symposium on Architecting Critical Systems (ISARCS2010).

∗ IEEE/ACM MoDELS Workshop on Models at Run Time, October 2010.

∗ Annual IEEE ICSE International Workshop on Software Engineering for Adaptiveand Self-Managing Systems (SEAMS), 2010.

∗ IEEE International Conference on Software Engineering (ICSE09).

∗ IEEE 2009 International Conference on Vehicular Electronics and Safety.

∗ IEEE/ACM MoDELS Workshop on Models at Run Time, October 2009.

∗ Symposium on Automotive/Avionics Systems Engineering 2009.

∗ 7th Joint Meeting of the European Software Engineering Conference and the ACMSIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE2009).

∗ IEEE International Conference on Aspect-Oriented Software Development (AOSD09).

∗ Symposium on Automotive/Avionics Systems Engineering, 2008.

∗ International Workshop on Requirements Engineering Visualization (REV 2008),September 2008.

∗ National Workshop on Automotive Cyber-Physical Systems, Troy, Michigan, April2008.

∗ IEEE/ACM MoDELS Conference, October 2008.

∗ IEEE/ACM MoDELS Workshop on Models at Run Time, October 2008.

∗ IEEE International Requirements Engineering Conference (RE08).

∗ 8th Working IEEE/IFIP International Conference on Software Architecture (WICSA),2008.

∗ IEEE ICSE Workshop on Ultra-Large Scale Systems (ULSSIS08).

∗ IEEE/ACM International Workshop on the Engineering of Software Services forPervasive Environments (ESSPE), 2007 (held in conjunction with ESEC/FSE2007),Dubrovnik, Croatia.

∗ IEEE ICSE Workshop on Models in Software Engineering (MiSE07, MiSE08).

∗ International Symposium on Grand Challenges in Traceability (GCT), 2007.

∗ IEEE/ACM International Conference on Software Engineering, 2007 (ICSE07), Ed-ucators Symposium.

∗ Annual IEEE International Workshop on Engineering of Autonomic and AutonomousSystems (EASe), 2007, 2008.

∗ Annual IEEE ICSE International Workshop on Software Engineering for Adaptiveand Self-Managing Systems (SEAMS), May, 2007, 2008.

46

∗ Software Engineering and Middleware (SEM) Workshop, co-located with Founda-tions of Software Engineering Symposium, Portland, Oregon, November 2006.

∗ International Workshop on Requirements Engineering Visualization (REV 2006),September 2006.

∗ International Conference on Dependable Systems and Networks (DSN) Workshopon Architecting Dependable Systems (WADS), 2006.

∗ First Annual IEEE ICSE International Workshop on Software Engineering for Adap-tive and Self-Managing Systems (SEAMS), May, 2006.

∗ IEEE RE05 Workshop on Requirements Engineering Education and Training (REET),2005.

∗ IEEE International Requirements Engineering Conference (RE01,RE02, RE03, RE04,RE05).

∗ IEEE UML (1999, 2000, 2001, 2002, 2004, 2005 (MODELS: Research and EducationPCs)).

∗ IEEE/ACM SIGSOFT Workshop on Specification and Verification of Component-Based Systems (SAVCBS) affiliated with the Foundations of Software Engineering(FSE)/ESEC, September 2005, Lisbon, Portugal.

∗ IEEE/ACM Workshop on Architecting Dependable Systems (WADS05), associatedwith ICSE05, May 2005.

∗ ACM SIGSOFT Workshop on Self-Managing Systems (WOSS04), workshop co-located with ACM SIGSOFT Foundations of Software Engineering (FSE), October2004.

∗ IEEE/ACM CSDUML (Workshop on Critical Systems Development with UML),associated with UML Conference, October 2004.

∗ IEEE/ACM SIGSOFT Workshop on Specification and Verification of Component-Based Systems (SAVCBS) affiliated with the Foundations of Software Engineering(FSE), November 2004.

∗ IEEE Second International Workshop on Comparative Evaluation in RequirementsEngineering (CERE04), affiliated with Requirements Engineering (RE04), Kyoto,Japan, September 2004.

∗ IEEE Software Engineering for High Assurance Systems Workshop (SEHAS03).

∗ IEEE Requirements for High Assurance Systems Workshop (RHAS02).

∗ IEEE ICSE Workshop on Component-based Software Engineering (CBSE4,CBSE5,CBSE6), 2001, 2002, 2003.

∗ IEEE Multimedia Software Engineering (MSE 2002).

∗ ACM OOPSLA01 Workshop on Specification and Verification of Component-BasedSystems, Tampa, Florida, October 2001.

∗ IEEE International Conference on Requirements Engineering (1998, 1996).

∗ ACM Symposium on Software Reusability (1999, 1997).

∗ IEEE International Conference on Software Engineering, Kyoto, Japan 1998.

∗ IEEE International Conference on Distributed Computing Systems (1999, 1995).

– Session Chair, (Over the past ten years)

47

∗ IEEE ICSE Workshop on Software Engineering for Adaptive and Self-ManagingSystems (SEAMS), May 2009, Vancouver, Canada.

∗ Eighth International Conference on Aspect-Oriented Software Development (AOSD09),Charlottesville, Virginia, March 2009.

∗ IEEE ICSE Workshop on Software Engineering for Adaptive and Self-ManagingSystems (SEAMS), May 2008, Leipzig, Germany.

∗ IEEE Conference on High Assurance Software Engineering (HASE07), November2007, Dallas, Texas.

∗ Managing Uncertainties and Incompleteness in Software Development, IEEE ASEWorkshop, 2007, Atlanta, Georgia.

∗ IEEE International Symposium on Requirements Engineering (RE06), Minneapolis,Minnesota, September 2006.

∗ ACM/IEEE 8th International Conference on Model Driven Engineering Languagesand Systems (MoDELS05), October, Montego Bay, Jamaica.

∗ IEEE Joint International Requirements Engineering Conference (RE02), September,Essen, Germany.

∗ IEEE Workshop for Requirements for High Assurance Systems (RHAS02), Septem-ber, Essen, Germany.

∗ IEEE International Symposium on Requirements Engineering (RE01), August, Toronto,Canada.

∗ IEEE 4th ICSE Workshop on Component-based Software Engineering (CBSE4),2001, May 2001, Toronto, Canada.

• Member, International Federation of Information Processing Working Group on RequirementsEngineering (IFIP WG 2.9), 2008-present.

• ACM CAPS Director (Conference Attendance Program for Students), (1996-2003), Evaluateapplications and allocate travel funds to students to attend conferences. Received ACMSIGSOFT Outstanding Service Recognition Award, 2003.

• External Examiner, PhD Thesis, Thomas Vogel, Advisor: Holger Giese, Hasso-Plattner In-stitute, Potsdam, Germany, 2017.

• External Examiner, PhD Thesis, Brice Morin, Advisor: Jean-Marc Jezequel, INRIA, France,2010.

• External Examiner, PhD Thesis, Jianwei Niu, Advisor: Joanne Atlee and Nancy Day, Uni-versity of Waterloo, Canada, 2005.

• External Examiner, PhD Thesis, Rossana De Castro, Advisor: Luigi Logrippo, University ofOttawa, Canada, 2001.

• External Examiner, MSc Thesis, Charlotte Ackerman, Department of Computer Science,University of Stellenbosch, South Africa, 1993.

• Reviewer, ACM Transactions on Software Engineering and Methodologies, Architecting De-pendable Systems V (Chapter Review), IEEE Trans. on Software Engineering, IEEE Soft-ware, IEEE Trans. on Knowledge and Data Engineering, IEEE Computer, IEEE Expert,

48

Int’l J. of Software Engineering and Knowledge Engineering, J. of Computer and SoftwareEngineering, J. of Parallel and Distributed Computing, Information Processing Letters, J. ofAutomated Software Engineering, and numerous conferences.

• Senior Member, IEEE.

• Member, IEEE Computer Society, IEEE Technical Council on Software Engineering, Com-mittees for Reusability, Reverse Engineering, Software Engineering Education, Software Re-liability Engineering, and Technology Transfer

• Member, Association for Computing Machinery, ACM SIGSOFT and SIGPLAN.

• Book Reviewer, Software Engineering, Programming Language, and Discrete Mathematicstext books.

Theses Supervision

Doctoral

Byron DeVries “Detecting and Mitigation Feature Interactions in Onboard Systems in the Face of Un-certainty” (PhD, December 2017), Assistant Professor, Grand Valley State University.

Chad Byers “Harnessing Evolutionary Computation for the Design and Generation of Adaptive Em-bedded Controllers within the Context of Uncertainty” (PhD, October 2015), AssistantProfessor, DePauw University.

Erik Fredericks “Harnessing Evolutionary Computation to Mitigate Uncertainty in High-Assurance Dy-namically Adaptive Systems” (PhD, December 2014), Assistant Professor, Oakland Uni-versity.

Andres Ramirez “ Applying Evolutionary Computation Techniques to Address Environmental Uncer-tainty in Dynamically Adaptive Systems” (PhD, May 2013), Citadel.

Ji Zhang “A Formal Approach to Providing Assurance to Dynamically Adaptive Software” (PhD,May 2007), Google.

S. J. Konrad “Model-Driven Development and Analysis of High Assurance Systems,” (PhD, Septem-ber 2006), Bloomberg.

L. A. Campbell “Integrating and Visualizing Analysis Techniques for Object-Oriented Designs,” co-advisor with K. Stirewalt, (PhD, August 2004), Independent Consultant.

W. E. McUmber “A Generic Framework for Formalizing Object-Oriented Modeling Notations for Embed-ded Systems Development” (PhD, August 2000), Managing Partner, Mackinac Software,President, Object Software Research.

Y. Chen “Automating Component-Based Software Development” (PhD, August 1999), ProductManager, Cadence, San Jose, California.

G. C. Gannod “Integrating Informal and Formal Techniques to Reverse Engineer Imperative Programs”(PhD, August 1998), Harry C. Stonecipher Distinguished Professor and Chair, Depart-ment of Computer Science at Tennessee Tech University.

49

E. Y. Wang “Integrating Informal and Formal Approaches to Object-Oriented Analysis and Design”(PhD, March 1998), Distinguished Member of Technical Staff, Lucent Technologies,Ohio.

J. L. Sharnowski “The Integration of an On-line Parallel Debugger with a Visualization Methodologyfor Modeling Expected Behavior” (PhD, May 1995), Senior Project Manager at PTC,Michigan.

D. R. Chesney “Matrix-based Representations of Loop Transformations” (PhD, February 1995), SeniorLecturer, University of Michigan, Ann Arbor, Michigan.

S. W. Turner “Processor Scheduling in a Distributed-Memory Computing Environment,” co-advisorwith L. M. Ni, (PhD, January 1995), Department Chairperson, Associate Chair at Uni-versity of Michigan at Flint, Michigan.

D. F. Robinson “Scalable Multicast Communication in Massively Parallel Computers” co-advisor withP. K. McKinley, (PhD, August 1994), Professor of Computer Science at Quincy Univer-sity, Illinois.

J. J. Jeng “Applying Formal Methods to Software Reuse” (PhD, December 1993), IBM T. J. Wat-son Research Center, New York.

Heather Goldsby “Model-Driven Engineering Approaches to Developing Dynamically Adaptive Software”(PhD, started January 2006 and in January 2009 switched to Biological emphasis ofevolution under supervision of Charles Ofria and completed in 2012).

50

Current Doctoral Students

Michael Langford “Neuro-Evolutionary-based approaches to Address Assurance of Autonomous Systems,”(tentative topic, started in January 2017).

Nick Polanco “Socio-technical Approach to Addressing Automotive Cybersecurity,” (tentative topic,started in Fall 2018).

Masters

Matt Pasco “Dynamic Management of Security Assurance Cases for Autonomous Systems,” (MS,May 2019)

Rachael Ross “ Detect Feature Interaction and Exploiting Multicore computing for onboard vehiclesystems,” (MS, May 2018).

Gabrielle Nguyen “ Crime Prevention for Cybersecurity,” (MS, May 2018).

Saptarshi Mitra “Automotive Cybersecurity,” (MS, May 2017).

Austin Gregory “Harnessing Evolutionary Computation to Manage Nonfunctional Requirements of Dy-namically Adaptive Systems” (MS, expected August 2013).

Adam Jensen “Using Evolutionary Computation to Refactor Software Models” (MS, December 2009).

Andres Ramirez “Design Patterns for Developing Adaptive Systems” (MS, December 2008).

Daniel Fiedler “Goal-Driven Modeling and Analysis of Security Requirements” (MS, December 2007).

Greg Brown “Enabling Model-Driven Engineering” (MS, August 2007).

Stephane Kamdoum “A Generic Visualization Environment for Model-Driven Analysis” (MS, Spring 2006).

Sascha Konrad “Defining and Using Requirements Patterns for Embedded Systems” (MS, August 2003).

Ronald Wassermann “Security Patterns” (Completed thesis as part of international student exchange programwith Kaiserslautern University, Germany, June 2003).

Gretel Coombs “Object-Oriented Design of Embedded Systems with Translation to VHDL” (MS, June1998).

Amy Christensen “A Three-Pronged Approach to the Development of Software-Based Safety Critical Sys-tems” (MS, July 1995).

Steve R. Schafer “Configuration Management Based on Software Component Locality and System Struc-ture” (MS, May 1995).

Enoch Y. Wang “A Graphical Environment for a Formal Approach to Object-Oriented Analysis Model-ing” (MS, May 1995).

Gerald C. Gannod “The Application of Formal Methods to the Reverse Engineering of Imperative ProgramCode” (MS, May 1994).

William E. McUmber “Temporal Specification Systems for Distributed Systems” (MS, August 1993).

Other Research Projects

Postdoctoral Research

51

• A. Ebnenasir (Michigan Technological Univ), 2005-2006, “Model-driven development offault-tolerant systems”.

• J. Bisbal (University of Dublin), 2003-2004, “Resource-based Feature Interaction”.

Master’s Projects Supervision

Ryan Stephenson “Design Metrics and Guidelines for UML Diagrams” (MS, May 2005).

Michelle Pirtle “Dynamically Adapting Intrusion Detection Systems” (MS, May 2003).

Gary Holms “Reverse Engineering and Configuration Management Framework for Object-OrientedSystems” (MS, May 1998).

Shu Yi Lin “A Generic Postscript Generation Library for Window Systems” (MS, August 1995).

April Lee “A Framework for Integrating Databases and Geographical Information Systems” (MS,August 1995).

Paul E. Fraley “Spectacle II: A Toolkit for Graphical Specification Editors” (MS, May 1995).

Michelle Morin “Graphical Development Environment for Larch Shared and Interface Languages” (MS,April 1994).

Michael. Laux “An Integrated Development Environment for Formal Specifications” (MS, August 1993).

Tom Danieli “Construction of Formal Specifications from an Object-oriented Decomposition of Infor-mal Problem Descriptions” (MS, August 1992).

Doug Pierce “Intelligent Browser for Formal Specifications of Software Components” (MS, August1991).

Undergraduate Research

Brad Doherty “UML Modeling for Visually-Impaired Persons” (Summer 2015-present)

Marcus Botros “3D Printing of UML Diagrams” (Fall 2014).

Geoff Carlson “Harnessing Evolutionary Computation for adaptive robot controllers in the WebotsEnvironment” (Fall 2010-Fall 2012)

James Gung “Goal-based modeling of cyberphysical adaptive systems” (Summer 2010).

Hanqing Hu “Program Analysis and Visualization of Digital Organisms” (Summer 2009-present).

Randee Bierlein “Model-driven Code Generation” (Spring 2006-Fall 2006).

Jill Randall “Trusted Web applications” (Fall 2002).

Sherri Goings “Aspect-oriented development of adaptive software” (2002) (co-advised with L. Dillonand K. Stirewalt).

Anjani Shah “Tools for Visualizing Automated Analysis” (Spring 2001-2002). (Started as a Mc-Nair/SROP Fellow, and is continuing as an undergraduate research assistant).

Ryan Stephenson “Developing Configurable Graphical Editors” (Fall 99 –Spring 2002). (Started as aProfessorial Assistant and is continuing as an undergraduate research assistant.)

Yin Lau “Translating Graphical Models into Textual Representations” (Fall 99).

Brian Cox “Visual Tools for Reverse Engineering” (Summer 1998).

Sergio Marti “Multimedia-Based Web Authoring Techniques” (May 1997 - 1998).

52

Joe Budzyn “Object-Oriented development of Room Scheduling Utility” (January 1995 - May 96).

Heather Richter “Formalizing and Integrating the Functional Model into the Object Modeling Tech-nique;” “Multimedia Applications” (Fall 1994- December 1995).

Jason Goris “Graphical environment for developing object-oriented software” (Spring 94).

Patrick Luhman “Graphical environment for developing object-oriented software” (Spring 94).

Steve R. Schafer “Classifying Multimedia Information” (Fall 1992-Summer 1993).

Gerald C. Gannod “A Formal Approach to Reverse Engineering” (Fall 1990-Summer 1992).

Jennifer Rodriguez “Formally Specifying and Deriving Programs” (Fall 1990-Spring 1992).

University Teaching Experience

Courses developed:

• Model-Driven Engineering of High-Assurance Adaptive Systems (CSE891), Spring 2008.

• Requirements Engineering (CSE491-602), Fall 2006.

• Topics in Formal Methods for Software Development, CSE914, (Fall 2002: Formal Meth-ods for Security; Fall 2003: High Assurance for Adaptive Software).

• Advanced Software Engineering (lecture/project), CSE870 (2000-present)

• Software Engineering for Embedded Systems (lecture/industry project), CSE470 (1999-present)

• Software Engineering (lecture/project), CPS470 (1992-1994)

• Software Engineering (lecture/lab), CPS470 (1995)

• Software Engineering Capstone (lecture/project), CPS478 (1995) (with M. Heimdahl)

• Organization of Programming Languages (lecture/lab), CPS452.

• Formal Methods for Software Development (lecture), CPS814

• Topics in Formal Methods, CPS914 (reading/paper)

• Formal Methods for Software Engineering (Honor’s College), CPS491, reading/project.

• Building Graphical User Interfaces, CPS801

• Building Multimedia Applications, CPS890

• Building CASE tools using Object-Oriented Analysis and Design, CPS890.

• Formally Reasoning about the Correctness of Programs with Pointers and Recursion,CPS890.

Courses taught in addition to above:

• Software Engineering, CSE435 (Fall 2007).

• Senior Software Engineering Capstone course, CPS478 (Spring 1998). (Involved corpo-rate sponsored projects).

• Senior Capstone course: Tools for Concurrent Systems, CPS479 (Spring 1996).

• Organization of Programming Languages (lecture/projects), CSE452 (semester).

53

• Organization of Programming Languages (lecture/lab), CPS400 (qtr)

• Analysis of Algorithms (lecture), CPS834 (qtr).

Teaching Innovations:

• Introduction of formal specification languages to undergraduate software engineering(including Z, Larch, and more recently Promela).

• Introduction and significant growth of Software Engineering area in Department.

– New undergraduate and new graduate level course in Software Engineering

– Significant impact of software engineering on Senior Capstone course (required forall students)

• Introduction of Formal Methods area to Department

– Two new graduate level courses

• Introduction of Embedded Systems into the Software Engineering education.

• Incorporation of projects from industrial partners for Software Engineering course andCapstone course.

• Development of object-oriented modeling tools for use in undergraduate and graduatesoftware engineering course.

• Development of graphical browser for formal specification repository (Larch DevelopmentEnvironment), used by CSE courses and other universities.

Committee Activities, Michigan State University

Department Level:

• Chair Department of Computer Science and Engineering Tenure and Promotion Com-mittee, 2005-2007.

• Chair of Graduate Studies and Research Committee, 1999-2003.

• Advisory Committee (elected by Faculty), 1993-1995; 1995-1997; 2003-present.

• Graduate Studies and Research Committee, 1992-1993, 1997-98, 2003-2005, 2009-present.

• Awards Committee, 1999-2000; 2011-present.

• Withrow Teaching Awards Committee, 1999-2000.

• Undergraduate Curriculum Committee, 1990-1991, 1995-1996.

• Computing Environment Committee, 1993-1994, 2005-present.

• Faculty Search Committee, 1991-92; 1993-94; 1995-96; 1996-97; 2000-2001 (elected byfaculty); 2001-2002 (elected by faculty); 2004-2005 (elected by faculty).

• Chair Search Committee (elected by faculty), 1994-95; 2001-2002.

• Ad Hoc Computing Committee (appointed by Chair), 1995.

• Systems Analyst Search Committee, 1995.

• Undergraduate Advisor Search Committee, 1992-93.

54

• Qualifier Examination Committee, 1990-1996.

• PhD Committees, Czerny (PhD, 1998), Judd (PhD,ABD), S. Kim (PhD, 1994), Gal-sterer (PhD, 1995), Sass (PhD, 1999), White (PhD, 2000), R. De Castro (PhD, 2001,Univ. of Ottawa), Behrends (CSE PhD, 2003), Biyani (CSE, PhD), Ebnenasir (PhD,2004), E. Kasten (CSE, PhD), G He, Fisheries and Wildlife (PhD), P. Ge (CSE,PhD, 2004), Sadjadi (CSE, PhD, 2004), Sowell (CSE, PhD), L. Wang (CSE, PhD).

• MS Committees, Arumugam (CSE, MS), Bonakdarpour (CSE, MS), P. Midlin (MS),M. Malinak (MS), Goldsby (MS) V. Vishram (MS, 1993), P. Hovland (MS, 1993),R. Cerra (MS, 1993), Wiggins (MS, 1993), C. Ackerman (MS thesis, Univ. ofStellenbosch, South Africa, 1993), K. Oostendorp (MS, 1995), N. Feng (MS, 1995),Y. Chen (MS, 1994), J. Kusler (MS, 1995), M. Ramirez (MS, 1995), Y. Hui (MS, 1996),A. Kurtz (MS, 1996), W.S. Hwang (MS, 1996), D. Keenan (MS, 1996), Malenfont (MS,1999).

College Level:

• CSE representative for College of Engineering Tenure and Promotion Committee, 2004-2008.

• College of Engineering Dean’s Search committee (2005-2006).

• Chairperson, Engineering Research Council (2001-2003).

• Engineering Research Council (elected), 2000-2005.

• Mechanical Engineering Chair Search Committee, 2003-2004.

• Engineering College Advisory Council (elected), 1995-1996; 2014-present.

• Mechanical Engineering Faculty Search Committee, 1992-93.

• Mechanical Engineering Chair Search Committee, 1991-92.

• Dean’s Advisory Committee on Women in Engineering, 1994-present.

University Level:

• Travel Advisory Committee, 2008.

• Ad Hoc University committee on Risk Analysis and Management Research at MSU(2005-present).

• Women’s Advisory Committee to the Provost (appointed by Provost), 2002-2006.

• University Committee on Academic Policy (elected by Engineering faculty), 2002-2004.

• Honor’s College Advisor, 1990-present.

• Advisory Committee for MSU/CIESIN, 1992-1994.

• Steering Committee for Alliance for Changing Environment, 1994-95.

• University Committee on GIS, 1995-present.

55

Outreach Activities

• “A Day in the Life of a Computer Science Student, ” Presentation for EGR100, November2007, April 2008.

• “High Assurance Computing,” Presentation to Computer Science and Engineering StrategicPartners Council, Fall 2005.

• “High Assurance Computing at Michigan State University,” Presentation for College of En-gineering Brown Bag Seminar Series, April 2003.

• Mentoring minority high school student interested in Computer Science, Fall 2000.

• “Top Ten Reasons to Attend Graduate School” recruitment presentation to seniors at Rose-Hulman Institute, Terre Haute, Indiana, November 2000.

• “What is Computer Science and Software Engineering?” Presentation to Incoming Freshmanat Michigan State University (approximately 200 students), Fall 1999.

• Annual Presentations for Graduate Seminar Series, Michigan State University, Fall 1994-present.

• MERIDIAN: An Integrated Framework for Developing Interactive Distributed Applications,”Presentation to Multidisciplinary Group (approximately 60 faculty and scientists) at MichiganState University for facilitating inter-disciplinary collaboration, May 1999.

• “Integrating Informal and Formal Approaches to Object-Oriented Development” ColloquiumSeries, Iowa State University, February 1998.

• “Formal Methods and Software Engineering,” Presentation to Alumni Visiting Board, Michi-gan State University, October 1994.

• “Computer Science and Software Engineering” Presentation to ROSES (Residential Optionfor Science and Engineering Students) program, Michigan State University, November 1994.

References

Available upon request.

56