Nicolas Basset
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
2012–2021
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | MEMOCODE | Sampling of shape expressions with ShapEx. | Nicolas Basset, Thao Dang, Felix Gigler, Cristinel Mateis, Dejan Nickovic |
| 2019 | TACAS | Specification and Efficient Monitoring Beyond STL. | Alexey Bakhirkin, Nicolas Basset |
| 2018 | CSL | Beyond Admissibility: Dominance Between Chains of Strategies. | Nicolas Basset, Ismal Jecker, Arno Pauly, Jean-Franois Raskin, Marie van den Bogaard |
| 2017 | CONCUR | Uniform Sampling for Networks of Automata. | Nicolas Basset, Jean Mairesse, Michle Soria |
| 2017 | ICALP | Admissiblity in Concurrent Games. | Nicolas Basset, Gilles Geeraerts, Jean-Franois Raskin, Ocan Sankur |
| 2015 | TACAS | Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives. | Nicolas Basset, Marta Z. Kwiatkowska, Ufuk Topcu, Clemens Wiltsche |
| 2014 | CONCUR | Compositional Controller Synthesis for Stochastic Games. | Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche |
| 2014 | LATIN | Counting and Generating Permutations Using Timed Languages. | Nicolas Basset |
| 2013 | ICALP | A Maximal Entropy Stochastic Process for a Timed Automaton, . | Nicolas Basset |
| 2012 | MFCS | Generating Functions of Timed Languages. | Eugene Asarin, Nicolas Basset, Aldric Degorre, Dominique Perrin |