Jörg Bräuer

703 total citations
33 papers, 274 citations indexed

About

Jörg Bräuer is a scholar working on Computational Theory and Mathematics, Software and Electrical and Electronic Engineering. According to data from OpenAlex, Jörg Bräuer has authored 33 papers receiving a total of 274 indexed citations (citations by other indexed papers that have themselves been cited), including 26 papers in Computational Theory and Mathematics, 18 papers in Software and 10 papers in Electrical and Electronic Engineering. Recurrent topics in Jörg Bräuer's work include Formal Methods in Verification (26 papers), Software Testing and Debugging Techniques (14 papers) and Radiation Effects in Electronics (7 papers). Jörg Bräuer is often cited by papers focused on Formal Methods in Verification (26 papers), Software Testing and Debugging Techniques (14 papers) and Radiation Effects in Electronics (7 papers). Jörg Bräuer collaborates with scholars based in Germany, Austria and United States. Jörg Bräuer's co-authors include Stefan Kowalewski, Bastian Schlich, John Fitzgerald, Jim Woodcock, Stylianos Basagiannis, Peter Gorm Larsen, Ole Green, Andrey Sadovykh, Thierry Lecomte and Matthias Függer and has published in prestigious journals such as SAE technical papers on CD-ROM/SAE technical paper series, Microelectronic Engineering and Science of Computer Programming.

In The Last Decade

Jörg Bräuer

28 papers receiving 260 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Jörg Bräuer Germany 9 138 116 65 58 46 33 274
Marcel Verhoef Netherlands 8 88 0.6× 73 0.6× 57 0.9× 180 3.1× 17 0.4× 21 290
Bastian Schlich Germany 13 193 1.4× 202 1.7× 98 1.5× 84 1.4× 40 0.9× 37 376
Sergiy Bogomolov Germany 11 119 0.9× 68 0.6× 138 2.1× 30 0.5× 14 0.3× 32 287
Éric Rutten France 11 192 1.4× 48 0.4× 55 0.8× 232 4.0× 20 0.4× 58 353
Victor A. Carreño United States 9 89 0.6× 52 0.4× 54 0.8× 74 1.3× 74 1.6× 26 284
Yaniv Saʼar Israel 8 245 1.8× 154 1.3× 141 2.2× 47 0.8× 27 0.6× 12 368
Borzoo Bonakdarpour United States 11 175 1.3× 94 0.8× 161 2.5× 85 1.5× 19 0.4× 57 352
Slobodan Matic United States 10 132 1.0× 20 0.2× 35 0.5× 306 5.3× 36 0.8× 17 414
Reinhard Gotzhein Germany 9 121 0.9× 71 0.6× 133 2.0× 79 1.4× 55 1.2× 63 374
Bardh Hoxha United States 11 121 0.9× 95 0.8× 81 1.2× 38 0.7× 14 0.3× 38 253

Countries citing papers authored by Jörg Bräuer

Since Specialization
Citations

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

Fields of papers citing papers by Jörg Bräuer

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Jörg Bräuer. 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 Jörg Bräuer. The network helps show where Jörg Bräuer may publish in the future.

Co-authorship network of co-authors of Jörg Bräuer

