Petr Ročkai
发表
Vladimír Still,
Petr Rockai,
Jiri Barnat,
2017,
ATVA.
Petr Rockai,
Jiri Barnat,
Jan Mrázek,
2019,
Software and Systems Modeling.
Petr Ročkai,
Henrich Lauko,
Jiří Barnat,
2020,
2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS).
Petr Rockai,
Jiri Barnat,
Henrich Lauko,
2018,
ICTAC.
Lubos Brim,
Petr Rockai,
Jiri Barnat,
2016,
Sci. Comput. Program..
Lubos Brim,
Petr Rockai,
Jiri Barnat,
2014,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Petr Rockai,
Jiri Barnat,
Jan Havlícek,
2013,
PASM/PDMC.
On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties
Lubos Brim,
Petr Rockai,
Jiri Barnat,
2012,
Sci. Comput. Program..
Lubos Brim,
Petr Rockai,
Jiri Barnat,
2010,
2010 8th IEEE International Conference on Software Engineering and Formal Methods.
Lubos Brim,
Petr Rockai,
Jiri Barnat,
2009,
ICFEM.
Lubos Brim,
Petr Rockai,
Jiri Barnat,
2009,
2009 International Workshop on High Performance Computational Systems Biology.
Lubos Brim,
Petr Rockai,
Jiri Barnat,
2008,
ATVA.
Petr Ročkai,
Petr Ročkai,
2010
.
Vladimír Still,
Petr Rockai,
Jiri Barnat,
2015,
SPIN.
Lubos Brim,
Petr Rockai,
Jiri Barnat,
2010,
International Journal on Software Tools for Technology Transfer.
Lubos Brim,
Petr Rockai,
Jiri Barnat,
2013,
NASA Formal Methods.
Petr Rockai,
Petr Ročkai,
2011
.
David Chisnall,
Hernán C. Melgratti,
Ricardo J. Rodríguez,
2020,
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Petr Rockai,
Jiri Barnat,
Katarína Kejstová,
2017,
RV.
Vladimír Still,
Petr Rockai,
Jiri Barnat,
2019,
TACAS.