Nicolas BASSET
Nicolas BASSET
Assistant professor, Verimag and University Grenoble Alpes
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα univ-grenoble-alpes.fr
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
The 4th reactive synthesis competition (SYNTCOMP 2017): Benchmarks, participants & results
S Jacobs, N Basset, R Bloem, R Brenguier, M Colange, P Faymonville, ...
arXiv preprint arXiv:1711.11439, 2017
432017
Strategy synthesis for stochastic games with multiple long-run objectives
N Basset, M Kwiatkowska, U Topcu, C Wiltsche
International Conference on Tools and Algorithms for the Construction and …, 2015
302015
Compositional controller synthesis for stochastic games
N Basset, M Kwiatkowska, C Wiltsche
International Conference on Concurrency Theory, 173-187, 2014
242014
Thin and thick timed regular languages
N Basset, E Asarin
International Conference on Formal Modeling and Analysis of Timed Systems …, 2011
232011
Entropy of regular timed languages
E Asarin, N Basset, A Degorre
Information and Computation 241, 142-176, 2015
182015
Compositional strategy synthesis for stochastic games with multiple objectives
N Basset, M Kwiatkowska, C Wiltsche
Information and Computation 261, 536-587, 2018
142018
Counting and generating permutations using timed languages
N Basset
Latin American Symposium on Theoretical Informatics, 502-513, 2014
132014
A maximal entropy stochastic process for a timed automaton
N Basset
International Colloquium on Automata, Languages, and Programming, 61-73, 2013
132013
Toward a timed theory of channel coding
E Asarin, N Basset, MP Béal, A Degorre, D Perrin
International Conference on Formal Modeling and Analysis of Timed Systems, 27-42, 2012
122012
Uniform sampling for timed automata with application to language inclusion measurement
B Barbot, N Basset, M Beunardeau, M Kwiatkowska
International Conference on Quantitative Evaluation of Systems, 175-190, 2016
112016
Generating functions of timed languages
E Asarin, N Basset, A Degorre, D Perrin
International Symposium on Mathematical Foundations of Computer Science, 124-135, 2012
102012
Uniform sampling for networks of automata
N Basset, J Mairesse, M Soria
28th International Conference on Concurrency Theory (CONCUR 2017), 2017
92017
Specification and efficient monitoring beyond STL
A Bakhirkin, N Basset
International Conference on Tools and Algorithms for the Construction and …, 2019
82019
A maximal entropy stochastic process for a timed automaton
N Basset
Information and Computation 243, 50-74, 2015
82015
Spectral gap in timed automata
E Asarin, N Basset, A Degorre
International Conference on Formal Modeling and Analysis of Timed Systems, 16-30, 2013
82013
Generation of signals under temporal constraints for CPS testing
B Barbot, N Basset, T Dang
NASA Formal Methods Symposium, 54-70, 2019
72019
Volumetry of timed languages and applications
N Basset
Paris Est, 2013
72013
Admissibility in concurrent games
N Basset, G Geeraerts, JF Raskin, O Sankur
arXiv preprint arXiv:1702.06439, 2017
62017
Counting and generating permutations in regular classes
N Basset
Algorithmica 76 (4), 989-1034, 2016
42016
ParetoLib: a python library for parameter synthesis
A Bakhirkin, N Basset, O Maler, JIR Jarabo
International Conference on Formal Modeling and Analysis of Timed Systems …, 2019
32019
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20