Daniel Plagge

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Supporting Validation and Verification of State-Based Formal Models.
PhD thesis, 2016

LTL Model Checking under Fairness in ProB.
Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

2013
Validation of formal models by refinement animation.
Sci. Comput. Program., 2013

Improving Railway Data Validation with ProB.
Proceedings of the Industrial Deployment of System Engineering Methods, 2013

2012
Validating B, Z and TLA + Using ProB and Kodkod.
Proceedings of the FM 2012: Formal Methods, 2012

2011
Automated property verification for large scale B models with ProB.
Formal Aspects Comput., 2011

On Fitting a Formal Method into Practice.
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.
Int. J. Softw. Tools Technol. Transf., 2010

Refinement-Animation for Event-B - Towards a Method of Validation.
Proceedings of the Abstract State Machines, 2010

2009
Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models.
Proceedings of the Testing of Software and Communication Systems, 2009

Automated Property Verification for Large Scale B Models.
Proceedings of the FM 2009: Formal Methods, 2009

2007
Validating Z Specifications Using the ProBAnimator and Model Checker.
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007


  Loading...