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
- Maxime Puys, Marie-Laure Potet, Abdelaziz Khaled: Generation of Applicative Attacks Scenarios Against Industrial Systems
- Hosein Nazarpour, Ylies Falcone, Saddek Bensalem, Marius Bozga: Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation
- Sylvain Boulmé, Alexandre Maréchal: A Coq Tactic for Equality Learning in Linear Arithmetic
- 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
- Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket: Global and Local Deadlock Freedom in BIP
- Alexios Lekidis, Emmanouela Stachtiari, Panagiotis Katsaros, Marius Bozga, Christos K. Georgiadis: Model-based design of IoT systems with the BIP component framework

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

info visites 1079380

CNRS

INP Grenoble