Home > Verimag > Publications

bibtex

@inproceedings{Dur7a,
    title = { Election et anneaux unidirectionnels en pr\'esence d'homonymes },
    author = {Durand, Ana\"is},
    month = {May 30 - June 2},
    year = {2017},
    booktitle = {Algotel'2017},
    address = {Quiberon},
    team = {SYNC},
}

Publication Sections

New publications

Recent Publications
- Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch: Formally and practically verifying flow properties in industrial systems
- Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca: Set-Based Analysis for Biological Modelling
- Cristina Serban: Automated reasoning in separation logic with inductive definitions
- Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis: Programming Dynamic Reconfigurable Systems
- Rocco De Nicola, Alessandro Maggi, Joseph Sifakis: DReAM: Dynamic Reconfigurable Architecture Modeling
- Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem: S-BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems

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

info visites 1172206

CNRS

INP Grenoble