Nicolas Basset

Je suis actuellement maître de conférence à l'Université Grenoble Alpes. J'effectue ma recherche dans l’équipe TEMPO du laboratoire Verimag et mon enseignement à l'UFR IM2AG.

Mes travaux de recherches combinent plusieurs thèmes de recherches dont les théories :

• des automates temporisés et de la volumétrie de leur langages,
• des jeux stochastiques et temporisés,
• de la concurrence,
• de la génération aléatoire,
• de la combinatoire énumérative et analytique,
• de la dynamique symbolique et des codes sur canal contraint.

• 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.

Thèse

Rapports de stage

Développements Logiciels

Enseignements

J'enseigne des TPs de réseaux à l'université Grenoble Alpes en

• M1 info,
• L3 Miage,
• M1 Miage,
• RICM3 (Polytech)

J'ai encadré le stage de recherche de Master 1 de Marc Beunardeau de mars à aout 2014. Le thème était la génération aléatoire uniforme pour les automates temporisés. Il fait l'objet d'un article accepté à la conférence QEST'16 disponible ici.

• Je suis marié et j'ai quatre enfants Sonia et Gaël (nés en 2011), Délia (née en 2014) et Julien (né en 2016).