Publications



Timed automata and Metric Temporal Logic

Software model checking (and related work)

Probabilistic systems

Linear dynamical systems

Infinite-state systems

Timed CSP

Miscellaneous


Back to Joel Ouaknine's home page
Last updated in January 2014