Barbora Zimmerová
Masaryk University(CZ)
Publications by Year
Research Areas
Formal Methods in Verification, Advanced Software Engineering Methodologies, Logic, programming, and type systems, Service-Oriented Architecture and Web Services, Petri Nets in System Modeling
Most-Cited Works
- → Component-interaction automata as a verification-oriented component-based system specification(2005)69 cited
- → Component Substitutability via Equivalencies of Component-Interaction Automata(2007)37 cited
- → Component-Interaction Automata Approach (CoIn)(2008)18 cited
- → Partial Order Reduction for State/Event LTL(2009)10 cited
- → Effective verification of systems with a dynamic number of components(2007)7 cited
- Component Placement in Distributed Environment w.r.t. ComponentInteraction(2006)
- Component-Interaction Automata for Specification and Verification of Component Interactions(2005)
- Design-Time Reliability Prediction for Software Systems(2009)
- Component-Interaction Automata Modelling Language(2006)