Seminars

Upcoming seminars

  • November 4, 2019
    Title: Design and Analysis of Reconfigurable Multi-view Embedded Systems
    End of CASERM Workshop
    More…
  • November 12, 2019 — by Jean-Yves le Boudec from EPFL
    Title: Network Calculus
    Seminar organized by SPADES (Sophie Quinton)
    More…
  • November 15, 2019 — by Christophe Prévot from INRIA Grenoble – Rhône-Alpes
    Title: Analyses pour l’ordonnançabilité et la flexibilité de systèmes temps-réel
    PhD Thesis
    More…

Past seminars

  • June 25, 2019 — by Borislav Nikolic from TU Braunschweig.
    Title: Slot-Based Transmission Protocol for Real-Time NoCs – SBT-NoC
    Seminar organized by SPADES (Sophie Quinton)
    More…
  • April 12, 2019 — by Dr. Nicolas Hili from IRT Saint-Exupéry, Toulouse.
    Title: Worst-Case Reaction Time Optimization on Deterministic Multi-Core Architectures
    Seminar organized by SPADES (Alain Girault)
    More…
  • April 2, 2019 — by Prof. Edward A. Lee from UC Berkeley
    Title: A Personal View of Real-Time Computing
    Seminar organized by SPADES (Alain Girault)
    More…
  • December 18, 2018 — by Susanne Graf from Verimag
    Title: Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory
    Seminar organized by SPADES (Sophie Quinton)
    More…
  • November 13, 2018 — by Lionel Rieg from Verimag
    Title: Extending a Verified OS Kernel for Real-Time
    Seminar organized by SPADES (Sophie Quinton)
    More…
  • September 28, 2018 — by Simon Bliudze from INRIA Lille – Nord Europe
    Title: Correctness by Construction: Design of Component-Based Systems Using BIP
    Seminar organized by SPADES (Sophie Quinton)
    More…
  • 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.