Ocan Sankur

Cited by

	All	Since 2020
Citations	1100	594
h-index	20	14
i10-index	35	20

160

120

2011201220132014201520162017201820192020202120222023202420257 14 45 50 57 85 74 88 72 88 103 102 135 144 22

Public access

View all

22 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
Guillermo A. PérezAssociate Professor, University of AntwerpVerified email at uantwerp.be
Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayVerified email at lsv.fr
Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics CampusVerified email at cispa.saarland
Mickael RandourFNRS & UMONSVerified email at umons.ac.be
Leander TentrupSaarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
François SchwarzentruberÉcole Normale Supérieure de LyonVerified email at ens-lyon.fr
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Adam WalkerNICTA/UNSWVerified email at nicta.com.au
Robert KönighoferGraz University of TechnologyVerified email at iaik.tugraz.at
Martina SeidlUniv.-Prof., JKU LinzVerified email at jku.at
Leonid RyzhykFelderaVerified email at feldera.com
Nicolas BASSETAssistant professor, Verimag and University Grenoble AlpesVerified email at univ-grenoble-alpes.fr
Christel BaierTU DresdenVerified email at tu-dresden.de
Ayrat KhalimovTU ClausthalVerified email at tu-clausthal.de
Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAVerified email at inria.fr
Benjamin MonmegeAssistant Professor, Aix-Marseille Université, Laboratoire d'Informatique et SystèmesVerified email at univ-amu.fr
Thierry JéronUniv Rennes, Inria, CNRS, IRISAVerified email at inria.fr
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.de
Jakob PiribauerLeipzig University, Technical University DresdenVerified email at tu-dresden.de

Ocan Sankur

CNRS, Université de Rennes

Verified email at cnrs.fr - Homepage

Formal methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Percentile queries in multi-dimensional Markov decision processes M Randour, JF Raskin, O Sankur Formal methods in system design 50, 207-248, 2017	86	2017
Assume-admissible synthesis R Brenguier, JF Raskin, O Sankur Acta Informatica 54, 41-83, 2017	76	2017
The 4th reactive synthesis competition (SYNTCOMP 2017): Benchmarks, participants & results S Jacobs, N Basset, R Bloem, R Brenguier, M Colange, P Faymonville, ... arXiv preprint arXiv:1711.11439, 2017	69	2017
The first reactive synthesis competition (SYNTCOMP 2014) S Jacobs, R Bloem, R Brenguier, R Ehlers, T Hell, R Könighofer, ... International journal on software tools for technology transfer 19, 367-390, 2017	56	2017
Non-zero sum games for reactive synthesis R Brenguier, L Clemente, P Hunter, GA Pérez, M Randour, JF Raskin, ... Language and Automata Theory and Applications, 3-23, 2016	55	2016
Variations on the stochastic shortest path problem M Randour, JF Raskin, O Sankur International Workshop on Verification, Model Checking, and Abstract …, 2015	55	2015
Online correlation clustering C Mathieu, O Sankur, W Schudy STACS'10, 2010	47	2010
Robustness in timed automata P Bouyer, N Markey, O Sankur International Workshop on Reachability Problems, 1-18, 2013	39	2013
Shrinking timed automata O Sankur, P Bouyer, N Markey Information and Computation 234, 107-132, 2014	38	2014
Robust reachability in timed automata and games: A game-based approach P Bouyer, N Markey, O Sankur Theoretical Computer Science 563, 43-74, 2015	36	2015
Robust controller synthesis in timed automata O Sankur, P Bouyer, N Markey, PA Reynier CONCUR'13, 2013	33	2013
AbsSynthe: abstract synthesis from succinct safety specifications R Brenguier, GA Pérez, JF Raskin, O Sankur arXiv preprint arXiv:1407.5961, 2014	32	2014
Timed automata can always be made implementable P Bouyer, KG Larsen, N Markey, O Sankur, C Thrane International Conference on Concurrency Theory, 76-91, 2011	32	2011
Robust model-checking of timed automata via pumping in channel machines P Bouyer, N Markey, O Sankur FORMATS'11 - Formal Modeling and Analysis of Timed Systems, 97-112, 2011	28	2011
Games on graphs N Fijalkow, N Bertrand, P Bouyer-Decitre, R Brenguier, A Carayol, ... arXiv preprint arXiv:2305.10546, 2023	27	2023
The second reactive synthesis competition (SYNTCOMP 2015) S Jacobs, R Bloem, R Brenguier, R Könighofer, GA Pérez, JF Raskin, ... arXiv preprint arXiv:1602.01171, 2016	26	2016
Stochastic shortest paths and weight-bounded properties in Markov decision processes C Baier, N Bertrand, C Dubslaff, D Gburek, O Sankur Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018	25	2018
The 3rd reactive synthesis competition (SYNTCOMP 2016): Benchmarks, participants & results S Jacobs, R Bloem, R Brenguier, A Khalimov, F Klein, R Könighofer, ... arXiv preprint arXiv:1609.00507, 2016	20	2016
Symbolic quantitative robustness analysis of timed automata O Sankur International Conference on Tools and Algorithms for the Construction and …, 2015	20	2015
Probabilistic robust timed games Y Oualhadj, PA Reynier, O Sankur International Conference on Concurrency Theory, 203-217, 2014	20	2014

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors