Zobrazeno 1 - 10
of 31
pro vyhledávání: '"Roux, Olivier Henri"'
Publikováno v:
In Information and Computation February 2022 283
Publikováno v:
Logical Methods in Computer Science
Logical Methods in Computer Science, 2022, 18 (1), ⟨10.46298/lmcs-18(1:31)2022⟩
Logical Methods in Computer Science, 2022, 18 (1), ⟨10.46298/lmcs-18(1:31)2022⟩
We study timed systems in which some timing features are unknown parameters. Parametric timed automata (PTAs) are a classical formalism for such systems but for which most interesting problems are undecidable. Notably, the parametric reachability emp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a4f8049b5afdd72488369f92e6eb40bc
http://arxiv.org/abs/2004.09171
http://arxiv.org/abs/2004.09171
Publikováno v:
Modélisation des Systèmes Réactifs (MSR'19)
Modélisation des Systèmes Réactifs (MSR'19), Nov 2019, Angers, France
Modélisation des Systèmes Réactifs (MSR'19), Nov 2019, Angers, France
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::f2e04a43909ae56eccd43c99baf619d4
https://hal.archives-ouvertes.fr/hal-02415319
https://hal.archives-ouvertes.fr/hal-02415319
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.
Autor:
Lelionnais, Cedrick, Brun, Matthias, Delatour, Jérôme, Roux, Olivier Henri, Seidner, Charlotte
Publikováno v:
Advances in System Testing and Validation
The 5th International Conference on Advances in System Testing and Validation Lifecycle (VALID 2013)
The 5th International Conference on Advances in System Testing and Validation Lifecycle (VALID 2013), Nov 2013, Venice, Italy. pp.27-32
The 5th International Conference on Advances in System Testing and Validation Lifecycle (VALID 2013)
The 5th International Conference on Advances in System Testing and Validation Lifecycle (VALID 2013), Nov 2013, Venice, Italy. pp.27-32
International audience; Formal composition based on roles within a model driven engineering approach
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c5cb0c7920834b758ddeb2633e23a9ba
https://hal.archives-ouvertes.fr/hal-00941024
https://hal.archives-ouvertes.fr/hal-00941024
Autor:
Lelionnais, Cédrick, Brun, Matthias, Delatour, Jérôme, Roux, Olivier Henri, Seidner, Charlotte
Publikováno v:
The 14th International Conference on Enterprise Information Systems (ICEIS (2) 2012)
The 14th International Conference on Enterprise Information Systems (ICEIS (2) 2012), Jun 2012, Wroclaw, Poland
The 14th International Conference on Enterprise Information Systems (ICEIS (2) 2012), Jun 2012, Wroclaw, Poland
International audience; Faced with the growing problems of complexity, heterogeneity and upgradability of Real-Time Embedded Systems (RTESs), model-based frameworks dedicated to the application deployments facilitate the design and the development of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::91e3c22d53f4f6ac9e5bad7776295085
https://hal.archives-ouvertes.fr/hal-01093794
https://hal.archives-ouvertes.fr/hal-01093794
Autor:
Roux, Olivier Henri, Lime, Didier
Publikováno v:
Hermès Lavoisier, pp.1114, 2009
Le colloque francophone « Modélisation des Systèmes réactifs » (MSR) se situe traditionnellement à la croisée des chemins de l'Automatique et de l'Informatique, dans le cadre de la conception, de la mise en œuvre et de la validation de systè
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::055f500b8769e01b3d5dac66cd077e92
https://hal.archives-ouvertes.fr/hal-00523944
https://hal.archives-ouvertes.fr/hal-00523944
Publikováno v:
Journal of Universal Computer Science
Journal of Universal Computer Science, Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2009, 15 (17), pp.3273-3304. ⟨10.3217/jucs-015-17-3273⟩
JUCS-Journal of Universal Computer Science 15(17): 3273-3304
Journal of Universal Computer Science, Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2009, 15 (17), pp.3273-3304. ⟨10.3217/jucs-015-17-3273⟩
JUCS-Journal of Universal Computer Science 15(17): 3273-3304
International audience; At the border between control and verification, parametric verification can be used to synthesize constraints on the parameters to ensure that a system verifies given specifications. In this paper we propose a new framework fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::609ff963c5e5daef31e81775f5e7f05f
https://zenodo.org/record/7001017
https://zenodo.org/record/7001017
Autor:
Benattar, Gilles, Bérard, Béatrice, Lime, Didier, Mullins, John, Roux, Olivier Henri, Sassolas, Mathieu
Publikováno v:
Proceedings of the LICS Workshop on Foundations of Computer Security (FCS'09)
The LICS Workshop on Foundations of Computer Security (FCS'09)
The LICS Workshop on Foundations of Computer Security (FCS'09), Jul 2009, Los Angeles, California, United States. pp.
The LICS Workshop on Foundations of Computer Security (FCS'09)
The LICS Workshop on Foundations of Computer Security (FCS'09), Jul 2009, Los Angeles, California, United States. pp.
International audience; Covert channels represent a security problem for information systems, since they permit illegal flows and sometimes leaks of classified data. Although numerous descriptions have been given at a concrete level, relatively few w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::71cf27ebc03aa30e6943e794d75821e2
https://hal.science/hal-01298270
https://hal.science/hal-01298270
Autor:
Jard, Claude, Roux, Olivier Henri
Publikováno v:
STE Publishing/John Wiley, pp.261, 2009
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::22335d592da38b4ab93c1edb16f89165
https://hal.archives-ouvertes.fr/hal-00523940
https://hal.archives-ouvertes.fr/hal-00523940