 | 2009 |
|---|
| 9 |       | Nikola Benes,
Lubos Brim,
Ivana Cerná,
Jiri Sochor,
Pavlína Vareková,
Barbora Zimmerova:
Partial Order Reduction for State/Event LTL.
IFM 2009: 307-321 |
| 8 | | Jens Happe,
Barbora Zimmerova:
Preface.
Electr. Notes Theor. Comput. Sci. 253(1): 1-2 (2009) |
| 2008 |
|---|
| 7 | | Nikola Benes,
Ivana Cerná,
Jiri Sochor,
Pavlína Vareková,
Barbora Zimmerova:
A Case Study in Parallel Verification of Component-Based Systems.
Electr. Notes Theor. Comput. Sci. 220(2): 67-83 (2008) |
| 6 | | Pavlína Vareková,
Barbora Zimmerova,
Pavel Moravec,
Ivana Cerná:
Formal verification of systems with an unlimited number of components.
IET Software 2(6): 532-546 (2008) |
| 2007 |
|---|
| 5 | | Barbora Zimmerova,
Pavlína Vareková,
Nikola Benes,
Ivana Cerná,
Lubos Brim,
Jiri Sochor:
Component-Interaction Automata Approach (CoIn).
CoCoME 2007: 146-176 |
| 4 | | Pavlína Vareková,
Pavel Moravec,
Ivana Cerná,
Barbora Zimmerova:
Effective verification of systems with a dynamic number of components.
SAVCBS 2007: 3-13 |
| 3 | | Pavlína Vareková,
Barbora Zimmerova:
Subject-observer specification with component-interaction automata.
SAVCBS 2007: 75-81 |
| 2 | | Ivana Cerná,
Pavlína Vareková,
Barbora Zimmerova:
Component Substitutability via Equivalencies of Component-Interaction Automata.
Electr. Notes Theor. Comput. Sci. 182: 39-55 (2007) |
| 2006 |
|---|
| 1 | | Lubos Brim,
Ivana Cerná,
Pavlína Vareková,
Barbora Zimmerova:
Component-interaction automata as a verification-oriented component-based system specification.
ACM SIGSOFT Software Engineering Notes 31(2): (2006) |
