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 × France
1 × United Kingdom
2 × The Netherlands
Collaborated with:
M.Leuschel J.Falampin F.Fritz S.Wieczorek V.Kozyura A.Roth J.Bendisposto I.Schieferdecker
Talks about:
model (5) valid (2) use (2) choreographi (1) properti (1) probanim (1) generat (1) checker (1) specif (1) kodkod (1)

Person: Daniel Plagge

DBLP DBLP: Plagge:Daniel

Contributed to:

FM 20122012
FM 20092009
TestCom/FATES 20092009
IFM 20072007

Wrote 4 papers:

FM-2012-PlaggeL #using #validation
Validating B, Z and TLA + Using ProB and Kodkod (DP, ML), pp. 372–386.
FM-2009-LeuschelFFP #automation #modelling #scalability #verification
Automated Property Verification for Large Scale B Models (ML, JF, FF, DP), pp. 708–723.
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.
IFM-2007-PlaggeL #model checking #specification #using #validation
Validating Z Specifications Using the ProBAnimator and Model Checker (DP, ML), pp. 480–500.

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.