Annual workshops with invited speakers
Other events
Seminars
Torrents seminars are organized within the seminar series on software verification (
see here).
- Forthcoming talks:
- March 27, 2013: Marco Caccamo (University of Illinois) - Predictable Integration of Safety-Critical Software on COTS-based
Embedded Systems
ENSEEIHT salle C002, 10:00
Read more ...
- Past talks:
- March 11, 2013: Aymeric Vincent (LABRI, Bordeaux) - Le framework d'analyse de code binaire Insight
Read more ...
- Jan. 28, 2013: Frédéric Herbreteau (LABRI, Bordeaux) - Using non-convex approximations for efficient analysis of timed automata
Read more ... Slides
- Nov. 20, 2012: Julien Galizzi (CNES, Toulouse) - Embedded software architectures for satellites at CNES
Read more ...
- Oct. 16, 2012: Gilles Lasnier (ISAE) - Une Approche Intégrée pour la Validation et la Génération de\
Systèmes Critiques par Raffinement Incrémental de Modèles Architecturaux
Read more ...
- June 28, 2012: Wolfgang Puffitsch (ONERA - STAE) - Hard Real-Time Garbage Collection on Chip Multi-Processors
Read more ...
- Dec. 16, 2011: Fabian Vargas (PUCRS, Brazil) - Design of On-Chip Cores and Sensors to Improve Embedded System Reliability
Read more ...
- Nov. 14, 2011: Janette Cardoso (ISAE/DMIA, Toulouse) - Ptolemy et la modélisation de systèmes cyber-physiques
Read more ...
- Nov. 21, 2011: Patricia Derler (Univ. of Berkeley, USA) - Ptides: A Model-based Design Approach for Deterministic, Event-driven Real-time Applications
Read more ...
- Nov. 22, 2011: Denis Claraz (Continental Automotive France SAS Powertrain Engine Systems) - Handling of Engine Management real-time architecture at Continental Automotive
Read more ...
- Sept. 27, 2011: Florian Kluge (Univ. of Augsburg, Germany) - Real-Time Operating Systems for ManyCore Processors
Read more ...
