Jiří Sochor

2011

Nikola Beneš, Luboš Brim, Barbora Bühnová, Ivana Černá, Jiří Sochor, and Pavlína Moravcová Vařeková:
Partial Order Reduction for State/Event LTL with Application to Component-Interaction Automata,
Science of Computer Programming, 2011. [bibtex, url]

2009

Nikola Beneš, Luboš Brim, Ivana Černá, Jiří Sochor, Pavlína Vařeková, and Barbora Zimmerová:
Partial Order Reduction for State/Event LTL,
Proceedings of the International Conference on Integrated Formal Methods (IFM’09), Springer-Verlag, 2009, volume 5423 of LNCS, 307–321. [bibtex]

2008

Nikola Beneš, Ivana Černá, Jiří Sochor, Pavlína Vařeková, and Barbora Zimmerová:
A Case Study in Parallel Verification of Component-Based Systems,
Electr. Notes Theor. Comput. Sci., 2008, 67–83. [bibtex, url]

Nikola Beneš, Luboš Brim, Ivana Černá, Jiří Sochor, Pavlína Vařeková, and Barbora Zimmerová:
The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems,
Proceedings of the Workshop on Formal Aspects of Component Software (FACS’08), 2008, 221–225. [bibtex]

Barbora Zimmerová, Pavlína Vařeková, Nikola Beneš, Ivana Černá, Luboš Brim, and Jiří Sochor:
The Common Component Modeling Example: Comparing Software Component Models,
Springer-Verlag, 2008, volume 5153 of LNCS, 146–176. [bibtex]