Nicolas Basset

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 27

Top Venues

University of Paris-Est, France (PHD)

Education History

University of Paris-Est, France

PHD

Publications

Akshay Mambakam, José Ignacio Requeno Jarabo, Alexey Bakhirkin, Nicolas Basset, Thao Dang
Mining of extended signal temporal logic specifications with ParetoLib 2.0. Formal Methods Syst. Des. 62 (1) (2024)
Benoît Barbot, Nicolas Basset
Max-Entropy Sampling for Deterministic Timed Automata Under Linear Duration Constraints. QEST (2023)
Akshay Mambakam, Eugene Asarin, Nicolas Basset, Thao Dang
Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions. HSCC (2023)
Benoît Barbot, Nicolas Basset, Alexandre Donzé
Wordgen : a Timed word Generation Tool. HSCC (2023)
Franz Mayr, Sergio Yovine, Federico Pan, Nicolas Basset, Thao Dang
Towards Efficient Active Learning of PDFA. CoRR (2022)
Nicolas Basset, Thao Dang, Felix Gigler, Cristinel Mateis, Dejan Nickovic
Sampling of shape expressions with ShapEx. MEMOCODE (2021)
Nicolas Basset, Thao Dang, Felix Gigler, Cristinel Mateis, Dejan Nickovic
Sampling of Shape Expressions. CoRR (2021)
Benoît Barbot, Nicolas Basset, Thao Dang, Alexandre Donzé, James Kapinski, Tomoya Yamaguchi
Falsification of Cyber-Physical Systems with Constrained Signal Spaces. NFM (2020)
Nicolas Basset, Thao Dang, Akshay Mambakam, José-Ignacio Requeno Jarabo
Learning Specifications for Labelled Patterns. FORMATS (2020)
Alexey Bakhirkin, Nicolas Basset, Oded Maler, José-Ignacio Requeno Jarabo
ParetoLib: A Python Library for Parameter Synthesis. FORMATS (2019)
Benoît Barbot, Nicolas Basset, Thao Dang
Generation of Signals Under Temporal Constraints for CPS Testing. NFM (2019)
Alexey Bakhirkin, Nicolas Basset
Specification and Efficient Monitoring Beyond STL. TACAS (2) (2019)
Nicolas Basset, Ismaël Jecker, Arno Pauly, Jean-François Raskin, Marie van den Bogaard
Beyond Admissibility: Dominance Between Chains of Strategies. CSL (2018)
Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche
Compositional strategy synthesis for stochastic games with multiple objectives. Inf. Comput. 261 (2018)
Nicolas Basset, Ismaël Jecker, Arno Pauly, Jean-François Raskin, Marie van den Bogaard
Beyond admissibility: Dominance between chains of strategies. CoRR (2018)
Eugene Asarin, Nicolas Basset, Aldric Degorre
Distance on Timed Words and Applications. FORMATS (2018)
Nicolas Basset, Jean-François Raskin, Ocan Sankur
Admissible Strategies in Timed Games. Models, Algorithms, Logics and Tools (2017)
Nicolas Basset, Gilles Geeraerts, Jean-François Raskin, Ocan Sankur
Admissibility in Concurrent Games. CoRR (2017)
Nicolas Basset, Gilles Geeraerts, Jean-François Raskin, Ocan Sankur
Admissiblity in Concurrent Games. ICALP (2017)
Nicolas Basset, Jean Mairesse, Michèle Soria
Uniform Sampling for Networks of Automata. CONCUR (2017)
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
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results. SYNT@CAV (2017)
Benoît Barbot, Nicolas Basset, Marc Beunardeau, Marta Kwiatkowska
Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement. QEST (2016)
Nicolas Basset
Counting and Generating Permutations in Regular Classes. Algorithmica 76 (4) (2016)
Nicolas Basset
Timed Symbolic Dynamics. FORMATS (2015)
Nicolas Basset
A maximal entropy stochastic process for a timed automaton. Inf. Comput. 243 (2015)
Eugene Asarin, Nicolas Basset, Aldric Degorre
Entropy of regular timed languages. Inf. Comput. 241 (2015)
Nicolas Basset, Marta Z. Kwiatkowska, Ufuk Topcu, Clemens Wiltsche
Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives. TACAS (2015)
Nicolas Basset
Counting and Generating Permutations Using Timed Languages. LATIN (2014)
Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche
Compositional Controller Synthesis for Stochastic Games. CONCUR (2014)
Eugene Asarin, Nicolas Basset, Aldric Degorre
Spectral Gap in Timed Automata. FORMATS (2013)
Nicolas Basset
A Maximal Entropy Stochastic Process for a Timed Automaton, . ICALP (2) (2013)
Eugene Asarin, Nicolas Basset, Marie-Pierre Béal, Aldric Degorre, Dominique Perrin
Toward a Timed Theory of Channel Coding. FORMATS (2012)
Eugene Asarin, Nicolas Basset, Aldric Degorre, Dominique Perrin
Generating Functions of Timed Languages. MFCS (2012)
Nicolas Basset, Eugene Asarin
Thin and Thick Timed Regular Languages. FORMATS (2011)

Nicolas Basset.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nicolas Basset