المؤلفون: Barbot, Benoît, Bouyer, Patricia, Haddad, Serge

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory

URL الوصول: http://arxiv.org/abs/2409.18670

المؤلفون: Barbot, Benoît, Busatto-Gaston, Damien, Dima, Catalin, Oualhadj, Youssouf

مصطلحات موضوعية: Computer Science - Computer Science and Game Theory

URL الوصول: http://arxiv.org/abs/2404.18584

المؤلفون: Ye, Lina, Khmelnitsky, Igor, Haddad, Serge, Barbot, Benoît, Bollig, Benedikt, Leucker, Martin, Neider, Daniel, Roy, Rajarshi

المصدر: Logical Methods in Computer Science, Volume 20, Issue 1 (March 20, 2024) lmcs:11472

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2306.08266

المؤلفون: Khmelnitsky, Igor, Haddad, Serge, Ye, Lina, Barbot, Benoît, Bollig, Benedikt, Leucker, Martin, Neider, Daniel, Roy, Rajarshi

المصدر: EPTCS 370, 2022, pp. 81-96

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Artificial Intelligence

URL الوصول: http://arxiv.org/abs/2209.10315

المؤلفون: Khmelnitsky, Igor, Neider, Daniel, Roy, Rajarshi, Barbot, Benoît, Bollig, Benedikt, Finkel, Alain, Haddad, Serge, Leucker, Martin, Ye, Lina

مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Formal Languages and Automata Theory, Statistics - Machine Learning, 68Q60, 68T07, D.2.4, I.2.6

URL الوصول: http://arxiv.org/abs/2009.10610

المؤلفون: Le Coënt, Adrien, Barbot, Benoît, Pekergin, Nihal

المصدر: Computers in Biology and Medicine ; volume 183, page 109280 ; ISSN 0010-4825

الاتاحة: https://doi.org/10.1016/j.compbiomed.2024.109280
https://api.elsevier.com/content/article/PII:S0010482524013659?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0010482524013659?httpAccept=text/plain

المؤلفون: Ballarini, Paolo, Barbot, Benoit, Vasselin, Nicolas

مصطلحات موضوعية: Computer Science - Networking and Internet Architecture

URL الوصول: http://arxiv.org/abs/1901.04285

المؤلفون: Barbot, Benoît, Basset, Nicolas

المساهمون: Laboratoire d'Algorithmique Complexité et Logique (LACL), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12), VERIMAG (VERIMAG - IMAG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA), ANR-20-CE25-0012,MAVEriQ,Méthodes d'analyse pour la vérification de propriétés quantitatives(2020)

المصدر: Qest23 ; https://hal.science/hal-04239175 ; Qest23, Sep 2023, Antwerp, Belgium, Belgium. pp.188-204, ⟨10.1007/978-3-031-43835-6_14⟩

مصطلحات موضوعية: [INFO]Computer Science [cs]

جغرافية الموضوع: Antwerp, Belgium

الاتاحة: https://hal.science/hal-04239175
https://hal.science/hal-04239175v1/document
https://hal.science/hal-04239175v1/file/Sampling_continuous_time_Qest2023_.pdf
https://doi.org/10.1007/978-3-031-43835-6_14

المؤلفون: Barbot, Benoît, Basset, Nicolas, Donze, Alexandre

المساهمون: Laboratoire d'Algorithmique Complexité et Logique (LACL), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12), VERIMAG (VERIMAG - IMAG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA)

المصدر: HSCC '23: 26th ACM International Conference on Hybrid Systems: Computation and Control ; https://hal.science/hal-04127298 ; HSCC '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⟩

مصطلحات موضوعية: [INFO]Computer Science [cs]

جغرافية الموضوع: San Antonio TX USA, United States

Time: San Antonio TX USA, United States

الاتاحة: https://hal.science/hal-04127298
https://hal.science/hal-04127298v1/document
https://hal.science/hal-04127298v1/file/wordgen.pdf
https://doi.org/10.1145/3575870.3587116

المؤلفون: Le Coënt, Adrien, Barbot, Benoît, Pekergin, Nihal, Güzeliş, Cüneyt

المساهمون: Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12), Laboratoire d'Algorithmique Complexité et Logique (LACL), Yaşar University, ANR-20-JSTM-0001,CyphAI,Méthodes formelles pour l'analysis et le développement de systèmes cyber-physiques intégrant l'intelligence artificielle(2020)

المصدر: Lecture Notes in Computer Science, Computer Performance Engineering and Stochastic Modelling ; European Workshop on Performance Engineering ; https://hal.science/hal-04235150 ; European Workshop on Performance Engineering, Jun 2023, Florence, Italy. pp.216-233, ⟨10.1007/978-3-031-43185-2_15⟩

