Olga Tveretina

Publication Activity (10 Years)

Years Active: 1998-2022
Publications (10 Years): 11

Top Topics

Constraint Satisfaction

Synchronous Communication

Piecewise Constant

Top Venues

Publications

Mateus de Oliveira Oliveira, Olga Tveretina
Mortality and Edge-to-Edge Reachability are Decidable on Surfaces. HSCC (2022)
Raimund Kirner, Simon Maurer, Olga Tveretina
Component Interfaces with Loosely Synchronous Communication. SA (2021)
Olga Tveretina, Pavel Zaichenkov, Alex Shafarenko
Non-local configuration of component interfaces by constraint satisfaction. Constraints An Int. J. 25 (3-4) (2020)
Andrei Sandler, Olga Tveretina
Deciding Reachability for Piecewise Constant Derivative Systems on Orientable Manifolds. RP (2019)
Andrei Sandler, Olga Tveretina
ParaPlan: A Tool for Parallel Reachability Analysis of Planar Polygonal Differential Inclusion Systems. GandALF (2017)
Olga Tveretina
Resolution Simulates Polynomially Ordered Binary Decision Diagrams for Conjunctive Normal Forms. CoRR (2017)
Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko
Configuring Cloud-Service Interfaces Using Flow Inheritance. iFMCloud@IFM (2016)
Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko
A Constraint Satisfaction Method for Configuring Non-local Service Interfaces. IFM (2016)
Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko
A Constraint Satisfaction Method for Configuring Non-Local Service Interfaces. CoRR (2016)
Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko, Bert Gijsbers, Clemens Grelck
The Cost and Benefits of Coordination Programming: Two Case Studies in Concurrent Collections and S-NET. Parallel Process. Lett. 26 (3) (2016)
Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko
Constraint Satisfaction in Coordinating Components Interfaces. CoRR (2015)
Pavel Zaichenkov, Bert Gijsbers, Clemens Grelck, Olga Tveretina, Alex Shafarenko
A Case Study in Coordination Programming: Performance Evaluation of S-Net vs Intel's Concurrent Collections. IPDPS Workshops (2014)
Olga Tveretina
A Conditional Superpolynomial Lower Bound for Extended Resolution. LATA (2013)
Pavels Zaicenkovs, Bert Gijsbers, Clemens Grelck, Olga Tveretina, Alexander V. Shafarenko
Communication-Centric Solution for Cholesky Decomposition: Industrial Case Study for Coordination Programming CoRR (2013)
Olga Tveretina, Daniel Funke
Deciding Reachability for 3-Dimensional Multi-Linear Systems GandALF (2011)
Tamara Mendt, Carsten Sinz, Olga Tveretina
Probabilistic Model Checking of Constraints in a Supply Chain Business Process. BIS (2011)
Tamara Mendt, Carsten Sinz, Olga Tveretina
Analyzing Separation of Duties Constraints with a Probabilistic Model Checker. BIS (Workshops) (2011)
Olga Tveretina, Carsten Sinz, Hans Zantema
Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond. J. Satisf. Boolean Model. Comput. 7 (1) (2010)
Olga Tveretina, Wieger Wesselink
EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas. Electron. Notes Theor. Comput. Sci. 225 (2009)
Olga Tveretina, Carsten Sinz, Hans Zantema
Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond. Electron. Colloquium Comput. Complex. 16 (2009)
Olga Tveretina, Carsten Sinz, Hans Zantema
An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas ACAC (2009)
Milad Niqui, Olga Tveretina
Modular Development of Hybrid Systems for Verification in Coq. HSCC (2008)
Bahareh Badban, Jaco van de Pol, Olga Tveretina, Hans Zantema
Generalizing DPLL and satisfiability for equalities. Inf. Comput. 205 (8) (2007)
Jaco van de Pol, Olga Tveretina
A BDD-Representation for the Logic of Equality and Uninterpreted Functions. MFCS (2005)
Olga Tveretina
A Decision Procedure for Equality Logic with Uninterpreted Functions. AISC (2004)
Olga Tveretina, Hans Zantema
A Proof System and a Decision Procedure for Equality Logic. LATIN (2004)
Jan Friso Groote, Olga Tveretina
Binary decision diagrams for first-order predicate logic. J. Log. Algebraic Methods Program. 57 (1-2) (2003)
Lilia Kashirova, Olga Tveretina
Entropy-Based Design of Low Power FSMs. EUROMICRO (1998)