Pavlína Vareková

12 papers B 1Journal 3Unranked 8
YearRankTypeTitle / Venue / Authors
2011 J jnl
Partial order reduction for state/event LTL with application to component-interaction automata.
Sci. Comput. Program.
Nikola Benes, Lubos Brim, Barbora Buhnova, Ivana Cerná, Jiri Sochor, Pavlína Vareková
2009 B conf
Partial Order Reduction for State/Event LTL.
IFM
Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerová
2008 — conf
A Case Study in Parallel Verification of Component-Based Systems.
PDMC@ETAPS
Nikola Benes, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerová
2008 — conf
Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems.
FACS
Pavlína Vareková, I. Vareková, Ivana Cerná
2008 J jnl
Formal verification of systems with an unlimited number of components.
IET Softw.
Pavlína Vareková, Barbora Zimmerová, Pavel Moravec, Ivana Cerná
2008 — conf
Model Checking of Control-User Component-Based Parametrised Systems.
CBSE
Pavlína Vareková, Ivana Cerná
2007 — conf
Component-Interaction Automata Approach (CoIn).
CoCoME
Barbora Zimmerová, Pavlína Vareková, Nikola Benes, Ivana Cerná, Lubos Brim, Jiri Sochor
2007 — conf
Effective verification of systems with a dynamic number of components.
SAVCBS
Pavlína Vareková, Pavel Moravec, Ivana Cerná, Barbora Zimmerová
2007 — conf
Subject-observer specification with component-interaction automata.
SAVCBS
Pavlína Vareková, Barbora Zimmerová
2006 — conf
Component Substitutability via Equivalencies of Component-Interaction Automata.
FACS
Ivana Cerná, Pavlína Vareková, Barbora Zimmerová
2006 J jnl
Component-interaction automata as a verification-oriented component-based system specification.
ACM SIGSOFT Softw. Eng. Notes
Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerová
2005 — conf
Component-interaction automata as a verification-oriented component-based system specification.
SAVCBS@ESEC/FSE
Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerová