Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
News
Jobs & internships
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Light
Dark
Automatic
4
CAVALE - Collaboration d'analyses pour la vérification d'erreurs à l'exécution. RT 2/14888
ASBAPROD Assurance Basée Produit - Rapport final, RF 4/13733
CAVALE - Etat de l'art. RT 1/14888
Impacts of static analysis on current development process - D2.2.1 ES-PASS Project. RT 1/13009
New development processes - D2.4.1 ES-PASS Project. RT 2/13009
Qualifiation of tools - D2.5.1 ES-PASS Project. RT 3/13009
ASBAPROD - Mise en oeuvre systématique de l'approche sur la Phase 1, RT 3/13733
Assurance basée sur le produit (ASBAPROD), RT 2/13733
Concern-based Specification and Analysis using Abstract Interpretation - A Distributed Case
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation
«
»
Cite
×