EDBT 2026 Demo / reviewers in the wild / expert
Daniel Wonisch
dblp:02/4990
· DBLP profile ↗
8ranked-venue papers
4as first author
0since 2021 · last 2013
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 6 · 4 first-authorTheory of computation · 3 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
2 papers |
Program verification · 100% | |
| Theoretical computer science
1 paper |
Distributed computing theory · 100% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program verification
proof-carrying code |
0.2 | 1 | 2013 | Programs from Proofs - A PCC Alternative · CAV 2013 |
Distributed computing theory
mobile robots |
0.1 | 1 | 2011 | A New Approach for Analyzing Convergence Algorithms for Mobile Robots · ICALP (2) 2011 |
Program verification
temporal logic |
0.0 | 1 | 2009 | Three-Valued Spotlight Abstractions · FM 2009 |
Methods — techniques the papers use, named apart from their topics
proof transformation · 0.2convergence analysis · 0.1spotlight abstraction · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2013 | Programs from Proofs - A PCC Alternative
Daniel Wonisch, Alexander Schremmer, Heike Wehrheim |
CAV | 1 |
| 2013 | Zero Overhead Runtime Monitoring
Daniel Wonisch, Alexander Schremmer, Heike Wehrheim |
SEFM | 1 |
| 2012 | Predicate Analysis with Block-Abstraction Memoization
Daniel Wonisch, Heike Wehrheim |
ICFEM | 1 |
| 2012 | Block Abstraction Memoization for CPAchecker - (Competition Contribution)
Daniel Wonisch |
TACAS | 1 |
| 2011 | A New Approach for Analyzing Convergence Algorithms for Mobile Robots
Andreas Cord-Landwehr, Bastian Degener, Matthias Fischer 0001, Martina Eikel, Barbara Kempkes, Alexander Klaas, Peter Kling, Sven Kurras, Marcus Märtens, Friedhelm Meyer auf der Heide, Christoph Raupach, Kamil Swierkot, Daniel Warner 0001, Christoph Weddemann, Daniel Wonisch |
ICALP (2) | 15 |
| 2011 | Collisionless Gathering of Robots with an Extent
Andreas Cord-Landwehr, Bastian Degener, Matthias Fischer 0001, Martina Eikel, Barbara Kempkes, Alexander Klaas, Peter Kling, Sven Kurras, Marcus Märtens, Friedhelm Meyer auf der Heide, Christoph Raupach, Kamil Swierkot, Daniel Warner 0001, Christoph Weddemann, Daniel Wonisch |
SOFSEM | 15 |
| 2009 | Three-Valued Spotlight Abstractions
Jonas Schrieb, Heike Wehrheim, Daniel Wonisch |
FM | 3 |
| 2008 | Decomposition for Compositional Verification
Björn Metzler 0001, Heike Wehrheim, Daniel Wonisch |
ICFEM | 3 |