Most cited papers in Model-Driven Software Engineering Techniques
What are the most cited papers in Model-Driven Software Engineering Techniques?
The most cited paper in Model-Driven Software Engineering Techniques is "Design Patterns: Elements of Reusable Object-Oriented Software" (Erich Gamma, Richard F. Helm, Ralph E. Johnson et al., 1994), with 21,853 citations. Next come "Statecharts: a visual formalism for complex systems" (6,762) and "A theory of timed automata" (6,524).
Showing 50 of 99 papers. Every paper with more than 542 citations is listed.
| # | Paper | ||
|---|---|---|---|
| 1 | Design Patterns: Elements of Reusable Object-Oriented Software Erich Gamma, Richard F. Helm, Ralph E. Johnson et al. | 1994 | 21,853 |
| 2 | Statecharts: a visual formalism for complex systems David Harel · Science of Computer Programming | Jun 1987 | 6,762 |
| 3 | A theory of timed automata Rajeev Alur, David L. Dill · Theoretical Computer Science | Apr 1994 | 6,524 |
| 4 | UCSF ChimeraX : Tools for structure building and analysis Elaine C. Meng, Thomas D. Goddard, Eric F. Pettersen et al. · Protein Science | 29 Sep 2023 | 4,712 |
| 5 | The Unified Modeling Language reference manual James E. Rumbaugh, Grady Booch, Ivar Jacobson · CERN Document Server (European Organization for Nuclear Research) | 1999 | 4,185 |
| 6 | The Unified Software Development Process Ivar Jacobson, Grady Booch, James E. Rumbaugh · CERN Document Server (European Organization for Nuclear Research) | 1999 | 3,395 |
| 7 | Generative Programming: Methods, Tools, and Applications Krzysztof Czarnecki, Ulrich W. Eisenecker | 16 Jun 2000 | 2,549 |
| 8 | Design and synthesis of synchronization skeletons using branching time temporal logic Edmund M. Clarke, E. Allen Emerson · Lecture notes in computer science | 19 Nov 2005 | 2,198 |
| 9 | Uppaal in a nutshell Kim G. Larsen, Paul Pettersson, Wang Yi · International Journal on Software Tools for Technology Transfer | Dec 1997 | 2,186 |
| 10 | Synthesis and Applications of RuCl2(CHR‘)(PR3)2: The Influence of the Alkylidene Moiety on Metathesis Activity Peter A. Schwab, Robert Howard Grubbs, Joseph W. Ziller · Journal of the American Chemical Society | 1996 | 2,106 |
| 11 | Goal-directed requirements acquisition Anne Dardenne, Axel van Lamsweerde, Stephen F. Fickas · Science of Computer Programming | Apr 1993 | 1,979 |
| 12 | The De-scription of Technical Objects Madeleine Akrich · HAL (Le Centre pour la Communication Scientifique Directe) | 1992 | 1,800 |
| 13 | Model Driven Engineering Stuart Kent · Lecture notes in computer science | 2002 | 1,783 |
| 14 | When and how to develop domain-specific languages Marjan Mernik, Jan Heering, Anthony M. Sloane · ACM Computing Surveys | Dec 2005 | 1,735 |
| 15 | Goal-oriented requirements engineering: a guided tour Axel van Lamsweerde | 13 Nov 2002 | 1,725 |
| 16 | The Jalview Java alignment editor Michele E. Clamp, James A. Cuff, Stephen M. J. Searle et al. · Bioinformatics | 22 Jan 2004 | 1,680 |
| 17 | NuSMV 2: An OpenSource Tool for Symbolic Model Checking Alessandro Cimatti, Edmund Melson Clarke, Enrico Giunchiglia et al. · Lecture notes in computer science | 2002 | 1,655 |
| 18 | A Tutorial on Uppaal Gerd Behrmann, Alexandre David, Kim G. Larsen · Lecture notes in computer science | 2004 | 1,591 |
| 19 | Buschmann, Frank; Meunier, Regine; Rohnert, Hans; Sommerlad, Peter; Stal, Michael. Pattern-oriented software architecture: a system of patterns, John Wiley & Sons Ltd, 1996 B.J Ferro Castro · Computación y Sistemas | 1997 | 1,511 |
| 20 | On the synthesis of a reactive module Amir Pnueli, Roni Rosner | 1989 | 1,460 |
| 21 | Canonical Configurational Interaction Procedure Jamie Michael Foster, Samuel Francis Boys · Reviews of Modern Physics | Apr 1960 | 1,408 |
| 22 | Specification and verification of concurrent systems in CESAR J. P. Queille, Joseph Sifakis · Lecture notes in computer science | 1982 | 1,302 |
| 23 | Domain-specific languages Arie van Deursen, Paul Klint, Joost Visser · ACM SIGPLAN Notices | Jun 2000 | 1,291 |
| 24 | Monitoring Temporal Properties of Continuous Signals Oded Maler, Dejan Ničković · Lecture notes in computer science | 2004 | 1,250 |
| 25 | The pragmatics of model-driven development Bran Selić · IEEE Software | Sep 2003 | 1,231 |
| 26 | Feature Models, Grammars, and Propositional Formulas Don S. Batory · Lecture notes in computer science | 2005 | 1,208 |
| 27 | A behavioral notion of subtyping Barbara H. Liskov, Jeannette M. Wing · ACM Transactions on Programming Languages and Systems | Nov 1994 | 1,187 |
| 28 | The object constraint language : precise modeling with UML Jos Warmer, Anneke Kleppe · UCLA - Biblioteca de Ciencias y Tecnologia Felix Morales Bueno | 13 Oct 1998 | 1,153 |
| 29 | Satisfiability Modulo Theories Clark Barrett, Cesare Tinelli | 2018 | 1,137 |
| 30 | Composing domain-specific design environments Ákos Lédeczi, Árpád Bakay, Miklós Maróti et al. · Computer | 2001 | 1,130 |
| 31 | Planning for conjunctive goals David Chapman · Artificial Intelligence | Jul 1987 | 1,114 |
| 32 | Model-driven Development of Complex Software: A Research Roadmap Robert France, Bernhard Rumpe⋆ | May 2007 | 1,109 |
| 33 | Taming heterogeneity - the Ptolemy approach Johan Eker, Jörn W. Janneck, Edward A. Lee et al. · Proceedings of the IEEE | 2003 | 1,075 |
| 34 | Model-driven development: a metamodeling foundation Colin Atkinson, Thomas Kühne · IEEE Software | Sep 2003 | 1,068 |
| 35 | Developing Interconnection Matrices in Structural Modeling JOHN N. WARFIELD · IEEE Transactions on Systems Man and Cybernetics | 1974 | 1,013 |
| 36 | Concepts and experiments in computational reflection Pattie Maes | Dec 1987 | 1,008 |
| 37 | Feature-based survey of model transformation approaches Krzysztof Czarnecki, Simon Helsen · IBM Systems Journal | 2006 | 985 |
| 38 | Symbolic model checking: an approach to the state explosion problem Kenneth L. McMillan · Defense Technical Information Center (DTIC) | 1992 | 982 |
| 39 | ATL: A model transformation tool Frédéric Jouault, Freddy Allilaire, Jean Bézivín et al. · Science of Computer Programming | 9 May 2008 | 979 |
| 40 | Method engineering: engineering of information systems development methods and tools Sjaak Brinkkemper · Information and Software Technology | 1996 | 959 |
| 41 | Nonlinear Finite-Element Analysis Software Architecture Using Object Composition Frank McKenna, Michael H. Scott, Gregory L. Fenves · Journal of Computing in Civil Engineering | 22 Dec 2009 | 920 |
| 42 | Rainbow: architecture-based self-adaptation with reusable infrastructure Shang-Wen Cheng, Ancheng C. Huang, David Garlan et al. | 10 Jun 2004 | 912 |
| 43 | A Taxonomy of Model Transformation Tom Mens, Pieter M. E. Van Gorp · Electronic Notes in Theoretical Computer Science | Mar 2006 | 898 |
| 44 | Model-checking for real-time systems Rajeev Alur, Costas Courcoubetis, David L. Dill | 4 Dec 2002 | 896 |
| 45 | Structured Analysis (SA): A Language for Communicating Ideas Douglas T. Ross · IEEE Transactions on Software Engineering | 1977 | 865 |
| 46 | Model-Checking in Dense Real-Time Rajeev Alur, Costas Courcoubetis, David L. Dill · Information and Computation | May 1993 | 841 |
| 47 | Temporal and Modal Logic. E. Allen Emerson | 1990 | 821 |
| 48 | Mixin-based inheritance Gilad Bracha, William R. Cook | Sep 1990 | 810 |
| 49 | Concurrency: State Models & Java Programs Jeff Magee, Jeff Kramer | 1999 | 808 |
| 50 | Model transformation: the heart and soul of model-driven software development Shane Sendall, Wojtek Kozaczynski · IEEE Software | Sep 2003 | 802 |
Citations are OpenAlex's own counts, from its 2026-09-23 snapshot, so the ranking can differ from Google Scholar or Web of Science. A paper is listed for a field when OpenAlex files it under one of the field's topics; retracted papers and papers whose citation count cannot be traced to citing works are left out, and a preprint and the article it became are shown once. Release dates are OpenAlex's: where a source gave only a month or a year, that is what is shown. How the lists are chosen.