Pavel Simecek

According to our database, Pavel Simecek authored at least 7 papers between 2006 and 2011.

Collaborative distances:

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

2011

Flash memory efficient LTL model checking.

Stefan Edelkamp, Damian Sulewski, Jiri Barnat, Lubos Brim, Pavel Simecek

Sci. Comput. Program., 2011

2009

Cluster-Based I/O-Efficient LTL Model Checking.

Jiri Barnat, Lubos Brim, Pavel Simecek

Proceedings of the ASE 2009, 2009

2008

Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking.

Jiri Barnat, Lubos Brim, Pavel Simecek, M. Weber

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

Can Flash Memory Help in Model Checking?

Jiri Barnat, Lubos Brim, Stefan Edelkamp, Damian Sulewski, Pavel Simecek

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

Semi-external LTL Model Checking.

Stefan Edelkamp, Peter Sanders, Pavel Simecek

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

I/O Efficient Accepting Cycle Detection.

Jiri Barnat, Lubos Brim, Pavel Simecek

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

DiVinE - A Tool for Distributed Verification.

Jiri Barnat, Lubos Brim, Ivana Cerná, Pavel Moravec, Petr Rockai, Pavel Simecek

Proceedings of the Computer Aided Verification, 18th International Conference, 2006