Joël Ouaknine

267 papers A* 46A 11B 47C 3Misc 1Journal 115Unranked 38
YearRankTypeTitle / Venue / Authors
2026 A* conf
On the Complexity of the Skolem Problem at Low Orders.
SODA
Piotr Bacik, Joël Ouaknine, James Worrell
2026 A conf
On the p-adic Skolem Problem.
STACS
Piotr Bacik, Joël Ouaknine, David Purser, James Worrell
2026 A* conf
Temporal Properties of Conditional Independence in Dynamic Bayesian Networks.
AAAI
Rajab Aghamov, Christel Baier, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala, Isa Vialard
2026 B conf
The Value Problem for Weighted Timed Games with Two Clocks is Undecidable.
FoSSaCS
Quentin Guilmant, Joël Ouaknine, Isa Vialard
2025 A* ed.
52nd International Colloquium on Automata, Languages, and Programming, ICALP 2025, Aarhus, Denmark, July 8-11, 2025
ICALP
Keren Censor-Hillel, Fabrizio Grandoni, Joël Ouaknine, Gabriele Puppis
2025 — conf
Algorithmic Applications of Schanuel's Conjecture.
Principles of Formal Quantitative Analysis
Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell
2025 J jnl
Computing transcendence and linear relations of 1-periods.
CoRR
Emre Can Sertöz, Joël Ouaknine, James Worrell
2025 J jnl
Convex language semantics for nondeterministic probabilistic automata.
Theor. Comput. Sci.
Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva
2025 A* conf
Model Checking Linear Temporal Logic with Standpoint Modalities.
KR
Rajab Aghamov, Christel Baier, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Jakob Piribauer, Timm Spork
2025 J jnl
Model Checking Linear Temporal Logic with Standpoint Modalities.
CoRR
Rajab Aghamov, Christel Baier, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Jakob Piribauer, Timm Spork
2025 A* conf
Multiple Reachability in Linear Dynamical Systems.
LICS
Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
2025 B conf
On Expansions of Monadic Second-Order Logic with Dynamical Predicates.
MFCS
Joris Nieuwveld, Joël Ouaknine
2025 J jnl
On Expansions of Monadic Second-Order Logic with Dynamical Predicates.
CoRR
Joris Nieuwveld, Joël Ouaknine
2025 B conf
On Large Zeros of Linear Recurrence Sequences.
MFCS
Florian Luca, Joël Ouaknine, James Worrell
2025 J jnl
On the
CoRR
Piotr Bacik, Joël Ouaknine, David Purser, James Worrell
2025 J jnl
On the Complexity of the Skolem Problem at Low Orders.
CoRR
Piotr Bacik, Joël Ouaknine, James Worrell
2025 A* conf
On the Decidability of Presburger Arithmetic Expanded with Powers.
SODA
Toghrul Karimov, Florian Luca, Joris Nieuwveld, Joël Ouaknine, James Worrell
2025 J jnl
On the Monniaux Problem in Abstract Interpretation.
J. ACM
Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
2025 J jnl
Temporal Properties of Conditional Independence in Dynamic Bayesian Networks.
CoRR
Rajab Aghamov, Christel Baier, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala, Isa Vialard
2025 J jnl
Termination Analysis of Linear-Constraint Programs.
CoRR
Amir M. Ben-Amram, Samir Genaim, Joël Ouaknine, James Worrell
2025 J jnl
The Value Problem for Weighted Timed Games with Two Clocks is Undecidable.
CoRR
Quentin Guilmant, Joël Ouaknine, Isa Vialard
2025 J jnl
The monadic theory of toric words.
Theor. Comput. Sci.
Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell
2024 B conf
Inaproximability in Weighted Timed Games.
CONCUR
Quentin Guilmant, Joël Ouaknine
2024 — conf
Linear dynamical systems with continuous weight functions.
HSCC
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joël Ouaknine, Jakob Piribauer
2024 — conf
Model Checking Markov Chains as Distribution Transformers.
Principles of Verification (2)
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala
2024 J jnl
Model Checking Markov Chains as Distribution Transformers.
CoRR
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala
2024 J jnl
Multiple Reachability in Linear Dynamical Systems.
CoRR
Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
2024 A conf
Nonnegativity Problems for Matrix Semigroups.
STACS
Julian D'Costa, Joël Ouaknine, James Worrell
2024 A* conf
On Transcendence of Numbers Related to Sturmian and Arnoux-Rauzy Words.
ICALP
Pavol Kebis, Florian Luca, Joël Ouaknine, Andrew Scoones, James Worrell
2024 J jnl
On Transcendence of Numbers Related to Sturmian and Arnoux-Rauzy Words.
CoRR
Pavol Kebis, Florian Luca, Joël Ouaknine, Andrew Scoones, James Worrell
2024 A* conf
On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates.
LICS
Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell
2024 J jnl
On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates.
CoRR
Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell
2024 J jnl
On the Decidability of Presburger Arithmetic Expanded with Powers.
CoRR
Toghrul Karimov, Florian Luca, Joris Nieuwveld, Joël Ouaknine, James Worrell
2024 J jnl
Porous invariants for linear systems.
Formal Methods Syst. Des.
Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell
2024 A* conf
The 2-Dimensional Constraint Loop Problem Is Decidable.
ICALP
Quentin Guilmant, Engel Lefaucheux, Joël Ouaknine, James Worrell
2024 J jnl
The 2-Dimensional Constraint Loop Problem is Decidable.
CoRR
Quentin Guilmant, Engel Lefaucheux, Joël Ouaknine, James Worrell
2024 J jnl
Transcendence of Hecke-Mahler Series.
CoRR
Florian Luca, Joël Ouaknine, James Worrell
2024 J jnl
Verification of Linear Dynamical Systems via O-Minimality of Real Numbers.
CoRR
Toghrul Karimov, Joël Ouaknine, James Worrell
2023 — conf
Model Checking Linear Dynamical Systems under Floating-point Rounding.
TACAS (1)
Engel Lefaucheux, Joël Ouaknine, David Purser, Mohammadamin Sharifi
2023 J jnl
Nonnegativity Problems for Matrix Semigroups.
CoRR
Julian D'Costa, Joël Ouaknine, James Worrell
2023 J jnl
On Strongest Algebraic Program Invariants.
J. ACM
Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell
2023 J jnl
On the Zeros of Exponential Polynomials.
J. ACM
Ventsislav Chonev, Joël Ouaknine, James Worrell
2023 J jnl
On the 𝑝-adic zeros of the Tribonacci sequence.
Math. Comput.
Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, James Worrell
2023 A* conf
Positivity Problems for Reversible Linear Recurrence Sequences.
ICALP
George Kenison, Joris Nieuwveld, Joël Ouaknine, James Worrell
2023 A* conf
Reachability in Injective Piecewise Affine Maps.
LICS
Faraz Ghahremani, Edon Kelmendi, Joël Ouaknine
2023 J jnl
Reachability in Injective Piecewise Affine Maps.
CoRR
Faraz Ghahremani, Edon Kelmendi, Joël Ouaknine
2023 J jnl
Skolem Meets Bateman-Horn.
CoRR
Florian Luca, James Maynard, Armand Noubissie, Joël Ouaknine, James Worrell
2023 J jnl
The Monadic Theory of Toric Words.
CoRR
Valérie Berthé, Toghrul Karimov, Joël Ouaknine, Mihir Vahanwala, James Worrell
2023 A* conf
The Power of Positivity.
LICS
Toghrul Karimov, Edon Kelmendi, Joris Nieuwveld, Joël Ouaknine, James Worrell
2023 J jnl
Transcendence of Sturmian Numbers over an Algebraic Base.
CoRR
Florian Luca, Joël Ouaknine, James Worrell
2022 B conf
A Universal Skolem Set of Positive Lower Density.
MFCS
Florian Luca, Joël Ouaknine, James Worrell
2022 — conf
Algebraic Model Checking for Discrete Linear Dynamical Systems.
FORMATS
Florian Luca, Joël Ouaknine, James Worrell
2022 B conf
Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set.
MFCS
Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
2022 J jnl
Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set.
CoRR
Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
2022 J jnl
Model Checking Linear Dynamical Systems under Floating-point Rounding.
CoRR
Engel Lefaucheux, Joël Ouaknine, David Purser, Mohammadamin Sharifi
2022 J jnl
O-Minimal Invariants for Discrete-Time Dynamical Systems.
ACM Trans. Comput. Log.
Shaull Almagor, Dmitry Chistikov, Joël Ouaknine, James Worrell
2022 A* conf
On the Skolem Problem and the Skolem Conjecture.
LICS
Richard Lipton, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell
2022 B conf
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications.
CONCUR
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
2022 J jnl
Sequential Relational Decomposition.
Log. Methods Comput. Sci.
Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi
2022 B conf
Skolem Meets Schanuel.
MFCS
Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell
2022 J jnl
Skolem Meets Schanuel.
CoRR
Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell
2022 B conf
The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems.
MFCS
Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, James Worrell
2022 J jnl
The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems.
CoRR
Julian D'Costa, Toghrul Karimov, Joël Ouaknine, Mahmoud Salamati, James Worrell
2022 — conf
What's Decidable About Discrete Linear Dynamical Systems?
Principles of Systems Design
Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
2022 J jnl
What's Decidable about Discrete Linear Dynamical Systems?
CoRR
Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
2022 J jnl
What's decidable about linear loops?
Proc. ACM Program. Lang.
Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Anton Varonka, Markus A. Whiteland, James Worrell
2021 J jnl
Deciding ω-regular properties on linear recurrence sequences.
Proc. ACM Program. Lang.
Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
2021 A* conf
Decision Problems for Second-Order Holonomic Recurrences.
ICALP
Eike Neumann, Joël Ouaknine, James Worrell
2021 J jnl
First-Order Orbit Queries.
Theory Comput. Syst.
Shaull Almagor, Joël Ouaknine, James Worrell
2021 B conf
Holonomic Techniques, Periods, and Decision Problems (Invited Talk).
MFCS
Joël Ouaknine
2021 B conf
On Positivity and Minimality for Second-Order Holonomic Sequences.
MFCS
George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Joël Ouaknine, Markus A. Whiteland, James Worrell
2021 B conf
On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets.
MFCS
Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
2021 J jnl
On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets.
CoRR
Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
2021 — conf
Porous Invariants.
CAV (2)
Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell
2021 J jnl
Porous Invariants.
CoRR
Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell
2021 J jnl
Preface.
Inf. Comput.
Mikolaj Bojanczyk, Thomas Brihaye, Christoph Haase, Slawomir Lasota, Joël Ouaknine, Igor Potapov
2021 B conf
The Orbit Problem for Parametric Linear Dynamical Systems.
CONCUR
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
2021 J jnl
The Orbit Problem for Parametric Linear Dynamical Systems.
CoRR
Christel Baier, Florian Funke, Simon Jantsch, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
2021 B conf
The Pseudo-Skolem Problem is Decidable.
MFCS
Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, Sadegh Soudjani, James Worrell
2021 A* conf
Universal Skolem Sets.
LICS
Florian Luca, Joël Ouaknine, James Worrell
2020 B conf
Algebraic Invariants for Linear Hybrid Automata.
CONCUR
Rupak Majumdar, Joël Ouaknine, Amaury Pouly, James Worrell
2020 J jnl
Deciding ω-Regular Properties on Linear Recurrence Sequences.
CoRR
Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
2020 — conf
Holonomic Techniques, Periods, and Decision Problems (Invited Talk).
FSTTCS
Joël Ouaknine
2020 A conf
How Fast Can You Escape a Compact Polytope?
STACS
Julian D'Costa, Engel Lefaucheux, Joël Ouaknine, James Worrell
2020 A* conf
Invariants for Continuous Linear Dynamical Systems.
ICALP
Shaull Almagor, Edon Kelmendi, Joël Ouaknine, James Worrell
2020 J jnl
Invariants for Continuous Linear Dynamical Systems.
CoRR
Shaull Almagor, Edon Kelmendi, Joël Ouaknine, James Worrell
2020 B conf
On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems.
MFCS
Toghrul Karimov, Joël Ouaknine, James Worrell
2020 J jnl
On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems.
CoRR
Toghrul Karimov, Joël Ouaknine, James Worrell
2020 J jnl
On Positivity and Minimality for Second-Order Holonomic Sequences.
CoRR
George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Joël Ouaknine, Markus A. Whiteland, James Worrell
2020 B conf
On Ranking Function Synthesis and Termination for Polynomial Programs.
CONCUR
Eike Neumann, Joël Ouaknine, James Worrell
2020 J jnl
On the Skolem Problem and Prime Powers.
CoRR
George Kenison, Richard Lipton, Joël Ouaknine, James Worrell
2020 B conf
On the skolem problem and prime powers.
ISSAC
George Kenison, Richard Lipton, Joël Ouaknine, James Worrell
2020 — conf
Reachability in Dynamical Systems with Rounding.
FSTTCS
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland
2020 J jnl
Reachability in Dynamical Systems with Rounding.
CoRR
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland
2019 J jnl
Algebraic Invariants for Linear Hybrid Automata.
CoRR
Rupak Majumdar, Joël Ouaknine, Amaury Pouly, James Worrell
2019 J jnl
Complete Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem.
Theory Comput. Syst.
Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
2019 J jnl
Cyclic-routing of Unmanned Aerial Vehicles.
J. Comput. Syst. Sci.
Nir Drucker, Hsi-Ming Ho, Joël Ouaknine, Michal Penn, Ofer Strichman
2019 A* conf
On Reachability Problems for Low-Dimensional Matrix Semigroups.
ICALP
Thomas Colcombet, Joël Ouaknine, Pavel Semukhin, James Worrell
2019 J jnl
On Termination of Integer Linear Loops.
CoRR
Mehran Hosseini, Joël Ouaknine, James Worrell
2019 J jnl
On reachability problems for low dimensional matrix semigroups.
CoRR
Thomas Colcombet, Joël Ouaknine, Pavel Semukhin, James Worrell
2019 J jnl
On the Decidability of Membership in Matrix-exponential Semigroups.
J. ACM
Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell
2019 J jnl
On the Expressiveness and Monitoring of Metric Temporal Logic.
Log. Methods Comput. Sci.
Hsi-Ming Ho, Joël Ouaknine, James Worrell
2019 B conf
On the Monniaux Problem in Abstract Interpretation.
SAS
Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
2019 J jnl
On the Monniaux Problem in Abstract Interpretation.
CoRR
Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
2019 — conf
On the decidability of reachability in linear time-invariant systems.
HSCC
Nathanaël Fijalkow, Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell
2019 B conf
Program Invariants (Invited Talk).
CONCUR
Joël Ouaknine
2019 J jnl
Sequential Relational Decomposition.
CoRR
Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi
2019 A* conf
Termination of Linear Loops over the Integers.
ICALP
Mehran Hosseini, Joël Ouaknine, James Worrell
2019 A conf
The Semialgebraic Orbit Problem.
STACS
Shaull Almagor, Joël Ouaknine, James Worrell
2019 J jnl
The Semialgebraic Orbit Problem.
CoRR
Shaull Almagor, Joël Ouaknine, James Worrell
2018 C conf
Convex Language Semantics for Nondeterministic Probabilistic Automata.
ICTAC
Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva
2018 J jnl
Convex Language Semantics for Nondeterministic Probabilistic Automata.
CoRR
Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva
2018 B conf
Effective Divergence Analysis for Linear Recurrence Sequences.
CONCUR
Shaull Almagor, Brynmor Chapman, Mehran Hosseini, Joël Ouaknine, James Worrell
2018 J jnl
Effective Divergence Analysis for Linear Recurrence Sequences.
CoRR
Shaull Almagor, Brynmor Chapman, Mehran Hosseini, Joël Ouaknine, James Worrell
2018 J jnl
Model Checking Flat Freeze LTL on One-Counter Automata.
Log. Methods Comput. Sci.
Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell
2018 — ch.
Model Checking Real-Time Systems.
Handbook of Model Checking
Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Joël Ouaknine, James Worrell
2018 A* conf
O-Minimal Invariants for Linear Loops.
ICALP
Shaull Almagor, Dmitry Chistikov, Joël Ouaknine, James Worrell
2018 J jnl
O-Minimal Invariants for Linear Loops.
CoRR
Shaull Almagor, Dmitry Chistikov, Joël Ouaknine, James Worrell
2018 J jnl
On the Decidability of Reachability in Linear Time-Invariant Systems.
CoRR
Nathanaël Fijalkow, Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell
2018 J jnl
On the Expressiveness and Monitoring of Metric Temporal Logic.
CoRR
Hsi-Ming Ho, Joël Ouaknine, James Worrell
2018 A* conf
Polynomial Invariants for Affine Programs.
LICS
Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell
2018 J jnl
Polynomial Invariants for Affine Programs.
CoRR
Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell
2018 J jnl
Reachability Problems 2014: Special issue.
Theor. Comput. Sci.
Joël Ouaknine, Igor Potapov, James Worrell
2018 A* conf
Sequential Relational Decomposition.
LICS
Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi
2017 A* conf
LICS 2017 foreword.
LICS
Joël Ouaknine
2017 J jnl
On parametric timed automata and one-counter machines.
Inf. Comput.
Daniel Bundala, Joël Ouaknine
2017 — conf
On the Polytope Escape Problem for Continuous Linear Dynamical Systems.
HSCC
Joël Ouaknine, João Sousa Pinto, James Worrell
2017 A conf
Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem.
STACS
Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
2017 J jnl
Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem.
CoRR
Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
2017 A* conf
The Polytope-Collision Problem.
ICALP
Shaull Almagor, Joël Ouaknine, James Worrell
2017 — conf
Timed Temporal Logics.
Models, Algorithms, Logics and Tools
Patricia Bouyer, François Laroussinie, Nicolas Markey, Joël Ouaknine, James Worrell
2016 B conf
Model Checking Flat Freeze LTL on One-Counter Automata.
CONCUR
Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell
2016 J jnl
Model Checking Flat Freeze LTL on One-Counter Automata.
CoRR
Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell
2016 A* conf
On Recurrent Reachability for Continuous Linear Dynamical Systems.
LICS
Ventsislav Chonev, Joël Ouaknine, James Worrell
2016 J jnl
On the Complexity of the Orbit Problem.
J. ACM
Ventsislav Chonev, Joël Ouaknine, James Worrell
2016 A* conf
On the Skolem Problem for Continuous Linear Dynamical Systems.
ICALP
Ventsislav Chonev, Joël Ouaknine, James Worrell
2016 A* conf
Proving the Herman-Protocol Conjecture.
ICALP
Maria Bruna, Radu Grigore, Stefan Kiefer, Joël Ouaknine, James Worrell
2016 J jnl
Relating Reachability Problems in Timed and Counter Automata.
Fundam. Informaticae
Christoph Haase, Joël Ouaknine, James Worrell
2016 A* conf
Solvability of Matrix-Exponential Equations.
LICS
Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell
2016 J jnl
Solvability of Matrix-Exponential Equations.
CoRR
Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell
2016 J jnl
The Polytope-Collision Problem.
CoRR
Shaull Almagor, Joël Ouaknine, James Worrell
2016 J jnl
Zeno, Hercules, and the Hydra: Safety Metric Temporal Logic is Ackermann-Complete.
ACM Trans. Comput. Log.
Ranko Lazic, Joël Ouaknine, James Worrell
2015 A conf
On Matrix Powering in Low Dimensions.
STACS
Esther Galby, Joël Ouaknine, James Worrell
2015 A* conf
On Termination of Integer Linear Loops.
SODA
Joël Ouaknine, João Sousa Pinto, James Worrell
2015 J jnl
On linear recurrence sequences and loop termination.
ACM SIGLOG News
Joël Ouaknine, James Worrell
2015 A* conf
On the Complexity of Linear Arithmetic with Divisibility.
LICS
Antonia Lechner, Joël Ouaknine, James Worrell
2015 J jnl
On the Decidability of the Bounded Continuous Skolem Problem.
CoRR
Ventsislav Chonev, Joël Ouaknine, James Worrell
2015 J jnl
On the Decidability of the Continuous Infinite Zeros Problem.
CoRR
Ventsislav Chonev, Joël Ouaknine, James Worrell
2015 J jnl
Proving the Herman-Protocol Conjecture.
CoRR
Maria Bruna, Radu Grigore, Stefan Kiefer, Joël Ouaknine, James Worrell
2015 J jnl
Reachability problems for Markov chains.
Inf. Process. Lett.
S. Akshay, Timos Antonopoulos, Joël Ouaknine, James Worrell
2015 B conf
The Cyclic-Routing UAV Problem is PSPACE-Complete.
FoSSaCS
Hsi-Ming Ho, Joël Ouaknine
2015 J jnl
The Polyhedral Escape Problem is Decidable.
CoRR
Joël Ouaknine, João Sousa Pinto, James Worrell
2015 A* conf
The Polyhedron-Hitting Problem.
SODA
Ventsislav Chonev, Joël Ouaknine, James Worrell
2014 — conf
Advances in Parametric Real-Time Reasoning.
MFCS (1)
Daniel Bundala, Joël Ouaknine
2014 B conf
Foundations for Decision Problems in Separation Logic with General Inductive Predicates.
FoSSaCS
Timos Antonopoulos, Nikos Gorogiannis, Christoph Haase, Max I. Kanovich, Joël Ouaknine
2014 — ch.
Model checking Timed CSP.
HOWARD-60
Philip J. Armstrong, Gavin Lowe, Joël Ouaknine, Bill Roscoe
2014 J jnl
On Termination of Integer Linear Loops.
CoRR
Joël Ouaknine, João Sousa Pinto, James Worrell
2014 — conf
On the Complexity of Temporal-Logic Path Checking.
ICALP (2)
Daniel Bundala, Joël Ouaknine
2014 — conf
On the Positivity Problem for Simple Linear Recurrence Sequences, .
ICALP (2)
Joël Ouaknine, James Worrell
2014 B conf
Online Monitoring of Metric Temporal Logic.
RV
Hsi-Ming Ho, Joël Ouaknine, James Worrell
2014 A* conf
Positivity Problems for Low-Order Linear Recurrence Sequences.
SODA
Joël Ouaknine, James Worrell
2014 — ed.
Reachability Problems - 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings
RP
Joël Ouaknine, Igor Potapov, James Worrell
2014 J jnl
Reachability Problems for Infinite-State Systems (Dagstuhl Seminar 14141).
Dagstuhl Reports
Javier Esparza, Alain Finkel, Pierre McKenzie, Joël Ouaknine
2014 J jnl
The CR-UAV Problem is PSPACE-Complete.
CoRR
Hsi-Ming Ho, Joël Ouaknine
2014 J jnl
The Polyhedron-Hitting Problem.
CoRR
Ventsislav Chonev, Joël Ouaknine, James Worrell
2014 — conf
Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences.
ICALP (2)
Joël Ouaknine, James Worrell
2013 J jnl
A Static Analysis Framework for Livelock Freedom in CSP
Log. Methods Comput. Sci.
Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell
2013 J jnl
Algorithmic probabilistic game semantics - Playing games with automata.
Formal Methods Syst. Des.
Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell
2013 B conf
Decision Problems for Linear Recurrence Sequences.
FCT
Joël Ouaknine
2013 — conf
Decision Problems for Linear Recurrence Sequences.
SCSS
Joël Ouaknine
2013 C conf
Discrete Linear Dynamical Systems.
LATA
Joël Ouaknine
2013 J jnl
Effective Positivity Problems for Simple Linear Recurrence Sequences.
CoRR
Joël Ouaknine, James Worrell
2013 A* conf
Expressive Completeness for Metric Temporal Logic.
LICS
Paul Hunter, Joël Ouaknine, James Worrell
2013 J jnl
On the Complexity of Equivalence and Minimisation for Q-weighted Automata
Log. Methods Comput. Sci.
Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell
2013 J jnl
On the Complexity of Path Checking of Temporal Logics.
CoRR
Daniel Bundala, Joël Ouaknine
2013 J jnl
Positivity Problems for Low-Order Linear Recurrence Sequences.
CoRR
Joël Ouaknine, James Worrell
2013 A* conf
SeLoger: A Tool for Graph-Based Reasoning in Separation Logic.
CAV
Christoph Haase, Samin Ishtiaq, Joël Ouaknine, Matthew J. Parkinson
2013 — conf
Specification and Verification of Linear Dynamical Systems: Advances and Challenges.
FroCos
Joël Ouaknine
2013 J jnl
The Orbit Problem in Higher Dimensions
CoRR
Ventsislav Chonev, Joël Ouaknine, James Worrell
2013 A* conf
The orbit problem in higher dimensions.
STOC
Ventsislav Chonev, Joël Ouaknine, James Worrell
2013 B conf
Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points.
ATVA
Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell
2013 J jnl
Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences.
CoRR
Joël Ouaknine, James Worrell
2013 B conf
Verifying multi-threaded software with impact.
FMCAD
Björn Wachter, Daniel Kroening, Joël Ouaknine
2013 B conf
Zeno, Hercules and the Hydra: Downward Rational Termination Is Ackermannian.
MFCS
Ranko Lazic, Joël Ouaknine, James Worrell
2012 A* conf
APEX: An Analyzer for Open Probabilistic Programs.
CAV
Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell
2012 B conf
Branching-Time Model Checking of Parametric One-Counter Automata.
FoSSaCS
Stefan Göller, Christoph Haase, Joël Ouaknine, James Worrell
2012 — conf
Decision Problems for Linear Recurrence Sequences.
RP
Joël Ouaknine, James Worrell
2012 J jnl
Expressive Completeness of Metric Temporal Logic
CoRR
Paul Hunter, Joël Ouaknine, James Worrell
2012 J jnl
On termination and invariance for faulty channel machines.
Formal Aspects Comput.
Patricia Bouyer, Nicolas Markey, Joël Ouaknine, Philippe Schnoebelen, James Worrell
2012 B conf
On the Complexity of the Equivalence Problem for Probabilistic Automata.
FoSSaCS
Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell
2012 A* conf
On the Magnitude of Completeness Thresholds in Bounded Model Checking.
LICS
Daniel Bundala, Joël Ouaknine, James Worrell
2012 — conf
On the Relationship between Reachability Problems in Timed and Counter Automata.
RP
Christoph Haase, Joël Ouaknine, James Worrell
2012 A* conf
Recent Developments in FDR.
CAV
Philip J. Armstrong, Michael Goldsmith, Gavin Lowe, Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell
2012 J jnl
SAT-solving in CSP trace refinement.
Sci. Comput. Program.
Hristina Palikareva, Joël Ouaknine, A. W. Roscoe
2012 J jnl
Three tokens in Herman's algorithm.
Formal Aspects Comput.
Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell
2012 J jnl
Time-bounded Reachability for Hybrid Automata: Complexity and Fixpoints
CoRR
Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell
2012 J jnl
When is Metric Temporal Logic Expressively Complete?
CoRR
Paul Hunter, Joël Ouaknine, James Worrell
2011 A* conf
Language Equivalence for Probabilistic Automata.
CAV
Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell
2011 A* conf
Linear Completeness Thresholds for Bounded Model Checking.
CAV
Daniel Kroening, Joël Ouaknine, Ofer Strichman, Thomas Wahl, James Worrell
2011 J jnl
On Reachability for Hybrid Automata over Bounded Time
CoRR
Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell
2011 — conf
On Reachability for Hybrid Automata over Bounded Time.
ICALP (2)
Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell
2011 B conf
On Searching for Small Kochen-Specker Vector Systems.
WG
Felix Arends, Joël Ouaknine, Charles W. Wampler
2011 J jnl
On Stabilization in Herman's Algorithm
CoRR
Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, James Worrell, Lijun Zhang
2011 — conf
On Stabilization in Herman's Algorithm.
ICALP (2)
Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, James Worrell, Lijun Zhang
2011 J jnl
On the Complexity of the Equivalence Problem for Probabilistic Automata
CoRR
Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell
2011 B conf
Preface.
MFPS
Michael W. Mislove, Joël Ouaknine
2011 B conf
Static Livelock Analysis in CSP.
CONCUR
Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell
2011 B conf
The Church Synthesis Problem with Metric.
CSL
Mark Jenkins, Joël Ouaknine, Alexander Rabinovich, James Worrell
2011 B conf
Tractable Reasoning in a Fragment of Separation Logic.
CONCUR
Byron Cook, Christoph Haase, Joël Ouaknine, Matthew J. Parkinson, James Worrell
2011 B ed.
Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, MFPS 2011, Pittsburgh, PA, USA, May 25-28, 2011
MFPS
Michael W. Mislove, Joël Ouaknine
2010 A* conf
Alternating Timed Automata over Bounded Time.
LICS
Mark Jenkins, Joël Ouaknine, Alexander Rabinovich, James Worrell
2010 — conf
Computing Rational Radical Sums in Uniform TC^0.
FSTTCS
Paul Hunter, Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell
2010 — conf
Model Checking Succinct and Parametric One-Counter Automata.
ICALP (2)
Stefan Göller, Christoph Haase, Joël Ouaknine, James Worrell
2010 — ch.
On Process-Algebraic Extensions of Metric Temporal Logic.
Reflections on the Work of C. A. R. Hoare
Christoph Haase, Joël Ouaknine, James Worrell
2010 — conf
Towards a Theory of Time-Bounded Verification.
ICALP (2)
Joël Ouaknine, James Worrell
2009 J jnl
An abstraction-based decision procedure for bit-vector arithmetic.
Int. J. Softw. Tools Technol. Transf.
Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady
2009 J jnl
Faster FDR Counterexample Generation Using SAT-Solving.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Hristina Palikareva, Joël Ouaknine, Bill Roscoe
2009 — ed.
Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
FORMATS
Joël Ouaknine, Frits W. Vaandrager
2009 B conf
Reachability in Succinct and Parametric One-Counter Automata.
CONCUR
Christoph Haase, Stephan Kreutzer, Joël Ouaknine, James Worrell
2009 B conf
Time-Bounded Verification.
CONCUR
Joël Ouaknine, Alexander Rabinovich, James Worrell
2008 J jnl
Nets with Tokens which Carry Data.
Fundam. Informaticae
Ranko Lazic, Thomas Christopher Newcomb, Joël Ouaknine, A. W. Roscoe, James Worrell
2008 A conf
On Automated Verification of Probabilistic Programs.
TACAS
Axel Legay, Andrzej S. Murawski, Joël Ouaknine, James Worrell
2008 — conf
On Expressiveness and Complexity in Real-Time Model Checking.
ICALP (2)
Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell
2008 J jnl
On Termination for Faulty Channel Machines
CoRR
Patricia Bouyer, Nicolas Markey, Joël Ouaknine, Philippe Schnoebelen, James Worrell
2008 A conf
On Termination for Faulty Channel Machines.
STACS
Patricia Bouyer, Nicolas Markey, Joël Ouaknine, Philippe Schnoebelen, James Worrell
2008 — conf
Some Recent Results in Metric Temporal Logic.
FORMATS
Joël Ouaknine, James Worrell
2008 J jnl
Universality Analysis for One-Clock Timed Automata.
Fundam. Informaticae
Parosh Aziz Abdulla, Johann Deneux, Joël Ouaknine, Karin Quaas, James Worrell
2007 A conf
Deciding Bit-Vector Arithmetic with Abstraction.
TACAS
Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady
2007 — conf
Nets with Tokens Which Carry Data.
ICATPN
Ranko Lazic, Thomas Christopher Newcomb, Joël Ouaknine, A. W. Roscoe, James Worrell
2007 J jnl
On the decidability and complexity of Metric Temporal Logic over finite words
CoRR
Joël Ouaknine, James Worrell
2007 J jnl
On the decidability and complexity of Metric Temporal Logic over finite words.
Log. Methods Comput. Sci.
Joël Ouaknine, James Worrell
2007 A* conf
The Cost of Punctuality.
LICS
Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell
2007 — conf
Undecidability of Universality for Timed Automata with Minimal Resources.
FORMATS
Sara Adams, Joël Ouaknine, James Worrell
2007 — conf
Zone-Based Universality Analysis for Single-Clock Timed Automata.
FSEN
Parosh Aziz Abdulla, Joël Ouaknine, Karin Quaas, James Worrell
2006 B conf
On Metric Temporal Logic and Faulty Turing Machines.
FoSSaCS
Joël Ouaknine, James Worrell
2006 A conf
Safety Metric Temporal Logic Is Fully Decidable.
TACAS
Joël Ouaknine, James Worrell
2006 — conf
Sudoku as a SAT Problem.
AI&M
Inês Lynce, Joël Ouaknine
2005 J jnl
Computational challenges in bounded model checking.
Int. J. Softw. Tools Technol. Transf.
Edmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman
2005 J jnl
Concurrent software verification with states, events, and deadlocks.
Formal Aspects Comput.
Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha
2005 A* conf
Decidability and Complexity Results for Timed Automata via Channel Machines.
ICALP
Parosh Aziz Abdulla, Johann Deneux, Joël Ouaknine, James Worrell
2005 J jnl
Domain theory, testing and simulation for labelled Markov processes.
Theor. Comput. Sci.
Franck van Breugel, Michael W. Mislove, Joël Ouaknine, James Worrell
2005 B conf
On Probabilistic Program Equivalence and Refinement.
CONCUR
Andrzej S. Murawski, Joël Ouaknine
2005 B conf
On Timed Models and Full Abstraction.
MFPS
Gavin Lowe, Joël Ouaknine
2005 A* conf
On the Decidability of Metric Temporal Logic.
LICS
Joël Ouaknine, James Worrell
2005 — conf
Parallel Assignments in Software Model Checking.
SVV@ICFEM
Murray Stokely, Sagar Chaki, Joël Ouaknine
2005 B conf
State/Event Software Verification for Branching-Time Specifications.
IFM
Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith
2005 — conf
Timed CSP: A Retrospective.
APC 25
Joël Ouaknine, Steve A. Schneider
2005 J jnl
Verification of Reactive Systems: Formal Methods and Algorithms. By Klaus Schneider. Springer, Texts in Theoretical Computer Science Series, 2004, ISBN: 3-540-00296-0, pp 600.
Softw. Test. Verification Reliab.
Joël Ouaknine
2004 A* conf
Abstraction-Based Satisfiability Solving of Presburger Arithmetic.
CAV
Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman
2004 C conf
Automated, compositional and iterative deadlock detection.
MEMOCODE
Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina
2004 B conf
Completeness and Complexity of Bounded Model Checking.
VMCAI
Edmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman
2004 B conf
Duality for Labelled Markov Processes.
FoSSaCS
Michael W. Mislove, Joël Ouaknine, Dusko Pavlovic, James Worrell
2004 J jnl
Efficient Verification of Sequential and Concurrent C Programs.
Formal Methods Syst. Des.
Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav
2004 A* conf
On the Language Inclusion Problem for Timed Automata: Closing a Decidability Gap.
LICS
Joël Ouaknine, James Worrell
2004 B conf
State/Event-Based Software Model Checking.
IFM
Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha
2003 J jnl
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems.
Int. J. Found. Comput. Sci.
Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Joël Ouaknine, Olaf Stursberg, Michael Theobald
2003 B conf
An Intrinsic Characterization of Approximate Probabilistic Bisimilarity.
FoSSaCS
Franck van Breugel, Michael W. Mislove, Joël Ouaknine, James Worrell
2003 — conf
Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach.
SoftMC@CAV
Sagar Chaki, Joël Ouaknine, Karen Yorav, Edmund M. Clarke
2003 — conf
Axioms for Probability and Nondeterminism.
EXPRESS
Michael W. Mislove, Joël Ouaknine, James Worrell
2003 A* conf
Revisiting Digitization, Robustness, and Decidability for Timed Automata.
LICS
Joël Ouaknine, James Worrell
2003 J jnl
Timed CSP = Closed Timed epsilon-automata.
Nord. J. Comput.
Joël Ouaknine, James Worrell
2003 — conf
Universality and Language Inclusion for Open and Closed Timed Automata.
HSCC
Joël Ouaknine, James Worrell
2002 A conf
Digitisation and Full Abstraction for Dense-Time Model Checking.
TACAS
Joël Ouaknine
2002 — conf
Informatic vs. Classical Differentiation on the Real Line.
Workshop on Domains
Keye Martin, Joël Ouaknine
2002 — conf
Timed CSP = Closed Timed Safety Automata.
EXPRESS
Joël Ouaknine, James Worrell
2000 — —
Discrete analysis of continuous behaviour in real-time concurrent systems.
Joël Ouaknine
1999 Misc conf
Model-Checking Temporal Behaviour in CSP.
PDPTA
Joël Ouaknine, George M. Reed