Travelled to:1 × Estonia
1 × Russia
1 × Spain
1 × Switzerland
1 × The Netherlands
Collaborated with:H.Wehrheim A.Schremmer ∅ J.Schrieb A.Cord-Landwehr B.Degener M.Fischer M.Hüllmann B.Kempkes A.Klaas P.Kling S.Kurras M.Märtens F.M.a.d.Heide C.Raupach K.Swierkot D.Warner C.Weddemann
Talks about:abstract (2) spotlight (1) contribut (1) algorithm (1) overhead (1) competit (1) approach (1) program (1) monitor (1) converg (1)
Person: Daniel Wonisch
DBLP: Wonisch:Daniel
Contributed to:
2013
2013
2012
2011
2009Wrote 5 papers:
- CAV-2013-WonischSW #proving #source code
- Programs from Proofs — A PCC Alternative (DW, AS, HW), pp. 912–927.
- SEFM-2013-WonischSW #monitoring #runtime
- Zero Overhead Runtime Monitoring (DW, AS, HW), pp. 244–258.
- TACAS-2012-Wonisch #abstraction #contest
- Block Abstraction Memoization for CPAchecker — (Competition Contribution) (DW), pp. 531–533.
- ICALP-v2-2011-Cord-LandwehrDFHKKKKMHRSWWW #algorithm #approach #convergence #mobile
- A New Approach for Analyzing Convergence Algorithms for Mobile Robots (ACL, BD, MF, MH, BK, AK, PK, SK, MM, FMadH, CR, KS, DW, CW, DW), pp. 650–661.
- FM-2009-SchriebWW #abstraction
- Three-Valued Spotlight Abstractions (JS, HW, DW), pp. 106–122.