Benoît Barbot
- Laboratoire d'Algorithmique Complexité et Logique (LACL)
- Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)
- Université Paris-Est Créteil Val-de-Marne - Faculté des sciences et technologie (UPEC FST)
Publications
Publications
|
|
Signal Sampling and Optimisation under Symbolic Timed Automata ConstraintsSecond International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems (QEST+FORMATS 2025), Aug 2025, Aahrus, Denmark. pp.95-114, ⟨10.1007/978-3-032-05792-1_6⟩ |
CosyVerif: The Path to Formalisms Cohabitation45th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2024, Geneva, Switzerland. pp.432-444, ⟨10.1007/978-3-031-61433-0_21⟩ |
|
Controller Synthesis in Timed Büchi Automata: Robustness and Punctual GuardsQEST+FORMATS 2024: 268-283, Sep 2024, Calgary, Canada. ⟨10.48550/ARXIV.2404.18584⟩ |
|
|
|
Beyond Decisiveness of Infinite Markov Chains44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2024), Dec 2024, Gandhinagar, Gujarat, India. pp.8:1-8:22, ⟨10.4230/lipics.fsttcs.2024.8⟩ |
|
|
Max-Entropy Sampling for Deterministic Timed Automata Under Linear Duration ConstraintsQest23, Sep 2023, Antwerp, Belgium, Belgium. pp.188-204, ⟨10.1007/978-3-031-43835-6_14⟩ |
|
|
Bayesian Networks as Approximations of Biochemical NetworksEuropean Workshop on Performance Engineering, Jun 2023, Florence, Italy. pp.216-233, ⟨10.1007/978-3-031-43185-2_15⟩ |
|
|
Wordgen : a Timed word Generation ToolHSCC '23: 26th ACM International Conference on Hybrid Systems: Computation and Control, May 2023, San Antonio TX USA, United States. pp.1-7, ⟨10.1145/3575870.3587116⟩ |
|
|
Analyzing Robustness of Angluin's L* Algorithm in Presence of NoiseGandALF 2022 - 13th International Symposium on Games, Automata, Logics and Formal Verification, Sep 2022, Madrid, Spain. pp.81-96, ⟨10.4204/EPTCS.370.6⟩ |
Property-Directed Verification and Robustness Certification of Recurrent Neural Networks19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021), Oct 2021, Gold Coast (Online), Australia. pp.364-380, ⟨10.1007/978-3-030-88885-5_24⟩ |
|
|
|
Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* SearchICGI 2021 - 15th International Conference on Grammatical Inference, Aug 2021, New York City / Virtual, United States. pp.113-129 |
|
|
Falsification of Cyber-Physical Systems with Constrained Signal SpacesNASA Formal Methods, May 2020, Moffett Field, United States. pp.420-439, ⟨10.1007/978-3-030-55754-6_25⟩ |
|
|
Generation of Signals Under Temporal Constraints for CPS Testing11th International Symposium NASA Formal Methods, May 2019, Houston (TX), United States. pp.54-70, ⟨10.1007/978-3-030-20652-9_4⟩ |
|
|
Performance modelling of access control mechanisms for local and vehicular wireless networks12th EAI International Conference on Pervasive Computing Technologies for Healthcare, Mar 2019, Palma, Spain. pp.111-118 |
|
|
Integrating Simulink Models into the Model Checker Cosmos39th International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2018, Bratislava, Slovakia. pp.363-373, ⟨10.1007/978-3-319-91268-4_19⟩ |
|
|
Statistical Model-Checking for Autonomous Vehicle Safety ValidationConference SIA Simulation Numérique, Société des Ingénieurs de l'Automobile, Mar 2017, Montigny-le-Bretonneux, France |
Building Power Consumption Models from Executable Timed I/O Automata SpecificationsProceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016, 2016, Unknown, Unknown Region. pp.195--204, ⟨10.1145/2883817.2883844⟩ |
|
|
|
Uniform Sampling for Timed Automata with Application to Language Inclusion MeasurementQuantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, 2016, Unknown, Unknown Region. pp.175--190, ⟨10.1007/978-3-319-43425-4_13⟩ |
|
|
Layered Data: A Modular Formal Definition without FormalismsPetri Nets and Software Engineering (PNSE 2016), Jun 2016, Toruń, Poland. pp.287-306 |
|
|
On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri NetsApplication and Theory of Petri Nets and Concurrency - 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings, 2015, Unknown, Unknown Region. pp.1--32, ⟨10.1007/978-3-319-19488-2_1⟩ |
Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable DevicesComputational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings, 2015, Unknown, Unknown Region. pp.3--7, ⟨10.1007/978-3-319-23401-4_1⟩ |
|
Rare Event Handling in Signalling Cascades6th International Conference on Advances in System Simulation (SIMUL'14), 2014, Nice, France. pp.126-131 |
|
Simulation-based Verification of Hybrid Automata Stochastic Logic Formulas for Stochastic Symmetric Nets1st ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (PADS'13), 2013, Canada. pp.253-264, ⟨10.1145/2486092.2486124⟩ |
|
A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems15th International Conference on Formal Engineering Methods (ICFEM'13), Oct 2013, Queenstown, New Zealand. pp.199-214, ⟨10.1007/978-3-642-41202-8_14⟩ |
|
Importance Sampling for Model Checking of Continuous Time Markov ChainsProceedings of the 4th International Conference on Advances in System Simulation (SIMUL'12), 2012, Lisbon, Portugal. pp.30-35 |
|
Coupling and Importance Sampling for Statistical Model CheckingProceedings of the 18th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'12), 2012, Tallinn, Estonia. pp.331-346, ⟨10.1007/978-3-642-28756-5_23⟩ |
|
Échantillonnage préférentiel pour le model checking statistiqueMSR'11, 2011, Lille, France |
|
|
Computer performance engineering : 15th European workshop, EPEW 2018, Paris, France, October 29-30, 2018, proceedingsSpringer, pp.265, 2018, Part of the Lecture Notes in Computer Science book series (LNCS, volume 11178), Part of the Lecture Notes in Computer Science book series (LNCS, volume 11178), 978-3-030-02226-6. ⟨10.1007/978-3-030-02227-3⟩ |
|
|
Sampling methods for probabilistic approximations of ODEs2026 |
|
|
Efficient Guaranteed Controllers for Switched Dynamical Systems Using Probabilistic Approximations2025 |
|
|
Conservation Analysis and Discrete Probabilistic Approximations for Parameter Estimation of Biochemical Networks2025 |
|
|
Towards an efficient model reduction for parameter estimation of biochemical networks2024 |
|
|
Property-Directed Verification of Recurrent Neural Networks2020 |
|
|
Bounds Computation for Symmetric Nets2018 |
|
|
Integrating Simulink Models into the Model Checker Cosmos[Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France); LIP6, Sorbonne Université, CNRS, UMR 7606; LACL, Université Paris-Est. 2018 |
|
|
Acceleration for statistical model checkingOther [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2014. English. ⟨NNT : 2014DENS0041⟩ |