Home > Verimag > Publications

bibtex

@inproceedings{FM07,
    title = { Reachability Analysis of a Switched Buffer Network },
    author = {Frehse, Goran and Maler, Oded},
    year = {2007},
    booktitle = {HSCC},
    pages = {698-701},
    publisher = {Springer},
    series = {LNCS},
    volume = {4416},
    team = {TEMPO},
}

Publication Sections

New publications

Recent Publications
- Remy Boutonnet, Nicolas Halbwachs: Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
- 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
- Sylvain Boulmé, Alexandre Maréchal: A Coq Tactic for Equality Learning in Linear Arithmetic
- Amaury Graillat, Matthieu Moy, Pascal Raymond, Benoît Dupont De Dinechin: Parallel Code Generation of Synchronous Programs for a Many-core Architecture
- Alexios Lekidis, Emmanouela Stachtiari, Panagiotis Katsaros, Marius Bozga, Christos K. Georgiadis: Model-based design of IoT systems with the BIP component framework
- Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrére, Dogan Ulus: AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic

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

info visites 1127935

CNRS

INP Grenoble