default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBetty H. C. Cheng
Person information
- affiliation: Michigan State University, East Lansing, MI, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j41]Michael Austin Langford
, Sol Zilberman, Betty H. C. Cheng:
Anunnaki: A Modular Framework for Developing Trusted Artificial Intelligence. ACM Trans. Auton. Adapt. Syst. 19(3): 17:1-17:34 (2024)- [c158]Sol Zilberman, Betty H. C. Cheng:
"No Free Lunch" when using Large Language Models to Verify Self-Generated Programs. ICSTW 2024: 29-36 - [c157]Nick Polanco, Betty H. C. Cheng:
Socio-technical Automotive Security Design Patterns: Applying a Stakeholder-Based Approach to Securing Self-Driving Vehicles. MoDELS (Companion) 2024: 735-744 - [c156]Kenneth H. Chan, Sol Zilberman, Nick Polanco, Joshua E. Siegel, Betty H. C. Cheng:
SafeDriveRL: Combining Non-cooperative Game Theory with Reinforcement Learning to Explore and Mitigate Human-based Uncertainty for Autonomous Vehicles. SEAMS@ICSE 2024: 214-220 - [i6]Nelly Bencomo, Jordi Cabot, Marsha Chechik, Betty H. C. Cheng, Benoît Combemale, Andrzej Wasowski, Steffen Zschaler:
Abstraction Engineering. CoRR abs/2408.14074 (2024) - 2023
- [j40]Michael Austin Langford, Kenneth H. Chan, Jonathon Emil Fleck, Philip K. McKinley, Betty H. C. Cheng:
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty. Softw. Syst. Model. 22(5): 1543-1563 (2023) - [c155]Kenneth H. Chan, Betty H. C. Cheng:
Expound: A Black-Box Approach for Generating Diversity-Driven Adversarial Examples. SSBSE 2023: 19-34 - 2022
- [j39]Javier Cámara, Javier Troya, Antonio Vallecillo, Nelly Bencomo, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl:
The uncertainty interaction problem in self-adaptive systems. Softw. Syst. Model. 21(4): 1277-1294 (2022) - [c154]Michael Austin Langford, Betty H. C. Cheng:
A Modular and Composable Approach to Develop Trusted Artificial Intelligence. ACSOS 2022: 121-130 - [c153]Javier Cámara, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl, Javier Troya, Antonio Vallecillo:
Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata. MoDELS 2022: 24-30 - [c152]Nick Polanco, Betty H. C. Cheng:
Situational crime prevention for automotive cybersecurity. MoDELS (Companion) 2022: 562-568 - [c151]Kenneth H. Chan, Betty H. C. Cheng:
EvoAttack: An Evolutionary Search-Based Adversarial Attack for Object Detection Models. SSBSE 2022: 83-97 - 2021
- [j38]Benoît Combemale, Jörg Kienzle, Gunter Mussbacher, Hyacinth Ali, Daniel Amyot, Mojtaba Bagherzadeh, Edouard Batot, Nelly Bencomo, Benjamin Benni, Jean-Michel Bruel, Jordi Cabot, Betty H. C. Cheng, Philippe Collet, Gregor Engels, Robert Heinrich, Jean-Marc Jézéquel, Anne Koziolek, Sébastien Mosser, Ralf H. Reussner, Houari A. Sahraoui, Rijul Saini, June Sallou, Serge Stinckwich, Eugene Syriani, Manuel Wimmer:
A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems. IEEE Softw. 38(4): 71-84 (2021) - [j37]Michael Austin Langford, Betty H. C. Cheng:
Enki: A Diversity-driven Approach to Test and Train Robust Learning-enabled Systems. ACM Trans. Auton. Adapt. Syst. 15(2): 5:1-5:32 (2021) - [c150]Michael Austin Langford, Kenneth H. Chan, Jonathon Emil Fleck, Philip K. McKinley, Betty H. C. Cheng:
MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous Systems. MoDELS 2021: 182-193 - [c149]Byron DeVries, Erik M. Fredericks, Betty H. C. Cheng:
Analysis and Monitoring of Cyber-Physical Systems via Environmental Domain Knowledge & Modeling. SEAMS@ICSE 2021: 11-17 - [c148]Michael Austin Langford, Betty H. C. Cheng:
"Know What You Know": Predicting Behavior for Learning-Enabled Systems When Facing Uncertainty. SEAMS@ICSE 2021: 78-89 - 2020
- [j36]Jörg Kienzle, Gunter Mussbacher, Benoît Combemale, Lucy Bastin, Nelly Bencomo, Jean-Michel Bruel, Christoph Becker, Stefanie Betz, Ruzanna Chitchyan, Betty H. C. Cheng, Sonja Klingert, Richard F. Paige, Birgit Penzenstadler, Norbert Seyff, Eugene Syriani, Colin C. Venters:
Toward model-driven sustainability evaluation. Commun. ACM 63(3): 80-91 (2020) - [j35]Sharmin Jahan, Ian Riley, Charles Walter, Rose F. Gamble, Matt Pasco, Philip K. McKinley, Betty H. C. Cheng:
MAPE-K/MAPE-SAC: An interaction framework for adaptive systems with security assurance cases. Future Gener. Comput. Syst. 109: 197-209 (2020) - [j34]Kate M. Bowers, Erik M. Fredericks, Reihaneh H. Hariri, Betty H. C. Cheng:
Providentia: Using search-based heuristics to optimize satisficement and competing concerns between functional and non-functional objectives in self-adaptive systems. J. Syst. Softw. 162 (2020) - [c147]Pranshu Bajpai, Richard J. Enbody, Betty H. C. Cheng:
Ransomware Targeting Automobiles. AutoSec@CODASPY 2020: 23-29 - [c146]Chung-Ling Lin, Wuwei Shen, Betty H. C. Cheng:
Measuring Confidence of Assurance Cases in Safety-Critical Domains. HICSS 2020: 1-10 - [c145]Fengyi Tang, Betty H. C. Cheng:
Protecting Temporal Fingerprints with Synchronized Chaotic Circuits. HICSS 2020: 1-10 - [c144]Betty H. C. Cheng, Robert Jared Clark, Jonathon Emil Fleck, Michael Austin Langford, Philip K. McKinley:
AC-ROS: assurance case driven adaptation for the robot operating system. MoDELS 2020: 102-113
2010 – 2019
- 2019
- [c143]Michael Austin Langford, Betty H. C. Cheng:
Enhancing Learning-Enabled Software Systems to Address Environmental Uncertainty. ICAC 2019: 115-124 - [c142]Betty H. C. Cheng:
A multidisciplinary approach to developing community-based research infrastructure. ECASE@ICSE 2019: 1 - [c141]Michael Austin Langford, Glen A. Simon, Philip K. McKinley, Betty H. C. Cheng:
Applying evolution and novelty search to enhance the resilience of autonomous systems. SEAMS@ICSE 2019: 63-69 - [c140]Byron DeVries, Betty H. C. Cheng:
Towards the detection of partial feature interactions. SEAMS@ICSE 2019: 146-152 - [c139]Betty H. C. Cheng, Bradley Doherty, Nick Polanco, Matthew Pasco:
Security Patterns for Automotive Systems. MoDELS (Companion) 2019: 54-63 - [c138]Byron DeVries, Betty H. C. Cheng:
Goal-Based Modeling and Analysis of Non-Functional Requirements. MoDELS 2019: 261-271 - [c137]Sharmin Jahan, Matthew Pasco, Rose F. Gamble, Philip K. McKinley, Betty H. C. Cheng:
MAPE-SAC: A Framework to Dynamically Manage Security Assurance Cases. FAS*W@SASO/ICAC 2019: 146-151 - 2018
- [j33]Peter J. Clarke, Betty H. C. Cheng:
Dr. Robert B. France - contributions to model-driven engineering and software engineering education. Comput. Sci. Educ. 28(1): 109-112 (2018) - [c136]Chung-Ling Lin, Wuwei Shen, Steven Drager, Betty H. C. Cheng:
Measure confidence of assurance cases in safety-critical domains. ICSE (NIER) 2018: 13-16 - [c135]Byron DeVries, Betty H. C. Cheng:
Run-time monitoring of self-adaptive systems to detect N-way feature interactions and their causes. SEAMS@ICSE 2018: 94-100 - [c134]Byron DeVries, Betty H. C. Cheng:
Automatic Detection of Feature Interactions Using Symbolic Analysis and Evolutionary Computation. QRS 2018: 257-268 - [c133]Kate M. Bowers, Erik M. Fredericks, Betty H. C. Cheng:
Automated Optimization of Weighted Non-functional Objectives in Self-adaptive Systems. SSBSE 2018: 182-197 - [i5]Gordon S. Blair, Betty H. C. Cheng, Lorenz M. Hilty, Richard F. Paige:
Modeling for Sustainability (Dagstuhl Seminar 18351). Dagstuhl Reports 8(8): 146-168 (2018) - 2017
- [c132]Byron DeVries, Betty H. C. Cheng:
Using Models at Run Time to Detect Incomplete and Inconsistent Requirements. MoDELS (Satellite Events) 2017: 201-209 - [c131]Silvia Abrahão, Francis Bordeleau, Betty H. C. Cheng, Sahar Kokaly, Richard F. Paige, Harald Störrle, Jon Whittle:
User Experience for Model-Driven Engineering: Challenges and Future Directions. MoDELS 2017: 229-236 - [c130]Mohammed Al-Refai, Andrew Jacobson, Sudipto Ghosh, James M. Bieman, Betty H. C. Cheng:
ReMoDD Eclipse Plug-in: Collaborative Modeling Using a Model Repository. MoDELS (Satellite Events) 2017: 344-348 - [c129]Byron DeVries, Betty H. C. Cheng:
Automatic Detection of Incomplete Requirements Using Symbolic Analysis and Evolutionary Computation. SSBSE 2017: 49-64 - 2016
- [c128]Betty H. C. Cheng:
Addressing Assurance for Self-Adaptive Systems in the Face of Uncertainty. ICAC 2016: 2 - [c127]Benoît Combemale, Betty H. C. Cheng, Ana Moreira, Jean-Michel Bruel, Jeffrey G. Gray:
Modeling for sustainability. MiSE@ICSE 2016: 62-66 - [c126]Byron DeVries, Betty H. C. Cheng:
Automatic detection of incomplete requirements via symbolic analysis. MoDELS 2016: 385-395 - [c125]Anthony J. Clark, Byron DeVries, Jared M. Moore, Betty H. C. Cheng, Philip K. McKinley:
An evolutionary approach to discovering execution mode boundaries for adaptive controllers. SSCI 2016: 1-8 - 2015
- [j32]Betty H. C. Cheng:
A Review of Dr. Robert France's Contributions and Impact on Model-Driven Engineering and Software Engineering: Robert B. France (1960-2015). ACM SIGSOFT Softw. Eng. Notes 40(3): 23-31 (2015) - [c124]Chad M. Byers, Betty H. C. Cheng, Kalyanmoy Deb:
Unwanted Feature Interactions Between the Problem and Search Operators in Evolutionary Multi-objective Optimization. EMO (1) 2015: 19-33 - [c123]Chad Michael Byers, Betty H. C. Cheng:
An Approach to Mitigating Unwanted Interactions between Search Operators in Multi-Objective Optimization. GECCO 2015: 655-662 - [c122]Erik M. Fredericks, Betty H. C. Cheng:
An Empirical Analysis of Providing Assurance for Self-Adaptive Systems at Different Levels of Abstraction in the Face of Uncertainty. SBST@ICSE 2015: 8-14 - [c121]Erik M. Fredericks, Betty H. C. Cheng:
Automated Generation of Adaptive Test Plans for Self-Adaptive Systems. SEAMS@ICSE 2015: 157-167 - [c120]Brad Doherty, Betty H. C. Cheng:
UML Modeling for Visually-Impaired Persons. HuFaMo@MoDELS 2015: 4-10 - [e8]Betty H. C. Cheng, Benoît Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe:
Globalizing Domain-Specific Languages - International Dagstuhl Seminar Dagstuhl Castle, Germany, October 5-10, 2014 Revised Papers. Lecture Notes in Computer Science 9400, Springer 2015, ISBN 978-3-319-26171-3 [contents] - 2014
- [j31]Erik M. Fredericks, Byron DeVries, Betty H. C. Cheng:
AutoRELAX: automatically RELAXing a goal model to address uncertainty. Empir. Softw. Eng. 19(5): 1466-1501 (2014) - [c119]Betty H. C. Cheng, Benoît Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe:
On the Globalization of Domain-Specific Languages. Globalizing Domain-Specific Languages 2014: 1-6 - [c118]Betty H. C. Cheng, Thomas Degueule, Colin Atkinson, Siobhán Clarke, Ulrich Frank, Pieter J. Mosterman, Janos Sztipanovits:
Motivating Use Cases for the Globalization of DSLs. Globalizing Domain-Specific Languages 2014: 21-42 - [c117]Erik M. Fredericks, Byron DeVries, Betty H. C. Cheng:
Towards run-time adaptation of test cases for self-adaptive systems in the face of uncertainty. SEAMS 2014: 17-26 - [c116]Gunter Mussbacher, Daniel Amyot, Ruth Breu, Jean-Michel Bruel, Betty H. C. Cheng, Philippe Collet, Benoît Combemale, Robert B. France, Rogardt Heldal, James H. Hill, Jörg Kienzle, Matthias Schöttle, Friedrich Steimann, Dave R. Stikkolorum, Jon Whittle:
The Relevance of Model-Driven Engineering Thirty Years from Now. MoDELS 2014: 183-200 - [e7]Nelly Bencomo, Robert B. France, Betty H. C. Cheng, Uwe Aßmann:
Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27 - December 2, 2011]. Lecture Notes in Computer Science 8378, Springer 2014, ISBN 978-3-319-08914-0 [contents] - [i4]Betty H. C. Cheng, Benoît Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe:
Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412). Dagstuhl Reports 4(10): 32-50 (2014) - 2013
- [c115]Erik M. Fredericks, Betty H. C. Cheng:
Exploring automated software composition with genetic programming. GECCO (Companion) 2013: 1733-1734 - [c114]Betty H. C. Cheng, Andres J. Ramirez, Philip K. McKinley:
Harnessing evolutionary computation to enable dynamically adaptive systems to manage uncertainty. CMSBSE@ICSE 2013: 1-6 - [c113]Erik M. Fredericks, Andres J. Ramirez, Betty H. C. Cheng:
Towards run-time testing of dynamic adaptive systems. SEAMS 2013: 169-174 - [c112]Erik M. Fredericks, Andres J. Ramirez, Betty H. C. Cheng:
Validating Code-Level Behavior of Dynamic Adaptive Systems in the Face of Uncertainty. SSBSE 2013: 81-95 - [e6]David Notkin, Betty H. C. Cheng, Klaus Pohl:
35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. IEEE Computer Society 2013, ISBN 978-1-4673-3076-3 [contents] - 2012
- [j30]Philip K. McKinley, Betty H. C. Cheng, Andres J. Ramirez, Adam C. Jensen:
Applying evolutionary computation to mitigate uncertainty in dynamically-adaptive, high-assurance middleware. J. Internet Serv. Appl. 3(1): 51-58 (2012) - [c111]Sherri Goings, Heather Goldsby, Betty H. C. Cheng, Charles Ofria:
An ecology-based evolutionary algorithm to evolve solutions to complex problems. ALIFE 2012 - [c110]Chad M. Byers, Betty H. C. Cheng, Philip K. McKinley:
Exploring the evolution of internal control structure using digital enzymes. GECCO (Companion) 2012: 1407-1408 - [c109]Andres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng:
A taxonomy of uncertainty for dynamically adaptive systems. SEAMS 2012: 99-108 - [c108]Robert B. France, James M. Bieman, Sai Pradeep Mandalaparty, Betty H. C. Cheng, Adam C. Jensen:
Repository for Model Driven Development (ReMoDD). ICSE 2012: 1471-1472 - [c107]Andres J. Ramirez, Betty H. C. Cheng, Nelly Bencomo, Pete Sawyer:
Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time. MoDELS 2012: 53-69 - [c106]Andres J. Ramirez, Erik M. Fredericks, Adam C. Jensen, Betty H. C. Cheng:
Automatically RELAXing a Goal Model to Cope with Uncertainty. SSBSE 2012: 198-212 - 2011
- [j29]Andres J. Ramirez, David B. Knoester, Betty H. C. Cheng, Philip K. McKinley:
Plato: a genetic algorithm approach to run-time reconfiguration in autonomic computing systems. Clust. Comput. 14(3): 229-244 (2011) - [c105]Andres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng:
An aspect-oriented approach for implementing evolutionary computation applications. AOSD 2011: 153-164 - [c104]Betty H. C. Cheng, Kerstin I. Eder, Martin Gogolla, Lars Grunske, Marin Litoiu, Hausi A. Müller, Patrizio Pelliccione, Anna Perini, Nauman A. Qureshi, Bernhard Rumpe, Daniel Schneider, Frank Trollmann, Norha M. Villegas:
Using Models at Runtime to Address Assurance for Self-Adaptive Systems. Models@run.time@Dagstuhl 2011: 101-136 - [c103]Chad M. Byers, Betty H. C. Cheng, Philip K. McKinley:
Digital enzymes: agents of reaction inside robotic controllers for the foraging problem. GECCO 2011: 243-250 - [c102]Andres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng, David B. Knoester:
Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems. ASE 2011: 568-571 - [c101]Nelly Bencomo, Gordon S. Blair, Robert B. France, Betty H. C. Cheng, Cédric Jeanneret:
Summary of the 6th International Workshop on Models@run.time. MoDELS (Workshops) 2011: 149-151 - [c100]Gunter Mussbacher, Wisam Al Abed, Omar Alam, Shaukat Ali, Antoine Beugnard, Valentin Bonnet, Rolv Bræk, Alfredo Capozucca, Betty H. C. Cheng, Urooj Fatima, Robert B. France, Geri Georg, Nicolas Guelfi, Paul Istoan, Jean-Marc Jézéquel, Jörg Kienzle, Jacques Klein, Jean-Baptiste Lézoray, Somayeh Malakuti, Ana Moreira, An Phung-Khac, Lucy J. Troup:
Comparing Six Modeling Approaches. MoDELS (Workshops) 2011: 217-243 - [c99]Andres J. Ramirez, Betty H. C. Cheng:
Automatic Derivation of Utility Functions for Monitoring Software Requirements. MoDELS 2011: 501-516 - [c98]Adam C. Jensen, Betty H. C. Cheng, Heather Goldsby, Edward C. Nelson:
A Toolchain for the Detection of Structural and Behavioral Latent System Properties. MoDELS 2011: 683-698 - [c97]Andres J. Ramirez, Betty H. C. Cheng, Philip K. McKinley:
An Evolutionary Approach to Network Self-Organization and Resilient Data Diffusion. SASO 2011: 198-207 - [e5]Holger Giese, Betty H. C. Cheng:
2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2011, Waikiki, Honolulu , HI, USA, May 23-24, 2011. ACM 2011, ISBN 978-1-4503-0575-4 [contents] - [i3]Uwe Aßmann, Nelly Bencomo, Betty H. C. Cheng, Robert B. France:
Models@run.time (Dagstuhl Seminar 11481). Dagstuhl Reports 1(11): 91-123 (2011) - 2010
- [j28]Jon Whittle, Peter Sawyer, Nelly Bencomo, Betty H. C. Cheng, Jean-Michel Bruel:
RELAX: a language to address uncertainty in self-adaptive systems requirement. Requir. Eng. 15(2): 177-196 (2010) - [c96]Adam C. Jensen, Betty H. C. Cheng:
On the use of genetic programming for automated refactoring and the introduction of design patterns. GECCO 2010: 1341-1348 - [c95]Andres J. Ramirez, Betty H. C. Cheng, Philip K. McKinley, Benjamin E. Beckmann:
Automatically generating adaptive logic to balance non-functional tradeoffs during reconfiguration. ICAC 2010: 225-234 - [c94]Andres J. Ramirez, Betty H. C. Cheng:
Design patterns for developing dynamically adaptive systems. SEAMS 2010: 49-58 - [c93]Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Mauro Pezzè, Richard Taylor:
Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010). ICSE (2) 2010: 447-448 - [c92]Heather Goldsby, Betty H. C. Cheng:
Automatically Discovering Properties That Specify the Latent Behavior of UML Models. MoDELS (1) 2010: 316-330 - [c91]Andres J. Ramirez, Betty H. C. Cheng, Philip K. McKinley:
Adaptive monitoring of software requirements. RE@RunTime 2010: 41-50
2000 – 2009
- 2009
- [c90]Ji Zhang, Heather Goldsby, Betty H. C. Cheng:
Modular verification of dynamically adaptive systems. AOSD 2009: 161-172 - [c89]Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Giovanna Di Marzo Serugendo, Schahram Dustdar, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger M. Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, Hausi A. Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle:
Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems 2009: 1-26 - [c88]David B. Knoester, Andres J. Ramirez, Philip K. McKinley, Betty H. C. Cheng:
Evolution of robust data distribution among digital organisms. GECCO 2009: 137-144 - [c87]Andres J. Ramirez, Betty H. C. Cheng:
Applying adaptation design patterns. ICAC 2009: 69-70 - [c86]Andres J. Ramirez, David B. Knoester, Betty H. C. Cheng, Philip K. McKinley:
Applying genetic algorithms to decision making in autonomic computing systems. ICAC 2009: 97-106 - [c85]Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor:
SEAMS 2009: Software engineering for adaptive and self-managing systems. ICSE Companion 2009: 463-464 - [c84]Betty H. C. Cheng, Peter Sawyer, Nelly Bencomo, Jon Whittle:
A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty. MoDELS 2009: 468-483 - [c83]Jon Whittle, Peter Sawyer, Nelly Bencomo, Betty H. C. Cheng, Jean-Michel Bruel:
RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems. RE 2009: 79-88 - [e4]Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee:
Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar]. Lecture Notes in Computer Science 5525, Springer 2009, ISBN 978-3-642-02160-2 [contents] - 2008
- [j27]Philip K. McKinley, Betty H. C. Cheng, Charles Ofria, David B. Knoester, Benjamin E. Beckmann, Heather Goldsby:
Harnessing Digital Evolution. Computer 41(1): 54-63 (2008) - [c82]Heather Goldsby, Peter Sawyer, Nelly Bencomo, Betty H. C. Cheng, Danny Hughes:
Goal-Based Modeling of Dynamically Adaptive System Requirements. ECBS 2008: 36-45 - [c81]Heather Goldsby, Betty H. C. Cheng:
Avida-MDE: a digital evolution approach to generating models of adaptive software behavior. GECCO 2008: 1751-1758 - [c80]Heather Goldsby, Betty H. C. Cheng, Philip K. McKinley, David B. Knoester, Charles Ofria:
Digital Evolution of Behavioral Models for Autonomic Systems. ICAC 2008: 87-96 - [c79]Andres J. Ramirez, Betty H. C. Cheng:
Design patterns for monitoring adaptive ULS systems. ULSSIS@ICSE 2008: 69-72 - [c78]Andres J. Ramirez, Betty H. C. Cheng:
Verifying and Analyzing Adaptive Logic through UML State Models. ICST 2008: 529-532 - [c77]Heather Goldsby, Betty H. C. Cheng:
Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty. MoDELS 2008: 568-583 - [e3]Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee:
Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008. Dagstuhl Seminar Proceedings 08031, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - [e2]Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard N. Taylor:
2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2008, Leipzig, Germany, May 12-13, 2008. ACM 2008, ISBN 978-1-60558-037-1 [contents] - [i2]Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos:
08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map. Software Engineering for Self-Adaptive Systems 2008 - [i1]Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos:
08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems 2008 - 2007
- [j26]Ji Zhang, Zhinan Zhou, Betty H. C. Cheng, Philip K. McKinley:
Specifying real-time properties in autonomic systems. Innov. Syst. Softw. Eng. 3(1): 3-16 (2007) - [c76]Heather Goldsby, Sascha Konrad, Betty H. C. Cheng:
Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements. HASE 2007: 7-14 - [c75]Ali Ebnenasir, Betty H. C. Cheng:
Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML. HASE 2007: 275-282 - [c74]Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor:
SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems. SEAMS 2007: 1 - [c73]Ji Zhang, Betty H. C. Cheng:
Towards Re-engineering Legacy Systems for Assured Dynamic Adaptation. MiSE@ICSE 2007: 10 - [c72]Heather Goldsby, David B. Knoester, Betty H. C. Cheng, Philip K. McKinley, Charles Ofria:
Digitally Evolving Models for Dynamically Adaptive Systems. SEAMS 2007: 13 - [c71]Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor:
SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems. ICSE Companion 2007: 152-153 - [c70]Betty H. C. Cheng, Joanne M. Atlee:
Research Directions in Requirements Engineering. FOSE 2007: 285-303 - [c69]Heather Goldsby, Betty H. C. Cheng, Ji Zhang:
AMOEBA-RT: Run-Time Verification of Adaptive Software. MoDELS (Workshops) 2007: 212-224 - [c68]Sascha Konrad, Heather Goldsby, Betty H. C. Cheng:
i2MAP : An Incremental and Iterative Modeling and Analysis Process. MoDELS 2007: 451-466 - 2006
- [j25]Ji Zhang, Betty H. C. Cheng:
Using temporal logic to specify adaptive program semantics. J. Syst. Softw. 79(10): 1361-1369 (2006) - [c67]Greg Brown, Betty H. C. Cheng, Heather Goldsby, Ji Zhang:
Goal-oriented specification of adaptation requirements engineering in adaptive systems. SEAMS@ICSE 2006: 23-29 - [c66]Ali Ebnenasir, Betty H. C. Cheng:
A Pattern-Based Approach for Modeling and Analyzing Error Recovery. WADS 2006: 115-141 - [c65]Ji Zhang, Betty H. C. Cheng:
Model-based development of dynamically adaptive software. ICSE 2006: 371-380 - [c64]Betty H. C. Cheng, David Garlan, Rogério de Lemos, Jeff Magee, Richard Taylor, Stephen Fickas, Hausi A. Müller:
Software engineering for adaptive and self-managing systems. ICSE 2006: 1015-1016 - [c63]Robert B. France, James M. Bieman, Betty H. C. Cheng:
Repository for Model Driven Development (ReMoDD). MoDELS (Workshops) 2006: 311-317 - [c62]Heather Goldsby, Betty H. C. Cheng, Sascha Konrad, Stephane Kamdoum:
A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems. MoDELS 2006: 707-721 - [c61]Ali Ebnenasir, Betty H. C. Cheng, Sascha Konrad:
Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance. RE 2006: 336-337 - [c60]Heather Goldsby, Betty H. C. Cheng:
Goal-Oriented Modeling of Requirements Engineering for Dynamically Adaptive System. RE 2006: 338-339 - [e1]Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Jeff Magee, Hausi A. Müller, Richard Taylor:
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, SEAMS 2006, Shanghai, China, May 21-22, 2006. ACM 2006, ISBN 1-59593-403-0 [contents] - 2005
- [j24]Min Deng, R. E. Kurt Stirewalt, Betty H. C. Cheng:
Retrieval by Construction: a Traceability Technique to Support Verification and Validation of Uml Formalizations. Int. J. Softw. Eng. Knowl. Eng. 15(5): 837-872 (2005) - [j23]Scott D. Fleming, Betty H. C. Cheng, R. E. Kurt Stirewalt, Philip K. McKinley:
An approach to implementing dynamic adaptation in C++. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-7 (2005) - [j22]Seyed Masoud Sadjadi, Philip K. McKinley, Betty H. C. Cheng:
Transparent shaping of existing software to support pervasive and autonomic computing. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-7 (2005) - [j21]Ji Zhang, Betty H. C. Cheng:
Specifying adaptation semantics. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-7 (2005) - [c59]Ji Zhang, Betty H. C. Cheng:
Specifying adaptation semantics. WADS@ICSE 2005: 9:1-9:7 - [c58]Sascha Konrad, Betty H. C. Cheng:
Real-time specification patterns. ICSE 2005: 372-381 - [c57]R. E. Kurt Stirewalt, Min Deng, Betty H. C. Cheng:
UML formalization is a traceability problem. TEFSE@ASE 2005: 31-36 - [c56]Sascha Konrad, Betty H. C. Cheng:
Facilitating the Construction of Specification Pattern-based Properties. RE 2005: 329-338 - [c55]Sascha Konrad, Betty H. C. Cheng:
Automated Analysis of Natural Language Properties for UML Models. MoDELS (Satellite Events) 2005: 48-57 - [c54]Betty H. C. Cheng, Ryan Stephenson, Brian Berenbach:
Lessons Learned from Automated Analysis of Industrial UML Class Models (An Experience Report). MoDELS 2005: 324-338 - 2004
- [j20]Philip K. McKinley, Seyed Masoud Sadjadi, Eric P. Kasten, Betty H. C. Cheng:
Composing Adaptive Software. Computer 37(7): 56-64 (2004) - [j19]Sascha Konrad, Betty H. C. Cheng, Laura A. Campbell:
Object Analysis Patterns for Embedded Systems. IEEE Trans. Software Eng. 30(12): 970-992 (2004) - [c53]Seyed Masoud Sadjadi, Philip K. McKinley, Betty H. C. Cheng, R. E. Kurt Stirewalt:
TRAP/J: Transparent Generation of Adaptable Java Programs. CoopIS/DOA/ODBASE (2) 2004: 1243-1261 - [c52]Seyed Masoud Sadjadi, Philip K. McKinley, R. E. Kurt Stirewalt, Betty H. C. Cheng:
Generation of Self-Optimizing Wireless Network Applications. ICAC 2004: 310-311 - [c51]Ji Zhang, Betty H. C. Cheng, Zhenxiao Yang, Philip K. McKinley:
Enabling Safe Dynamic Component-Based Software Adaptation. WADS 2004: 194-211 - [c50]Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng:
Automated Analysis of Timing Information in UML Diagrams. ASE 2004: 350-353 - [c49]Zhenxiao Yang, Zhinan Zhou, Betty H. C. Cheng, Philip K. McKinley:
Enabling collaborative adaptation across legacy components. Adaptive and Reflective Middleware 2004: 277-282 - [c48]Jesus Bisbal, Betty H. C. Cheng:
Resource-based approach to feature interaction in adaptive software. WOSS 2004: 23-27 - 2003
- [c47]Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng, Min Deng:
A Requirements Patterns-Driven Approach to Specify Systems and Check Properties. SPIN 2003: 18-33 - 2002
- [j18]Philip K. McKinley, Kurt Stirewalt, Betty H. C. Cheng, Laura K. Dillon, Sandeep S. Kulkarni:
Education: Interactive Distributed Applications and the Computer Science Curriculum. IEEE Distributed Syst. Online 3(10) (2002) - [j17]Laura A. Campbell, Betty H. C. Cheng, William E. McUmber, Kurt Stirewalt:
Automatically Detecting and Visualising Errors in UML Diagrams. Requir. Eng. 7(4): 264-287 (2002) - [j16]Betty H. C. Cheng, Enoch Y. Wang:
Formalizing and Integrating the Dynamic Model for Object-Oriented Modeling. IEEE Trans. Software Eng. 28(8): 747-762 (2002) - [c46]Sascha Konrad, Betty H. C. Cheng:
Requirements Patterns for Embedded Systems. RE 2002: 127-136 - [c45]Zhenxiao Yang, Betty H. C. Cheng, R. E. Kurt Stirewalt, J. Sowell, Seyed Masoud Sadjadi, Philip K. McKinley:
An aspect-oriented approach to dynamic adaptation. WOSS 2002: 85-92 - 2001
- [j15]Betty H. C. Cheng, Gerald C. Gannod:
Developing and Maintaining an Object-Oriented Distributed Multimedia Information System. Ann. Softw. Eng. 12(1): 95-118 (2001) - [c44]Betty H. C. Cheng:
A Metamodel-Based Approach to Formalizing UML. COMPSAC 2001: 278- - [c43]William E. McUmber, Betty H. C. Cheng:
A General Framework for Formalizing UML with Formal Languages. ICSE 2001: 433-442 - [c42]Gerald C. Gannod, Betty H. C. Cheng:
A Suite of Tools for Facilitating Reverse Engineering Using Formal Methods. IWPC 2001: 221-232 - [c41]Betty H. C. Cheng, Laura A. Campbell:
Integrating Informal and Formal Approaches to Requirements Modeling and Analysis. RE 2001: 294-295 - 2000
- [j14]Enoch Y. Wang, Betty H. C. Cheng:
Formalizing the Functional Model within Object-Oriented Design. Int. J. Softw. Eng. Knowl. Eng. 10(1): 5-30 (2000) - [j13]Betty H. C. Cheng:
Integrating object-oriented analysis and formal specifications. ACM SIGSOFT Softw. Eng. Notes 25(1): 40-41 (2000) - [j12]Betty H. C. Cheng, David M. Weiss:
Guest Editors' Introduction: Requirements Engineering - Integrating Technology. IEEE Softw. 17(3): 18-20 (2000) - [c40]Betty H. C. Cheng, Laura A. Campbell, Enoch Y. Wang:
Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams. DSN 2000: 305-314 - [c39]Laura A. Campbell, Betty H. C. Cheng:
Object-Oriented Modeling and Automated Analysis of a Telemedicine Application. IWSSD 2000: 39-50
1990 – 1999
- 1999
- [c38]William E. McUmber, Betty H. C. Cheng:
UML-Based Analysis of Embedded Systems Using a Mapping to VHDL. HASE 1999: 56-63 - [c37]Gerald C. Gannod, Betty H. C. Cheng:
A Specification Matching Based Approach to Reverse Engineering. ICSE 1999: 389-398 - [c36]Philip K. McKinley, Betty H. C. Cheng, John (Juyang) Weng:
Moving industry-guided multimedia technology into the classroom. SIGCSE 1999: 160-164 - [c35]Gerald C. Gannod, Betty H. C. Cheng:
A Framework for Classifying and Comparing Software Reverse Engineering and Design Recovery Techniques. WCRE 1999: 77-88 - [c34]Gerald C. Gannod, Betty H. C. Cheng:
A Formal Approach for Reverse Engineering: A Case Study. WCRE 1999: 100-111 - 1998
- [c33]Gerald C. Gannod, Yonghao Chen, Betty H. C. Cheng:
An Automated Approach for Supporting Software Reuse via Reverse Engineering. ASE 1998: 94- - [c32]Gerald C. Gannod, Gora Sudindranath, Mark Fagnani, Betty H. C. Cheng:
PACKRAT: A Software Reengineering Case Study. WCRE 1998: 125-134 - [c31]Betty H. C. Cheng:
A Discussion About Integrated Techniques. WIFT 1998: 65- - 1997
- [j11]David F. Robinson, Philip K. McKinley, Betty H. C. Cheng:
Path-Based Multicast Communication in Wormhole-Routed Unidirectional Torus Networks. J. Parallel Distributed Comput. 45(2): 104-121 (1997) - [j10]Betty H. C. Cheng, Jun-Jang Jeng:
Reusing Analogous Components. IEEE Trans. Knowl. Data Eng. 9(2): 341-349 (1997) - [c30]Enoch Y. Wang, Heather A. Richter, Betty H. C. Cheng:
Formalizing and Integrating the Dynamic Model within OMT. ICSE 1997: 45-55 - [c29]Yonghao Chen, Betty H. C. Cheng:
Formalizing and Automating Component Reuse. ICTAI 1997: 94-101 - [c28]Gerald C. Gannod, Betty H. C. Cheng:
A Formal Automated Approach for Reverse Engineering Programs with Pointers. ASE 1997: 219-226 - [c27]Yonghao Chen, Betty H. C. Cheng:
Facilitating an Automated Approach to Architecture-based Software Reuse. ASE 1997: 238-245 - 1996
- [j9]Gerald C. Gannod, Betty H. C. Cheng:
Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering. Autom. Softw. Eng. 3(1/2): 139-164 (1996) - [j8]Robert H. Bourdeau, Betty H. C. Cheng:
Correspondence: Response to Botting's Comments. IEEE Trans. Software Eng. 22(12): 911 (1996) - [c26]Betty H. C. Cheng:
Where and How do Formal Methods Fit in Requirements Engineering?. ICRE 1996: 154-156 - [c25]Gerald C. Gannod, Betty H. C. Cheng:
Using Informal and Formal Techniques for the Reverse Engineering of C Programs. ICSM 1996: 265-274 - [c24]Gerald C. Gannod, Betty H. C. Cheng:
Using Informal and Formal Techniques for the Reverse Engineering of C Programs. WCRE 1996: 249-258 - 1995
- [j7]David F. Robinson, Dan Judd, Philip K. McKinley, Betty H. C. Cheng:
Efficient Multicast in All-Port Wormhole-Routed Hypercubes. J. Parallel Distributed Comput. 31(2): 126-140 (1995) - [j6]Stephen W. Turner, Lionel M. Ni, Betty H. C. Cheng:
Contention-Free 2D-Mesh Cluster Allocation in Hypercubes. IEEE Trans. Computers 44(8): 1051-1055 (1995) - [j5]David F. Robinson, Philip K. McKinley, Betty H. C. Cheng:
Optimal Multicast Communication in Wormhole-Routed Torus Networks. IEEE Trans. Parallel Distributed Syst. 6(10): 1029-1042 (1995) - [j4]Robert H. Bourdeau, Betty H. C. Cheng:
A Formal Semantics for Object Model Diagrams. IEEE Trans. Software Eng. 21(10): 799-821 (1995) - [c23]Joseph L. Sharnowski, Gerald C. Gannod, Betty H. C. Cheng:
A Distributed, Multimedia Environmental Information System. ICMCS 1995: 142-149 - [c22]Joseph L. Sharnowski, Betty H. C. Cheng:
A visualization-based environment for top-down debugging of parallel programs. IPPS 1995: 640-645 - [c21]Jun-Jang Jeng, Betty H. C. Cheng:
Specification Matching for Software Reuse: A Foundation. SSR 1995: 97-105 - [c20]Gerald C. Gannod, Betty H. C. Cheng:
Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering. WCRE 1995 - 1994
- [j3]Gerald C. Gannod, Betty H. C. Cheng:
Facilitating the Maintenance of Safety-Critical Systems. Int. J. Softw. Eng. Knowl. Eng. 4(2): 183-204 (1994) - [c19]D. R. Chesney, Betty H. C. Cheng:
Generalizing the Unimodular Approach. ICPADS 1994: 398-405 - [c18]David F. Robinson, Philip K. McKinley, Betty H. C. Cheng:
Optimal Multicast Communication in a Wormhole-Routed Torus Networks. ICPP (1) 1994: 134-141 - [c17]Betty H. C. Cheng, Enoch Y. Wang, Robert H. Bourdeau:
A Graphical Environment for Formally Developing Object-Oriented Software. ICTAI 1994: 26-32 - [c16]Jun-Jang Jeng, Betty H. C. Cheng:
A Formal Approach to Reusing More General Components. KBSE 1994: 90-97 - [c15]Joseph L. Sharnowski, Betty H. C. Cheng:
A Formal Approach to Modeling Expected Behavior in Parallel Program Visualizations. PARLE 1994: 202-213 - [c14]Stephen W. Turner, Lionel M. Ni, Betty H. C. Cheng:
Time and/or space sharing in a workstation cluster environment. SC 1994: 630-639 - [c13]Betty H. C. Cheng, Robert H. Bourdeau, Gerald C. Gannod:
The object-oriented development of a distributed multimedia environmental information system. SEKE 1994: 70-77 - 1993
- [j2]Mark Vincent LaPolla, Joseph L. Sharnowski, Betty H. C. Cheng, Kevin Anderson:
Data Parallel Program Visualizations from Formal Specifications. J. Parallel Distributed Comput. 18(2): 252-257 (1993) - [c12]David F. Robinson, Betty H. C. Cheng:
A temporal model for transparent monitoring of shared-memory multiprocessors. COMPSAC 1993: 388-394 - [c11]Gerald C. Gannod, Betty H. C. Cheng:
A Two-Phase Approach to Reverse Engineering Using Formal Methods. Formal Methods in Programming and Their Applications 1993: 335-348 - [c10]Jun-Jang Jeng, Betty H. C. Cheng:
Using Formal Methods to Construct a Software Component Library. ESEC 1993: 397-417 - [c9]Stephen W. Turner, Lionel M. Ni, Betty H. C. Cheng:
Contention-Free 2D-Mesh Cluster Allocation in Hypercubes. ICPP (2) 1993: 125-129 - [c8]Jun-Jang Jeng, Betty H. C. Cheng:
Using Analogy and Formal Methods for Software Reuse. ICTAI 1993: 113-116 - [c7]David F. Robinson, Dan Judd, Philip K. McKinley, Betty H. C. Cheng:
Efficient collective data distribution in all-port wormhole-routed hypercubes. SC 1993: 792-801 - [c6]Michael R. Laux, Robert H. Bourdeau, Betty H. C. Cheng:
An Integrated Development Environment for Formal Specifications. SEKE 1993: 681-688 - 1992
- [j1]Jun-Jang Jeng, Betty H. C. Cheng:
Using Automated Reasoning Techniques to Determine Software Reuse. Int. J. Softw. Eng. Knowl. Eng. 2(4): 523-546 (1992) - [c5]Horst F. Wedde, Betty H. C. Cheng, David Gries, N. Shankar, Kwei-Jay Lin, Mark A. Ardis:
Are formal methods useful for software development? COMPSAC 1992: 2-9 - [c4]David F. Robinson, Betty H. C. Cheng, Richard J. Enbody:
A transparent monitoring tool for shared-memory multiprocessors. COMPSAC 1992: 227-232 - [c3]Robert H. Bourdeau, Betty H. C. Cheng:
An object-oriented toolkit for constructing specification editors. COMPSAC 1992: 239-244 - 1991
- [c2]Betty H. C. Cheng:
Synthesizing procedural abstractions from formal specifications. COMPSAC 1991: 149-154 - [c1]Betty H. C. Cheng, Gerald C. Gannod:
Abstraction of formal specifications from program code. ICTAI 1991: 125-128 - 1990
- [b1]Betty H. C. Cheng:
Synthesis of procedural and data abstractions. University of Illinois Urbana-Champaign, USA, 1990
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 21:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
