 | 2008 |
|---|
| 10 |       | Wan Fokkink,
Paul Klint,
Bert Lisser,
Yaroslav S. Usenko:
Towards Formal Verification of ToolBusScripts.
AMAST 2008: 160-166 |
| 9 | | 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 | | 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 | | 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 | | Anton Wijs,
Bert Lisser:
Distributed Extended Beam Search for Quantitative Model Checking.
MoChArt 2006: 166-184 |
| 2003 |
|---|
| 5 | | 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 | | 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 | | Jan Friso Groote,
Bert Lisser:
Computer assisted manipulation of algebraic process specifications.
SIGPLAN Notices 37(12): 98-107 (2002) |
| 2001 |
|---|
| 2 | | 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 | | C. T. H. Everaars,
Bert Lisser:
Coordination of a Parallel Proposition Solver.
COORDINATION 1999: 275-290 |
