Skip to main content
European Commission logo
English English
CORDIS - EU research results
CORDIS
CORDIS Web 30th anniversary CORDIS Web 30th anniversary

Analysis, Verification, and Synthesis for Infinite-State Systems

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets

Author(s): Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
Published in: 46th International Symposium on Mathematical Foundations of Computer Science (MFCS), Issue 202, 2021, Page(s) 33:1--33:21
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.mfcs.2021.33

On Positivity and Minimality for Second-Order Holonomic Sequences

Author(s): George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Joël Ouaknine, Markus A. Whiteland, James Worrell
Published in: 46th International Symposium on Mathematical Foundations of Computer Science (MFCS), Issue 202, 2021, Page(s) 67:1--67:15
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.mfcs.2021.67

Invariants for Continuous Linear Dynamical Systems

Author(s): Shaull Almagor, Edon Kelmendi, Joël Ouaknine, James Worrell
Published in: 47th International Colloquium on Automata, Languages, and Programming (ICALP), Issue 168, 2020, Page(s) 107:1--107:15
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2020.107

Decision Problems for Second-Order Holonomic Recurrences

Author(s): Eike Neumann, Joël Ouaknine, James Worrell
Published in: 48th International Colloquium on Automata, Languages, and Programming (ICALP), Issue 198, 2021, Page(s) 99:1--99:20
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2021.99

Reachability in Dynamical Systems with Rounding

Author(s): Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland
Published in: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Issue 182, 2020, Page(s) 36:1--36:17
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.fsttcs.2020.36

The Pseudo-Skolem Problem is Decidable

Author(s): Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, Sadegh Soudjani, James Worrell
Published in: 46th International Symposium on Mathematical Foundations of Computer Science (MFCS), Issue 202, 2021, Page(s) 34:1--34:21
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.mfcs.2021.34

Universal Skolem Sets

Author(s): Florian Luca, Joel Ouaknine, James Worrell
Published in: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Page(s) 1-6, ISBN 978-1-6654-4895-6
Publisher: IEEE
DOI: 10.1109/lics52264.2021.9470513

Solvability of Matrix-Exponential Equations

Author(s): Joel Ouaknine, Amaury Pouly, Joao Sousa-Pinto, James Worrell
Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16, 2016, Page(s) 798-806, ISBN 9781-450343916
Publisher: ACM Press
DOI: 10.1145/2933575.2934538

On Recurrent Reachability for Continuous Linear Dynamical Systems

Author(s): Ventsislav Chonev, Joël Ouaknine, James Worrell
Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16, 2016, Page(s) 515-524, ISBN 9781-450343916
Publisher: ACM Press
DOI: 10.1145/2933575.2934548

Proving the Herman-Protocol Conjecture

Author(s): Bruna, Maria; Grigore, Radu; Kiefer, Stefan; Ouaknine, Joël; Worrell, James
Published in: 43rd International Colloquium on Automata, Languages, and Programming (ICALP), 2016
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.ICALP.2016.104

On the Skolem Problem for Continuous Linear Dynamical Systems

Author(s): Ventsislav Chonev, Joel Ouaknine, and James Worrell
Published in: 43rd International Colloquium on Automata, Languages, and Programming (ICALP), 2016
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.ICALP.2016.100

Model Checking Flat Freeze LTL on One-Counter Automata

Author(s): Antonia Lechner, Richard Mayr, Joel Ouaknine, Amaury Pouly, and James Worrell
Published in: 27th International Conference on Concurrency Theory (CONCUR), 2016
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.CONCUR.2016.29

Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem

Author(s): Nathanael Fijalkow, Pierre Ohlmann, Joel Ouaknine, Amaury Pouly, and James Worrell
Published in: 34th Symposium on Theoretical Aspects of Computer Science (STACS), 2017
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.STACS.2017.29

The Polytope-Collision Problem

Author(s): Shaull Almagor, Joel Ouaknine, and James Worrell
Published in: 44th International Colloquium on Automata, Languages, and Programming (ICALP), 2017
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.ICALP.2017.24

On the Polytope Escape Problem for Continuous Linear Dynamical Systems

