Daniel Plagge

Publication Activity (10 Years)

Years Active: 2007-2016
Publications (10 Years): 1

Top Venues

Sci. Comput. Program.

SEFM

Heinrich Heine University Düsseldorf (PHD)

Education History

Heinrich Heine University Düsseldorf

PHD

Publications

Ivaylo Dobrikov, Michael Leuschel, Daniel Plagge
LTL Model Checking under Fairness in ProB. SEFM (2016)
Stefan Hallerstede, Michael Leuschel, Daniel Plagge
Validation of formal models by refinement animation. Sci. Comput. Program. 78 (3) (2013)
Daniel Plagge, Michael Leuschel
Validating B, Z and TLA + Using ProB and Kodkod. FM (2012)
Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge
Automated property verification for large scale B models with ProB. Formal Aspects Comput. 23 (6) (2011)
Rainer Gmehlich, Katrin Grau, Stefan Hallerstede, Michael Leuschel, Felix Lösch, Daniel Plagge
On Fitting a Formal Method into Practice. ICFEM (2011)
Stefan Hallerstede, Michael Leuschel, Daniel Plagge
Refinement-Animation for Event-B - Towards a Method of Validation. ASM (2010)
Daniel Plagge, Michael Leuschel
Seven at one stroke: LTL model checking for high-level specifications in B, Z, CSP, and more. Int. J. Softw. Tools Technol. Transf. 12 (1) (2010)
Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge
Automated Property Verification for Large Scale B Models. FM (2009)
Sebastian Wieczorek, Vitaly Kozyura, Andreas Roth, Michael Leuschel, Jens Bendisposto, Daniel Plagge, Ina Schieferdecker
Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models. TestCom/FATES (2009)
Michael Leuschel, Daniel Plagge
Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more. ISoLA (2007)
Daniel Plagge, Michael Leuschel
Validating Z Specifications Using the ProBAnimator and Model Checker. IFM (2007)

Daniel Plagge.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Daniel Plagge