2008 |
10 | EE | Wan Fokkink,
Paul Klint,
Bert Lisser,
Yaroslav S. Usenko:
Towards Formal Verification of ToolBusScripts.
AMAST 2008: 160-166 |
9 | EE | Stefan Blom,
Bert Lisser,
Jaco van de Pol,
Michael Weber:
A Database Approach to Distributed State Space Generation.
Electr. Notes Theor. Comput. Sci. 198(1): 17-32 (2008) |
8 | EE | Muhammad Torabi Dashti,
Anton Wijs,
Bert Lisser:
Distributed Partial Order Reduction for Security Protocols.
Electr. Notes Theor. Comput. Sci. 198(1): 93-99 (2008) |
2007 |
7 | EE | Stefan Blom,
Jens R. Calame,
Bert Lisser,
Simona Orzan,
Jun Pang,
Jaco van de Pol,
Muhammad Torabi Dashti,
Anton Wijs:
Distributed Analysis with mu CRL: A Compendium of Case Studies.
TACAS 2007: 683-689 |
2006 |
6 | EE | Anton Wijs,
Bert Lisser:
Distributed Extended Beam Search for Quantitative Model Checking.
MoChArt 2006: 166-184 |
2003 |
5 | EE | Stefan Blom,
Jan Friso Groote,
Izak van Langevelde,
Bert Lisser,
Jaco van de Pol:
New developments around the mCRL tool set.
Electr. Notes Theor. Comput. Sci. 80: (2003) |
4 | EE | Stefan Blom,
Izak van Langevelde,
Bert Lisser:
Compressed and Distributed File Formats for Labeled Transition Systems.
Electr. Notes Theor. Comput. Sci. 89(1): (2003) |
2002 |
3 | EE | Jan Friso Groote,
Bert Lisser:
Computer assisted manipulation of algebraic process specifications.
SIGPLAN Notices 37(12): 98-107 (2002) |
2001 |
2 | EE | Stefan Blom,
Wan Fokkink,
Jan Friso Groote,
Izak van Langevelde,
Bert Lisser,
Jaco van de Pol:
µCRL: A Toolset for Analysing Algebraic Specifications.
CAV 2001: 250-254 |
1999 |
1 | EE | C. T. H. Everaars,
Bert Lisser:
Coordination of a Parallel Proposition Solver.
COORDINATION 1999: 275-290 |