Author(s): Joel Ouaknine, Joao Sousa-Pinto, James Worrell
Published in: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control - HSCC '17, 2017, Page(s) 11-17, ISBN 9781-450345903
Publisher: ACM Press
DOI: 10.1145/3049797.3049798

Polynomial Invariants for Affine Programs

Author(s): Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell
Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18, 2018, Page(s) 530-539, ISBN 9781-450355834
Publisher: ACM Press
DOI: 10.1145/3209108.3209142

O-Minimal Invariants for Linear Loops

Author(s): Almagor, Shaull; Chistikov, Dmitry; Ouaknine, Joël; Worrell, James
Published in: 45th International Colloquium on Automata, Languages, and Programming, ICALP, Issue 107, 2018, Page(s) 114:1--114:14, ISBN 978-3-95977-076-7
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.ICALP.2018.114

Convex Language Semantics for Nondeterministic Probabilistic Automata

Author(s): van Heerdt, Gerco; Hsu, Justin; Ouaknine, Joël; Silva, Alexandra
Published in: Proceedings, Theoretical Aspects of Computing (ICTAC) 2018 - 15th International Colloquium, Issue 11187, 2018, Page(s) 472--492, ISBN 978-3-030-02507-6
Publisher: Springer

Effective Divergence Analysis for Linear Recurrence Sequences

Author(s): Almagor, Shaull; Chapman, Brynmor; Hosseini, Mehran; Ouaknine, Joël; Worrell, James
Published in: 29th International Conference on Concurrency Theory, CONCUR, Issue 118, 2018, Page(s) 42:1--42:15, ISBN 978-3-95977-087-3
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.CONCUR.2018.42

Sequential Relational Decomposition

Author(s): Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi
Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18, Issue Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2018, Page(s) 432-441, ISBN 9781-450355834
Publisher: ACM Press
DOI: 10.1145/3209108.3209203

The Semialgebraic Orbit Problem

Author(s): Shaull Almagor, Joel Ouaknine, James Worrell
Published in: Proceedings of the 36th International Symposium on Theoretical Aspects of Computer Science (STACS), Issue LIPIcs 126, 2019, Page(s) 6:1--6:15
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.stacs.2019.6

On Reachability Problems for Low-Dimensional Matrix Semigroups

Author(s): Thomas Colcombet, Joel Ouaknine, Pavel Semukhin, James Worrell
Published in: Proceedings of the 46th International Colloquium on Automata, Languages, and Programming (ICALP), Issue LIPIcs 132, 2019, Page(s) 44:1-44:15
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.icalp.2019.44

Termination of Linear Loops over the Integers

Author(s): Mehran Hosseini, Joel Ouaknine, James Worrell
Published in: Proceedings of the 46th International Colloquium on Automata, Languages, and Programming (ICALP), Issue LIPIcs 132, 2019, Page(s) 118:1-118:13
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.icalp.2019.118

On the decidability of reachability in linear time-invariant systems

Author(s): Nathanaël Fijalkow, Joël Ouaknine, Amaury Pouly, João Sousa-Pinto, James Worrell
Published in: Proceedings of the 22nd ACM International Conference on Hybrid Systems Computation and Control - HSCC '19, 2019, Page(s) 77-86, ISBN 9781-450362825
Publisher: ACM Press
DOI: 10.1145/3302504.3311796

On the Skolem Problem and prime powers

Author(s): George Kenison, Richard Lipton, Joël Ouaknine, James Worrell
Published in: 45th International Symposium on Symbolic and Algebraic Computation (ISSAC), Issue 20 July 2020, 2020, Page(s) 289-296
Publisher: ACM
DOI: 10.1145/3373207.3404036

The Orbit Problem for Parametric Linear Dynamical Systems

Author(s): Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
Published in: 32nd International Conference on Concurrency Theory (CONCUR), Issue 203, 2021, Page(s) 28:1--28:17
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2021.28

How Fast Can You Escape a Compact Polytope?

Author(s): Julian D'Costa, Engel Lefaucheux, Joël Ouaknine, James Worrell
Published in: 37th International Symposium on Theoretical Aspects of Computer Science (STACS), Issue 154, 2020, Page(s) 49:1-49:11, ISBN 978-3-95977-140-5
Publisher: Schloss Dagstuhl--Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.stacs.2020.49

