default search action

combined dblp search
author search
venue search
publication search

ask others

Pavel Simecek

> Home > Persons

Person information

SPARQL queries

run query for this person

or build your own?

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2011
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/EdelkampSBBS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/EdelkampSBBS11
Stefan Edelkamp, Damian Sulewski, Jiri Barnat, Lubos Brim, Pavel Simecek:
Flash memory efficient LTL model checking. Sci. Comput. Program. 76(2): 136-157 (2011)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/BarnatBS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/BarnatBS09
Jiri Barnat, Lubos Brim, Pavel Simecek:
Cluster-Based I/O-Efficient LTL Model Checking. ASE 2009: 635-639
2008
[c5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/EdelkampSS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/EdelkampSS08
Stefan Edelkamp, Peter Sanders, Pavel Simecek:
Semi-external LTL Model Checking. CAV 2008: 530-542
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BarnatBESS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BarnatBESS08
Jiri Barnat, Lubos Brim, Stefan Edelkamp, Damian Sulewski, Pavel Simecek:
Can Flash Memory Help in Model Checking? FMICS 2008: 150-165
[c3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BarnatBSW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BarnatBSW08
Jiri Barnat, Lubos Brim, Pavel Simecek, M. Weber:
Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking. TACAS 2008: 48-62
2007
[c2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BarnatBS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BarnatBS07
Jiri Barnat, Lubos Brim, Pavel Simecek:
I/O Efficient Accepting Cycle Detection. CAV 2007: 281-293
2006
[c1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BarnatBCMRS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BarnatBCMRS06
Jiri Barnat, Lubos Brim, Ivana Cerná, Pavel Moravec, Petr Rockai, Pavel Simecek:
DiVinE - A Tool for Distributed Verification. CAV 2006: 278-281

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.