BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Wonisch:Daniel

Contributed to:

CAV 20132013
SEFM 20132013
TACAS 20122012
ICALP (2) 20112011
FM 20092009

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.