Author
Number of items: 15.
2017
  • ParaPlan: A Tool for Parallel Reachability Analysis of Planar Polygonal Differential Inclusion Systems. (2017) Andrei Sandler and Olga Tveretina
    • 2016
  • 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
    • 2011
  • 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
    • 2010
  • Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond. (2010) Olga Tveretina, Carsten Sinz and Hans Zantema
    • 2009
  • An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas. (2009) Olga Tveretina, Carsten Sinz and Hans Zantema
    • 2008
  • Modular Development of Hybrid Systems for Verification in Coq. (2008) Milad Niqui and Olga Tveretina
    • 2007
  • Generalizing DPLL and satisfiability for equalities. (2007) Baharen Badban, Jaco van de Pol, Olga Tveretina and Hans Zantema
    • 2005
  • A BDD-Representation for the Logic of Equality and Uninterpreted Functions. (2005) Jaco van de Pol and Olga Tveretina
    • 2004
  • 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
    • 2003
  • Binary decision diagrams for first-order predicate logic. (2003) Jan Friso Groote and Olga Tveretina