مصطلحات موضوعية: Ordinary Differential Equations based models, Markov Chains, Bayesian Networks, Biochemical Networks, Time Homogeneous Systems, [INFO]Computer Science [cs], [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

جغرافية الموضوع: Florence, Italy

Time: Florence, Italy

Relation: hal-04235150; https://hal.science/hal-04235150; https://hal.science/hal-04235150/document; https://hal.science/hal-04235150/file/EGF_NGF-7.pdf

الاتاحة: https://hal.science/hal-04235150
https://hal.science/hal-04235150/document
https://hal.science/hal-04235150/file/EGF_NGF-7.pdf
https://doi.org/10.1007/978-3-031-43185-2_15

المؤلفون: Barbot, Benoît

Thesis Advisors: Cachan, Ecole normale supérieure, Haddad, Serge

مصطلحات موضوعية: Échantillonage préférentiel, Événement rare, Probabilités, Statistical Model checking

الاتاحة: http://www.theses.fr/2014DENS0041/document

المؤلفون: Khmelnitsky, Igor, Neider, Daniel, Roy, Rajarshi, Xie, Xuan, Barbot, Benoît, Bollig, Benedikt, Finkel, Alain, Haddad, Serge, Leucker, Martin, Ye, Lina

المساهمون: Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Carl Von Ossietzky Universität Oldenburg = Carl von Ossietzky University of Oldenburg (OFFIS), Max Planck Institute for Software Systems (MPI-SWS), University of Alberta, Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12), Universität zu Lübeck = University of Lübeck Lübeck, the PHC PROCOPE 2020 Project LeaRNNify (Number 44707TK)

المصدر: ISSN: 1433-2779.

مصطلحات موضوعية: Explainable AI, Neural network verification, Active learning, [INFO]Computer Science [cs]

الاتاحة: https://hal.science/hal-04286080
https://hal.science/hal-04286080v1/document
https://hal.science/hal-04286080v1/file/Analysis_of_Recurrent_Neural_Networks_via_Property.pdf
https://doi.org/10.1007/S10009-022-00684-W

المؤلفون: André, Étienne, Arias, Jaime, Barbot, Benoît, Hulin-Hubard, Francis, Kordon, Fabrice, Le, Van-François, Petrucci, Laure

المساهمون: Laboratoire d'Informatique de Paris-Nord (LIPN), Centre National de la Recherche Scientifique (CNRS)-Université Sorbonne Paris Nord, Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Algorithmique Complexité et Logique (LACL), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Modélisation et Vérification (MoVe), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), ANR-19-CE25-0015,ProMiS,Mitigation formelle d'attaques via canaux auxiliaires par vérification paramétrée(2019), ANR-22-CE48-0012,BisoUS,Better Synthesis for Underspecified Quantitative Systems(2022)

المصدر: 45th International Conference on Application and Theory of Petri Nets and Concurrency
https://hal.science/hal-04610312
45th 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⟩

مصطلحات موضوعية: [INFO]Computer Science [cs]

جغرافية الموضوع: Geneva, Switzerland

الاتاحة: https://hal.science/hal-04610312
https://doi.org/10.1007/978-3-031-61433-0_21

المؤلفون: Khmelnitsky, Igor, Neider, Daniel, Roy, Rajarshi, Xie, Xuan, Barbot, Benoît, Bollig, Benedikt, Finkel, Alain, Haddad, Serge, Leucker, Martin, Ye, Lina

المساهمون: Universität zu Lübeck

المصدر: International Journal on Software Tools for Technology Transfer ; volume 25, issue 3, page 341-354 ; ISSN 1433-2779 1433-2787

الاتاحة: http://dx.doi.org/10.1007/s10009-022-00684-w
https://link.springer.com/content/pdf/10.1007/s10009-022-00684-w.pdf
https://link.springer.com/article/10.1007/s10009-022-00684-w/fulltext.html

المؤلفون: Barbot, Benoît, Bollig, Benedikt, Finkel, Alain, Haddad, Serge, Khmelnitsky, Igor, Leucker, Martin, Neider, Daniel, Roy, Rajarshi, Ye, Lina

المساهمون: Laboratoire d'Algorithmique Complexité et Logique (LACL), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12), Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Universität zu Lübeck = University of Lübeck Lübeck, Max Planck Institute for Software Systems (MPI-SWS), Modeling and Exploitation of Interaction and Concurrency (MEXICO), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), This work was partly supported by the PHC PROCOPE 2020 project LeaRNNify (number 44707TK), funded by Campus France and DAAD, and by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) grant number 434592664.

المصدر: Proceedings of Machine Learning Research ; ICGI 2021 - 15th International Conference on Grammatical Inference ; https://hal.science/hal-03285433 ; ICGI 2021 - 15th International Conference on Grammatical Inference, Aug 2021, New York City / Virtual, United States. pp.113-129 ; https://icgi2020.lis-lab.fr/

