BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Estonia
1 × South Africa
2 × France
2 × USA
Collaborated with:
S.Jabbar D.Sulewski F.Reffel Christoph Greulich E.Plaku P.Kissmann Á.Torralba P.Sanders P.Simecek A.Lluch-Lafuente
Talks about:
model (5) check (5) direct (3) search (2) physic (2) extern (2) effici (2) ltl (2) counterexampl (1) salesman (1)

Person: Stefan Edelkamp

DBLP DBLP: Edelkamp:Stefan

Facilitated 3 volumes:

GRAPHITE 2014Ed
GRAPHITE 2013Ed
GRAPHITE 2012Ed

Contributed to:

GRAPHITE 20122012
CAV 20082008
SEFM 20082008
ICGT 20062006
VMCAI 20062006
VMCAI 20052005
World Congress on Formal Methods 19991999
CIG 20142014

Wrote 9 papers:

GRAPHITE-2012-EdelkampKT #clustering #named
Lex-Partitioning: A New Option for BDD Search (SE, PK, ÁT), pp. 66–82.
CAV-2008-EdelkampSS #ltl #model checking
Semi-external LTL Model Checking (SE, PS, PS), pp. 530–542.
SEFM-2008-EdelkampS #ltl #model checking
Flash-Efficient LTL Model Checking with Minimal Counterexamples (SE, DS), pp. 73–82.
ICGT-2006-EdelkampJL #analysis #graph #heuristic
Heuristic Search for the Analysis of Graph Transition Systems (SE, SJ, ALL), pp. 414–429.
VMCAI-2006-JabbarE #linear #model checking #parallel
Parallel External Directed Model Checking with Linear I/O (SJ, SE), pp. 237–251.
VMCAI-2005-JabbarE #model checking #performance
I/O Efficient Directed Model Checking (SJ, SE), pp. 313–329.
FM-v1-1999-ReffelE #detection #fault #model checking
Error Detection with Directed Symbolic Model Checking (FR, SE), pp. 195–211.
CIG-2014-EdelkampG #adaptation #physics #policy #problem
Solving Physical Traveling Salesman Problems with policy adaptation (SE, CG), pp. 1–8.
CIG-2014-EdelkampP #game studies #multi
Multi-goal motion planning with physics-based game engines (SE, EP), pp. 1–8.

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.