title = { Rigorous Design Flow for Programming Manycore Platforms },
author = {Bourgos, Paraskevas},
month = {apr},
year = {2013},
school = {Universit\'{e} de Grenoble},
team = {DCS},
}
Home > Verimag > Publications
bibtex
@phdthesis{Bou13a,
title = { Rigorous Design Flow for Programming Manycore Platforms },
author = {Bourgos, Paraskevas},
month = {apr},
year = {2013},
school = {Universit\'{e} de Grenoble},
team = {DCS},
}
title = { Rigorous Design Flow for Programming Manycore Platforms },
author = {Bourgos, Paraskevas},
month = {apr},
year = {2013},
school = {Universit\'{e} de Grenoble},
team = {DCS},
}
Browsing
News
- NEWS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book: Introduction to Distributed Self-Stabilizing Algorithms
- 20 September 2019 at IMAG Auditorium (Grenoble) Oded Maler Memorial Day
- Conferences
- 30 September - 1 October 2019 AVoCS 2019
- November 25-29 2019 Synchron 2019
- Seminars
- 19 September 2019 Martin Franzle: What’s to come is still unsure: automatically synthesizing and verifying controllers (...)
- 20 September 2019 -- Oded maler memorial day: Oded maler memorial day
- 26 September 2019 Pierre-jean Meyer: Reachability analysis and decompositions for abstraction-based control (...)
- 8 October 2019 Valentin Touzeau: Static analysis of least recently used caches: complexity, optimal analysis, and (...) (Phd)
Seminars
New publications
- Recent Publications
- Mohammad Al Khatib, Antoine Girard, Thao Dang: Timing Contracts for Multi-Core Embedded Control Systems
- Maxime Puys: Sécurité des systèmes industriels : filtrage applicatif et recherche de scénarios d'attaques. (Cybersecurity of Industrial Systems : Applicative Filtering and Generation of Attack Scenarios)
- Goran Frehse, Nikolaos Kekatos, Dejan Nickovic, Jens Oehlerking, Simone Schuler, Alexander Walsch, Matthias Woehrle: A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit: Gradual stabilization
- Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore: A silent self-stabilizing algorithm for the generalized minimal \emphk-dominating set problem
- Arvind S. Adimoolam, Thao Dang: Template Complex Zonotope Based Stability Verification
