Author
Number of items: 15.
ParaPlan: A Tool for Parallel Reachability Analysis of Planar Polygonal Differential Inclusion Systems. (2017)
Andrei Sandler
and
Olga Tveretina
![]()
The Cost and Benefits of Coordination Programming: Two Case Studies in Concurrent Collection and S-Net. (2016)
Pavel Zaichenkov,
Bert Gijsbers,
Clemens Grelck,
Olga Tveretina
and
Alex Shafarenko
![]()
Configuring Cloud-Service Interfaces Using Flow Inheritance. (2016)
Pavel Zaichenkov,
Olga Tveretina
and
Alex Shafarenko
![]()
A Constraint Satisfaction Method for Configuring Non-Local Service Interfaces. (2016)
Pavel Zaichenkov,
Olga Tveretina
and
Alex Shafarenko
Analyzing Separation of Duties Constraints with a Probabilistic Model Checker. (2011)
Tamara Mendt,
Carsten Sinz
and
Olga Tveretina
Deciding Reachability for 3-Dimensional Multi-Linear Systems. (2011)
Olga Tveretina
![]()
Probabilistic Model Checking of Constraints in a Supply Chain Business Process. (2011)
Tamara Mendt,
Olga Tveretina
and
Carsten Sinz
Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond. (2010)
Olga Tveretina,
Carsten Sinz
and
Hans Zantema
An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas. (2009)
Olga Tveretina,
Carsten Sinz
and
Hans Zantema
![]()
Modular Development of Hybrid Systems for Verification in Coq. (2008)
Milad Niqui
and
Olga Tveretina
Generalizing DPLL and satisfiability for equalities. (2007)
Baharen Badban,
Jaco van de Pol,
Olga Tveretina
and
Hans Zantema
A BDD-Representation for the Logic of Equality and Uninterpreted Functions. (2005)
Jaco van de Pol
and
Olga Tveretina
A Decision Procedure for Equality Logic with Uninterpreted Functions. (2004)
Olga Tveretina
A Proof System and a Decision Procedure for Equality Logic. (2004)
Olga Tveretina
and
Hans Zantema
Binary decision diagrams for first-order predicate logic. (2003)
Jan Friso Groote
and
Olga Tveretina