Travelled to:1 × Spain
1 × United Kingdom
Collaborated with:J.B.Møller H.R.Andersen H.Hulgaard T.Ball E.Bounimova V.Levin R.Kumar
Talks about:research (1) platform (1) diagram (1) verifi (1) static (1) driver (1) differ (1) decis (1)
Person: Jakob Lichtenberg
DBLP: Lichtenberg:Jakob
Contributed to:
2010
1999Wrote 2 papers:
- CAV-2010-BallBLKL #framework #platform #research #verification
- The Static Driver Verifier Research Platform (TB, EB, VL, RK, JL), pp. 119–122.
- CSL-1999-MollerLAH #diagrams #difference
- Difference Decision Diagrams (JBM, JL, HRA, HH), pp. 111–125.