Verimag

Home > Verimag > Publications

bibtex

@article{Ios04,
    title = {Symmetry reductions for model checking of concurrent dynamic software },
    author = {Iosif, Radu},
    year = {2004},
    journal = {STTT},
    number = {4},
    pages = {302-319},
    volume = {6},
    team = {DCS,PACSS},
}

Publication Sections

New publications

Recent Publications
- Stéphane Devismes, David Ilcinkas, Colette Johnen: Schéma général auto-stabilisant et silencieux de constructions de type arbres couvrants
- Valentin Touzeau, Claire Maiza, David Monniaux, Jan Reineke: Ascertaining Uncertainty for Efficient Exact Cache Analysis
- Jonathan Salwan, Sebastien Bardin, Marie-Laure Potet: Deobfuscation of VM based software protection
- Karine Altisen, Pierre Corbineau: Composition certifié d'algorithmes autostabilisants silencieux
- Moustapha Lo, Nicolas Valot, Florence Maraninchi, Pascal Raymond: Real-time on-Board Manycore Implementation of a Health Monitoring System: Lessons Learnt
- Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch: Formally Verifying Flow Properties in Industrial Systems

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

info visites 1018686

CNRS

INP Grenoble