Pavel Simecek

HRMM - software tool for prediction of metallurgical quality of hot rolled production as a component of the process control system

Pavel Simecek, Daniel Hajduk, 2011 .

COMPUTER AIDED UTILIZATION OF BACKUP ROLLS

Pavel Simecek, Daniel Hajduk, Jan Vahalík, 2014 .

DiVinE - A Tool for Distributed Verification

Lubos Brim, Ivana Cerná, Petr Rockai, 2006, CAV.

Flash memory efficient LTL model checking

Lubos Brim, Stefan Edelkamp, Jiri Barnat, 2011, Sci. Comput. Program..

Semi-external LTL Model Checking

Peter Sanders, Stefan Edelkamp, Pavel Simecek, 2008, CAV.

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

Lubos Brim, Jiri Barnat, Pavel Simecek, 2008, TACAS.

I/O Efficient Accepting Cycle Detection

Lubos Brim, Jiri Barnat, Pavel Simecek, 2007, CAV.

Cluster-Based I/O-Efficient LTL Model Checking

Lubos Brim, Jiri Barnat, Pavel Simecek, 2009, 2009 IEEE/ACM International Conference on Automated Software Engineering.

Can Flash Memory Help in Model Checking?

Lubos Brim, Stefan Edelkamp, Jiri Barnat, 2009, FMICS.

Prediction of mechanical properties of hot rolled steel products

Pavel Simecek, P. Simecek, D. Hajduk, 2007 .