Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates

Autor: Holthusen, Sönke, Quinton, Sophie, Schaefer, Ina, Schlatow, Johannes, Wegner, Martin

Publikováno v: EPTCS 208, 2016, pp. 31-45

In this paper we address the issue of change after deployment in safety-critical embedded system applications. Our goal is to substitute lab-based verification with in-field formal analysis to determine whether an update may be safely applied. This i

Externí odkaz: http://arxiv.org/abs/1606.00504

Addictions en milieu professionnel

Autor: Barthélémy, Catherine, Bousser, Marie-Germaine, Fantoni-Quinton, Sophie, Réthoré, Marie-Odile, Morel, Françoise, Adès, Jean, Chamoux, Alain, Costentin, Jean, Gonnet, Christian, Goullé, Jean-Pierre, Hamon, Michel, Hauw, Jean-Jacques, Lechevalier, Bernard, Léger, Jean-Marc, Lejoyeux, Michel, Olié, Jean-Pierre, Vallat, Jean-Michel

Publikováno v: In Bulletin de l'Académie Nationale de Médecine September-December 2017 201(7-9):941-955

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Role of occupational health unit for the traceability of exposures, the post-exposure surveillance (and after retirement): legal framework, key issues, available tools and guidelines of the French Society of Occupational Medicine

Autor: Fantoni Quinton, Sophie, Dewitte, J.D., Piron, C., Capdeville, L., Petit, A., Letheux, C., Descatha, A., Gehanno, J.F., Pairon, J.C.

Publikováno v: Archives des Maladies Professionnelles et de L'Environnement
Archives des Maladies Professionnelles et de L'Environnement, Elsevier Masson, 2022, Archives des Maladies Professionnelles et de L'Environnement, 83 (1), pp.2-9. ⟨10.1016/j.admp.2021.12.006⟩
Archives des Maladies Professionnelles et de L'Environnement, 2022, Archives des Maladies Professionnelles et de L'Environnement, 83 (1), pp.2-9. ⟨10.1016/j.admp.2021.12.006⟩

L’objectif de ces recommandations est de préciser le cadre juridique, délimiter le rôle des Services de prévention et de santé au travail et effectuer des recommandations sur la mise en œuvre des visites en vue d’un suivi post-exposition ou

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7f26636218d5c672383207484d70301f
https://doi.org/10.1016/j.admp.2021.12.006

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)

Autor: Altmeyer, Sebastian, André, Étienne, Dal Zilio, Silvano, Fejoz, Loïc, Harbour, Michael González, Graf, Susanne, Gutiérrez, J. Javier, Henia, Rafik, Le Botlan, Didier, Lipari, Giuseppe, Medina, Julio, Navet, Nicolas, Quinton, Sophie, Rivas, Juan M., Sun, Youcheng

We propose here solutions to the FMTV 2015 challenge of a distributed video processing system using four different formalisms, as well as the description of the challenge itself. This artifact contains several solutions to various subchallenges, and

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::8d58019f31fe0778ba1e1a848ab6c4fc