www.comlab.ox.ac.uk/people/Joel.Ouaknine/index.html

Joel Ouaknine

Personal photo - Joel Ouaknine

Dr  Joel  Ouaknine 



Reader in Computer Science

Tutorial Fellow, St John's College



Room 409, Wolfson Building, Parks Road, Oxford OX1 3QD

Links

PERSONAL WEBPAGE

Selected Publications

View all

Reachability in Succinct and Parametric One-Counter Automata

Christoph Haase, Stephan Kreutzer, Joel Ouaknine and James Worrell

In M. Bravetti and G. Zavattaro, editors, Proceedings of the 20th International Conference on Concurrency Theory (CONCUR09). Vol. 5710 of Lecture Notes in Computer Science. Pages 369—383. Springer. September, 2009.

Details | BibTeX | Download (pdf)

Info

Themes

Verification

Activities

Concurrency | Hardware Verification | Quantitative Analysis and Verification

Projects

CSP Model Checking | Model-Checking for Timed Systems | Automated Verification of Probabilistic Programs | Quantitative Verification: From Model Checking to Model Measuring | Verification of Shared-Memory Concurrent Software

Students

Ed Blakey | Christoph Haase | Maneesh Khattri | Hristina Palikareva

Recent News

Studentships

D.Phil Studentship

Verification of Shared-Memory Concurrent Software

More Details...