Pavlína Vareková

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2011
Partial order reduction for state/event LTL with application to component-interaction automata.
Sci. Comput. Program., 2011

2010
Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems.
Electr. Notes Theor. Comput. Sci., 2010

2009
Partial Order Reduction for State/Event LTL.
Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

2008
Formal verification of systems with an unlimited number of components.
IET Software, 2008

A Case Study in Parallel Verification of Component-Based Systems.
Electr. Notes Theor. Comput. Sci., 2008

Model Checking of Control-User Component-Based Parametrised Systems.
Proceedings of the Component-Based Software Engineering, 11th International Symposium, 2008

2007
Component Substitutability via Equivalencies of Component-Interaction Automata.
Electr. Notes Theor. Comput. Sci., 2007

Subject-observer specification with component-interaction automata.
Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

Effective verification of systems with a dynamic number of components.
Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

Component-Interaction Automata Approach (CoIn).
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.
ACM SIGSOFT Software Engineering Notes, 2006


  Loading...