Nicolas Basset

My new web page is available here

My ongoing work Toward Learning Boolean Functions with Positive Example with Oded Maler and Irini Mens is available here.

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, 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,M. Kwiatkowska et C. Wiltsche. Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives, accepté à Information and Computation. Le rapport de recherche correspondant à cette publication est disponible ici.

• N. Basset, J. Mairesse et M. Soria. Uniform Sampling for Networks of Automata, CONCUR 2017, rapport disponible ici
• N. Basset, G. Geeraerts, J-F. Raskin et O. Sankur, Admissibility in Concurrent Games, ICALP 2017, rapport disponible ici
• N. Basset, J-F. Raskin et O. Sankur, Admissible Strategies in Timed Games, Models, Algorithms, Logics and Tools 2017, rapport disponible ici
• B. Barbot, N. Basset, M. Beunardeau et M. Kwiatkowska, Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement. QEST'16. Rapport 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.

• Le manuscript est ici.
• Les transparents de la soutenance sont ici.
• Les rapports de soutenance et de pré-soutenance sont ici.

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

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

J'ai enseigné les TDs pour le cours de Probabilistic model checking.

J'ai enseigné 193 heures de TDs pour les cours suivants :

• Mathématiques pour l’informatique 1 et 2 (L1),
• Mathématiques pour l’informatique 4 (L3),
• Calculabilité (L3),
• Algorithmique (L3).

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).
• Je joue de la clarinette.
• J'aime jouer au basket et faire de l'escalade.