Bernhard K. Aichernig

2.2k total citations
91 papers, 616 citations indexed

About

Bernhard K. Aichernig is a scholar working on Software, Computational Theory and Mathematics and Artificial Intelligence. According to data from OpenAlex, Bernhard K. Aichernig has authored 91 papers receiving a total of 616 indexed citations (citations by other indexed papers that have themselves been cited), including 68 papers in Software, 35 papers in Computational Theory and Mathematics and 31 papers in Artificial Intelligence. Recurrent topics in Bernhard K. Aichernig's work include Software Testing and Debugging Techniques (64 papers), Software Reliability and Analysis Research (35 papers) and Formal Methods in Verification (34 papers). Bernhard K. Aichernig is often cited by papers focused on Software Testing and Debugging Techniques (64 papers), Software Reliability and Analysis Research (35 papers) and Formal Methods in Verification (34 papers). Bernhard K. Aichernig collaborates with scholars based in Austria, China and Germany. Bernhard K. Aichernig's co-authors include Willibald Krenn, Franz Wotawa, Martin Tappler, Martin Weiglhofer, Stefan Galler, Meng Sun, He Jifeng, Bernhard Peischl, Tom Maibaum and Bettina Könighofer and has published in prestigious journals such as IEEE Software, Lecture notes in computer science and Real-Time Systems.

In The Last Decade

Bernhard K. Aichernig

80 papers receiving 578 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Bernhard K. Aichernig Austria 14 453 203 192 183 105 91 616
Adenilso Simão Brazil 13 468 1.0× 221 1.1× 111 0.6× 149 0.8× 150 1.4× 85 605
Kirill Bogdanov United Kingdom 11 428 0.9× 261 1.3× 156 0.8× 159 0.9× 141 1.3× 24 553
Fevzi Belli Germany 13 636 1.4× 278 1.4× 83 0.4× 142 0.8× 226 2.2× 99 733
Sungdeok Cha South Korea 16 264 0.6× 182 0.9× 114 0.6× 147 0.8× 162 1.5× 41 531
Thierry Jéron France 12 438 1.0× 134 0.7× 399 2.1× 176 1.0× 140 1.3× 35 703
Liviu Tancau United States 7 270 0.6× 228 1.1× 217 1.1× 297 1.6× 136 1.3× 8 624
Doron Drusinsky United States 12 262 0.6× 103 0.5× 295 1.5× 204 1.1× 76 0.7× 62 535
Sascha Konrad United States 10 232 0.5× 231 1.1× 168 0.9× 282 1.5× 67 0.6× 20 482
Wolfgang Grieskamp United States 14 890 2.0× 461 2.3× 249 1.3× 247 1.3× 194 1.8× 45 1.0k

Countries citing papers authored by Bernhard K. Aichernig

Since Specialization
Citations

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

Fields of papers citing papers by Bernhard K. Aichernig

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Bernhard K. Aichernig

This figure shows the co-authorship network connecting the top 25 collaborators of Bernhard K. Aichernig. A scholar is included among the top collaborators of Bernhard K. Aichernig 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 Bernhard K. Aichernig. Bernhard K. Aichernig 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.
Tappler, Martin, et al.. (2024). On the Relationship Between RNN Hidden-State Vectors and Semantic Structures. 5641–5658. 1 indexed citations
2.
3.
Tappler, Martin, et al.. (2024). Active model learning of stochastic reactive systems (extended version). Software & Systems Modeling. 23(2). 503–524.
4.
Aichernig, Bernhard K., et al.. (2024). Learning minimal automata with recurrent neural networks. Software & Systems Modeling. 23(3). 625–655. 2 indexed citations
5.
Aichernig, Bernhard K., et al.. (2024). A framework for embedded software portability and verification: from formal models to low-level code. Software & Systems Modeling. 23(2). 289–315. 2 indexed citations
6.
Aichernig, Bernhard K., et al.. (2022). Fingerprinting and analysis of Bluetooth devices with automata learning. Formal Methods in System Design. 61(1). 35–62. 1 indexed citations
7.
Tappler, Martin, et al.. (2021). 𝐿*-based learning of Markov decision processes: Extended version. VBN Forskningsportal (Aalborg Universitet). 7 indexed citations
8.
Aichernig, Bernhard K., et al.. (2014). Model-based mutation testing via symbolic refinement checking. Science of Computer Programming. 97. 383–404. 14 indexed citations
9.
Aichernig, Bernhard K., et al.. (2011). Formal Methods for Components and Objects", 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 --- "State-of-the-Art Survey. Lecture notes in computer science. 6957. 1–386. 2 indexed citations
10.
Sun, Meng, et al.. (2011). Connectors as designs: Modeling, refinement and test case generation. Science of Computer Programming. 77(7-8). 799–822. 13 indexed citations
11.
Weiglhofer, Martin, Bernhard K. Aichernig, & Franz Wotawa. (2009). Fault-Based Conformance Testing in Practice. 3. 375–411. 11 indexed citations
12.
Krenn, Willibald, et al.. (2009). Mapping UML to labeled transition systems for test-case generation: a translation via object-oriented action systems. Formal Methods. 186–207. 8 indexed citations
13.
Li, Dan & Bernhard K. Aichernig. (2008). Combining algebraic and model-based test case generation.
14.
Aichernig, Bernhard K. & T. S. E. Maibaum. (2004). Formal Methods at the Crossroads: From Panacea to Foundational Support: 10th Anniversary Colloquium of Unu/Iist, the International Institute for Software Technology of the United (Lecture Notes in Computer Science, 2757). Formal Methods. 2 indexed citations
15.
Aichernig, Bernhard K., et al.. (2003). Formal methods at the crossroads : from panacea to foundational support : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers. Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)). 6 indexed citations
16.
Aichernig, Bernhard K., et al.. (2003). A Coalgebraic Calculus for Component Based Systems. Formal Methods. 27–46. 2 indexed citations
17.
Aichernig, Bernhard K., et al.. (2000). Requirements Validation of a Voice Communication System Used in Air Traffic Control. 190. 2 indexed citations
18.
Aichernig, Bernhard K., et al.. (1999). Formal Specification of a Voice Communication System Used in Air Traffic Control. Formal Methods. 1868. 3 indexed citations
19.
Aichernig, Bernhard K.. (1999). Executable specifications in software reliability engineering. 34(3). 254; author reply 255–254; author reply 255. 1 indexed citations
20.
Aichernig, Bernhard K.. (1998). Automated requirements testing with abstract oracles. 33(6). 21–22. 3 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 Adenilso Simão Breakdown of academic impact, for papers by Kirill Bogdanov Breakdown of academic impact, for papers by Fevzi Belli Breakdown of academic impact, for papers by Sungdeok Cha Breakdown of academic impact, for papers by Thierry Jéron Breakdown of academic impact, for papers by Liviu Tancau Breakdown of academic impact, for papers by Doron Drusinsky Breakdown of academic impact, for papers by Sascha Konrad Breakdown of academic impact, for papers by Wolfgang Grieskamp
Rankless by CCL
2026