Home > Verimag > Publications

bibtex

@article{BLB13,
    title = {Rigorous embedded design: challenges and perspectives },
    author = {Bensalem, Saddek and Legay, Axel and Bozga, Marius},
    year = {2013},
    journal = {STTT},
    number = {3},
    pages = {149-154},
    volume = {15},
    team = {DCS, RSD},
}

Publication Sections

New publications

Recent Publications
- Eugene Asarin, Nicolas Basset, Aldric Degorre: Distance on Timed Words and Applications
- Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis: Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP
- Sylvain Boulmé, Alexandre Maréchal: Refinement to Certify Abstract Interpretations: Illustrated on Linearization for Polyhedra
- Pascal Fradet, Xiaojie Guo, Jean-François Monin, Sophie Quinton: A Generalized Digraph Model for Expressing Dependencies
- Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket: Global and Local Deadlock Freedom in BIP
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit: Stabilisation progressive

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

info visites 1113522

CNRS

INP Grenoble