Home > 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},
}

Publication Sections

New publications

Recent Publications
- Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem: Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach
- Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem: Mitigating Security Risks Through Attack Strategies Exploration
- Georgia Giannopoulou, Peter Poplavko, Dario Socci, Pengcheng Huang, Nikolay Stoimenov, Paraskevas Bourgos, Lothar Thiele, Marius Bozga, Saddek Bensalem, Sylvain Girbal, Madeleine Faugère, Romain Soulat, Beno\^ Dupont de Dinechin: DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems
- Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem: \emphS BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems
- Steven de Oliveira, Virgile Prevosto, Peter Habermehl, Saddek Bensalem: Left-Eigenvectors Are Certificates of the Orbit Problem
- Ayoub Nouri, Peter Poplavko, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros: Maximal software execution time: a regression-based approach

Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 1125112

CNRS

INP Grenoble