Benoît Barbot

38 papers A 2B 4C 1Journal 11Unranked 18

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Conservation Analysis and Discrete Probabilistic Approximations for Parameter Estimation of Biochemical Networks. QEST+FORMATS Olivier Bouët-Willaumez, Adrien Le Coënt, Benoît Barbot, Nihal Pekergin
2025	J	`jnl`	Controller synthesis in timed Büchi automata: Robustness and punctual guards. Perform. Evaluation Benoît Barbot, Damien Busatto-Gaston, Catalin Dima, Youssouf Oualhadj
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	J	`jnl`	Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise. Log. Methods Comput. Sci. Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
2024	—	`conf`	Beyond Decisiveness of Infinite Markov Chains. FSTTCS Benoît Barbot, Patricia Bouyer, Serge Haddad
2024	J	`jnl`	Beyond Decisiveness of Infinite Markov Chains. CoRR Benoît Barbot, Patricia Bouyer, Serge Haddad
2024	—	`conf`	Controller Synthesis in Timed Büchi Automata: Robustness and Punctual Guards. QEST+FORMATS Benoît Barbot, Damien Busatto-Gaston, Catalin Dima, Youssouf Oualhadj
2024	J	`jnl`	Controller Synthesis in Timed Büchi Automata: Robustness and Punctual Guards. CoRR Benoît Barbot, Damien Busatto-Gaston, Catalin Dima, Youssouf Oualhadj
2024	B	`conf`	CosyVerif: The Path to Formalisms Cohabitation. Petri Nets Étienne André, Jaime Arias, Benoît Barbot, Francis Hulin-Hubard, Fabrice Kordon, Van-François Le, Laure Petrucci
2024	J	`jnl`	Efficient probabilistic inference in biochemical networks. Comput. Biol. Medicine Adrien Le Coënt, Benoît Barbot, Nihal Pekergin
2024	—	`conf`	Towards an Efficient Model Reduction for Parameter Estimation of Biochemical Networks. VALUETOOLS Adrien Le Coënt, Benoît Barbot, Nihal Pekergin
2023	J	`jnl`	Analysis of recurrent neural networks via property-directed verification of surrogate models. Int. J. Softw. Tools Technol. Transf. Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
2023	J	`jnl`	Analyzing Robustness of Angluin's L CoRR Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
2023	—	`conf`	Bayesian Networks as Approximations of Biochemical Networks. EPEW Adrien Le Coënt, Benoît Barbot, Nihal Pekergin, Cüneyt Güzelis
2023	—	`conf`	Max-Entropy Sampling for Deterministic Timed Automata Under Linear Duration Constraints. QEST Benoît Barbot, Nicolas Basset
2023	—	`conf`	Wordgen : a Timed word Generation Tool. HSCC Benoît Barbot, Nicolas Basset, Alexandre Donzé
2022	—	`conf`	Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. GandALF Igor Khmelnitsky, Serge Haddad, Lina Ye, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
2022	J	`jnl`	Cosmos: Evolution of a Statistical Model Checking Platform. SIGMETRICS Perform. Evaluation Rev. Paolo Ballarini, Benoît Barbot
2021	—	`conf`	Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search. ICGI Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Igor Khmelnitsky, Martin Leucker, Daniel Neider, Rajarshi Roy, Lina Ye
2021	B	`conf`	Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. ATVA Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
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	J	`jnl`	Property-Directed Verification of Recurrent Neural Networks. CoRR Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
2019	—	`conf`	Generation of Signals Under Temporal Constraints for CPS Testing. NFM Benoît Barbot, Nicolas Basset, Thao Dang
2019	—	`conf`	Performance modelling of access control mechanisms for local and vehicular wireless networks. VALUETOOLS Paolo Ballarini, Benoît Barbot, Nicolas Vasselin
2019	J	`jnl`	Performance modelling of access control mechanisms for local and vehicular wireless networks. CoRR Paolo Ballarini, Benoît Barbot, Nicolas Vasselin
2018	—	`ed.`	Computer Performance Engineering - 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings EPEW Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke
2018	B	`conf`	Integrating Simulink Models into the Model Checker Cosmos. Petri Nets Benoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad
2016	—	`conf`	Building Power Consumption Models from Executable Timed I/O Automata Specifications. HSCC Benoît Barbot, Marta Kwiatkowska, Alexandru Mereacre, Nicola Paoletti
2016	—	`conf`	Layered Data: A Modular Formal Definition without Formalisms. PNSE @ Petri Nets Alban Linard, Benoît Barbot, Didier Buchs, Maximilien Colange, Clément Démoulins, Lom-Messan Hillah, Alexis Martin
2016	—	`conf`	Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement. QEST Benoît Barbot, Nicolas Basset, Marc Beunardeau, Marta Kwiatkowska
2015	—	`conf`	Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices. CMSB Benoît Barbot, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti
2015	J	`jnl`	HASL: A new approach for performance evaluation and model checking from concepts to experimentation. Perform. Evaluation Paolo Ballarini, Benoît Barbot, Marie Duflot, Serge Haddad, Nihal Pekergin
2015	B	`conf`	On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets. Petri Nets Benoît Barbot, Marta Z. Kwiatkowska
2014	—	`—`	Acceleration for statistical model checking. (Accélérations pour le model checking statistique). Benoît Barbot
2013	C	`conf`	A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. ICFEM Étienne André, Benoît Barbot, Clement Demoulins, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, Laure Petrucci
2013	—	`conf`	Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets. SIGSIM-PADS Elvio Gilberto Amparore, Benoît Barbot, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
2012	A	`conf`	Coupling and Importance Sampling for Statistical Model Checking. TACAS Benoît Barbot, Serge Haddad, Claudine Picaronny
2011	A	`conf`	Efficient CTMC Model Checking of Linear Real-Time Objectives. TACAS Benoît Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre