Nicolas Basset

Orcid: 0009-0000-7492-1767

According to our database1, Nicolas Basset authored at least 33 papers between 2011 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Mining of extended signal temporal logic specifications with ParetoLib 2.0.
Formal Methods Syst. Des., June, 2024

2023
Max-Entropy Sampling for Deterministic Timed Automata Under Linear Duration Constraints.
Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions.
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Wordgen : a Timed word Generation Tool.
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

2022
Towards Efficient Active Learning of PDFA.
CoRR, 2022

2021
Sampling of Shape Expressions.
CoRR, 2021

Sampling of shape expressions with ShapEx.
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.
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Learning Specifications for Labelled Patterns.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

2019
Specification and Efficient Monitoring Beyond STL.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Generation of Signals Under Temporal Constraints for CPS Testing.
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

ParetoLib: A Python Library for Parameter Synthesis.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

2018
Compositional strategy synthesis for stochastic games with multiple objectives.
Inf. Comput., 2018

Distance on Timed Words and Applications.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

Beyond Admissibility: Dominance Between Chains of Strategies.
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2017
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results.
Proceedings of the Proceedings Sixth Workshop on Synthesis, 2017

Admissibility in Concurrent Games.
CoRR, 2017

Admissiblity in Concurrent Games.
Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

Uniform Sampling for Networks of Automata.
Proceedings of the 28th International Conference on Concurrency Theory, 2017

Admissible Strategies in Timed Games.
Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016
Counting and Generating Permutations in Regular Classes.
Algorithmica, 2016

Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement.
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

2015
A maximal entropy stochastic process for a timed automaton.
Inf. Comput., 2015

Entropy of regular timed languages.
Inf. Comput., 2015

Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Timed Symbolic Dynamics.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

2014
Counting and Generating Permutations Using Timed Languages.
Proceedings of the LATIN 2014: Theoretical Informatics - 11th Latin American Symposium, Montevideo, Uruguay, March 31, 2014

Compositional Controller Synthesis for Stochastic Games.
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).
PhD thesis, 2013

Spectral Gap in Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

2012
Generating Functions of Timed Languages.
Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

Toward a Timed Theory of Channel Coding.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

2011
Thin and Thick Timed Regular Languages.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011


  Loading...