Travelled to:1 × Germany
1 × The Netherlands
1 × United Kingdom
Collaborated with:M.Leuschel S.Krings S.Wieczorek V.Kozyura A.Roth D.Plagge I.Schieferdecker
Talks about:model (3) event (2) choreographi (1) generat (1) disprov (1) automat (1) analysi (1) integr (1) failur (1) proof (1)
Person: Jens Bendisposto
DBLP: Bendisposto:Jens
Contributed to:
2015
2011
2009Wrote 3 papers:
- SEFM-2015-KringsBL #proving
- From Failure to Proof: The ProB Disprover for B and Event-B (SK, JB, ML), pp. 199–214.
- FASE-2011-BendispostoL #analysis #automation
- Automatic Flow Analysis for Event-B (JB, ML), pp. 50–64.
- TestCom-FATES-2009-WieczorekKRLBPS #integration #model checking #modelling #testing
- Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models (SW, VK, AR, ML, JB, DP, IS), pp. 179–194.