A Generic Abstract Machine for Stochastic Process Calculi Loïc Paulevé Simon Youssef IRCCyN, UMR CNRS 6597

Source URL: loicpauleve.name

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Distributed Implementation of Message Sequence Charts Rouwaida Abdallah — Loïc Hélouët — Claude Jard

Source URL: people.rennes.inria.fr

Introduction à la science informatique pour l’étude des systèmes dynamiques Loïc Paulevé École Polytechnique / LIX (équipe AMIB)

Source URL: loicpauleve.name

Efficient Static Analysis of Dynamical Properties using the Process Hitting 10 janvier 2012 Loïc Paulevé École Polytechnique / LIX (équipe AMIB)

Source URL: loicpauleve.name

Lean Model-Driven Development through Model-Interpretation: the CPAL design flow Nicolas Navet, University of Luxembourg Loïc Fejoz, RealTime-at-Work, France Lionel Havet, RealTime-at-Work, France Sebastian Altmeyer, Un

Source URL: www.designcps.com

Une analyse pour détecter les violations de strict aliasing Pascal Cuoq & Loïc Runarvot TrustInSoft Saturday 16th July, 2016

Source URL: www.lse.epita.fr

loïc wacquant F R O M S L AV E R Y T O M A S S I N C A R C E R AT I O N Rethinking the ‘race question’ in the US

Source URL: antiracistalliance.com

Developer Manual Plug-in Development Guide Release AluminiumJulien Signoles with Loïc Correnson, Matthieu Lemerre and Virgile Prevosto

Source URL: frama-c.com

GLIDERS AS A COMPONENT OF FUTURE OBSERVING SYSTEMS Pierre Testor(1), Gary Meyers(2), Chari Pattiaratchi(3), Ralf Bachmayer(4), Dan Hayes(5), Sylvie Pouliquen(6), Loic Petit de la Villeon(6), Thierry Carval(6), Alexandre

Source URL: www.ioccp.org

• Oceanography
• Physical oceanography
• Physical geography
• Underwater glider
• Argo
• Ocean observations
• Gliding
• Glider
• Ocean current
• Ocean general circulation model
• Acoustic Doppler current profiler
• Profiling float

WP 1.0 WP Plug-in Manual Version 1.0 for Frama-C Aluminium Patrick Baudin, François Bobot, Loïc Correnson, Zaynah Dargaye

Source URL: frama-c.com

• Software
• Frama-C
• Formal methods
• Predicate transformer semantics
• Alt-Ergo
• Linux kernel