Daniel Plagge

13 papers B 4C 2Journal 3Unranked 2
YearRankTypeTitle / Venue / Authors
2016 B conf
LTL Model Checking under Fairness in ProB.
SEFM
Ivaylo Dobrikov, Michael Leuschel, Daniel Plagge
2016 — —
Supporting Validation and Verification of State-Based Formal Models.
Daniel Plagge
2013 — ch.
Improving Railway Data Validation with ProB.
Industrial Deployment of System Engineering Methods
Jérôme Falampin, Hung Le-Dang, Michael Leuschel, Mikael Mokrani, Daniel Plagge
2013 J jnl
Validation of formal models by refinement animation.
Sci. Comput. Program.
Stefan Hallerstede, Michael Leuschel, Daniel Plagge
2012 B conf
Validating B, Z and TLA + Using ProB and Kodkod.
FM
Daniel Plagge, Michael Leuschel
2011 J jnl
Automated property verification for large scale B models with ProB.
Formal Aspects Comput.
Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge
2011 C conf
On Fitting a Formal Method into Practice.
ICFEM
Rainer Gmehlich, Katrin Grau, Stefan Hallerstede, Michael Leuschel, Felix Lösch, Daniel Plagge
2010 — conf
Refinement-Animation for Event-B - Towards a Method of Validation.
ASM
Stefan Hallerstede, Michael Leuschel, Daniel Plagge
2010 J jnl
Seven at one stroke: LTL model checking for high-level specifications in B, Z, CSP, and more.
Int. J. Softw. Tools Technol. Transf.
Daniel Plagge, Michael Leuschel
2009 — conf
Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models.
TestCom/FATES
Sebastian Wieczorek, Vitaly Kozyura, Andreas Roth, Michael Leuschel, Jens Bendisposto, Daniel Plagge, Ina Schieferdecker
2009 B conf
Automated Property Verification for Large Scale B Models.
FM
Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge
2007 C conf
Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more.
ISoLA
Michael Leuschel, Daniel Plagge
2007 B conf
Validating Z Specifications Using the ProBAnimator and Model Checker.
IFM
Daniel Plagge, Michael Leuschel