Pommereau, Franck, 19..-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Pommereau, Franck 1974-...
VIAF ID: 217153564 ( Personal )
Permalink: http://viaf.org/viaf/217153564
Preferred Forms
Works
| Title | Sources |
|---|---|
| Analysing modular systems with hierarchical abstractions. |
|
| BSP algorithms for LTL & CTL model checking of security protocols |
|
| Caractéristiques et devenir des patients atteints d’amylose cardiaque bénéficiant d’un remplacement valvulaire aortique percutanée pour rétrécissement aortique serré comparés à une population suspecte d’amylose cardiaque |
|
| A co-design approach of irregular kernels on manycore architectures : case of multi-scale anisotropic remeshing in computational fluid dynamics. |
|
| The Code mobility in embedded systems. |
|
| Compilation of Petri nets : high-level models and process symmetries. |
|
| Contributions au co-design de noyaux irréguliers sur architectures manycore : cas du remaillage anisotrope multi-échelle en mécanique des fluides numérique |
|
| Génération automatique de code parallèle isochrone |
|
| Matching of dynamic patterns with timed memory automata. |
|
| A method for designing critical software system coupled with a formal verification approach. |
|
| Méthode de conception de logiciel système critique couplée à une démarche de vérification formelle |
|
| La mobilité du code dans les systèmes embarqués |
|
| Modèles composables et concurrents pour le temps-réel |
|
| Modelisation and analysis of the security in the peer to peer storage system. |
|
| Modélisation et analyse des systèmes ouverts reconfigurables. |
|
| Nested atomic sections with thread escape : semantics and compilation. |
|
| Reconnaissance de motifs dynamiques par automates temporisés à mémoire |
|
| Sections atomiques emboîtées avec échappement de processus légers : sémantiques et compilation |
|
| Towards Synthesizing Open Systems : Tableaux For Multi-Agent Temporal Logics |
|
| Vérification de modèle quasi-optimale de systèmes concurrents. |
|
| Vers la Synthèse de Systèmes Ouverts : Tableaux pour les Logiques Temporelles Multi-Agents. |
|