This figure shows the co-authorship network connecting the top 25 collaborators of Jörg Bräuer. A scholar is included among the top collaborators of Jörg Bräuer 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 Jörg Bräuer. Jörg Bräuer 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.
Claßen, Johannes, et al.. (2017). Advanced surface micromachining process — A first step towards 3D MEMS. 314–318. 21 indexed citations
2.
Larsen, Peter Gorm, John Fitzgerald, Jim Woodcock, et al.. (2016). Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project. Newcastle University ePrints (Newcastle Univesity). 1–6. 53 indexed citations
3.
Dahlweid, Markus, Jörg Bräuer, & Jan Peleška. (2015). Model-Based Testing: Automatic Generation of Test Cases, Test Data and Test Procedures from SysML Models. SAE technical papers on CD-ROM/SAE technical paper series. 1. 4 indexed citations
4.
Függer, Matthias, et al.. (2013). Runtime verification of embedded real-time systems. Formal Methods in System Design. 44(3). 203–239. 16 indexed citations
5.
Bräuer, Jörg, Andy King, & Stefan Kowalewski. (2012). Abstract interpretation of microcontroller code: Intervals meet congruences. Science of Computer Programming. 78(7). 862–883. 3 indexed citations
6.
Bräuer, Jörg, et al.. (2012). Runtime verification of microcontroller binary code. Science of Computer Programming. 80. 109–129. 5 indexed citations
7.
Bräuer, Jörg & Andy King. (2012). Transfer Function Synthesis without Quantifier Elimination. Logical Methods in Computer Science. Volume 8, Issue 3. 1 indexed citations
8.
Bräuer, Jörg, et al.. (2012). Adaptable Value-Set Analysis for Low-Level Code. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 1 indexed citations
9.
Bräuer, Jörg, et al.. (2012). Arcade.PLC: a verification platform for programmable logic controllers. 338–341. 54 indexed citations
10.
Bräuer, Jörg, et al.. (2011). Test-Case Generation for Embedded Binary Code Using Abstract Interpretation. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 16. 101–108. 1 indexed citations
11.
Bräuer, Jörg, et al.. (2011). SAT-based abstraction refinement for programmable logic controllers. 2988. 96–101. 4 indexed citations
12.
Horauer, Martin, et al.. (2011). Model checking embedded software of an industrial knitting machine. 1(2). 186–186. 7 indexed citations
13.
Bräuer, Jörg, et al.. (2010). Counterexample-guided abstraction refinement for PLCs. RWTH Publications (RWTH Aachen). 2–2. 13 indexed citations
14.
Bräuer, Jörg, et al.. (2010). Loop refinement using octagons and satisfiability. RWTH Publications (RWTH Aachen). 10–10. 1 indexed citations
15.
Schlich, Bastian, Jörg Bräuer, & Stefan Kowalewski. (2010). Application of static analyses for state-space reduction to the microcontroller binary code. Science of Computer Programming. 76(2). 100–118. 14 indexed citations
16.
Schlich, Bastian, et al.. (2009). Direct Model Checking of PLC Programs in IL. IFAC Proceedings Volumes. 42(5). 28–33. 25 indexed citations
17.
Laades, A., Jörg Bräuer, Uta Stürzebecher, et al.. (2009). Wet-Chemical Treatment of Solar Grade CZ Silicon Prior to Surface Passivation. EU PVSEC. 1640–1644. 4 indexed citations
18.
Bräuer, Jörg, Bastian Schlich, & Stefan Kowalewski. (2009). Parallel and Distributed Invariant Checking of Microcontroller Software. Electronic Notes in Theoretical Computer Science. 254. 45–63. 1 indexed citations
19.
Horauer, Martin, et al.. (2009). Model Checking Assembly Code of an Industrial Knitting Machine. 5000. 1–8.
20.
Beddies, G., M. Falke, Jörg Bräuer, et al.. (2000). Plasma etching of ternary silicide top layers. Microelectronic Engineering. 50(1-4). 199–209. 1 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 Marcel Verhoef Breakdown of academic impact, for papers by Bastian Schlich Breakdown of academic impact, for papers by Sergiy Bogomolov Breakdown of academic impact, for papers by Éric Rutten Breakdown of academic impact, for papers by Victor A. Carreño Breakdown of academic impact, for papers by Yaniv Saʼar Breakdown of academic impact, for papers by Borzoo Bonakdarpour Breakdown of academic impact, for papers by Slobodan Matic Breakdown of academic impact, for papers by Reinhard Gotzhein Breakdown of academic impact, for papers by Bardh Hoxha
Rankless by CCL
2026