مصطلحات موضوعية: [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

جغرافية الموضوع: New York City / Virtual, United States

الاتاحة: https://hal.science/hal-03285433
https://hal.science/hal-03285433v1/document
https://hal.science/hal-03285433v1/file/icgi-2020_21.pdf

المؤلفون: Barbot, Benoît, Basset, Nicolas, Dang, Thao, Donzé, Alexandre, Kapinski, James, Yamaguchi, Tomoya

المساهمون: Laboratoire d'Algorithmique Complexité et Logique (LACL), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12), VERIMAG (VERIMAG - IMAG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA), Centre National de la Recherche Scientifique (CNRS)

المصدر: NASA Formal Methods. NFM 2020 ; NASA Formal Methods ; https://hal.science/hal-03049273 ; NASA Formal Methods, May 2020, Moffett Field, United States. pp.420-439, ⟨10.1007/978-3-030-55754-6_25⟩

مصطلحات موضوعية: [INFO]Computer Science [cs]

جغرافية الموضوع: Moffett Field, United States

الاتاحة: https://hal.science/hal-03049273
https://hal.science/hal-03049273v1/document
https://hal.science/hal-03049273v1/file/NFM2020.pdf
https://doi.org/10.1007/978-3-030-55754-6_25

المؤلفون: Ballarini, Paolo, Barbot, Benoît, Vasselin, Nicolas

المساهمون: Mathématiques et Informatique pour la Complexité et les Systèmes (MICS), CentraleSupélec, Laboratoire d'Algorithmique Complexité et Logique (LACL), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)

المصدر: 12th EAI International Conference on Pervasive Computing Technologies for Healthcare
https://hal.science/hal-02131725
12th EAI International Conference on Pervasive Computing Technologies for Healthcare, Mar 2019, Palma, Spain. pp.111-118

مصطلحات موضوعية: [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]

جغرافية الموضوع: Palma, Spain

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1901.04285; ARXIV: 1901.04285

الاتاحة: https://hal.science/hal-02131725
https://hal.science/hal-02131725v1/document
https://hal.science/hal-02131725v1/file/1901.04285.pdf

المؤلفون: Barbot, Benoît, Basset, Nicolas, Dang, Thao

المساهمون: Laboratoire d'Algorithmique Complexité et Logique (LACL), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12), VERIMAG (VERIMAG - IMAG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 )

المصدر: NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings ; https://hal.science/hal-02157644 ; NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, pp.54-70, 2019

مصطلحات موضوعية: [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]

Relation: hal-02157644; https://hal.science/hal-02157644; https://hal.science/hal-02157644/document; https://hal.science/hal-02157644/file/BBD19.pdf

الاتاحة: https://hal.science/hal-02157644
https://hal.science/hal-02157644/document
https://hal.science/hal-02157644/file/BBD19.pdf

المؤلفون: Ballarini, Paolo, Barbot, Benoît

المساهمون: Mathématiques et Informatique pour la Complexité et les Systèmes (MICS), CentraleSupélec-Université Paris-Saclay, Laboratoire d'Algorithmique Complexité et Logique (LACL), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)

المصدر: ISSN: 0163-5999 ; ACM SIGMETRICS Performance Evaluation Review ; https://hal.science/hal-04030219 ; ACM SIGMETRICS Performance Evaluation Review, 2020, Lecture Notes in Computer Science, 12229 (4), pp.420-439. ⟨10.1145/3543146.3543161⟩.

مصطلحات موضوعية: Cosmos, performance evaluation, statistical model checking, rare events, stochastic simulation, Petri nets, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

الاتاحة: https://hal.science/hal-04030219
https://hal.science/hal-04030219v1/document
https://hal.science/hal-04030219v1/file/Cosmos_TOSME_2021-1%20%281%29.pdf
https://doi.org/10.1145/3543146.3543161

المؤلفون: Barbot, Benoît, Bérard, Béatrice, Duplouy, Yann, Haddad, Serge

المساهمون: Laboratoire d'Algorithmique Complexité et Logique (LACL), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12), Laboratoire Spécification et Vérification Cachan (LSV), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS), Modélisation et Vérification (MoVe), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Modeling and Exploitation of Interaction and Concurrency (MEXICO), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), IRT SystemX, Simulation pour la Sécurité du Véhicule Autonome SVA http://www.irt-systemx.fr/project/sva/, Société des Ingénieurs de l'Automobile

المصدر: Conference SIA Simulation Numérique ; https://hal.science/hal-01491064 ; Conference SIA Simulation Numérique, Société des Ingénieurs de l'Automobile, Mar 2017, Montigny-le-Bretonneux, France

مصطلحات موضوعية: Simulation, Statistical Model Checking, Controller, Autonomous Vehicle, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Montigny-le-Bretonneux, France

Time: Montigny-le-Bretonneux, France

الاتاحة: https://hal.science/hal-01491064
https://hal.science/hal-01491064v1/document
https://hal.science/hal-01491064v1/file/SIA_SimNum.pdf