
Benoît Barbot
Maître de conférence
Univ Paris Est Creteil, LACL, F-94010 Creteil, France
25
Documents
Affiliation actuelle
- Laboratoire d'Algorithmique Complexité et Logique (LACL)
Identifiants chercheurs
Publications
16
4
3
3
2
1
1
Publications
|
Conservation Analysis and Discrete Probabilistic Approximations for Parameter Estimation of Biochemical Networks2025
Pré-publication, Document de travail
(preprint/prepublication)
hal-05104966
v1
|
|
Bounds Computation for Symmetric Nets2018
Pré-publication, Document de travail
hal-01726011
v1
|
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⟩
Communication dans un congrès
hal-04610312
v1
|
|
|
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.48550/arXiv.2409.18670[3]⟩
Communication dans un congrès
hal-04822969
v1
|
|
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⟩
Communication dans un congrès
hal-04239175
v1
|
|
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⟩
Communication dans un congrès
hal-04235150
v1
|
|
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⟩
Communication dans un congrès
hal-04127298
v1
|
|
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⟩
Communication dans un congrès
hal-03794320
v1
|
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⟩
Communication dans un congrès
hal-03285418
v1
|
|
|
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
Communication dans un congrès
hal-03285433
v1
|
|
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⟩
Communication dans un congrès
hal-02157644
v1
|
|
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
Communication dans un congrès
hal-02131725
v1
|
|
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⟩
Communication dans un congrès
hal-01916467
v1
|
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⟩
Communication dans un congrès
hal-01371896
v1
|
|
|
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⟩
Communication dans un congrès
hal-01371897
v1
|
|
Layered Data: A Modular Formal Definition without FormalismsPetri Nets and Software Engineering (PNSE 2016), Jun 2016, Toruń, Poland. pp.287-306
Communication dans un congrès
hal-01353944
v1
|
|
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⟩
Communication dans un congrès
hal-01371902
v1
|
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⟩
Communication dans un congrès
hal-01371900
v1
|
|
Analysis of recurrent neural networks via property-directed verification of surrogate modelsInternational Journal on Software Tools for Technology Transfer, 2023, 25 (3), pp.341-354. ⟨10.1007/S10009-022-00684-W⟩
Article dans une revue
hal-04286080
v1
|
|
Cosmos: Evolution of a Statistical Model Checking PlatformACM SIGMETRICS Performance Evaluation Review, 2020, Lecture Notes in Computer Science, 12229 (4), pp.420-439. ⟨10.1145/3543146.3543161⟩
Article dans une revue
hal-04030219
v1
|
Rare Event Handling in Signalling CascadesInternational Journal On Advances in Systems and Measurements, 2015, 8 (1-2), pp.69-79
Article dans une revue
hal-01242981
v1
|
|
|
HASL: A new approach for performance evaluation and model checking from concepts to experimentationPerformance Evaluation, 2015, 90, pp.53-77. ⟨10.1016/j.peva.2015.04.003⟩
Article dans une revue
hal-01221815
v1
|
|
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⟩
Ouvrages
hal-02014749
v1
|
|
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
Rapport
(rapport de recherche)
hal-01725835
v1
|
|
Acceleration for statistical model checkingOther [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2014. English. ⟨NNT : 2014DENS0041⟩
Thèse
tel-01149034
v1
|
Chargement...
Chargement...