Nicolas Basset

38 papers A* 1A 1B 5C 1Journal 9Unranked 20

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