Component Substitutability via Equivalencies of Component-Interaction Automata. - Ivana Cerná; Pavlína Vareková; Barbora Zimmerová (FACS, 2006)

Component-interaction automata as a verification-oriented component-based system specification. - Lubos Brim; Ivana Cerná; Pavlína Vareková; Barbora Zimmerová (ACM SIGSOFT Softw. Eng. Notes, 2006)

Component-Interaction Automata Approach (CoIn). - Barbora Zimmerová; Pavlína Vareková; Nikola Benes; Ivana Cerná; Lubos Brim; Jiri Sochor (CoCoME, 2007)

Effective verification of systems with a dynamic number of components. - Pavlína Vareková; Pavel Moravec 002; Ivana Cerná; Barbora Zimmerová (SAVCBS, 2007)

Subject-observer specification with component-interaction automata. - Pavlína Vareková; Barbora Zimmerová (SAVCBS, 2007)

Model Checking of Control-User Component-Based Parametrised Systems. - Pavlína Vareková; Ivana Cerná (CBSE, 2008)

A Case Study in Parallel Verification of Component-Based Systems. - Nikola Benes; Ivana Cerná; Jiri Sochor; Pavlína Vareková; Barbora Zimmerová (PDMC@ETAPS, 2008)

Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems. - Pavlína Vareková; I. Vareková; Ivana Cerná (FACS, 2008)

Formal verification of systems with an unlimited number of components. - Pavlína Vareková; Barbora Zimmerová; Pavel Moravec 002; Ivana Cerná (IET Softw., 2008)

Partial Order Reduction for State/Event LTL. - Nikola Benes; Lubos Brim; Ivana Cerná; Jiri Sochor; Pavlína Vareková; Barbora Zimmerová (IFM, 2009)

Partial order reduction for state/event LTL with application to component-interaction automata. - Nikola Benes; Lubos Brim; Barbora Buhnova; Ivana Cerná; Jiri Sochor; Pavlína Vareková (Sci. Comput. Program., 2011)