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…
