Zobrazeno 1 - 9
of 9
pro vyhledávání: '"SDL langage de programmation"'
Autor:
Blein, Yoann
Publikováno v:
Software Engineering [cs.SE]. Université Grenoble Alpes, 2019. English
Runtime verification is a promising technique to improve the safety of complex systems. These systems can be instrumented to produce execution traces enabling us to observe their usage in the field. A significant challenge is to provide software engi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2592::789c4636d1eced63a7750a4ad307bef5
https://hal.univ-grenoble-alpes.fr/tel-02269062
https://hal.univ-grenoble-alpes.fr/tel-02269062
Autor:
Blein, Yoann
Publikováno v:
Software Engineering [cs.SE]. Université Grenoble Alpes, 2019. English
Runtime verification is a promising technique to improve the safety of complex systems. These systems can be instrumented to produce execution traces enabling us to observe their usage in the field. A significant challenge is to provide software engi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::789c4636d1eced63a7750a4ad307bef5
https://hal.univ-grenoble-alpes.fr/tel-02269062
https://hal.univ-grenoble-alpes.fr/tel-02269062
Autor:
Delahaye, Benoît
Cette thèse présente des contributions originales pour la conception et la vérification de systèmes non-déterministes et stochastiques. Nos résultats sont divisés selon trois lignes directrices. Premièrement, nous généralisons la théorie d
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00591609
http://tel.archives-ouvertes.fr/docs/00/59/16/09/PDF/phd.pdf
http://tel.archives-ouvertes.fr/docs/00/59/16/09/PDF/phd.pdf
Autor:
Cheng, Dong
Publikováno v:
Other [cs.OH]. Université Henri Poincaré-Nancy 1, 2008. English. ⟨NNT : 2008NAN10059⟩
This thesis addresses the general problem of capability management and capability discovery in heterogeneous environments. We increased a Description Logics language to support capability description, management and discovery. Our main contributions
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::71cec52f7c187f4ada41c3e33700a2e7
https://hal.univ-lorraine.fr/tel-01748452
https://hal.univ-lorraine.fr/tel-01748452
Thèse doctorat : Informatique : Rennes 1 : 2006.
Bibliogr. p. 115-119.
Bibliogr. p. 115-119.
Autor:
Soudani, Adel
Publikováno v:
Autre [cs.OH]. Université Henri Poincaré-Nancy 1, 2003. Français. ⟨NNT : 2003NAN10004⟩
The object of this PHD is to develop a multi-protocol communication model for multimedia applications in real time distributed systems. The idea is to cohabit different communication techniques that can be activated dynamically in regard to the QoS r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::428aa24c1a144824aed64a6bc26e8e9f
https://hal.univ-lorraine.fr/tel-01746766
https://hal.univ-lorraine.fr/tel-01746766
Autor:
Kaiser, Laurent
Publikováno v:
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2001. Français. ⟨NNT : 2001INPL010N⟩
This thesis deals with validation techniques suited to real time complex applications, that is applications for which we must assure temporal properties in a deterministic way, and which are characterised by their distribution and a co-operative deve
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::97f0284cddcaaf0ab56a57e6d2b497d6
https://hal.univ-lorraine.fr/tel-01750319
https://hal.univ-lorraine.fr/tel-01750319
Autor:
Jemni Ben Ayed, Leila
Publikováno v:
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2000. Français. ⟨NNT : 2000INPL023N⟩
Our aim is the use of formal techniques for the development of control-command system, which constitutes the program component of real-time systems. Generally, using a formal method for program development first consists in formally specifying the ex
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a3da61d76bca9472fd3b5b7cf3c2e947
https://hal.univ-lorraine.fr/tel-01750490
https://hal.univ-lorraine.fr/tel-01750490
Autor:
Benoît Delahaye
Publikováno v:
HAL
CIÊNCIAVITAE
Modeling and Simulation. Université Rennes 1, 2010. English
CIÊNCIAVITAE
Modeling and Simulation. Université Rennes 1, 2010. English
This thesis presents new contributions in the design and verification of systems mixing both non-deterministic and stochastic aspects. Our results can be divided into three main contributions. First, we generalize interface theories to the stochastic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5fcee47d43b6fe7caa9f7cb707f3e01c
https://tel.archives-ouvertes.fr/tel-00591609
https://tel.archives-ouvertes.fr/tel-00591609