Dragan Bosnacki, Aad Mathijssen, Yaroslav S. Usenko. Behavioural Analysis of an I²C Linux Driver. Proc. FMICS 2009. LNCS 5825, pages 205-206, Springer 2009. [article, poster]
Dragan Bosnacki, Aad Mathijssen, Yaroslav S. Usenko. Behavioural Analysis of an I²C Linux Driver. CS-Report 09-09, Technische Universiteit Eindhoven, 2009. [pdf]
Aad Mathijssen. Modelgebaseerde verificatie als wapen in de strijd voor productkwaliteit. In: Bits&Chips, Techwatch, Augustus 2009. [link]
Jan Friso Groote, Aad Mathijssen, Michel Reniers, Yaroslav Usenko, Muck van Weerdenburg. Analysis of distributed systems with mCRL2. In M. Alexander, W. Gardner (Eds.), Process Algebra for Parallel and Distributed Processing, pages 99-128. Chapman and Hall, 2008. [link]
Jan Friso Groote, Jeroen Keiren, Aad Mathijssen, Bas Ploeger, Frank Stappers, Carst Tankink, Yaroslav Usenko, Muck van Weerdenburg, Wieger Wesselink, Tim Willemse, Jeroen van der Wulp. The mCRL2 Toolset. In: Proc. International Workshop on Advanced Software Development Tools and Techniques (WASDeTT 2008), July 2008. [pdf]
Jan Friso Groote, Aad Mathijssen, Michel Reniers, Yaroslav Usenko, Muck van Weerdenburg. The Formal Specification Language mCRL2. In: Proc. Methods for Modelling Software Systems, Dagstuhl Seminar Proceedings 06351, 2007. [pdf]
Aad Mathijssen, A. Johannes Pretorius. Verified Design of an Automated Parking Garage. Proc. FMICS and PDMC 2006. LNCS 4346, pages 165-180. Springer, 2007. [pdf]
Jan Friso Groote, Aad Mathijssen, Muck van Weerdenburg, Yaroslav Usenko. From µCRL to mCRL2: Motivation and Outline. In: Proc. Workshop Essays on Algebraic Process Calculi (APC 25). ENTCS 162, pages 191-196, 2006. [pdf]
Jan Friso Groote, Aad Mathijssen, Bas Ploeger, Michel Reniers, Muck van Weerdenburg, Jeroen van der Wulp. Process Algebra and mCRL2, IPA Basic Course on Formal Methods 2006. [ps,pdf]
Jan Friso Groote, Aad Mathijssen, Muck van Weerdenburg, Yaroslav Usenko. From µCRL to mCRL2: Motivation and Outline. In: Short Contributions from the Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond. BRICS NS-05-3, pages 126-131, 2005. [ps,pdf]
Aad Mathijssen, A. Johannes Pretorius. Specification, Analysis and Verification of an Automated Parking Garage. CS-Report 05-25, Technische Universiteit Eindhoven, 2005. [pdf]
Murdoch J. Gabbay, Aad Mathijssen. A Nominal Axiomatization of the Lambda Calculus. In: Journal of Logic and Computation 20(2), pages 501-531. Oxford University Press, April 2010. [abstract, article]
Murdoch J. Gabbay, Aad Mathijssen. Nominal (Universal) Algebra: Equational Logic with Names and Binding. In: Journal of Logic and Computation 19(6), pages 1455-1508. Oxford University Press, December 2009. [abstract, article]
Murdoch J. Gabbay, Aad Mathijssen. The Lambda-calculus is Nominal Algebraic. In C. Benzmueller, C.E. Brown, J. Siekman, R. Statman (Eds.), Reasoning in Simple Type Theory: Festschrift in Honour of Peter B. Andrews on his 70th Birthday, Studies in Logic and the Foundations of Mathematics, College Publications, 2008. [pdf]
Murdoch J. Gabbay, Aad Mathijssen. A nominal axiomatisation of the lambda calculus. CS-Report 08-18, Technische Universiteit Eindhoven, 2008. [pdf]
Murdoch J. Gabbay, Aad Mathijssen. One-and-a-halfth-order Logic. In: Journal of Logic and Computation 18(4), pages 521-562. Oxford University Press, August 2008. [abstract, article]
Murdoch J. Gabbay, Aad Mathijssen. Capture-avoiding Substitution as a Nominal Algebra. In: Formal Aspects of Computing 20(4-5), pages 451-479. Springer, July 2008. [pdf]
Murdoch J. Gabbay, Aad Mathijssen. Nominal Algebra and the HSP Theorem. Technical Report HW-MACS-TR-0057, Heriot-Watt University, Edinburgh, Scotland, 2007. [pdf]
Murdoch J. Gabbay, Aad Mathijssen. Capture-avoiding Substitution as a Nominal Algebra. Technical Report HW-MACS-TR-0053, Heriot-Watt University, Edinburgh, Scotland, 2007. [pdf]
Murdoch J. Gabbay, Aad Mathijssen. A Formal Calculus for Informal Equality with Binding. Proc. 14th Workshop on Logic, Language, Information and Computation (WoLLIC 2007). LNCS 4576, pages 162-176, 2007. [pdf]
Murdoch J. Gabbay, Aad Mathijssen. Nominal Algebra. Technical Report HW-MACS-TR-0045, Heriot-Watt University, Edinburgh, Scotland, 2006. [pdf]
Murdoch J. Gabbay, Aad Mathijssen. Nominal Algebra (abstract). Proc. 18th Nordic Workshop on Programming Theory (NWPT'06), Reykjavík University, 2006. [pdf]
Murdoch J. Gabbay, Aad Mathijssen. Capture-avoiding Substitution as a Nominal Algebra. In: Proc. 3rd Int'l Colloquium on Theoretical Aspects of Computing (ICTAC'06). LNCS 4281 (2006), pages 198-212. Springer, November 2006. [pdf]
Murdoch J. Gabbay, Aad Mathijssen. One-and-a-halfth-order Logic. In: Proc. 8th Int'l ACM SIGPLAN Conf. on Principles and Practice of Declarative Programming (PPDP'06), pages 189-200. ACM, July 2006. [pdf]
Aad Mathijssen. Logical Calculi for Reasoning with Binding. PhD Dissertation, Eindhoven University of Technology, November 2007. [pdf]
Aad Mathijssen. Formal Derivations of Binary Arithmetic. Master's Thesis, Informatica Afstudeerverslagen vol. 947, Technische Universiteit Eindhoven, 2003. [ps,pdf]