Coordination of a Parallel Proposition Solver. - C. T. H. Everaars; Bert Lisser (COORDINATION, 1999)

µCRL: A Toolset for Analysing Algebraic Specifications. - Stefan Blom; Wan J. Fokkink; Jan Friso Groote; Izak van Langevelde; Bert Lisser; Jaco van de Pol (CAV, 2001)

Computer assisted manipulation of algebraic process specifications. - Jan Friso Groote; Bert Lisser (ACM SIGPLAN Notices, 2002)

New developments around the mCRL tool set. - Stefan Blom; Jan Friso Groote; Izak van Langevelde; Bert Lisser; Jaco van de Pol (FMICS, 2003)

Compressed and Distributed File Formats for Labeled Transition Systems. - Stefan Blom; Izak van Langevelde; Bert Lisser (PDMC@CAV, 2003)

Distributed Extended Beam Search for Quantitative Model Checking. - Anton Wijs; Bert Lisser (MoChArt, 2006)

Distributed Analysis with mu CRL: A Compendium of Case Studies. - Stefan Blom; Jens R. Calamé; Bert Lisser; Simona Orzan; Jun Pang 001; Jaco van de Pol; Muhammad Torabi Dashti; Anton Wijs (TACAS, 2007)

Distributed Partial Order Reduction for Security Protocols. - Muhammad Torabi Dashti; Anton Wijs; Bert Lisser (PDMC@CAV, 2007)

Towards Formal Verification of ToolBusScripts. - Wan J. Fokkink; Paul Klint; Bert Lisser; Yaroslav S. Usenko (AMAST, 2008)

Automated Translation and Analysis of a ToolBus Script for Auctions. - Wan J. Fokkink; Paul Klint; Bert Lisser; Yaroslav S. Usenko (FSEN, 2009)

Towards a One-Stop-Shop for Analysis, Transformation and Visualization of Software. - Paul Klint; Bert Lisser; Atze van der Ploeg (SLE, 2011)

A Database Approach to Distributed State-Space Generation. - Stefan Blom; Bert Lisser; Jaco van de Pol; Michael Weber 002 (J. Log. Comput., 2011)

Modular language implementation in Rascal - experience report. - Bas Basten; Jeroen van den Bos; Mark Hills 001; Paul Klint; Arnold Lankamp; Bert Lisser; Atze van der Ploeg; Tijs van der Storm; Jurgen J. Vinju (Sci. Comput. Program., 2015)