Publications and other documents

Publications

pdfM. van Weerdenburg, Automating Soundness Proofs, Proceedings of the Workshop on Structural Operational Semantics (SOS 2008), volume 229/4 of Electronic Notes in Theoretical Computer Science, pp. 107-118, 2009. doi:10.1016/j.entcs.2009.07.076
pdfM. van Weerdenburg, M. Reniers, Structural Operational Semantics with First-Order Logic, Proceedings of the Workshop on Structural Operational Semantics (SOS 2008), volume 229/4 of Electronic Notes in Theoretical Computer Science, pp. 85-106, 2009. doi:10.1016/j.entcs.2009.07.075
pdfT.A.N. Engels, J.F. Groote, M.J. van Weerdenburg, T.A.C. Willemse, Search Algorithms for Automated Validation, volume 78 issue 4 of Journal of Logic and Algebraic Programming, pp. 274-287, 2009. doi:10.1016/j.jlap.2008.11.003
pdfM.J. van Weerdenburg, Efficient Rewriting Techniques, Ph.D. Thesis, Eindhoven University of Technology, 2009. (Copies available on request).
J.F. Groote, A.H.J. Mathijssen, M.A. Reniers, Y.S. Usenko, M.J. van Weerdenburg, Analysis of Distributed Systems with mCRL2, in M. Alexander and W. Gardner, eds., Process Algebra for Parallel and Distributed Processing, volume 2 of Computational Science Series, Chapman and Hall/CRC, 2008.
pdfJ.F. Groote, J.J.A. Keiren, A.H.J. Mathijssen, B. Ploeger, F.P.M. Stappers, C. Tankink, Y.S. Usenko, M.J. van Weerdenburg, J.W. Wesselink, T.A.C. Willemse and J. van der Wulp, The mCRL2 toolset, Proc. International Workshop on Advanced Software Development Tools and Techniques, 2008.
pdfM. van Weerdenburg, Process Algebra with Local Communication, Proceedings of the 4th International Workshop on Formal Aspects of Component Software (FACS 2007), volume 215 of Electronic Notes in Theoretical Computer Science, pp. 191-208, 2008. doi:10.1016/j.entcs.2008.06.028
pdfM.A. Reniers, M. van Weerdenburg, Action Abstraction in Timed Process Algebra: The Case for an Untimed Silent Step, In F. Arbab, M Sirjani, editors, Proceedings of the International Symposium on Fundamentals of Software Engineering (FSEN07), volume 4767 of Lecture Notes in Computer Science, pp. 287-301, 2007. doi:10.1007/978-3-540-75698-9_19
pdfM. van Weerdenburg, An Account of Implementing Applicative Term Rewriting, Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006), volume 174/10 of Electronic Notes in Theoretical Computer Science, pp. 139-155, 2007. doi:10.1016/j.entcs.2007.02.049
pdfJ.F. Groote, A.H.J. Mathijssen, M.A. Reniers, Y.S. Usenko, M.J. van Weerdenburg, The Formal Specification Language mCRL2, In E. Brinksma, D. Harel, A. Mader, P. Stevens, and R. Wieringa, editors, Methods for Modelling Software Systems (MMOSS), number 06351 in Dagstuhl Seminar Proceedings, 2007.
pdfJ.F. Groote, A.H.J. Mathijssen, M.J. van Weerdenburg, Y.S. Usenko, From muCRL to mCRL2: Motivation and outline, In L. Aceto and A.D. Gordon, editors, Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25), volume 162 of Electronic Notes in Theoretical Computer Science, pp. 191-196, 2006. doi:10.1016/j.entcs.2005.12.101

Technical reports

pspdfT.A.N. Engels, J.F. Groote, M.J. van Weerdenburg, T.A.C. Willemse, Search Algorithms for Automated Validation, Computer Science Report 07/24, Department of Mathematics and Computer Science, Eindhoven University of Technology, 2007.
pspdfM. van Weerdenburg, An Account of Implementing Applicative Term Rewriting, Computer Science Report 06/37, Department of Mathematics and Computer Science, Eindhoven University of Technology, 2006.
pdfM.A. Reniers, M. van Weerdenburg, Action Abstraction in Timed Process Algebra: The Case for an Untimed Silent Step, Computer Science Report 06/32, Department of Mathematics and Computer Science, Eindhoven University of Technology, 2006.
pspdfJ.F. Groote, A.H.J. Mathijssen, M.J. van Weerdenburg, Y.S. Usenko, From muCRL to mCRL2: Motivation and outline, Proc. Workshop Algebraic Process Calculi: The First Twenty Five Years and Beyond, BRICS NS-05-3, 2005, pp. 126-131.
pspdfM.J. van Weerdenburg, Process Algebra with Local Communication, Computer Science Report 05/05, Department of Mathematics and Computer Science, Eindhoven University of Technology, 2005.

Talks

pdfM.J. van Weerdenburg, Efficient Rewriting Techniques, Ph.D. defense, April 1.
pdfM. van Weerdenburg, Automating Soundness Proofs, SOS'08.
pdfM. van Weerdenburg, M. Reniers, Structural Operational Semantics with First-Order Logic, ProSe (TU/e), October 25, 2007.
pdfM. van Weerdenburg, Process Algebra with Local Communication, FACS'07.
pdfM.A. Reniers, M. van Weerdenburg, Action Abstraction in Timed Process_Algebra: The Case for an Untimed Silent Step, ProSe (TU/e), Januari 11, 2007.
pdfM. van Weerdenburg, Efficient Rewriting in mCRL2: An account of implementing applicative term rewriting, WRS'06.
pdfM. van Weerdenburg, Efficient Rewriting in mCRL2, OASE (TU/e), Februari 2, 2006.

Others

pdfM.J. van Weerdenburg, Process algebraic system verification, Poster for VVSS 2008
pdfM.J. van Weerdenburg, Process algebraic system verification, Poster for SIREN 2005
pdfM.J. van Weerdenburg, System verification with muCRL, Poster for the TU/e Embedded Systems Symposium 2005