Seminars

Upcoming seminars

    There are no seminars scheduled at the moment.

Past seminars

  • March 20, 2018 — by Thao Dang from Verimag
    Title: Scheduling of Embedded Controllers Under Timing Contracts
    Seminar organized by SPADES (Sophie Quinton)
    More…
  • March 5, 2018 — by Enrico Bini from Università di Torino
    Title: Adaptive Fair Scheduler (AFS): Fairness with Disturbances
    Seminar organized by SPADES (Sophie Quinton)
    More…
  • February 6, 2018 — by Miguel Romero Rodriguez from INSA Lyon
    Title: Discrete Event System Approaches for Hybrid Control of HVDC
    Seminar organized by SPADES and POLARIS (Alain Girault and Bruno Gaujal)
    More…
  • February 6, 2018 — by Mahya Rahimi from INSA Lyon
    Title: A Formal Contribution to Multi-Resource Scheduling Problems
    Seminar organized by SPADES and POLARIS (Alain Girault and Bruno Gaujal)
    More…
  • December 13, 2017 — by Paolo Pazzaglia from Scuola Superiore Sant’Anna – Pisa
    Title: Beyond the Weakly Hard Model: Measuring the Performance Cost of Deadline Misses
    Seminar organized by SPADES (Sophie Quinton)
    More…
  • October 3, 2017 — by Rob Davis from the University of York
    Title: Experiences in Start-up Companies: Transferring Real-Time Systems Research into Commercial Products
    Seminar organized by SPADES (Sophie Quinton)
    More…
  • September 28, 2017 — by Stephan Plassart from INRIA Grenoble – Rhône-Alpes
    Title: Online Speed Scaling Minimizing Expected Energy Consumption for Real-Time Tasks
    Seminar organized by POLARIS
    More…
  • June 20, 2017 — by Bruno Bodin from the University of Edinburgh
    Title: Performance Evaluation using Dataflow Modeling
    Seminar organized by SPADES (Alain Girault)
    More…
  • May 16, 2017 — by Florian Greff from Thales Research & Technology and LORIA
    Title: Software-Defined Real-Time Mesh Networking : Protocol and Experimentation Method
    Seminar organized by SPADES (Sophie Quinton)
    More…
  • April 11, 2017 — by Alessandro Biondi from Scuola Superiore Sant’Anna in Pisa
    Title: Lightweight Real-Time Synchronization on Symmetric and
    Asymmetric Multiprocessors

    Seminar organized by SPADES (Sophie Quinton)
    More…
  • March 27, 2017 — by Reinhard van Hanxleden from Kiel University
    Title: A Sequentially Constructive Circuit Semantics for Esterel
    Seminar organized by SPADES (Alain Girault)
    More…
  • March 21, 2017 — by Dorin Maxim from LORIA
    Title: Probabilistic Analysis of Real-Time Systems
    Seminar organized by SPADES (Gregor Goessler)
    More…
  • February 14, 2017 — by Ioana Cristescu from Harvard Medical School
    Title: Rigid families for the reversible pi-calculus
    Seminar organized by SPADES (Gregor Goessler)
    More…
  • February 14, 2017 — by Martin Vassor from EPFL
    Title: Stable Causal Log and Reversible Computation
    More…
  • January 24, 2017 — by Bruno Gaujal from INRIA Grenoble – Rhône-Alpes
    Title: Neuro-Dynamic Programming
    More…
  • January 10, 2017 — by Dmitry Burlyaev from Atrenta
    Title: Hardware Security, Formal and Statistical Approaches
    More…
  • December 13, 2016 — by Jean-Bernard Stefani from INRIA Grenoble – Rhône-Alpes
    Title: Location Graphs: Encapsulation and Sharing in Dynamic Software Structures
    More…
  • December 7, 2016 — by Oleg Sokolsky from University of Pennsylvania
    Title: Platform-Specific Code Generation from Platform-Independent Timed Models
    More…
  • November 29, 2016 — by Gilles Muller from LIP6 in Paris
    Title: Safe Multicore Scheduling in a Linux Cluster Environment
    More…

Comments are closed.