Home

To be informed by email of our upcoming seminars or schedule a seminar, please see our contact information.


Upcoming seminars

  • November 25, 2019 — by Peter Csaba Ölveczky from University of Oslo
    Title: Formal Specification and Analysis of Real-Time Systems in Real-Time Maude
    Seminar organized by CONVECS (Gwen Salaün)
    More…

Past seminars

  • 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…
  • November 12, 2019 — by Jean-Yves le Boudec from EPFL
    Title: Network Calculus
    CASERM Seminar organized by SPADES (Sophie Quinton)
    More…
  • November 4, 2019
    Title: Design and Analysis of Reconfigurable Multi-view Embedded Systems
    CASERM Workshop
    More…
  • October 23, 2019 — by Karoliina Lehtinen from University of Liverpool
    Title: Quasi-Polynomial Techniques for Parity Games and Other Problems
    Seminar organized by CONVECS (Radu Mateescu)
    More…
  • October 21, 2019 — by Hugues Evrard from Google (London)
    Title: GPU schedulers: how fair is fair enough?
    Seminar organized by CONVECS (Radu Mateescu)
    More…
  • October 8, 2019 — by Lijun Zhang from Chinese Academy of Science
    Title: Omega-Automata Learning Algorithms and its Applications
    Seminar organized by SPADES (Jean-Bernard Stefani)
    More…
  • June 25, 2019 — by Borislav Nikolic from TU Braunschweig
    Title: Slot-Based Transmission Protocol for Real-Time NoCs – SBT-NoC
    CASERM 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
    CASERM 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
    CASERM 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
    CASERM Seminar organized by SPADES (Sophie Quinton)
    More…
  • December 14, 2018 — by Stefan Leue from Universität Konstanz
    Title: Analysis and Repair for Timed Diagnostic Traces
    Seminar organized by SPADES (Gregor Goessler)
    More…
  • November 13, 2018 — by Lionel Rieg from Verimag
    Title: Extending a Verified OS Kernel for Real-Time
    CASERM 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
    CASERM Seminar organized by SPADES (Sophie Quinton)
    More…
  • March 20, 2018 — by Thao Dang from Verimag
    Title: Scheduling of Embedded Controllers Under Timing Contracts
    CASERM 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
    CASERM 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
    CASERM 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
    CASERM 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
    CASERM Seminar organized by SPADES (Sophie Quinton)
    More…
  • October 24, 2017 — by Jaime Arias from INRIA Grenoble Rhône-Alpes
    Title: A Tree-Based Operational Semantics for Interactive Multimedia Scores
    Seminar organized by SPADES (Sophie Quinton)
    More…
  • October 10, 2017
    Title: Forum Méthodes Formelles : Véhicules Autonomes et Méthodes Formelles
    Seminar organized locally by CONVECS (Hubert Garavel)
    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
    CASERM Seminar organized by SPADES (Sophie Quinton)
    More…
  • June 20, 2017 — by Bruno Bodin from the University of Edinburgh
    Title: Performance Evaluation using Dataflow Modeling
    CASERM 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
    CASERM 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
    CASERM 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
    CASERM Seminar organized by SPADES (Alain Girault)
    More…
  • March 21, 2017 — by Dorin Maxim from LORIA
    Title: Probabilistic Analysis of Real-Time Systems
    CASERM Seminar organized by SPADES (Gregor Goessler)
    More…
  • February 28, 2017 — by Hubert Garavel from INRIA Grenoble – Rhône-Alpes
    Title: Ten Different Ways on Defining Signed Integers Formally followed by Benchmarking Implementations of Conditional Term Rewrite Systems
    Seminar organized by CONVECS
    More…
  • February 14, 2017 — by Ioana Cristescu from Harvard Medical School
    Title: Rigid families for the reversible pi-calculus
    CASERM Seminar organized by SPADES (Gregor Goessler)
    More…
  • February 14, 2017 — by Martin Vassor from EPFL
    Title: Stable Causal Log and Reversible Computation
    CASERM Seminar organized by SPADES (Jean-Bernard Stefani)
    More…
  • January 31, 2017
    Title: Forum Méthodes Formelles : Méthodes formelles et Cyber-Sécurité
    Seminar organized locally by CONVECS (Hubert Garavel)
    More…
  • January 24, 2017 — by Bruno Gaujal from INRIA Grenoble – Rhône-Alpes
    Title: Neuro-Dynamic Programming
    CASERM Seminar organized by SPADES (Sophie Quinton)
    More…
  • January 24, 2017 — by Mahsa Shirmohammadi from University of Oxford
    Title: Minimal probabilistic automata have to make irrational choices
    Seminar organized by CONVECS (Radu Mateescu)
    More…
  • January 10, 2017 — by Dmitry Burlyaev from Atrenta
    Title: Hardware Security, Formal and Statistical Approaches
    CASERM Seminar organized by SPADES (Pascal Fradet)
    More…
  • December 13, 2016 — by Jean-Bernard Stefani from INRIA Grenoble – Rhône-Alpes
    Title: Location Graphs: Encapsulation and Sharing in Dynamic Software Structures
    CASERM Seminar organized by SPADES
    More…
  • December 7, 2016 — by Oleg Sokolsky from University of Pennsylvania
    Title: Platform-Specific Code Generation from Platform-Independent Timed Models
    CASERM Seminar organized by SPADES (Gregor Goessler)
    More…
  • December 7, 2016 — by Yoann Geoffroy from Inria Grenoble – Rhône-Alpes
    Title: A General Trace-based Causality Framework for Component-based Systems
    PhD Thesis
    More…
  • November 29, 2016 — by Gilles Muller from LIP6 in Paris
    Title: Safe Multicore Scheduling in a Linux Cluster Environment
    CASERM Seminar organized by SPADES (Jean-Bernard Stefani)
    More…
  • September 26, 2016 — by Eugene Yip from University of Bamberg
    Title: The ForeC Synchronous Deterministic Parallel Programming Language for Multicores
    CTRC Seminar organized by SPADES (Alain Girault)
    More…
  • September 6, 2016 — by Étienne André from Laboratoire d’Informatique de Paris Nord
    Title: Computing the Best and Worst Case Execution Time of a Real-Time System under Uncertainty
    CTRC Seminar organized by SPADES (Sophie Quinton)
    More…
  • July 12, 2016 — by Adrien Guatto from ENS Paris
    Title: A Synchronous Functional Language with Integer Clocks
    CTRC Seminar organized by SPADES (Alain Girault)
    More…
  • June 7, 2016 — by Fabrice Rastello from Inria Grenoble – Rhône-Alpes
    Title: Towards Automated User Feedback on Data Movement Bottlenecks in Programs
    CTRC Seminar organized by SPADES (Sophie Quinton)
    More…
  • June 9, 2016 — by Louis-Noël Pouchet from Ohio State University
    Title: A Language and Compiler for Task-based Programming on Distributed-Memory Clusters
    Seminar organized by CORSE
    More…
  • May 3, 2016 — by Francesco Zappa Nardelli from École normale supérieure in Paris
    Title: Shared Memory and Concurrency: a Thorny Relationship
    CTRC Seminar organized by SPADES (Sophie Quinton)
    More…
  • March 8, 2016 — by Lionel Rieg from Collège de France in Paris
    Title: Toward a Coq-verified compiler from Esterel to circuits
    CTRC Seminar organized by SPADES (Alain Girault)
    More…
  • March 1, 2016 — by Sudipta Chattopadhyay from Saarland University
    Title: On Testing Embedded Software for its Performance and Security
    CTRC Seminar organized by SPADES (Alain Girault)
    More…
  • February 2, 2016 — by Youcheng Sun from Scuola Superiore Sant’Anna in Pisa
    Title: Multiprocessor Global Schedulability Analysis in Continuous Time
    CTRC Seminar organized by SPADES (Sophie Quinton)
    More…
  • January 14, 2016 — by Björn Brandenburg from Max Planck Institute for Software Systems (MPI-SWS)
    Title: Bounds on Locking Delays in Multicore Real-Time Systems
    CTRC Seminar organized by SPADES (Sophie Quinton)
    More…
  • January 12, 2016 — by Hubert Garavel from Inria Grenoble – Rhône-Alpes
    Title: Process Calculi: Towards the Great Unification
    Seminar organized by CONVECS
    More…
  • December 15, 2015 — by Benoît Caillaud from Inria Rennes – Bretagne Atlantique
    Title: Structural Analysis of Multi-Mode DAE Systems
    CTRC Seminar organized by SPADES (Alain Girault)
    More…
  • November 27, 2015 — by Giovanni Bernardi from the Madrid Institute of Advanced Studies
    Title: Using Higher-Order Contracts to Model Session Types
    CTRC Seminar organized by SPADES (Jean-Bernard Stefani)
    More…
  • November 26, 2015 — by Dmitry Burlyaev from Inria Grenoble – Rhône-Alpes
    Title: Design, Optimization, and Formal Verification of Circuit Fault-Tolerance Techniques
    PhD Thesis
    More…
  • November 10, 2015 — by Bertrand Jeannet from Argosim
    Title: Debugging Embedded Systems Requirements with Stimulus
    CTRC Seminar organized by SPADES (Gregor Gössler)
    More…
  • October 27, 2015 — by Victor Magron from Verimag
    Title: NLVerify: Verification of Polynomial Inequalities using Formal Floating-point Arithmetic
    CTRC Seminar organized by SPADES (Sophie Quinton)
    More…
  • October 13, 2015 — by Mahmood Hikmet from the University of Auckland
    Title: Quantitative Fairness and its Limits
    CTRC Seminar organized by SPADES (Alain Girault)
    More…
  • July 16-17, 2015
    Title: 7th Conference on Reversible Computation
    Conference organized at Inria Grenoble – Rhône-Alpes
    More…
  • June 25, 2015
    Title: Presentations of the 1st year PhD students of TYREX
    More…
  • June 23, 2015 — by Martina Maggio from Lund University
    Title: Discrete-Time Control Theory for Software Engineering
    CTRC Seminar organized by SPADES (Sophie Quinton)
    More…
  • June 9, 2015 — by Chris Myers from University of Utah
    Title: An Integrated Verification Architecture
    Seminar organized by CONVECS
    More…
  • June 2-5, 2015
    Title: DisCoTec 2015 – International Federated Conference on Distributed Computing Techniques
    Conference organized at Inria Grenoble – Rhône-Alpes
    More…
  • May 26, 2015 — by Alix Munier-Kordon from LIP6
    Title: Évaluation du Débit Maximal d’une Application Représentée sous la Forme d’un SDF
    CTRC Seminar organized by SPADES (Alain Girault)
    More…
  • May 12, 2015 — by Marc Boyer from Onera
    Title: Calcul Réseau, de la Théorie aux Applications Avioniques
    CTRC Seminar organized by SPADES (Sophie Quinton)
    More…
  • April 14, 2015 — by Xavier Nicollin from Inria Grenoble – Rhône-Alpes
    Title: Modular Distribution of Synchronous Dataflow Programs
    Seminar organized by SPADES (Xavier Nicollin)
    More…
  • March 31, 2015 — by Radu Mateescu from Inria Grenoble – Rhône-Alpes
    Title: Overview of MCL, a Data-Based Model Checking Language
    Seminar organized by SPADES (Jean-Bernard Stefani)
    More…
  • March 11, 2015 — by Laurent Rioux from Thales Research and Technology
    Title: Integrating Timing Performance Analysis in the Industrial Software Design Process
    Seminar organized by SPADES (Sophie Quinton)
    More…
  • February 26, 2015 — by Vagelis Bebelis from Inria Grenoble – Rhône-Alpes
    Title: Boolean Parametric Data Flow: Modeling – Analyses – Implementation
    PhD defense organized by SPADES (Vagelis Bebelis)
    More…
  • February 17, 2015 — by Alan Schmitt from Inria Rennes – Bretagne Atlantique
    Title: JSCert, a Two-pronged Approach to JavaScript Formalization
    Seminar organized by SPADES (Jean-Bernard Stefani)
    More…
  • January 23, 2015 — by Antoine Girard from Laboratoire Jean Kuntzmann
    Title: A Symbolic Control Approach to the Design of Cyber-Physical Systems
    Seminar organized by SPADES (Sophie Quinton)
    More…
  • January 13, 2015 — by Benoît Caillaud from Inria Rennes
    Title: On the Index of Hybrid (aka Multi-Mode) DAE Systems
    Seminar organized by SPADES (Jean-Bernard Stefani)
    More…
  • December 16, 2014 — by Romain Brenguier from Université Libre de Bruxelles
    Title: Controller Synthesis: From Circuits to Quantitative, Real-Time and Distributed Systems
    Seminar organized by SPADES (Jean-Bernard Stefani)
    More…
  • November 25, 2014 — by Partha Roop from Auckland University
    Title: A Novel Approach for Power Minimization of Implantable Devices using Response Time Analysis
    Seminar organized by SPADES (Sophie Quinton)
    More…
  • November 19, 2014 — by Adnan Bouakaz from Inria Grenoble – Rhône-Alpes
    Title: An Abstraction-Refinement Framework for Priority-Driven Scheduling of Static Dataflow Graphs
    Seminar organized by SPADES (Sophie Quinton)
    More…
  • November 4, 2014 — by Pranav Tendulkar from Verimag
    Title: Mapping and Scheduling on Multi-core Processors using SMT Solvers
    Seminar organized by SPADES (Alain Girault)
    More…
  • October 21, 2014 — by Stephan Merz from Inria Nancy
    Title: Towards Certifying Network Calculus in a Proof Assistant
    Seminar organized by SPADES (Sophie Quinton)
    More…
  • October 16, 2014
    Title: Forum Méthodes Formelles : “Le Model-Checking en action”
    Seminar organized locally by CONVECS (Frédéric Lang)
    More…
  • September 29, 2014 — by Ismail Assayad from University Hassan II of Casablanca
    Title: Adaptive Scheduling of Multiple Applications under Throughput and Energy Constraints on Multi-Core Architectures
    Seminar organized by SPADES (Sophie Quinton)
    More…
  • September 25, 2014 — by Gregor Gössler from Inria Grenoble – Rhône-Alpes
    Title: Formal Techniques for Component-based Design of Embedded Systems
    Habilitation (HDR) organized by SPADES (Gregor Gössler)
    More…
  • September 25, 2014 — by Claude Jard from University of Nantes
    Title: Towards Statistical Model-Checking of Concurrent Models
    Seminar organized by SPADES (Gregor Gössler)
    More…
  • September 25, 2014 — by Farhad Arbab from Leiden University / CWI
    Title: Coordinated Composition of Components
    Seminar organized by SPADES (Gregor Gössler)
    More…
  • September 22, 2014 — by Alexandre Donzé from UC Berkeley
    Title: Model-Based Design of Cyber-Physical Systems using Signal Temporal Logic
    Seminar organized by SPADES (Sophie Quinton)
    More…
  • July 15, 2014 — by Reinhard von Hanxleden from Kiel University
    Title: Taming Graphical Modeling: On Pragmatics-Aware MDE
    Seminar organized by SPADES (Alain Girault)
    More…
  • February 4, 2014
    Title: Forum Méthodes Formelles : Preuve de modèle, preuve de programme
    Seminar organized locally by CONVECS (Hubert Garavel)
    More…

Comments are closed.