Olga Tveretina

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