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
- 22 janvier 2019 Georg Struth: Verifying hybrid systems with modal kleene algebra
- 24 janvier 2019 Maiza Claire: Wcet and interference analysis for multicore systems
- 7 février 2019 Jacques Combaz: L'assemblage des composants en bip
Nouvelles publications
- Publications
Récentes
- Steven de Oliveira, Virgile Prevosto, Peter Habermehl, Saddek Bensalem: Left-Eigenvectors Are Certificates of the Orbit Problem
- Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis: The Refinement Calculus of Reactive Systems Toolset
- Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis: Mechanically Proving Determinacy of Hierarchical Block Diagram Translations
- Mahieddine Dellabani: Formal Methods for Distributed Real-Time Systems
- Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore: A silent self-stabilizing algorithm for the generalized minimal \emphk-dominating set problem
- Jonthan Salwan, Sebastien Bardin, Marie-Laure Potet: Binary Deobfuscation and Dynamic Symbolic Execution
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
- Post-Doc and/or Research Engineer positions on Software Security
- STMicroelectronics
- [M2 internship] Self-Stabilization in TVG
- [Postdoc positions] Coq Developments
