Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

6 résultats
Page :
triés par
Image document

Du recueil d'expertises à la production de logiciels fiables Application aux systèmes de neurostimulation médicale

 Clément Duffau , Mireille Blay-Fornarino
INFormatique des ORganisations et Systèmes d’Information et de Décision 2016 (INFORSID), Jun 2016, Grenoble, France
Communication dans un congrès hal-01678827v1
Image document

Support of Justification Elicitation: Two Industrial Reports

 Clément Duffau , Thomas Polacsek , Mireille Blay-Fornarino
30th International Conference on Advanced Information Systems Engineering (CAISE'2018), Jun 2018, Tallinn, Estonia
Communication dans un congrès hal-01816334v1
Image document

Vers l'argumentation automatique d'expérimentations : application à un portfolio de workflows

 Clément Duffau , Cécile Camillieri , Mireille Blay-Fornarino
6ème Conférence en IngénieriE du Logiciel (CIEL), Jun 2017, Montpellier, France
Communication dans un congrès hal-01678821v1
Image document

Towards Embedded System Agile Development Challenging Verification, Validation and Accreditation : Application in a Healthcare Company

 Clément Duffau , Bartosz Grabiec , Mireille Blay-Fornarino
ISSRE 2017- IEEE International Symposium on Software Reliability Engineering, Oct 2017, Toulouse, France. pp.1-4
Communication dans un congrès hal-01678815v1
Image document

Improving Confidence in Experimental Systems through Automated Construction of Argumentation Diagrams

 Clément Duffau , Cécile Camillieri , Mireille Blay-Fornarino
19th International Conference on Enterprise Information Systems (ICEIS), Apr 2017, Porto, Portugal
Communication dans un congrès hal-01678797v1
Image document

Une sémantique pour les patrons de justification

 Clément Duffau , Thomas Polacsek , Mireille Blay-Fornarino
36ème Congrès INFORSID (INFormatique des ORganisations et Systèmes d’Information et de Décision), May 2018, Nantes, France
Communication dans un congrès hal-01819287v1
Page :