| pdf | | M. 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 |
| | | |
| pdf | | M. 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 |
| | | |
| pdf | | T.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 |
| | | |
| pdf | | M.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. |
| | | |
| pdf | | J.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. |
| | | |
| pdf | | M. 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 |
| | | |
| pdf | | M.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 |
| | | |
| pdf | | M. 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 |
| | | |
| pdf | | J.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. |
| | | |
| pdf | | J.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 |
| ps | pdf | | T.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. |
| | | |
| ps | pdf | | M. 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. |
| | | |
| pdf | | M.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. |
| | | |
| ps | pdf | | J.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. |
| | | |
| ps | pdf | | M.J. van Weerdenburg, Process Algebra with Local Communication, Computer Science Report 05/05, Department of Mathematics and Computer Science, Eindhoven University of Technology, 2005. |
| pdf | | M.J. van Weerdenburg, Efficient Rewriting Techniques, Ph.D. defense, April 1. |
| | | |
| pdf | | M. van Weerdenburg, Automating Soundness Proofs, SOS'08. |
| | | |
| pdf | | M. van Weerdenburg, M. Reniers, Structural Operational Semantics with First-Order Logic, ProSe (TU/e), October 25, 2007. |
| | | |
| pdf | | M. van Weerdenburg, Process Algebra with Local Communication, FACS'07. |
| | | |
| pdf | | M.A. Reniers, M. van Weerdenburg, Action Abstraction in Timed Process_Algebra: The Case for an Untimed Silent Step, ProSe (TU/e), Januari 11, 2007. |
| | | |
| pdf | | M. van Weerdenburg, Efficient Rewriting in mCRL2: An account of implementing applicative term rewriting, WRS'06. |
| | | |
| pdf | | M. van Weerdenburg, Efficient Rewriting in mCRL2, OASE (TU/e), Februari 2, 2006. |