Search results for "Bert Lisser"

Found 13 publication records. Showing 13 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber 0002	A Database Approach to Distributed State-Space Generation.	J. Log. Comput.	2011	DBLP DOI BibTeX RDF
1	Paul Klint, Bert Lisser, Atze van der Ploeg	Towards a One-Stop-Shop for Analysis, Transformation and Visualization of Software.	SLE	2011	DBLP DOI BibTeX RDF
1	Wan Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko	Automated Translation and Analysis of a ToolBus Script for Auctions.	FSEN	2009	DBLP DOI BibTeX RDF
1	Muhammad Torabi Dashti, Anton Wijs, Bert Lisser	Distributed Partial Order Reduction for Security Protocols.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber 0002	A Database Approach to Distributed State Space Generation.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Wan Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko	Towards Formal Verification of ToolBusScripts.	AMAST	2008	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Anton Wijs, Bert Lisser	Distributed Extended Beam Search for Quantitative Model Checking.	MoChArt	2006	DBLP DOI BibTeX RDF	directed model checking, distributed model checking, scheduling, beam search
1	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.	2003	DBLP DOI BibTeX RDF
1	Stefan Blom, Izak van Langevelde, Bert Lisser	Compressed and Distributed File Formats for Labeled Transition Systems.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Jan Friso Groote, Bert Lisser	Computer assisted manipulation of algebraic process specifications.	SIGPLAN Notices	2002	DBLP DOI BibTeX RDF	linear process equations, distributed systems, model checking, verification, automated reasoning
1	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	DBLP DOI BibTeX RDF
1	C. T. H. Everaars, Bert Lisser	Coordination of a Parallel Proposition Solver.	COORDINATION	1999	DBLP DOI BibTeX RDF

Publications of "Bert Lisser" ( http://dblp.L3S.de/Authors/Bert_Lisser )