title = { Proof Trick: Small Inversions },
author = {Monin, Jean-Fran\c{c}ois},
month = {July},
year = {2010},
booktitle = {Second Coq Workshop},
address = {Royaume-Uni Edinburgh},
team = {DCS,PACSS},
}
bibtex
@inproceedings{Mon10c,
title = { Proof Trick: Small Inversions },
author = {Monin, Jean-Fran\c{c}ois},
month = {July},
year = {2010},
booktitle = {Second Coq Workshop},
address = {Royaume-Uni Edinburgh},
team = {DCS,PACSS},
}
title = { Proof Trick: Small Inversions },
author = {Monin, Jean-Fran\c{c}ois},
month = {July},
year = {2010},
booktitle = {Second Coq Workshop},
address = {Royaume-Uni Edinburgh},
team = {DCS,PACSS},
}
Navigation
Actualités
-
ACTUALITÉS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book : Introduction to Distributed Self-Stabilizing Algorithms
- Conférences
- 30 September - 1 October 2019 AVoCS 2019
- Séminaires
- 25 juin 2019 Hernan Ponce de leon : Bmc with weak memory models
- 26 juin 2019 Rany Kahil: Schedulability in mixed- criticality systems (Phd)
- 28 juin 2019 Braham lotfi Mediouni: Modeling and analysis of stochastic real-time systems (Phd)
- 2 juillet 2019 Indranil Saha : Developing autonomous multi-robot systems for complex missions
- 4 juillet 2019 Radu Iosif: Alternating automata modulo first order theories
- 11 juillet 2019 Eric Gascard: Quantitative analysis of dynamic fault trees by means of monte carlo simulations: (...)
Séminaires
Nouvelles publications
- Publications
Récentes
- 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
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit: Gradual stabilization
- Jonthan Salwan, Sebastien Bardin, Marie-Laure Potet: Binary Deobfuscation and Dynamic Symbolic Execution
- Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis: Mechanically Proving Determinacy of Hierarchical Block Diagram Translations
- Stéphane Devismes, David Ilcinkas, Colette Johnen: Silent self-stabilizing scheme for spanning-tree-like constructions
- Benoît Barbot, Nicolas Basset, Thao Dang: Generation of Signals Under Temporal Constraints for CPS Testing
