Home > Verimag > Publications

bibtex

@inproceedings{ND07b,
    title = { Guided Randomized Simulation },
    author = {Nahhal, Tarik and Dang, Thao},
    year = {2007},
    booktitle = {HSCC},
    pages = {731-735},
    publisher = {Springer},
    series = {LNCS},
    volume = {4416},
    team = {TEMPO},
}

Publication Sections

New publications

Recent Publications
- Alexios Lekidis, Emmanouela Stachtiari, Panagiotis Katsaros, Marius Bozga, Christos K. Georgiadis: Model-based design of IoT systems with the BIP component framework
- Steven De Oliveira: Finding constancy in linear routines
- Amaury Graillat, Matthieu Moy, Pascal Raymond, Benoît Dupont De Dinechin: Parallel Code Generation of Synchronous Programs for a Many-core Architecture
- Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo: A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism
- Sylvain Boulmé, Alexandre Maréchal: Refinement to Certify Abstract Interpretations: Illustrated on Linearization for Polyhedra
- 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

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

info visites 1127939

CNRS

INP Grenoble