Bert Lisser

Publication Activity (10 Years)

Years Active: 1999-2015
Publications (10 Years): 1

Top Topics

Query Language For Xml

Modular Architecture

Implementation Details

Top Venues

Sci. Comput. Program.

Publications

Bas Basten, Jeroen van den Bos, Mark Hills, Paul Klint, Arnold Lankamp, Bert Lisser, Atze van der Ploeg, Tijs van der Storm, Jurgen J. Vinju
Modular language implementation in Rascal - experience report. Sci. Comput. Program. 114 (2015)
Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber
A Database Approach to Distributed State-Space Generation. J. Log. Comput. 21 (1) (2011)
Paul Klint, Bert Lisser, Atze van der Ploeg
Towards a One-Stop-Shop for Analysis, Transformation and Visualization of Software. SLE (2011)
Wan J. Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko
Automated Translation and Analysis of a ToolBus Script for Auctions. FSEN (2009)
Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber
A Database Approach to Distributed State Space Generation. Electron. Notes Theor. Comput. Sci. 198 (1) (2008)
Muhammad Torabi Dashti, Anton Wijs, Bert Lisser
Distributed Partial Order Reduction for Security Protocols. Electron. Notes Theor. Comput. Sci. 198 (1) (2008)
Wan J. Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko
Towards Formal Verification of ToolBusScripts. AMAST (2008)
Stefan Blom, Jens R. Calamé, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs
CRL: A Compendium of Case Studies. TACAS (2007)
Anton Wijs, Bert Lisser
Distributed Extended Beam Search for Quantitative Model Checking. MoChArt (2006)
Stefan Blom, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol
New developments around the mCRL tool set. Electron. Notes Theor. Comput. Sci. 80 (2003)
Stefan Blom, Izak van Langevelde, Bert Lisser
Compressed and Distributed File Formats for Labeled Transition Systems. Electron. Notes Theor. Comput. Sci. 89 (1) (2003)
Jan Friso Groote, Bert Lisser
Computer assisted manipulation of algebraic process specifications. ACM SIGPLAN Notices 37 (12) (2002)
Stefan Blom, Wan J. Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol
µCRL: A Toolset for Analysing Algebraic Specifications. CAV (2001)
C. T. H. Everaars, Bert Lisser
Coordination of a Parallel Proposition Solver. COORDINATION (1999)