Bert Lisser

According to our database, Bert Lisser authored at least 13 papers between 1999 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Modular language implementation in Rascal - experience report.

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

Sci. Comput. Program., 2015

2011

Towards a One-Stop-Shop for Analysis, Transformation and Visualization of Software.

Paul Klint, Bert Lisser, Atze van der Ploeg

Proceedings of the Software Language Engineering - 4th International Conference, 2011

2009

Automated Translation and Analysis of a ToolBus Script for Auctions.

Wan J. Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko

Proceedings of the Fundamentals of Software Engineering, 2009

2008

Towards Formal Verification of ToolBusScripts.

Wan J. Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Distributed Partial Order Reduction for Security Protocols.

Muhammad Torabi Dashti, Anton Wijs, Bert Lisser

Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, 2007

A Database Approach to Distributed State Space Generation.

Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber

Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, 2007

Distributed Analysis with <i>mu</i> CRL: A Compendium of Case Studies.

Stefan Blom, Jens R. Calamé, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

2006

Distributed Extended Beam Search for Quantitative Model Checking.

Anton Wijs, Bert Lisser

Proceedings of the Model Checking and Artificial Intelligence, 4th Workshop, 2006

2003

Compressed and Distributed File Formats for Labeled Transition Systems.

Stefan Blom, Izak van Langevelde, Bert Lisser

Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking, 2003

New developments around the mCRL tool set.

Stefan Blom, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

2002

Computer assisted manipulation of algebraic process specifications.

Jan Friso Groote, Bert Lisser

ACM SIGPLAN Notices, 2002

2001

µCRL: A Toolset for Analysing Algebraic Specifications.

Stefan Blom, Wan J. Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

1999

Coordination of a Parallel Proposition Solver.

C. T. H. Everaars, Bert Lisser

Proceedings of the Coordination Languages and Models, Third International Conference, 1999