According to our database1, Daniel Plagge authored at least 12 papers between 2007 and 2016.
Legend:Book In proceedings Article PhD thesis Other
PhD thesis, 2016
Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016
Proceedings of the Industrial Deployment of System Engineering Methods, 2013
Proceedings of the FM 2012: Formal Methods, 2012
Formal Aspects Comput., 2011
Proceedings of the Formal Methods and Software Engineering, 2011
Seven at one stroke: LTL model checking for high-level specifications in B, Z, CSP, and more.
Int. J. Softw. Tools Technol. Transf., 2010
Proceedings of the Abstract State Machines, 2010
Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models.
Proceedings of the Testing of Software and Communication Systems, 2009
Proceedings of the FM 2009: Formal Methods, 2009
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007