title = { {Design flow for the rigorous development of networked embedded systems} },
author = {Lekidis, Alexios},
month = {December},
year = {2015},
type = {Theses},
school = {{Universit{\'e} Grenoble Alpes}},
team = {RSD, DCS},
}
Home > Verimag > Publications
bibtex
@phdthesis{Lek5,
title = { {Design flow for the rigorous development of networked embedded systems} },
author = {Lekidis, Alexios},
month = {December},
year = {2015},
type = {Theses},
school = {{Universit{\'e} Grenoble Alpes}},
team = {RSD, DCS},
}
title = { {Design flow for the rigorous development of networked embedded systems} },
author = {Lekidis, Alexios},
month = {December},
year = {2015},
type = {Theses},
school = {{Universit{\'e} Grenoble Alpes}},
team = {RSD, DCS},
}
Browsing
News
- NEWS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book: Introduction to Distributed Self-Stabilizing Algorithms
- Automation: Flying High?
Seminars
New publications
- Recent Publications
- Pascal Fradet, Xiaojie Guo, Jean-François Monin, Sophie Quinton: A Generalized Digraph Model for Expressing Dependencies
- Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem: S-BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems
- Benjamin Farinier, Robin David, Sebastien Bardin, Matthieu Lemerre: Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing
- Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae, Rémy Boutonnet: Improving WCET Evaluation using Linear Relation Analysis
- Paolo Torrini, David Nowak, Narjes Jomaa, Mohamed Sami Cherif: Formalising Executable Specifications of Low-Level Systems
- Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem: Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach
