Nicolas Basset

According to our database1, Nicolas Basset authored at least 23 papers between 2011 and 2019.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

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

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

A Maximal Entropy Stochastic Process for a Timed Automaton, .
Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 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...