Loulergue, Frédéric 1973-...
Loulergue, Frédéric
Frédéric Loulergue Doctorat Université d'Orléans 2000
VIAF ID: 172446991 ( Personal )
Permalink: http://viaf.org/viaf/172446991
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
Works
Title | Sources |
---|---|
Algorithmes certifiés pour la simplification syntaxique de programmes. | |
Assisted concurrent program verification by code and specification transformation. | |
BSP algorithms for LTL & CTL model checking of security protocols | |
Certified algorithms for program slicing | |
Conception de langages fonctionnels pour la programmation massivement parallèle | |
Formal specification and analysis of security policies in a cloud brokerage process. | |
Formalisation d'un vérificateur dynamique de propriétés mémoire pour programmes C | |
Formalization of a Runtime Assertion Checker for Memory Properties of C Programs. | |
Functional approaches of parallel computing and meta-computers : semantics, implementations and certification. | |
Génération automatique de code parallèle isochrone | |
Metaprogrammed algorithmic skeletons : implementations, performances and semantics. | |
Model and implementation of implicit parallélism for mesh-based scientific simulations. | |
Nested atomic sections with thread escape : semantics and compilation. | |
Orchestration of mobile agents in community. | |
Parallelism and load balancing in the treatment of the join on distributed architectures. | |
Parallélisme et équilibrage de charges dans le traitement de la jointure sur des architectures distribuées | |
Parameterised extension of certified compiler for parallel programming. | |
⌈-Pomset pour la modélisation et la vérification de systèmes parallèles | |
Programmation des architectures hiérarchiques et hétérogènes | |
Programming hierarxchical and heterogenous machines. | |
Sections atomiques emboîtées avec échappement de processus légers : sémantiques et compilation | |
Spécification et analyse formelles des politiques de sécurité dans un processus de courtage de l'informatique en nuage | |
Spécifier et vérifier des exigences de haut niveau sur des programmes importants : application à la sécurité des programmes C. | |
Specifying and verifying high-level requirements on large programs : application to security of C programs | |
Squelettes algorithmiques asynchrones : application aux langages orientés domaine | |
Squelettes algorithmiques pour la programmation et l'exécution efficaces de codes parallèles | |
Static Analysis for BSPlib Programs | |
Support mécanisé pour la spécification formelle, la vérification et le déploiement d'applications à base de composants | |
Surveillance logicielle à base d'une communauté d'agents mobiles | |
Systematic development and safety of execution in structured parallel programming. | |
Tests and proofs, [2021]: |