Author
Number of items: 22.
On the Complexity of Reachability and Mortality for Bounded Piecewise Affine Maps. (2024)
Olga Tveretina
Mortality and Edge-to-Edge Reachability are Decidable on Surfaces. (2022)
Mateus de Oliveira Oliveira
and
Olga Tveretina
Component Interfaces with Loosely Synchronous Communication. (2021)
Raimund Kirner,
Simon Maurer
and
Olga Tveretina
Non-Local Configuration of Component Interfaces by Constraint Satisfaction. (2020)
Olga Tveretina,
Pavel Zaichenkov
and
Alex Shafarenko
Deciding Reachability for Piecewise Constant Derivative Systems on Orientable Manifolds. (2019)
Andrei Sandler
and
Olga Tveretina
Proceedings of Abstracts Engineering and Computer Science Research Conference 2019. (2019)
Richard Nwawe,
Marzio Grasso,
Yong Kang CHEN,
Jan Klusak,
Vincenzo Rosiello,
Nathan Counsell,
Mohammad Reza Herfatmanesh,
Helen Partou,
Catherine Menon,
Trevor Barker,
Vito Veneziano,
Raimund Kirner,
Olga Tveretina,
Alok Verma,
Peter Lane,
Mariana Lilley,
Paul Canoville,
Matthew Robinson,
Brian Crook,
Samantha Hall,
Richard Kaye,
Ian Johnston,
Daniel McCluskey,
Mark Tracey,
Ian Munro,
Yuan Wang,
Bjorn Suckow,
Ingo Klaholz,
Damien Drix,
Verena Vanessa Hafner,
Michael Schmuker,
Ankur Sinha,
Christoph Metzner,
Neil Davey,
Roderick Adams,
Volker Steuber,
Rebecca Miko,
Gilles Toffe,
Guogang Ren,
Diogo Montalvão,
Sikiru O. Ismail,
James Newman,
Hom Dhakal,
Funlade Sunmola,
Deepak Panday,
Na Helian,
Daerefa-a Amafabia,
Opukuro David-West,
George Haritos,
Pascal Schirmer,
Iosif Mporas,
Grigorios Skaltsas,
Rana Siadati,
Paul Wernick,
Samuel Sutton,
Himayasri Rao Lekkala,
Paul Sayers,
Imran Khan,
Lola Cañamero,
Eheda Hassan,
Mouloud Denai,
Georgios Pissanidis,
Julia Goncharenko,
Maria Schilstra,
Nathan Beka,
Rene te Boekhorst,
Agnes Bonivart,
Chrystopher Nehaniv,
Shabnam Kadir,
Ronakben Bhavsar,
Yi Sun,
David Mayor,
Tony Steffert,
Yong Kang CHEN,
Andreas Chrysanthou,
Ian Johnston,
Raimund Kirner,
Pandelis Kourtessis,
Daniel McCluskey,
Daniel Polani,
Volker Steuber
and
Yichuang Sun
Interfaces and Concepts to Build Large Resilient and Predictable Systems. (2019)
Raimund Kirner
and
Olga Tveretina
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
picture_as_pdf
Deciding Reachability for 3-Dimensional Multi-Linear Systems. (2011)
Olga Tveretina
picture_as_pdf
Probabilistic Model Checking of Constraints in a Supply Chain Business Process. (2011)
Tamara Mendt,
Olga Tveretina
and
Carsten Sinz
picture_as_pdf
Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond. (2010)
Olga Tveretina,
Carsten Sinz
and
Hans Zantema
picture_as_pdf
An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas. (2009)
Olga Tveretina,
Carsten Sinz
and
Hans Zantema
Binary decision diagrams for first-order predicate logic. (2003)
Jan Friso Groote
and
Olga Tveretina
Modular Development of Hybrid Systems for Verification in Coq. (2008)
Milad Niqui
and
Olga Tveretina
A Decision Procedure for Equality Logic with Uninterpreted Functions. (2004)
Olga Tveretina
A BDD-Representation for the Logic of Equality and Uninterpreted Functions. (2005)
Jaco van de Pol
and
Olga Tveretina
Analyzing Separation of Duties Constraints with a Probabilistic Model Checker. (2011)
Tamara Mendt,
Carsten Sinz
and
Olga Tveretina
Generalizing DPLL and satisfiability for equalities. (2007)
Baharen Badban,
Jaco van de Pol,
Olga Tveretina
and
Hans Zantema
A Proof System and a Decision Procedure for Equality Logic. (2004)
Olga Tveretina
and
Hans Zantema