Zobrazeno 1 - 10 of 48 pro vyhledávání: '"Systèmes de (informatique)"'
1
A formal island for qualifiable model transformations
Autor: Bach , Jean-Christophe
Publikováno v: Langage de programmation [cs.PL]. Université de Lorraine, 2014. Français
Autre [cs.OH]. Université de Lorraine, 2014. Français. ⟨NNT : 2014LORR0128⟩
Autre [cs.OH]. Université de Lorraine, 2014. Français. 〈NNT : 2014LORR0128〉
Software development process is composed of steps which integrate an increasing number of tools. Development chains for critical systems (avionics, health field) have gradually adopted model-based code generation tools. This increase of complexity ha
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::cbd0fcacee96aacf91cddd8419c67227
https://tel.archives-ouvertes.fr/tel-01081055/document
Zobrazit plný text záznamu
2
Malware Analysis by Behavior Abstraction
Autor: Beaucamps, Philippe
Publikováno v: Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2011. Français. ⟨NNT : 2011INPL092N⟩
Traditional behavior analysis usually operates at the implementation level of malicious behaviors. Yet, it is mostly concerned with the identification of given functionalities and is therefore more naturally defined at a functional level. In this the
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::952a9259ee8a7c880f230db9f1130577
https://hal.univ-lorraine.fr/tel-01751072/file/INPL_T_2011_BEAUCAMPS_P.pdf
Zobrazit plný text záznamu
3
Algebraic methods for specifying and analyzing security policies
Autor: Bourdier, Tony
Publikováno v: Autre [cs.OH]. Université Henri Poincaré-Nancy 1, 2011. Français. ⟨NNT : 2011NAN10096⟩
Logique en informatique [cs.LO]. Université Henri Poincaré-Nancy I, 2011. Français
Designing and applying formal methods for specifying, analyzing and verifying softwares and systems are the main driving forces behind the work presented in this manuscript. In this context, our activities fall into the category of formal methods bel
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b46b8b8fdf62c2156fbb715fa1f492a1
https://hal.univ-lorraine.fr/tel-01746242/document
Zobrazit plný text záznamu
5
Bonnes démonstrations en déduction modulo
Autor: Burel, Guillaume Kirchner, Claude
Thèse de doctorat : Informatique : Nancy 1 : 2009.
Titre provenant de l'écran-titre.
Externí odkaz: http://www.scd.uhp-nancy.fr/docnum/SCD_T_2009_0014_BUREL.pdf
Zobrazit plný text záznamu
7
Un calcul de réécriture de graphes : applications à la biologie et aux systèmes autonomes
Autor: Andrei, Oana-Maria
Publikováno v: Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2008. Français. ⟨NNT : 2008INPL058N⟩
The objective of this thesis is to explore formal descriptions for the structure and functioning of biological systems, as well as formal tools for reasoning about their behavior. This work takes place in the overall prospective to study safe computa
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::50a13a6cc372ac491fd872b1a12511df
https://hal.univ-lorraine.fr/tel-01748694/file/2008_ANDREI_O-M.pdf
Zobrazit plný text záznamu
10
Term Rewriting and Modularity for Security Policies
Autor: Santana De Oliveira, Anderson
Publikováno v: Other [cs.OH]. Université Henri Poincaré-Nancy 1, 2008. English. ⟨NNT : 2008NAN10007⟩
Génie logiciel [cs.SE]. Université Henri Poincaré-Nancy I, 2008. Français
In this thesis we address the modular specification and analysis of flexible, rule-based policies. We introduce the use of the strategic rewriting formalism in this domain, such that our framework inherits techniques, theorems, and tools from the rew
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::56bcf4e90c3d28e3b5d9f2d9614ce268
https://hal.univ-lorraine.fr/tel-01748342
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje