Markus Siegle
Markus Siegle publishes mostly in Computational Theory and Mathematics, Software and Hardware and Architecture, on topics such as Formal Methods in Verification, Petri Nets in System Modeling and Software Reliability and Analysis Research.
- World rank
- #343,390 of 1,633,909 ranked researchers
- Rank in Germany
- #20,541 of 86,443
- Works
- 27
- Citations
- 122
- Citations per work
- 4.5
What does Markus Siegle research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computational Theory and Mathematics32% of their works
- 2Software10% of their works
- 3Hardware and Architecture7% of their works
- 4Control and Systems Engineering7% of their works
- 5Management Science and Operations Research7% of their works
- 6Computer Networks and Communications7% of their works
Research topics
Which keywords describe Markus Siegle's research?
The keywords of their largest research topics: Model Checking, Symbolic Model Checker, Deadlock Prevention, Petri Nets, Architecture-Based Approach, Distributed Systems, Software Reliability Modeling and Autonomic Computing.
- Consistency
- Simulation Optimization
- Reconfigurable Computing
- Log Analysis
- Autonomic Computing
- Distributed Systems
- Petri Nets
- Symbolic Model Checker
- Model Checking
- Deadlock Prevention
- Architecture-Based Approach
- Software Reliability Modeling
- High-Level Synthesis
- Performance Prediction
- Self-Adaptive Systems
- Verification and Validation
- Fault Tolerance
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 17 words, with their numbers
- Model Checking81 topic
- Symbolic Model Checker81 topic
- Deadlock Prevention51 topic
- Petri Nets51 topic
- Architecture-Based Approach31 topic
- Distributed Systems32 topics
- Software Reliability Modeling31 topic
- Autonomic Computing21 topic
- High-Level Synthesis21 topic
- Log Analysis21 topic
- Performance Prediction21 topic
- Reconfigurable Computing21 topic
- Self-Adaptive Systems21 topic
- Simulation Optimization21 topic
- Verification and Validation21 topic
- Consistency11 topic
- Fault Tolerance11 topic
Where does Markus Siegle work?
Markus Siegle's main affiliation in the publication record is Universität der Bundeswehr München, Germany.
How many publications and citations does Markus Siegle have?
Science Explorer counts 27 works and 122 citations for Markus Siegle, ranking #343,390 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.