Nicolas Basset

According to our database, Nicolas Basset authored at least 32 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Max-Entropy Sampling for Deterministic Timed Automata Under Linear Duration Constraints.

Benoît Barbot, Nicolas Basset

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions.

Akshay Mambakam, Eugene Asarin, Nicolas Basset, Thao Dang

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Wordgen : a Timed word Generation Tool.

Benoît Barbot, Nicolas Basset, Alexandre Donzé

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

2022

Towards Efficient Active Learning of PDFA.

Franz Mayr, Sergio Yovine, Federico Pan, Nicolas Basset, Thao Dang

CoRR, 2022

2021

Sampling of Shape Expressions.

Nicolas Basset, Thao Dang, Felix Gigler, Cristinel Mateis, Dejan Nickovic

CoRR, 2021

Sampling of shape expressions with ShapEx.

Nicolas Basset, Thao Dang, Felix Gigler, Cristinel Mateis, Dejan Nickovic

Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021

2020

Falsification of Cyber-Physical Systems with Constrained Signal Spaces.

Benoît Barbot, Nicolas Basset, Thao Dang, Alexandre Donzé, James Kapinski, Tomoya Yamaguchi

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Learning Specifications for Labelled Patterns.

Nicolas Basset, Thao Dang, Akshay Mambakam, José-Ignacio Requeno Jarabo

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

2019

Specification and Efficient Monitoring Beyond STL.

Alexey Bakhirkin, Nicolas Basset

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Generation of Signals Under Temporal Constraints for CPS Testing.

Benoît Barbot, Nicolas Basset, Thao Dang

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

ParetoLib: A Python Library for Parameter Synthesis.

Alexey Bakhirkin, Nicolas Basset, Oded Maler, José-Ignacio Requeno Jarabo

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

2018

Compositional strategy synthesis for stochastic games with multiple objectives.

Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche

Inf. Comput., 2018

Distance on Timed Words and Applications.

Eugene Asarin, Nicolas Basset, Aldric Degorre

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

Beyond Admissibility: Dominance Between Chains of Strategies.

Nicolas Basset, Ismaël Jecker, Arno Pauly, Jean-François Raskin, Marie van den Bogaard

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

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, Felix Klein, Thibaud Michaud, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur, Leander Tentrup

Proceedings of the Proceedings Sixth Workshop on Synthesis, 2017

Admissibility in Concurrent Games.

Nicolas Basset, Gilles Geeraerts, Jean-François Raskin, Ocan Sankur

CoRR, 2017

Admissiblity in Concurrent Games.

Nicolas Basset, Gilles Geeraerts, Jean-François Raskin, Ocan Sankur

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

Uniform Sampling for Networks of Automata.

Nicolas Basset, Jean Mairesse, Michèle Soria

Proceedings of the 28th International Conference on Concurrency Theory, 2017

Admissible Strategies in Timed Games.

Nicolas Basset, Jean-François Raskin, Ocan Sankur

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

Counting and Generating Permutations in Regular Classes.

Nicolas Basset

Algorithmica, 2016

Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement.

Benoît Barbot, Nicolas Basset, Marc Beunardeau, Marta Kwiatkowska

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

2015

A maximal entropy stochastic process for a timed automaton.

Nicolas Basset

Inf. Comput., 2015

Entropy of regular timed languages.

Eugene Asarin, Nicolas Basset, Aldric Degorre

Inf. Comput., 2015

Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives.

Nicolas Basset, Marta Z. Kwiatkowska, Ufuk Topcu, Clemens Wiltsche

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Timed Symbolic Dynamics.

Nicolas Basset

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

2014

Counting and Generating Permutations Using Timed Languages.

Nicolas Basset

Proceedings of the LATIN 2014: Theoretical Informatics - 11th Latin American Symposium, Montevideo, Uruguay, March 31, 2014

Compositional Controller Synthesis for Stochastic Games.

Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2013

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

Nicolas Basset

PhD thesis, 2013

Spectral Gap in Timed Automata.

Eugene Asarin, Nicolas Basset, Aldric Degorre

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

2012

Generating Functions of Timed Languages.

Eugene Asarin, Nicolas Basset, Aldric Degorre, Dominique Perrin

Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

Toward a Timed Theory of Channel Coding.

Eugene Asarin, Nicolas Basset, Marie-Pierre Béal, Aldric Degorre, Dominique Perrin

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

2011

Thin and Thick Timed Regular Languages.

Nicolas Basset, Eugene Asarin

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011