title = { Le domaine abstrait des poly\`edres revisit\'e~: repr\'esentation par contraintes et preuve formelle },
author = {Fouilh\'e, Alexis},
month = {oct},
year = {2015},
school = {Universit\'e Grenoble Alpes},
team = {PACSS},
}
Home > Verimag > Publications
bibtex
@phdthesis{'Fou5',
title = { Le domaine abstrait des poly\`edres revisit\'e~: repr\'esentation par contraintes et preuve formelle },
author = {Fouilh\'e, Alexis},
month = {oct},
year = {2015},
school = {Universit\'e Grenoble Alpes},
team = {PACSS},
}
title = { Le domaine abstrait des poly\`edres revisit\'e~: repr\'esentation par contraintes et preuve formelle },
author = {Fouilh\'e, Alexis},
month = {oct},
year = {2015},
school = {Universit\'e Grenoble Alpes},
team = {PACSS},
}
Browsing
News
Seminars
- Seminars
- 17 December 2018 Nikolaos Kekatos: Formal verification of cyber-physical systems in the industrial model-based design (...) (Phd)
- 17 January 2019 Paolo Torrini: Reifying and translating a monadic fragment of gallina
- 24 January 2019 Maiza Claire: Wcet and interference analysis for multicore systems
- 31 January 2019 Jacques Combaz: Assembling components in bip
New publications
- Recent Publications
- Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem: \emphS BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems
- Benjamin Farinier, Sebastien Bardin, Richard Bonichon, Marie-Laure Potet: Model Generation for Quantified Formulas: A Taint-Based Approach
- Claire Maiza, Pascal Raymond, Catherine Parent-Vigouroux, Armelle Bonenfant, Fabienne Carrier, Hugues Cass'e, Philippe Cuenot, Denis Claraz, Nicolas Halbwachs, Erwan Jahier: The W-SEPT Project: Towards Semantic-Aware WCET Estimation
- Remy Boutonnet, Nicolas Halbwachs: Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
- Alexios Lekidis, Emmanouela Stachtiari, Panagiotis Katsaros, Marius Bozga, Christos K. Georgiadis: Model-based design of IoT systems with the BIP component framework
- Mahieddine Dellabani: Formal Methods for Distributed Real-Time Systems
Jobs and internships
- Jobs and internships
- 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
- [M2 internship] Self-Stabilization in TVG
- [Postdoc positions] Coq Developments
