Zobrazeno 1 - 10
of 41
pro vyhledávání: '"Peureux, Fabien"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
International Journal on Software Tools for Technology Transfer; Apr2022, Vol. 24 Issue 2, p127-158, 32p
Publikováno v:
International Conference on Research in Air Transportation
International Conference on Research in Air Transportation, Jun 2018, Castelldefels, Spain
International Conference on Research in Air Transportation, Jun 2018, Castelldefels, Spain
International audience; Within aircraft communication, due to the unauthentication and unencryption of the Automatic Dependent Surveillance-Broadcast (ADS-B) protocol, eavesdropping and broadcasting fake ADS-B messages is straightforward. As a conseq
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::214393a5e300e280d7d1ac5ced6f8681
https://hal.archives-ouvertes.fr/hal-02991578/file/a3bc152a-2f46-4edd-ba9b-0afdeb728309-author.pdf
https://hal.archives-ouvertes.fr/hal-02991578/file/a3bc152a-2f46-4edd-ba9b-0afdeb728309-author.pdf
Publikováno v:
International Journal on Software Tools for Technology Transfer
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2018, 4, pp.467-491
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2018, 4, pp.467-491
International audience; In the actual business world, companies rely more and more on workflows to model the core of their business processes. In this context, the focus of workflow analysts is made on the verification of workflows specifications, in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::04ea441cebcf1381afb4827b4e01b42d
https://hal.archives-ouvertes.fr/hal-01992580
https://hal.archives-ouvertes.fr/hal-01992580
Autor:
Utting, Mark *, Legeard, Bruno, Bouquet, Fabrice, Fourneret, Elizabeta, Peureux, Fabien, Vernotte, Alexandre
Publikováno v:
In Advances in Computers 2016 101:53-120
Publikováno v:
Approches Formelles dans l'Assistance au Développement de Logiciels
Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France
Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France
International audience; Cet article propose une évaluation et une comparaison de deux méthodes de résolution de systèmes de contraintes, SMT (Satisfiability Modulo Theory) et CSP (Constraint Satisfaction Problem), appliquées à la vérification
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e712250c87ff1b1f45c104b883d6cb79
https://hal.archives-ouvertes.fr/hal-02131150
https://hal.archives-ouvertes.fr/hal-02131150
Autor:
Peureux, Fabien
Publikováno v:
Workshop on Software and System Engineering for Cyber-Physical Systems 2016
Workshop on Software and System Engineering for Cyber-Physical Systems
Workshop on Software and System Engineering for Cyber-Physical Systems, Jan 2016, Toulouse, France
Workshop on Software and System Engineering for Cyber-Physical Systems
Workshop on Software and System Engineering for Cyber-Physical Systems, Jan 2016, Toulouse, France
International audience; Model-BasedTestingoverviewCertifyItMBT process& toolingOngoingworkwithinIoTOngoingworkwithinCPS
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5f62316d861fa2164de417b939ada067
https://hal.archives-ouvertes.fr/hal-03221925/document
https://hal.archives-ouvertes.fr/hal-03221925/document
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
AFADL'13, 12èmes journées Francophones sur les Approches Formelles dans l'Assistance Au Développement de Logiciels
AFADL'13, 12èmes journées Francophones sur les Approches Formelles dans l'Assistance Au Développement de Logiciels, Jan 2013, France. pp.49--63
AFADL'13, 12èmes journées Francophones sur les Approches Formelles dans l'Assistance Au Développement de Logiciels, Jan 2013, France. pp.49--63
National audience; Cet article concerne la génération automatique de tests de vulnérabilité à partir de modèles pour applications Web. Les technologies de génération de tests à partir de modèles sont aujourd'hui principalement mises en œuv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3b2aea8c661285d3f49de9333422252b
https://hal.archives-ouvertes.fr/hal-00931953
https://hal.archives-ouvertes.fr/hal-00931953
Autor:
Fondement, Frédéric, Muller, Pierre-Alain, Wittman, Brice, Ambert, Fabrice, Lasalle, Jonathan, Oudot, Emilie, Peureux, Fabien, Legeard, Bruno, Alter, Marc, Scherrer, Claude, Bouquet, Fabrice
Publikováno v:
Génie logiciel
Génie logiciel, C & S, 2010, pp.43--48
Génie logiciel, Génie industriel multimédia, 2010, pp.43-48
Génie logiciel, C & S, 2010, 93, pp.43-48
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2010, 93, pp.43-48
Génie logiciel, C & S, 2010, pp.43--48
Génie logiciel, Génie industriel multimédia, 2010, pp.43-48
Génie logiciel, C & S, 2010, 93, pp.43-48
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2010, 93, pp.43-48
Selected paper from the 7-th NEPTUNE Workshop; National audience; Il apparaît souvent que les processus d'ingénierie système sont en fait décomposés en phases discontinues où trop peu d'informations sont partagées entre les différentes équip
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3903321a3a98a11279391516e6010354
https://hal.inria.fr/inria-00533277
https://hal.inria.fr/inria-00533277