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…