Daniel Plagge

According to our database, Daniel Plagge authored at least 12 papers between 2007 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Supporting Validation and Verification of State-Based Formal Models.

Daniel Plagge

PhD thesis, 2016

LTL Model Checking under Fairness in ProB.

Ivaylo Dobrikov, Michael Leuschel, Daniel Plagge

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

2013

Validation of formal models by refinement animation.

Stefan Hallerstede, Michael Leuschel, Daniel Plagge

Sci. Comput. Program., 2013

Improving Railway Data Validation with ProB.

Jérôme Falampin, Hung Le-Dang, Michael Leuschel, Mikael Mokrani, Daniel Plagge

Proceedings of the Industrial Deployment of System Engineering Methods, 2013

2012

Validating B, Z and TLA + Using ProB and Kodkod.

Daniel Plagge, Michael Leuschel

Proceedings of the FM 2012: Formal Methods, 2012

2011

Automated property verification for large scale B models with ProB.

Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge

Formal Aspects Comput., 2011

On Fitting a Formal Method into Practice.

Rainer Gmehlich, Katrin Grau, Stefan Hallerstede, Michael Leuschel, Felix Lösch, Daniel Plagge

Proceedings of the Formal Methods and Software Engineering, 2011

2010

Seven at one stroke: LTL model checking for high-level specifications in B, Z, CSP, and more.

Daniel Plagge, Michael Leuschel

Int. J. Softw. Tools Technol. Transf., 2010

Refinement-Animation for Event-B - Towards a Method of Validation.

Stefan Hallerstede, Michael Leuschel, Daniel Plagge

Proceedings of the Abstract State Machines, 2010

2009

Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models.

Sebastian Wieczorek, Vitaly Kozyura, Andreas Roth, Michael Leuschel, Jens Bendisposto, Daniel Plagge, Ina Schieferdecker

Proceedings of the Testing of Software and Communication Systems, 2009

Automated Property Verification for Large Scale B Models.

Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge

Proceedings of the FM 2009: Formal Methods, 2009

2007

Validating Z Specifications Using the ProBAnimator and Model Checker.

Daniel Plagge, Michael Leuschel

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007