Home > Verimag > Publications

bibtex

@inproceedings{AC7,
    title = { Composition certifi\'e d'algorithmes autostabilisants silencieux },
    author = {Altisen, Karine and Corbineau, Pierre},
    month = {May 30 - June 2},
    year = {2017},
    booktitle = {Algotel'2017},
    address = {Quiberon},
    team = {SYNC, PACSS},
}

Publication Sections

New publications

Recent Publications
- Mahieddine Dellabani: Formal Methods for Distributed Real-Time Systems
- Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem: Mitigating Security Risks Through Attack Strategies Exploration
- Ayoub Nouri, Peter Poplavko, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros: Maximal software execution time: a regression-based approach
- 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
- Benjamin Farinier, Sebastien Bardin, Richard Bonichon, Marie-Laure Potet: Model Generation for Quantified Formulas: A Taint-Based Approach

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

info visites 1128435

CNRS

INP Grenoble