Werner Damm

3.9k total citations
66 papers, 1.4k citations indexed

About

Werner Damm is a scholar working on Computational Theory and Mathematics, Hardware and Architecture and Software. According to data from OpenAlex, Werner Damm has authored 66 papers receiving a total of 1.4k indexed citations (citations by other indexed papers that have themselves been cited), including 39 papers in Computational Theory and Mathematics, 25 papers in Hardware and Architecture and 25 papers in Software. Recurrent topics in Werner Damm's work include Formal Methods in Verification (38 papers), Embedded Systems Design Techniques (22 papers) and Model-Driven Software Engineering Techniques (16 papers). Werner Damm is often cited by papers focused on Formal Methods in Verification (38 papers), Embedded Systems Design Techniques (22 papers) and Model-Driven Software Engineering Techniques (16 papers). Werner Damm collaborates with scholars based in Germany, United States and Italy. Werner Damm's co-authors include David Harel, Alberto Sangiovanni‐Vincentelli, Roberto Passerone, Bernhard Josko, Hardi Hungar, Thomas Peikenkamp, Andreas Goerdt, Bernd Westphal, Ingo Stierand and Albert Benveniste and has published in prestigious journals such as SHILAP Revista de lepidopterología, IEEE Transactions on Software Engineering and SAE technical papers on CD-ROM/SAE technical paper series.

In The Last Decade

Werner Damm

65 papers receiving 1.3k citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Werner Damm Germany 16 808 692 562 315 219 66 1.4k
Roderick Bloem Austria 24 1.1k 1.4× 750 1.1× 810 1.4× 306 1.0× 214 1.0× 90 1.7k
Dino Mandrioli Italy 22 986 1.2× 639 0.9× 593 1.1× 424 1.3× 345 1.6× 94 1.7k
Jean-Raymond Abrial Switzerland 14 868 1.1× 802 1.2× 637 1.1× 260 0.8× 340 1.6× 26 1.5k
Michel Reniers Netherlands 18 864 1.1× 488 0.7× 250 0.4× 253 0.8× 129 0.6× 141 1.2k
Marco Roveri Italy 22 958 1.2× 1.3k 1.8× 723 1.3× 196 0.6× 436 2.0× 94 2.0k
Constance Heitmeyer United States 23 1.1k 1.3× 1.0k 1.5× 1.2k 2.2× 256 0.8× 631 2.9× 84 2.2k
Dimitra Giannakopoulou United States 18 490 0.6× 574 0.8× 528 0.9× 88 0.3× 322 1.5× 62 998
Xavier Nicollin France 9 1.5k 1.9× 525 0.8× 656 1.2× 617 2.0× 50 0.2× 11 1.8k
Natarajan Shankar United States 20 768 1.0× 732 1.1× 379 0.7× 376 1.2× 160 0.7× 53 1.3k
Bernd–Holger Schlingloff Germany 10 1.9k 2.3× 1.3k 1.9× 1.2k 2.1× 464 1.5× 409 1.9× 47 2.8k

Countries citing papers authored by Werner Damm

Since Specialization
Citations

This map shows the geographic impact of Werner Damm's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Werner Damm with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Werner Damm more than expected).

Fields of papers citing papers by Werner Damm

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Werner Damm. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Werner Damm. The network helps show where Werner Damm may publish in the future.

Co-authorship network of co-authors of Werner Damm

This figure shows the co-authorship network connecting the top 25 collaborators of Werner Damm. A scholar is included among the top collaborators of Werner Damm based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Werner Damm. Werner Damm is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Benveniste, Albert, Benoı̂t Caillaud, Dejan Ničković, et al.. (2018). Contracts for System Design. VBN Forskningsportal (Aalborg Universitet). 12(2-3). 124–400. 103 indexed citations
2.
Damm, Werner, et al.. (2018). Perspectives on the Validation and Verification of Machine Learning Systems in the Context of Highly Automated Vehicles.. National Conference on Artificial Intelligence. 1 indexed citations
3.
Althaus, Ernst, et al.. (2017). Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement. Science of Computer Programming. 148. 123–160. 3 indexed citations
4.
Damm, Werner, et al.. (2011). Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces. Science of Computer Programming. 77(10-11). 1122–1150. 10 indexed citations
5.
Damm, Werner & Holger Hermanns. (2007). Computer aided verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings. Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)). 7 indexed citations
6.
Becker, Bernd, Andreas Podelski, Werner Damm, et al.. (2007). SFB/TR 14 AVACS – Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS – Automatische Verifikation und Analyse komplexer Systeme). it - Information Technology. 49(2). 118–126. 3 indexed citations
7.
Ehrig, Hartmut, Werner Damm, Jörg Desel, et al.. (2004). Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation (DFG) : final report. DIAL (Catholic University of Leuven). 4 indexed citations
8.
Damm, Werner, et al.. (2004). A discrete-time UML semantics for concurrency and communication in safety-critical applications. Science of Computer Programming. 55(1-3). 81–115. 32 indexed citations
9.
Damm, Werner & Bernd Westphal. (2004). Live and let die: LSC based verification of UML models. Science of Computer Programming. 55(1-3). 117–159. 17 indexed citations
10.
Damm, Werner, et al.. (2004). Model Checking. Informatik-Spektrum. 27(2). 146–158. 3 indexed citations
11.
Damm, Werner, et al.. (2003). Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung.. GI Jahrestagung (1). 340–344. 3 indexed citations
12.
Damm, Werner, et al.. (2002). Formal techniques in real-time and fault-tolerant systems : 7th International Symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002 : proceedings. Springer eBooks. 3 indexed citations
13.
Damm, Werner, et al.. (2000). The STATEMATE Verification Environment - Making It Real. 561–567. 11 indexed citations
14.
Damm, Werner, et al.. (1998). A Compositional Real-time Semantics of STATEMATE Designs. 8 indexed citations
15.
Damm, Werner, et al.. (1995). Specification and verification of VHDL-based system-level hardware designs. Oxford University Press eBooks. 331–409. 16 indexed citations
16.
Damm, Werner, et al.. (1994). Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams. 341–359. 3 indexed citations
17.
Damm, Werner. (1988). A microprogramming logic. IEEE Transactions on Software Engineering. 14(5). 559–574. 1 indexed citations
18.
Damm, Werner & Andreas Goerdt. (1986). An automata-theoretical characterization of the OI-hierarchy. Information and Control. 71(1-2). 1–32. 32 indexed citations
19.
Damm, Werner, et al.. (1985). Verification of microprogrammed computer architectures in the S*-system: a case study. ACM SIGMICRO newsletter/SIGMICRO newsletter/SIGMICRO, TCMICRO newsletter. 16(4). 61–73. 4 indexed citations
20.
Damm, Werner. (1982). The IO- and OI-hierarchies. Theoretical Computer Science. 20(2). 95–207. 82 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Roderick Bloem Breakdown of academic impact, for papers by Dino Mandrioli Breakdown of academic impact, for papers by Jean-Raymond Abrial Breakdown of academic impact, for papers by Michel Reniers Breakdown of academic impact, for papers by Marco Roveri Breakdown of academic impact, for papers by Constance Heitmeyer Breakdown of academic impact, for papers by Dimitra Giannakopoulou Breakdown of academic impact, for papers by Xavier Nicollin Breakdown of academic impact, for papers by Natarajan Shankar Breakdown of academic impact, for papers by Bernd–Holger Schlingloff
Rankless by CCL
2026