author-photo

Pavel Šimeček

Masaryk University

15

Papers

219

Citations

Citation Trend

Filter By

Papers (12) Sort By

Journal Conference Others

Cluster-Based I/O-Efficient LTL Model Checking

2009 ASE | Automated Software Engineering
Show All
- Source
- Cite
- Save
Citations (11)
Can Flash Memory Help in Model Checking

2009 FMICS | Formal Methods for Industrial Critical Systems
Show All
- Source
- Cite
- Save
Citations (8)
Semi-external LTL Model Checking

2008 CAV | Computer Aided Verification
Show All
- Source
- Cite
- Save
Citations (29)
Revisiting resistance speeds up I/O-efficient LTL model checking

2008 TACAS | Tools and Algorithms for Construction and Analysis of Systems
Show All
- Source
- Cite
- Save
Citations (30)
Formal Verification of the CRC Algorithm Properties

2006
Show All
- Source
- Cite
- Save
Citations (2)
DIVINE - : A tool for distributed verification

2006 Lecture Notes in Computer Science
Show All
- Source
- Cite
- Save
Citations (1)
DiVinE: a tool for distributed verification

2006 CAV | Computer Aided Verification
Show All
- Source
- Cite
- Save
Citations (81)
DIVINE - The Distributed Verification Environment

2005
Show All
- Source
- Cite
- Save
Citations (16)
CRC64 Algorithm Analysis and Verification

2005
Show All
- Source
- Cite
- Save
Citations (0)
Verification Results in Liberouter Project

2004
Show All
- Source
- Cite
- Save
Citations (3)