Martin Weiglhofer

653 total citations
22 papers, 266 citations indexed

About

Martin Weiglhofer is a scholar working on Software, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Martin Weiglhofer has authored 22 papers receiving a total of 266 indexed citations (citations by other indexed papers that have themselves been cited), including 17 papers in Software, 13 papers in Computational Theory and Mathematics and 8 papers in Computer Networks and Communications. Recurrent topics in Martin Weiglhofer's work include Software Testing and Debugging Techniques (17 papers), Software Reliability and Analysis Research (13 papers) and Formal Methods in Verification (13 papers). Martin Weiglhofer is often cited by papers focused on Software Testing and Debugging Techniques (17 papers), Software Reliability and Analysis Research (13 papers) and Formal Methods in Verification (13 papers). Martin Weiglhofer collaborates with scholars based in Austria, China and Switzerland. Martin Weiglhofer's co-authors include Franz Wotawa, Stefan Galler, Barbara Jobstmann, Roderick Bloem, Amir Pnueli, Nir Piterman, Bernhard K. Aichernig, Bernhard Peischl, Gordon Fraser and Mathias Brandstötter and has published in prestigious journals such as Information and Software Technology, Electronic Notes in Theoretical Computer Science and Design, Automation, and Test in Europe.

In The Last Decade

Martin Weiglhofer

22 papers receiving 240 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Martin Weiglhofer Austria	9	217	171	76	42	42	22	266
Arnaud Venet United States	6	101 0.5×	90 0.5×	79 1.0×	41 1.0×	47 1.1×	12	176
H. Veith United States	6	149 0.7×	163 1.0×	125 1.6×	50 1.2×	31 0.7×	7	275
Jean-Luc Richier France	7	110 0.5×	132 0.8×	83 1.1×	32 0.8×	57 1.4×	16	237
Bruno Marre France	8	290 1.3×	139 0.8×	48 0.6×	109 2.6×	46 1.1×	13	320
Vlad Rusu France	8	137 0.6×	148 0.9×	116 1.5×	56 1.3×	39 0.9×	29	243
Robert Könighofer Austria	8	165 0.8×	166 1.0×	84 1.1×	34 0.8×	29 0.7×	18	235
Dana Fisman Israel	8	144 0.7×	194 1.1×	178 2.3×	74 1.8×	59 1.4×	30	312
Matthias Heizmann Germany	8	97 0.4×	95 0.6×	68 0.9×	28 0.7×	27 0.6×	15	149
Yunja Choi South Korea	10	188 0.9×	149 0.9×	65 0.9×	53 1.3×	69 1.6×	46	262
Roland Groz France	8	183 0.8×	92 0.5×	84 1.1×	56 1.3×	36 0.9×	22	254

Countries citing papers authored by Martin Weiglhofer

Since Specialization

Citations

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

Fields of papers citing papers by Martin Weiglhofer

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Martin Weiglhofer

This figure shows the co-authorship network connecting the top 25 collaborators of Martin Weiglhofer. A scholar is included among the top collaborators of Martin Weiglhofer 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 Martin Weiglhofer. Martin Weiglhofer is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Weiglhofer, Martin, et al.. (2010). When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving. 4966. 479–488. 6 indexed citations

Weiglhofer, Martin, et al.. (2010). Automated Conformance Verification of Hybrid Systems. Zenodo (CERN European Organization for Nuclear Research). 19. 3–12. 16 indexed citations

Galler, Stefan, Martin Weiglhofer, & Franz Wotawa. (2010). Synthesize It: From Design by Contract to Meaningful Test Input Data. 4. 286–295. 2 indexed citations

Weiglhofer, Martin, Bernhard K. Aichernig, & Franz Wotawa. (2009). Fault-Based Conformance Testing in Practice. 3. 375–411. 11 indexed citations

Weiglhofer, Martin, Gordon Fraser, & Franz Wotawa. (2009). Using coverage to automate and improve test purpose based testing. Information and Software Technology. 51(11). 1601–1617. 8 indexed citations

Weiglhofer, Martin & Franz Wotawa. (2009). Asynchronous Input-Output Conformance Testing. 7. 154–159. 18 indexed citations

Weiglhofer, Martin & Franz Wotawa. (2009). Improving Coverage Based Test Purposes. 18. 219–228. 4 indexed citations

Weiglhofer, Martin. (2009). Automated Software Conformance Testing. 4 indexed citations

Weiglhofer, Martin & Franz Wotawa. (2008). On the fly input output conformance verification. International Conference on Software Engineering. 286–291. 7 indexed citations

10.

Weiglhofer, Martin & Franz Wotawa. (2008). RANDOM VS. SCENARIO-BASED VS. FAULT-BASED TESTING - An Industrial Evaluation of Formal Black-Box Testing Methods. 115–122. 4 indexed citations

11.

Aichernig, Bernhard K., Martin Weiglhofer, & Franz Wotawa. (2008). Improving Fault-based Conformance Testing. Electronic Notes in Theoretical Computer Science. 220(1). 63–77. 7 indexed citations

12.

Fraser, Gordon, Martin Weiglhofer, & Franz Wotawa. (2008). Coverage Based Testing with Test Purposes. 7. 199–208. 9 indexed citations

13.

Fraser, Gordon, Martin Weiglhofer, & Franz Wotawa. (2008). Using Observer Automata to Select Test Cases for Test Purposes. 709–714. 2 indexed citations

14.

Bloem, Roderick, Stefan Galler, Barbara Jobstmann, et al.. (2007). Interactive presentation: Automatic hardware synthesis from specifications: a case study. Design, Automation, and Test in Europe. 1188–1193. 32 indexed citations

15.

Aichernig, Bernhard K., Martin Weiglhofer, Bernhard Peischl, & Franz Wotawa. (2007). Test purpose generation in an industrial application. 115–125. 5 indexed citations

16.

Peischl, Bernhard, Martin Weiglhofer, & Franz Wotawa. (2007). Executing Abstract Test Cases. 416–421. 2 indexed citations

17.

Bloem, Roderick, Stefan Galler, Barbara Jobstmann, et al.. (2007). Automatic Hardware Synthesis from Specifications: A Case Study. 1–6. 39 indexed citations

18.

Bloem, Roderick, Stefan Galler, Barbara Jobstmann, et al.. (2007). Specify, Compile, Run: Hardware from PSL. Electronic Notes in Theoretical Computer Science. 190(4). 3–16. 59 indexed citations

19.

Aichernig, Bernhard K., Bernhard Peischl, Martin Weiglhofer, & Franz Wotawa. (2007). Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods. 7. 215–226. 23 indexed citations

20.

Steinbauer, Gerald, et al.. (2006). Mostly Harmless Team Description 2006 - Robust Control of Mobile Robots.. 0–0. 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