Joël Ouaknine
Orcid: 0000-0003-0031-9356Affiliations:
- University of Oxford, Department of Computer Science, UK
- Max Planck Institute for Software Systems, Saarbrücken, Germany
According to our database1,
Joël Ouaknine
authored at least 189 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2021, "For contributions to algorithmic analysis of dynamical systems".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
On csauthors.net:
Bibliography
2024
Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024
Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024
Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024
2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023
Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023
2022
ACM Trans. Comput. Log., 2022
CoRR, 2022
Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022
Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set.
Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022
Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022
Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022
Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications.
Proceedings of the 33rd International Conference on Concurrency Theory, 2022
Proceedings of the Principles of Systems Design, 2022
2021
Proc. ACM Program. Lang., 2021
Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021
Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021
On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets.
Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021
Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021
Proceedings of the 32nd International Conference on Concurrency Theory, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
2020
Proceedings of the 37th International Symposium on Theoretical Aspects of Computer Science, 2020
Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020
Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020
Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020
Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020
Proceedings of the 31st International Conference on Concurrency Theory, 2020
Proceedings of the 31st International Conference on Concurrency Theory, 2020
2019
Theory Comput. Syst., 2019
Log. Methods Comput. Sci., 2019
Proceedings of the 36th International Symposium on Theoretical Aspects of Computer Science, 2019
Proceedings of the Static Analysis - 26th International Symposium, 2019
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019
Proceedings of the 30th International Conference on Concurrency Theory, 2019
2018
Proceedings of the Handbook of Model Checking., 2018
Log. Methods Comput. Sci., 2018
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018
Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018
Proceedings of the 29th International Conference on Concurrency Theory, 2018
2017
Proceedings of the 34th Symposium on Theoretical Aspects of Computer Science, 2017
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017
Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017
2016
ACM Trans. Comput. Log., 2016
Fundam. Informaticae, 2016
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016
Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016
2015
Proceedings of the 32nd International Symposium on Theoretical Aspects of Computer Science, 2015
Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, 2015
Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, 2015
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015
Proceedings of the Foundations of Software Science and Computation Structures, 2015
2014
Dagstuhl Reports, 2014
Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, 2014
Proceedings of the Runtime Verification - 5th International Conference, 2014
Proceedings of the Mathematical Foundations of Computer Science 2014, 2014
Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014
Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014
Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014
Foundations for Decision Problems in Separation Logic with General Inductive Predicates.
Proceedings of the Foundations of Software Science and Computation Structures, 2014
Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014
2013
Formal Methods Syst. Des., 2013
Log. Methods Comput. Sci., 2013
Log. Methods Comput. Sci., 2013
Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013
Proceedings of the Symposium on Theory of Computing Conference, 2013
Proceedings of the Mathematical Foundations of Computer Science 2013, 2013
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013
Proceedings of the Language and Automata Theory and Applications, 2013
Proceedings of the Frontiers of Combining Systems, 2013
Proceedings of the Formal Methods in Computer-Aided Design, 2013
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points.
Proceedings of the Automated Technology for Verification and Analysis, 2013
2012
Formal Aspects Comput., 2012
Proceedings of the Reachability Problems - 6th International Workshop, 2012
Proceedings of the Reachability Problems - 6th International Workshop, 2012
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012
Proceedings of the Foundations of Software Science and Computational Structures, 2012
Proceedings of the Foundations of Software Science and Computational Structures, 2012
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
2011
Proceedings of the Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, 2011
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2011
Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011
Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011
Proceedings of the Computer Science Logic, 2011
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
2010
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010
Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010
Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010
Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010
2009
Int. J. Softw. Tools Technol. Transf., 2009
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009
2008
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008
Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008
2007
Log. Methods Comput. Sci., 2007
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007
2006
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2006
Proceedings of the Foundations of Software Science and Computation Structures, 2006
2005
Theor. Comput. Sci., 2005
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., 2005
Int. J. Softw. Tools Technol. Transf., 2005
Formal Aspects Comput., 2005
Proceedings of the Third International Workshop on Software Verification and Validation, 2005
Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005
Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005
Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005
Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005
2004
Formal Methods Syst. Des., 2004
Proceedings of the Verification, 2004
Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004
Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004
Proceedings of the Foundations of Software Science and Computation Structures, 2004
Proceedings of the Computer Aided Verification, 16th International Conference, 2004
2003
Timed CSP = Closed Timed epsilon-automata.
Nord. J. Comput., 2003
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems.
Int. J. Found. Comput. Sci., 2003
Proceedings of the 10th International Workshop on Expressiveness in Concurrency, 2003
Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach.
Proceedings of the 2003 Workshop on Software Model Checking, 2003
Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003
Proceedings of the Hybrid Systems: Computation and Control, 2003
Proceedings of the Foundations of Software Science and Computational Structures, 2003
2002
Proceedings of the 9th International Workshop on Expressiveness in Concurrency, 2002
Proceedings of the Workshop on Domains VI 2002, Birmingham, UK, September 16-19, 2002, 2002
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002
2000
PhD thesis, 2000
1999
Model-Checking Temporal Behaviour in CSP.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999