N. Basset,M. Kwiatkowska et C. Wiltsche. Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives, accepté à Information and Computation. Le rapport de recherche correspondant à cet article est disponible ici.
N. Basset, Counting and generating permutations in regular classes, Algorithmica. version éditeur, PDF.
E. Asarin, N. Basset, Aldric DEGORRE, Entropy of Regular Timed Languages, Information and Computation, version éditeur, PDF.
N. Basset, A maximal entropy stochastic process for a timed automaton, Information and Computation, version éditeur, PDF.

N. Basset, J. Mairesse et M. Soria. Uniform Sampling for Networks of Automata, CONCUR'17 disponible ici
N. Basset, G. Geeraerts, J-F. Raskin et O. Sankur, Admissibility in Concurrent Games, ICALP'17, disponible ici
N. Basset, J-F. Raskin et O. Sankur, Admissible Strategies in Timed Games, Models, Algorithms, Logics and Tools 2017, disponible ici
B. Barbot, N. Basset, M. Beunardeau et M. Kwiatkowska, Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement, QEST'16. disponible ici.
N. Basset, Timed symbolic dynamics, FORMATS'15.
N. Basset,M. Kwiatkowska, Ufuk Topcu et C. Wiltsche. Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives, TACAS'15.
N. Basset,M. Kwiatkowska et C. Wiltsche. Compositional Controller Synthesis for Stochastic Games, CONCUR'14.
N. Basset, Counting and generating permutations using timed languages, LATIN'14.
E. Asarin, N. Basset, Aldric DEGORRE, Spectral Gap in Timed Automata, FORMATS'13.
N. Basset, A Maximal Entropy Stochastic Process for a Timed Automaton, ICALP'13. Best student paper award (track B), version en ligne.
E. Asarin, N. Basset, M.-P. Béal, Aldric DEGORRE, Dominique PERRIN, Toward a timed theory of channel coding, FORMATS'12, LNCS 7595, 27-42; p. 124-135, © Springer-Verlag, 2012, version en ligne
E. ASARIN, N. Basset, Aldric DEGORRE, Dominique PERRIN, Generating functions of timed languages, MFCS'12, LNCS 7464, p. 124-135, © Springer-Verlag, 2012, a long version hal-00678443.
N. Basset,E. ASARIN, Thin and thick timed regular languages, FORMATS'11, LNCS 6919, © Springer-Verlag, 2011, p.113-128, version en ligne.

PhD thesis

The manuscript is here.
The slides of the defense are here.
Reports from the reviewers and from the defense are here.

Internship reports

Dynamique symbolique des langages temporisés - M2 internship report (2009) with Eugène ASARIN (LIAFA, Paris)
Sécurité des descripteur SIFT - M1 internship report (2008) with Ewa KIJAK (INRIA, Rennes).
Minimization and learning in the class DWBA - L3 internship report (2007) with Martin LEUCKER (T-U-MUNICH)

Software

J'ai programmé les algorithmes et exemples de mon article Counting and generating permutations in regular classes avec le logiciel SageMath. Le code est disponible ici.
J'ai programmé avec mes collègues Benoît Barbot et Marc Beunardeau les méthodes de génération aléatoire pour les langages temporisés que nous décrivons dans l'article Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement. La page web de notre chaîne d'outils est disponible ici. Nous utilisons ou modifions les outils suivants PRISM, SageMath et COSMOS.

Revues

Conferences

PhD thesis

Internship reports

Software