Pavlína Vařeková

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]

Pavlína Vařeková and Ivana Černá:
Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems,
Proceedings of FACS’08, 2008, 41–55. [bibtex]

Pavlína Vařeková, Barbora Zimmerová, Pavel Moravec, and Ivana Černá:
Formal Verification of Systems with an Unlimited Number of Components,
IET Software journal, Institution of Engineering and Technology (IET), 2008, 532–546. [bibtex]

Pavlína Vařeková and Ivana Černá:
Model Checking of Control-User Component-Based Parametrised Systems,
CBSE’08, Springer, 2008, volume 5282 of Lecture Notes in Computer Science, 146–162. [bibtex]

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]

2007

Ivana Černá, Pavlína Vařeková, and Barbora Zimmerová:
Component Substitutability via Equivalencies of Component-Interaction Automata,
Electronic Notes in Theoretical Computer Science, Elsevier Science Publishers, 2007, 39–55. [bibtex, url]

Pavlína Vařeková, Pavel Moravec, Ivana Černá, and Barbora Zimmerová:
Effective Verification of Systems with a Dynamic Number of Components,
Proceedings of the ESEC/FSE Conference on Specification and Verification of Component-Based Systems (SAVCBS’07), ACM Press, 2007, 3–13. [bibtex, url]

2006

Ivana Černá, Pavlína Vařeková, and Barbora Zimmerová:
Component Substitutability via Equivalencies of Component-Interaction Automata,
Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS’06), UNU-IIST, 2006, 115-130. [bibtex]

2005

Barbora Zimmerová, Luboš Brim, Ivana Černá, and Pavlína Vařeková:
Component-Interaction Automata as a Verification-Oriented Component-Based System Specification,
Specification and Verification of Component-Based Systems (SAVCBS 05), 2005, 31-38. [bibtex]