Dominik Stoffel

970 total citations
74 papers, 556 citations indexed

About

Dominik Stoffel is a scholar working on Hardware and Architecture, Computational Theory and Mathematics and Electrical and Electronic Engineering. According to data from OpenAlex, Dominik Stoffel has authored 74 papers receiving a total of 556 indexed citations (citations by other indexed papers that have themselves been cited), including 62 papers in Hardware and Architecture, 45 papers in Computational Theory and Mathematics and 38 papers in Electrical and Electronic Engineering. Recurrent topics in Dominik Stoffel's work include Formal Methods in Verification (44 papers), VLSI and Analog Circuit Testing (29 papers) and Radiation Effects in Electronics (29 papers). Dominik Stoffel is often cited by papers focused on Formal Methods in Verification (44 papers), VLSI and Analog Circuit Testing (29 papers) and Radiation Effects in Electronics (29 papers). Dominik Stoffel collaborates with scholars based in Germany, United States and Vietnam. Dominik Stoffel's co-authors include Wolfgang Kunz, Markus Wedler, P.R. Menon, Subhasish Mitra, Görschwin Fey, E. Yu. Pavlenko, Bernard Schmidt, Gert–Martin Greuel, Christian Bartsch and Sayak Ray and has published in prestigious journals such as IEEE Access, IEEE Transactions on Computers and IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

In The Last Decade

Dominik Stoffel

65 papers receiving 527 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Dominik Stoffel Germany 15 413 316 263 155 118 74 556
Harry Foster United States 10 338 0.8× 205 0.6× 203 0.8× 76 0.5× 183 1.6× 29 478
Shobha Vasudevan United States 14 382 0.9× 267 0.8× 292 1.1× 113 0.7× 277 2.3× 58 652
Shinobu Nagayama Japan 10 162 0.4× 251 0.8× 116 0.4× 93 0.6× 96 0.8× 70 390
Per Bjesse United States 9 284 0.7× 264 0.8× 97 0.4× 147 0.9× 134 1.1× 18 452
Hoang M. Le Germany 12 290 0.7× 159 0.5× 171 0.7× 109 0.7× 124 1.1× 37 418
Karen Yorav Israel 7 134 0.3× 300 0.9× 53 0.2× 146 0.9× 244 2.1× 21 424
Congguang Yang United States 7 322 0.8× 356 1.1× 212 0.8× 121 0.8× 199 1.7× 10 578
E. Cerny Canada 12 430 1.0× 297 0.9× 246 0.9× 88 0.6× 222 1.9× 72 668
Marius Minea United States 12 175 0.4× 236 0.7× 47 0.2× 90 0.6× 163 1.4× 24 414
Vigyan Singhal United States 12 261 0.6× 331 1.0× 194 0.7× 82 0.5× 134 1.1× 27 518

Countries citing papers authored by Dominik Stoffel

Since Specialization
Citations

This map shows the geographic impact of Dominik Stoffel'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 Dominik Stoffel with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Dominik Stoffel more than expected).

Fields of papers citing papers by Dominik Stoffel

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Dominik Stoffel. 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 Dominik Stoffel. The network helps show where Dominik Stoffel may publish in the future.

Co-authorship network of co-authors of Dominik Stoffel

This figure shows the co-authorship network connecting the top 25 collaborators of Dominik Stoffel. A scholar is included among the top collaborators of Dominik Stoffel 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 Dominik Stoffel. Dominik Stoffel 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.
2.
Müller, Johannes, et al.. (2024). A Golden-Free Formal Method for Trojan Detection in Non-Interfering Accelerators. 1–6. 1 indexed citations
3.
4.
5.
6.
Stoffel, Dominik, et al.. (2023). Fault Attacks on Access Control in Processors: Threat, Formal Analysis and Microarchitectural Mitigation. IEEE Access. 1–1. 6 indexed citations
7.
Jung, Matthias, et al.. (2022). A Framework for Formal Verification of DRAM Controllers. Fraunhofer-Publica (Fraunhofer-Gesellschaft). 1–7. 1 indexed citations
8.
Bartsch, Christian, et al.. (2021). Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation. 409–418. 1 indexed citations
9.
10.
Singh, Eshan, Clark Barrett, Subhasish Mitra, et al.. (2020). Gap-free Processor Verification by S2QED and Property Generation. 526–531. 6 indexed citations
11.
Stoffel, Dominik, et al.. (2016). Speculative disassembly of binary code. 1–10. 22 indexed citations
12.
Bartsch, Christian, et al.. (2014). Efficient SAT/simulation-based model generation for low-level embedded software.. 147–157. 1 indexed citations
13.
Schmidt, Bernard, et al.. (2013). An equivalence checker for hardware-dependent embedded system software. Formal Methods. 119–128. 5 indexed citations
14.
Wedler, Markus, et al.. (2010). Analyzing k-step induction to compute invariants for SAT-based property checking.. 87–96.
15.
Stoffel, Dominik, et al.. (2005). Transition-by-transition FSM traversal for reachability analysis in bounded model checking. International Conference on Computer Aided Design. 1068–1075. 2 indexed citations
16.
Wedler, Markus, Dominik Stoffel, & Wolfgang Kunz. (2004). Exploiting state encoding for invariant generation in induction-based property checking. Asia and South Pacific Design Automation Conference. 424–429. 5 indexed citations
17.
Wedler, Markus, Dominik Stoffel, & Wolfgang Kunz. (2004). Arithmetic reasoning in DPLL-based SAT solving. Design, Automation, and Test in Europe. 1. 10030–10030. 4 indexed citations
18.
Stoffel, Dominik, et al.. (2004). Cost-efficient block verification for a UMTS up-link chip-rate coprocessor. Design, Automation, and Test in Europe. 1. 10162. 15 indexed citations
19.
Stoffel, Dominik & Wolfgang Kunz. (2001). Verification of integer multipliers on the arithmetic bit level. International Conference on Computer Aided Design. 183–189. 16 indexed citations
20.
Stoffel, Dominik & Wolfgang Kunz. (1997). Record & play: a structural fixed point iteration for sequential circuit verification. International Conference on Computer Aided Design. 394–399. 22 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 Harry Foster Breakdown of academic impact, for papers by Shobha Vasudevan Breakdown of academic impact, for papers by Shinobu Nagayama Breakdown of academic impact, for papers by Per Bjesse Breakdown of academic impact, for papers by Hoang M. Le Breakdown of academic impact, for papers by Karen Yorav Breakdown of academic impact, for papers by Congguang Yang Breakdown of academic impact, for papers by E. Cerny Breakdown of academic impact, for papers by Marius Minea Breakdown of academic impact, for papers by Vigyan Singhal
Rankless by CCL
2026