Accueil
>
Verimag
>
Publications
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},
}
URL
Sections de Publications
Synchrone par années
Synchrone par types
RSD par années
RSD par types
PACSS par années
PACSS par types
Tempo par années
Tempo par types
Verimag par années
Verimag par types
Navigation
Rubriques
Verimag
Membres
Publications
Avec comité de lecture
Rapports Techniques
Outils
Projets
Partenaires
Colloques et Conférences
Séminaires
Documents
Équipes
Contact
Plan du site
Rechercher :
Acces au Batiment
Actualités
Séminaires
Séminaires
22 février 2019
Moustapha Lo:
Implementing a real-time avionic application on a manycore processor (Phd)
Nouvelles publications
Publications Récentes
Mahieddine Dellabani:
Formal Methods for Distributed Real-Time Systems
Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem:
S-BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems
Remy Boutonnet, Nicolas Halbwachs:
Disjunctive relational abstract interpretation for interprocedural program analysis
Nicolas Basset, Ismael Jecker, Arno Pauly, Jean-Francois Raskin, Marie van den Bogaard:
Beyond Admissibility: Dominance Between Chains of Strategies
Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis:
Programming Dynamic Reconfigurable Systems
Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae, R?y Boutonnet:
Improving WCET Evaluation using Linear Relation Analysis
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
Contact
|
Plan du site
|
Site réalisé avec SPIP 3.0.28
+
AHUNTSIC
[CC License]
info visites
1170530
English
Français