Parallel assignments in software model checking by Ouaknine, J

Timed CSP: a retrospective by Ouaknine, J, Schneider, S

The UAV Problem is PSPACE−Complete by Ho, H, Ouaknine, J

Decision Problems for Linear Recurrence Sequences. by Ouaknine, J, Worrell, J

On the Expressiveness of Metric Temporal Logic over Bounded Timed Words by Ho, H, Ouaknine, J

On parametric timed automata and one-counter machines by Ouaknine, J, Bundala, D

Some Recent Results in Metric Temporal Logic by Ouaknine, J, Worrell, J

On timed models and full abstraction by Lowe, G, Ouaknine, J

Towards a Theory of Time-Bounded Verification. by Ouaknine, J, Worrell, J

On metric temporal logic and faulty turing machines by Ouaknine, J, Worrell, J

ON THE DECIDABILITY AND COMPLEXITY OF METRIC TEMPORAL LOGIC OVER FINITE WORDS by Ouaknine, J, Worrell, J

Informatic vs. classical differentiation on the real line by Martin, K, Ouaknine, J

On Timed Models and Full Abstraction by Lowe, G, Ouaknine, J

Safety metric temporal logic is fully decidable by Ouaknine, J, Worrell, J

The Semialgebraic Orbit Problem by Almagor, S, Ouaknine, J, Worrell, J

On LTL model-checking for low-dimensional discrete linear dynamical systems by Karimov, T, Ouaknine, J, Worrell, J

Undecidability of Universality for Timed Automata with Minimal Resources by Adams, S, Ouaknine, J, Worrell, J

Undecidability of universality for timed automata with minimal resources by Adams, S, Ouaknine, J, Worrell, J

First-order orbit queries by Almagor, S, Ouaknine, J, Worrell, J

The polytope-collision problem by Almagor, S, Ouaknine, J, Worrell, J