-
1
-
2تقرير
المؤلفون: Piriou, Pierre-Yves, Boudeville, Olivier, Deleuze, Gilles, Tucci-Piergiovanni, Sara, Gürcan, Önder
مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Cryptography and Security, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Multiagent Systems
الوصول الحر: http://arxiv.org/abs/2112.04778Test
-
3رسالة جامعية
المؤلفون: Piriou, Pierre-Yves
مرشدي الرسالة: Université Paris-Saclay (ComUE), Faure, Jean-Marc
مصطلحات موضوعية: Asbm, Systèmes dynamiques et réparables, BDMP Généralisés, Contrôle-Commande, Stratégie de reconfiguration, Machine de Moore, Mbsa, Dynamic repairable Systems, Generalized BDMP, Control, Reconfiguration strategy, Moore machine
-
4دورية أكاديمية
المساهمون: Electricité de France
المصدر: Reliability Engineering & System Safety ; volume 208, page 107384 ; ISSN 0951-8320
الإتاحة: https://doi.org/10.1016/j.ress.2020.107384Test
https://api.elsevier.com/content/article/PII:S0951832020308711?httpAccept=text/xmlTest
https://api.elsevier.com/content/article/PII:S0951832020308711?httpAccept=text/plainTest -
5مؤتمر
المؤلفون: Nehai, Zeinab, Piriou, Pierre-Yves, Daumas, Frédéric
المساهمون: Performance, Risque Industriel, Surveillance pour la Maintenance et l’Exploitation (EDF R&D PRISME), EDF R&D (EDF R&D), EDF (EDF)-EDF (EDF)
المصدر: IEEE International Conference on Blockchain ; https://hal.science/hal-02103511Test ; IEEE International Conference on Blockchain, Jul 2018, Halifax, Canada
مصطلحات موضوعية: Ethereum, model-checking, computation tree logic, NuSMV, [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering
جغرافية الموضوع: Halifax
الوقت: Halifax, Canada
العلاقة: hal-02103511; https://hal.science/hal-02103511Test; https://hal.science/hal-02103511/documentTest; https://hal.science/hal-02103511/file/NehaiTest-Piriou-Daumas%20V18_03_09.pdf
الإتاحة: https://hal.science/hal-02103511Test
https://hal.science/hal-02103511/documentTest
https://hal.science/hal-02103511/file/NehaiTest-Piriou-Daumas%20V18_03_09.pdf -
6مؤتمر
المؤلفون: Piriou, Pierre-Yves, Dumas, Jean-François
المساهمون: Performance, Risque Industriel, Surveillance pour la Maintenance et l’Exploitation (EDF R&D PRISME), EDF R&D (EDF R&D), EDF (EDF)-EDF (EDF)
المصدر: 14th European Dependable Computing Conference
https://hal.science/hal-02103507Test
14th European Dependable Computing Conference, Sep 2018, Iasi, Polandمصطلحات موضوعية: Index Terms-Blockchain, Markov process, stochastic au- tomata, Monte Carlo simulation, consistency, double-spending attack, PyCATSHOO, [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
العلاقة: hal-02103507; https://hal.science/hal-02103507Test; https://hal.science/hal-02103507/documentTest; https://hal.science/hal-02103507/file/WBD18Test-Piriou-Dumas.pdf
-
7دورية أكاديمية
المؤلفون: Piriou, Pierre-Yves, Faure, Jean-Marc, Lesage, Jean-Jacques
المساهمون: Simulation et Traitement de l'information pour l'Exploitation des systèmes de Production (EDF R&D STEP), EDF R&D (EDF R&D), EDF (EDF)-EDF (EDF), Laboratoire Universitaire de Recherche en Production Automatisée (LURPA), École normale supérieure - Cachan (ENS Cachan)-Université Paris-Sud - Paris 11 (UP11)
المصدر: ISSN: 1748-006X ; EISSN: 1748-0078.
مصطلحات موضوعية: [SPI.AUTO]Engineering Sciences [physics]/Automatic
العلاقة: hal-01974198; https://hal.science/hal-01974198Test; https://hal.science/hal-01974198/documentTest; https://hal.science/hal-01974198/file/Article_JRR_Piriou_Faure_Lesage_final_version.pdfTest
-
8
المؤلفون: Vedrine, Franck, Piriou, Pierre-Yves, David, Vincent
مصطلحات موضوعية: digital linear filters, loop invariant, Frama-C, Hoare Logic, Abstract Interpretation, zonotopic domain, ellipsoid domain
العلاقة: info:eu-repo/grantAgreement/EC/H2020/824231/; https://zenodo.org/record/7695668Test; https://doi.org/10.5281/zenodo.7695668Test; oai:zenodo.org:7695668
الإتاحة: https://doi.org/10.5281/zenodo.7695668Test
https://doi.org/10.5281/zenodo.7695667Test
https://zenodo.org/record/7695668Test -
9مؤتمر
المؤلفون: Kobeissi, Elodie, Piriou, Pierre-Yves, Faure, Jean-Marc
المساهمون: Laboratoire Universitaire de Recherche en Production Automatisée (LURPA), École normale supérieure - Cachan (ENS Cachan)-Université Paris-Sud - Paris 11 (UP11), Simulation et Traitement de l'information pour l'Exploitation des systèmes de Production (EDF R&D STEP), EDF R&D (EDF R&D), EDF (EDF)-EDF (EDF), IFAC
المصدر: 20th IFAC World Congress
https://hal.science/hal-01493213Test
20th IFAC World Congress, IFAC, Jul 2017, Toulouse, Franceمصطلحات موضوعية: Model Based Safety Analysis/Assessment, Formal verification, Dynamic properties, Generalized BDMP, Stability, Computation Tree Logic, [SPI]Engineering Sciences [physics]
العلاقة: hal-01493213; https://hal.science/hal-01493213Test; https://hal.science/hal-01493213/documentTest; https://hal.science/hal-01493213/file/Final%20Version%20EK%20PYP%20JMF%2020-03-2017.pdfTest
-
10مؤتمر
المؤلفون: Piriou, Pierre-Yves, Faure, Jean-Marc, Lesage, Jean-Jacques
المساهمون: Laboratoire Universitaire de Recherche en Production Automatisée (LURPA), École normale supérieure - Cachan (ENS Cachan)-Université Paris-Sud - Paris 11 (UP11), Projet BGLE CONNEXION
المصدر: 2016 European Safety and Reliability Conference (ESREL 2016)
https://hal.science/hal-01325898Test
2016 European Safety and Reliability Conference (ESREL 2016), Sep 2016, Glasgow, United Kingdomمصطلحات موضوعية: [SPI]Engineering Sciences [physics]
جغرافية الموضوع: Glasgow, United Kingdom
العلاقة: hal-01325898; https://hal.science/hal-01325898Test; https://hal.science/hal-01325898/documentTest; https://hal.science/hal-01325898/file/ESREL2016_PiriouFaureLesage_V3.pdfTest