Couvreur, Jean-Michel, 1959-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
VIAF ID: 192797414 (Personal)
Permalink: http://viaf.org/viaf/192797414
Preferred Forms
5xx's: Related Names (2)
- 511 2 _
‡a
Laboratoire d'informatique fondamentale d'Orléans (Orléans)
- 511 2 _
‡a
Université d'Orléans (1966-....)
Works
| Title | Sources |
|---|---|
| Application et assurance autonomes de propriétés de sécurité dans un environnement d'informatique en nuage |
|
| Une approche par composants pour l'analyse visuelle interactive de résultats issus de simulations numériques |
|
| Approches pratiques et théoriques pour l'analyse de modules au sein de réseaux d'interaction protéine-protéine. |
|
| Autonomic enforcement and assurance of security properties in a Cloud. |
|
| Contributions à la résolution parallèle du problème SAT |
|
| Contrôle d'accès obligatoire pour systèmes à objets : défense en profondeur des objets Java |
|
| Data end-to-end security in a heterogeneous IoT deployment for 4.0industry. |
|
| Exploitation of dynamic symmetries for solving SAT problems. |
|
| Exploiting model structure in CEGAR verification method |
|
| EXTENSION DES METHODES DE CALCUL DE FLOTS POUR LES RESEAUX DE PETRI DE HAUT NIVEAU. APPLICATION A LA VALIDATION D'ALGORITHMES DISTRIBUES |
|
| EXTENSION OF FLOW COMPUTATION METHODS FOR HIGH LEVEL PETRI NETS. APPLICATION TO VERIFICATIONS FOR DISTRIBUTED ALGORITHMS. |
|
| Génération automatique de code parallèle isochrone |
|
| Mandatory access control for object systems : defense in depth for Java objects. |
|
| Mandatory protection of Web applications servers : usage for the workflow environments. |
|
| Modeling and simulation of hybrid systems and cell factory applications |
|
| Nested atomic sections with thread escape : semantics and compilation. |
|
| On intrinsically live structure and deadlock control of generalized Petri nets modeling flexible manufacturing systems |
|
| Parameterised extension of certified compiler for parallel programming. |
|
| Partitions interactives structurées. |
|
| ⌈-Pomset pour la modélisation et la vérification de systèmes parallèles |
|
| Practical and theoretical approaches for module analysis of protein-protein interaction networks |
|
| Preuves d'algorithmes distribués par raffinement |
|
| Protection obligatoire des serveurs d'applications Web : application aux processus métiers |
|
| Sections atomiques emboîtées avec échappement de processus légers : sémantiques et compilation |
|
| Sécurité des données de bout en bout dans un déploiement IdO hétérogène pour l'industrie 4.0 |
|
| Social capitalism on Twitter : a survey. |
|
| Static Analysis for BSPlib Programs |
|
| Structured interactive scores : from a structural description of a multimedia scenario to a real-time capable implementation with formal semantics |
|
| Sur le contrôle de blocage dans les systèmes flexibles de production à base de réseaux de Petri généralisés. |
|
| Symbolic model-checking based on rewriting systems. |
|
| Unfolding based verification of concurrent infinite-state systems |
|
| Vérification symbolique de modèles à l'aide de systèmes de ré-écriture dédiés |
|
