• 19 avril 2012 de 10h30 à 11h30 salle S16 : Vincent David, LaSTRE, CEA
  • Systèmes temps réel embarqués déterministes et sûrs de fonctionnement : OASIS & PharOS ;
  • Cohabitation PharOS/EmbeddedC dans une application de contrôle/commande de moteur électrique pour du steer-by-wire avec retour d'effort ;
  • Démonstration.

• 19 mars 2012 de 10h30 à 11h30 salle S16 : Alexandre Chapoutot
  • Vers un moteur de simulation ensembliste de modèles Simulink

• 5 mars 2012 de 10h30 à 11h30 salle S16 : Gabriel Kerneis
  • From threads to events through classical program transformations

• 20 février 2012 de 10h30 à 11h30 salle S16 : Gwenaël Delaval
  • Musical programming with Lucid Synchrone

• 13 février 2012 de 10h30 à 11h30 salle S16 : Sylvain Conchon
  • Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems

• 30 janvier 2012 de 10h30 à 11h30 salle B14 : Anne Bouillard
  • Algorithmic Issues in Network Calculus

• 16 janvier 2012 de 13h30 à 14h30 salle U/V : Jean-Christophe Filliâtre
  • Deductive Program Verification with Why3

2011

• 5 décembre 2011 de 10h30 à 11h30 salle B14 : John Plaice
  • TransLucid

• 2 novembre 2011 de 10h30 à 11h30 salle S16 : Alex Nicolau, UCI
  • Variability, Accuracy, and Performance evaluation

• 19 septembre 2011 de 10h30 à 11h30 salle S16 : Daisuke Ishii, JSPS, National Institute of Informatics (Tokyo) and ProVal team, INRIA Saclay
  • An Execution Algorithm for a Hybrid Modeling Language HydLa

• 19 août 2011 de 10h30 à 11h30 salle S16 : Peter Gammie, the Australian National University and National ICT Australia
  • Verified Synthesis of Knowledge-Based Programs in Finite Synchronous Environments

• 20 juillet 2011 de 10h00 à 11h30 salle S16 : Jean-Louis Giavitto, CNRS, IRCAM
  • MGS : construire des représentations spatiales de processus musicaux

• 20 juillet 2011 de 10h00 à 11h30 salle S16 : José Echeveste et Arshia Cont, IRCAM
  • Antescofo : formalisation des relations temporelles entre une partition et une performance musicale

• 20 juillet 2011 de 10h00 à 11h30 salle 16 : Jean Bresson, IRCAM
  • OpenMusic : programmation visuelle et composition assistée par ordinateur

• 11 juillet 2011 de 10h30 à 11h30 salle S16 : Emmanuelle Encrenaz, Université Pierre et Marie Curie
  • A Symbolic Model-Checking Framework for Transient Fault Robustness Classification and Quantification

• 30 juin 2011 de 10h00 à 11h00 salle S16 : Thomas Carle, AOSTE, INRIA Rocquencourt
  • Throughput optimization by software pipelining of conditional reservation tables

• 30 juin 2011 de 11h00 à 12h30 salle S16 : Alain Darte, ENS Lyon et COMPSYS, INRIA Rhône-Alpes
  • Program Analysis and Source-Level Communication Optimizations for High-Level Synthesis

• 14 juin 2011 de 15h00 à 16h00 salle S16 : Jan Vitek, Purdue University
  • Virtualizing Real-time Embedded Systems with Java

• 6 juin 2011 de 11h00 à 12h00 salle U/V : Alix Munier-Kordon, Université Pierre et Marie Curie
  • Etude de la minimisation de la surface des mémoires-buffers pour une application modélisée par un graphe « Synchronous Data-Flow »

• 23 mai 2011 de 10h30 à 11h30 salle U/V : Hélène Lowinger, INRIA
  • Présentation des outils de l'information scientifique et technique de l'INRIA

• 13 mai 2011 de 10h30 à 12h00 salle W : Prof. Walid Najjar, University of California Riverside
  • Performance, Productivity and Programmability: The Coming of Age of FPGA Code Accelerators

• 28 mars 2011 à 11h30 salle S16 : Ramakrishna Upadrasta, PARKAS
  • Potential and Challenges of Two-Variable-Per-Inequality Sub-Polyhedral Compilation

• 28 mars 2011 à 10h30 salle S16 : Eunjung Park, University of Delaware
  • Predictive Modeling in a Polyhedral Optimization Space

• 21 mars 2011 à 8h30 salle S16 : Feng Li, PARKAS
  • Advances in Parallel-stage Decoupled Software Pipelining

• 7 mars 2011 à 10h30 salle S16 : Timothy Bourke, PARKAS
  • OCaml/Sundials

• 31 janvier 2011 à 14h30 salle S16 : Francesco Zappa-Nardelli, INRIA Paris-Rocquencourt
  • Shared Memory: an Elusive Abstraction

2010

• 13 décembre 2010 à 10h30 salle S16 : Olivier Boudeville, EDF R&D, et Cédric Pasteur, PARKAS
  • Présentation de SimDiasca (Simulation of Discrete Systems of All Scales) (O. Boudeville)
  • Programming agents in ReactiveML (C. Pasteur)

• 24 novembre 2010 à 13h30 salle S16 : Léonard Gérard, PARKAS
  • The basis of a bursty synchronous language, its clock system and a causality analysis

• 15 novembre 2010 à 10h30 salle S16 : Louis Mandel et Florence Plateau, PARKAS
  • Typage d'horloges périodiques en Lucy-n

• 11 octobre 2010 à 15h00 salle S16 : Alastair F. Donaldson, University of Oxford
  • An Induction-based Method for Complete Bounded Model Checking of Programs