Thin and Thick Timed Regular Languages. - Nicolas Basset; Eugene Asarin (FORMATS, 2011)

Toward a Timed Theory of Channel Coding. - Eugene Asarin; Nicolas Basset; Marie-Pierre Béal; Aldric Degorre; Dominique Perrin (FORMATS, 2012)

Generating Functions of Timed Languages. - Eugene Asarin; Nicolas Basset; Aldric Degorre; Dominique Perrin (MFCS, 2012)

Spectral Gap in Timed Automata. - Eugene Asarin; Nicolas Basset; Aldric Degorre (FORMATS, 2013)

Volumetry of timed languages and applications. (Volumétrie des langages temporisés et applications). - Nicolas Basset (2013)

Compositional Controller Synthesis for Stochastic Games. - Nicolas Basset; Marta Z. Kwiatkowska; Clemens Wiltsche (CONCUR, 2014)

Counting and Generating Permutations Using Timed Languages. - Nicolas Basset (LATIN, 2014)

Timed Symbolic Dynamics. - Nicolas Basset (FORMATS, 2015)

Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives. - Nicolas Basset; Marta Z. Kwiatkowska; Ufuk Topcu; Clemens Wiltsche (TACAS, 2015)

Entropy of regular timed languages. - Eugene Asarin; Nicolas Basset; Aldric Degorre (Inf. Comput., 2015)

A maximal entropy stochastic process for a timed automaton. - Nicolas Basset (Inf. Comput., 2015)

Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement. - Benoît Barbot; Nicolas Basset; Marc Beunardeau; Marta Kwiatkowska (QEST, 2016)

Counting and Generating Permutations in Regular Classes. - Nicolas Basset (Algorithmica, 2016)

Admissible Strategies in Timed Games. - Nicolas Basset; Jean-François Raskin; Ocan Sankur (Models, Algorithms, Logics and Tools, 2017)

Uniform Sampling for Networks of Automata. - Nicolas Basset; Jean Mairesse; Michèle Soria (CONCUR, 2017)

Admissiblity in Concurrent Games. - Nicolas Basset; Gilles Geeraerts; Jean-François Raskin; Ocan Sankur (ICALP, 2017)

Admissibility in Concurrent Games. - Nicolas Basset; Gilles Geeraerts; Jean-François Raskin; Ocan Sankur (CoRR, 2017)

The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results. - Swen Jacobs; Nicolas Basset; Roderick Bloem; Romain Brenguier; Maximilien Colange; Peter Faymonville; Bernd Finkbeiner; Ayrat Khalimov 001; Felix Klein 001; Thibaud Michaud; Guillermo A. Pérez 001; Jean-François Raskin; et al. (SYNT@CAV, 2017)

Beyond Admissibility: Dominance Between Chains of Strategies. - Nicolas Basset; Ismaël Jecker; Arno Pauly; Jean-François Raskin; Marie van den Bogaard (CSL, 2018)

Distance on Timed Words and Applications. - Eugene Asarin; Nicolas Basset; Aldric Degorre (FORMATS, 2018)

Compositional strategy synthesis for stochastic games with multiple objectives. - Nicolas Basset; Marta Z. Kwiatkowska; Clemens Wiltsche (Inf. Comput., 2018)

ParetoLib: A Python Library for Parameter Synthesis. - Alexey Bakhirkin; Nicolas Basset; Oded Maler; José Ignacio Requeno Jarabo (FORMATS, 2019)

Generation of Signals Under Temporal Constraints for CPS Testing. - Benoît Barbot; Nicolas Basset; Thao Dang 001 (NFM, 2019)

Specification and Efficient Monitoring Beyond STL. - Alexey Bakhirkin; Nicolas Basset (TACAS (2), 2019)

Learning Specifications for Labelled Patterns. - Nicolas Basset; Thao Dang 001; Akshay Mambakam; José Ignacio Requeno Jarabo (FORMATS, 2020)

Falsification of Cyber-Physical Systems with Constrained Signal Spaces. - Benoît Barbot; Nicolas Basset; Thao Dang 001; Alexandre Donzé; James Kapinski; Tomoya Yamaguchi 001 (NFM, 2020)

Sampling of shape expressions with ShapEx. - Nicolas Basset; Thao Dang 001; Felix Gigler; Cristinel Mateis; Dejan Nickovic (MEMOCODE, 2021)

Sampling of Shape Expressions. - Nicolas Basset; Thao Dang 001; Felix Gigler; Cristinel Mateis; Dejan Nickovic (CoRR, 2021)

Towards Efficient Active Learning of PDFA. - Franz Mayr; Sergio Yovine; Federico Pan; Nicolas Basset; Thao Dang 001 (CoRR, 2022)

Wordgen : a Timed word Generation Tool. - Benoît Barbot; Nicolas Basset; Alexandre Donzé (HSCC, 2023)

Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions. - Akshay Mambakam; Eugene Asarin; Nicolas Basset; Thao Dang 001 (HSCC, 2023)

Max-Entropy Sampling for Deterministic Timed Automata Under Linear Duration Constraints. - Benoît Barbot; Nicolas Basset (QEST, 2023)

Hybrid System Identification through Optimization and Active Learning. - Hadi Dayekh; Nicolas Basset; Thao Dang 001 (ADHS, 2024)

Active Learning of Switched Nonlinear Dynamical Systems. - Hadi Dayekh; Nicolas Basset; Thao Dang 001 (CDC, 2024)

Mining of extended signal temporal logic specifications with ParetoLib 2.0. - Akshay Mambakam; José Ignacio Requeno Jarabo; Alexey Bakhirkin; Nicolas Basset; Thao Dang 001 (Formal Methods Syst. Des., 2024)