title = {On some Quantitative Aspects of Formal Languages },
author = {Degorre, Aldric},
year = {2009},
school = {University Joseph Fourier},
team = {TEMPO},
}
bibtex
@phdthesis{Deg09,
title = {On some Quantitative Aspects of Formal Languages },
author = {Degorre, Aldric},
year = {2009},
school = {University Joseph Fourier},
team = {TEMPO},
}
title = {On some Quantitative Aspects of Formal Languages },
author = {Degorre, Aldric},
year = {2009},
school = {University Joseph Fourier},
team = {TEMPO},
}
Navigation
Actualités
Séminaires
- Séminaires
- 28 mars 2019 Olivier Vidal: Matières premières et énergie à l’échelle mondiale dans le contexte de la transition (...)
- 1er avril 2019 Edward a. Lee: Living digital beings
- 4 avril 2019 Radu Iosif: Checking deadlock-freedom of parametric component-based systems
- 5 avril 2019 Radu Iosif: On the expressive completeness and complexity of prenex separation logic
- 29 avril 2019 Invited Speakers: Journée thématique verimag : many-core kalray mppa, implementation and (...)
Nouvelles publications
- Publications
Récentes
- Rocco De Nicola, Alessandro Maggi, Joseph Sifakis: DReAM: Dynamic Reconfigurable Architecture Modeling (full paper)
- Benjamin Farinier, Robin David, Sebastien Bardin, Matthieu Lemerre: Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing
- Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis: Mechanically Proving Determinacy of Hierarchical Block Diagram Translations
- Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis: Programming Dynamic Reconfigurable Systems
- Alexey Bakhirkin, Nicolas Basset: Specification and Efficient Monitoring Beyond STL
- Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem: Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach
Offres d'emploi et stages
- Offres d'emploi et stages
- Phd Proposal : Inférence de modèles de faute pour simulation d’attaques sur composants sécurisés
- Phd proposal : Optimisation de l’évaluation et des tests de sécurité des systèmes cyber-physiques par analyse des canaux auxiliaires
- PHD proposal : Data Mining Dynamic Behaviors using Signal Temporal Logic
- Post-Doc and/or Research Engineer positions on Software Security
- STMicroelectronics
- [M2 internship] Self-Stabilization in TVG
