Barbora Zimmerova

Publication Activity (10 Years)

Years Active: 2005-2009
Publications (10 Years): 0

Publications

Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova
Partial Order Reduction for State/Event LTL. IFM (2009)
Jens Happe, Barbora Zimmerova
Preface. Electron. Notes Theor. Comput. Sci. 253 (1) (2009)
Pavlína Vareková, Barbora Zimmerova, Pavel Moravec, Ivana Cerná
Formal verification of systems with an unlimited number of components. IET Softw. 2 (6) (2008)
Nikola Benes, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova
A Case Study in Parallel Verification of Component-Based Systems. Electron. Notes Theor. Comput. Sci. 220 (2) (2008)
Ivana Cerná, Pavlína Vareková, Barbora Zimmerova
Component Substitutability via Equivalencies of Component-Interaction Automata. Electron. Notes Theor. Comput. Sci. 182 (2007)
Pavlína Vareková, Pavel Moravec, Ivana Cerná, Barbora Zimmerova
Effective verification of systems with a dynamic number of components. SAVCBS (2007)
Pavlína Vareková, Barbora Zimmerova
Subject-observer specification with component-interaction automata. SAVCBS (2007)
Barbora Zimmerova, Pavlína Vareková, Nikola Benes, Ivana Cerná, Lubos Brim, Jiri Sochor
Component-Interaction Automata Approach (CoIn). CoCoME (2007)
Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerova
Component-interaction automata as a verification-oriented component-based system specification. ACM SIGSOFT Softw. Eng. Notes 31 (2) (2006)
Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerova
Component-interaction automata as a verification-oriented component-based system specification. SAVCBS@ESEC/FSE (2005)