Pavlína Vareková

According to our database, Pavlína Vareková authored at least 11 papers between 2006 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2011

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

2009

Partial Order Reduction for State/Event LTL.

Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerová

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

2008

Formal verification of systems with an unlimited number of components.

Pavlína Vareková, Barbora Zimmerová, Pavel Moravec, Ivana Cerná

IET Softw., 2008

Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems.

Pavlína Vareková, I. Vareková, Ivana Cerná

Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008

A Case Study in Parallel Verification of Component-Based Systems.

Nikola Benes, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerová

Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, 2008

Model Checking of Control-User Component-Based Parametrised Systems.

Pavlína Vareková, Ivana Cerná

Proceedings of the Component-Based Software Engineering, 11th International Symposium, 2008

2007

Subject-observer specification with component-interaction automata.

Pavlína Vareková, Barbora Zimmerová

Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

Effective verification of systems with a dynamic number of components.

Pavlína Vareková, Pavel Moravec, Ivana Cerná, Barbora Zimmerová

Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

Component-Interaction Automata Approach (CoIn).

Barbora Zimmerová, Pavlína Vareková, Nikola Benes, Ivana Cerná, Lubos Brim, Jiri Sochor

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

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 Substitutability via Equivalencies of Component-Interaction Automata.

Ivana Cerná, Pavlína Vareková, Barbora Zimmerová

Proceedings of the Third International Workshop on Formal Aspects of Component Software, 2006