Ivana Černá
Masaryk University(CZ)
Publications by Year
Research Areas
Formal Methods in Verification, Model-Driven Software Engineering Techniques, Logic, programming, and type systems, Software Testing and Debugging Techniques, Software Reliability and Analysis Research
Most-Cited Works
- → Temporal Logic Control of Discrete-Time Piecewise Affine Systems(2011)121 cited
- → DiVinE – A Tool for Distributed Verification(2006)83 cited
- → Distributed Explicit Fair Cycle Detection (Set Based Approach)(2003)73 cited
- → Component-interaction automata as a verification-oriented component-based system specification(2005)69 cited
- → Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking(2004)68 cited
- → Relating Hierarchy of Temporal Properties to Model Checking(2003)53 cited
- → Distributed LTL Model Checking Based on Negative Cycle Detection(2001)52 cited
- → Modal Transition Systems: Composition and LTL Model Checking(2011)39 cited
- → Optimal control of MDPs with temporal logic constraints(2013)38 cited
- → Component Substitutability via Equivalencies of Component-Interaction Automata(2007)37 cited