On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems

Author(s): Toghrul Karimov, Joël Ouaknine, James Worrell
Published in: 45th International Symposium on Mathematical Foundations of Computer Science (MFCS), Issue 170, 2020, Page(s) 54:1--54:14
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.mfcs.2020.54

On Ranking Function Synthesis and Termination for Polynomial Programs

Author(s): Eike Neumann, Joël Ouaknine, James Worrell
Published in: 31st International Conference on Concurrency Theory (CONCUR), Issue 171, 2020, Page(s) 15:1--15:15
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2020.15

Algebraic Invariants for Linear Hybrid Automata

Author(s): Rupak Majumdar, Joël Ouaknine, Amaury Pouly, James Worrell
Published in: 31st International Conference on Concurrency Theory (CONCUR), Issue 171, 2020, Page(s) 32:1--32:17
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2020.32

What’s Decidable about Linear Loops?

Author(s): TOGHRUL KARIMOV, ENGEL LEFAUCHEUX, JOËL OUAKNINE, DAVID PURSER, ANTON VARONKA, MARKUS A. WHITELAND, JAMES WORRELL
Published in: Proceedings of the ACM Symposium on Programming Languages, Issue 6/POPL, 2022, Page(s) 1-25, ISSN 2475-1421
Publisher: ACM
DOI: 10.1145/3498727

Deciding ω-regular properties on linear recurrence sequences

Author(s): Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
Published in: Proceedings of the ACM on Programming Languages, Issue 5/POPL, 2021, Page(s) 1-24, ISSN 2475-1421
Publisher: ACM
DOI: 10.1145/3434329

On the Complexity of the Orbit Problem

Author(s): Ventsislav Chonev, Joël Ouaknine, James Worrell
Published in: Journal of the ACM, Issue 63/3, 2016, Page(s) 1-18, ISSN 0004-5411
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/2857050

Zeno, Hercules, and the Hydra

Author(s): Ranko Lazić, Joël Ouaknine, James Worrell
Published in: ACM Transactions on Computational Logic, Issue 17/3, 2016, Page(s) 1-27, ISSN 1529-3785
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/2874774

On parametric timed automata and one-counter machines

Author(s): Daniel Bundala, Joel Ouaknine
Published in: Information and Computation, Issue 253, 2017, Page(s) 272-303, ISSN 0890-5401
Publisher: Academic Press
DOI: 10.1016/j.ic.2016.07.011

Cyclic-routing of Unmanned Aerial Vehicles

Author(s): Nir Drucker, Hsi-Ming Ho, Joël Ouaknine, Michal Penn, Ofer Strichman
Published in: Journal of Computer and System Sciences, Issue 103, 2019, Page(s) 18-45, ISSN 0022-0000
Publisher: Academic Press
DOI: 10.1016/j.jcss.2019.02.002

Complete Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem

Author(s): Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
Published in: Theory of Computing Systems, Issue 63/5, 2019, Page(s) 1027-1048, ISSN 1432-4350
Publisher: Springer Verlag
DOI: 10.1007/s00224-019-09913-3

On the Decidability of Membership in Matrix-exponential Semigroups

Author(s): Joël Ouaknine, Amaury Pouly, João Sousa-Pinto, James Worrell
Published in: Journal of the ACM, Issue 66/3, 2019, Page(s) 1-24, ISSN 0004-5411
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3286487

First-Order Orbit Queries

Author(s): Shaull Almagor, Joël Ouaknine, James Worrell
Published in: Theory of Computing Systems, Issue 65/4, 2021, Page(s) 638-661, ISSN 1432-4350
Publisher: Springer Verlag
DOI: 10.1007/s00224-020-09976-7

On the Monniaux Problem in Abstract Interpretation

Author(s): Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
Published in: Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings, Issue 11822, 2019, Page(s) 162-180, ISBN 978-3-030-32303-5
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-32304-2_9

Porous Invariants

Author(s): Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell
Published in: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II, Issue 12760, 2021, Page(s) 172-194, ISBN 978-3-030-81687-2
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-81688-9_8

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available