Journal cover image

Browse issues


Vol. 7
Vol. 6
Vol. 5
Vol. 4
Vol. 3
Vol. 2
Vol. 1

International Journal of Critical Computer-Based Systems

2011 Vol. 2 No. 3/4

Special Issue on Verification and Evaluation of Computer and Communication Systems Part I

Guest Editors Kamel Barkaoui, Bruno Monsuez and Denis Poitrenaud

 

Editorial
PagesTitle and authors
221-245Improving the consistency verification and the quality of multimedia presentations
Abdelkrim Abdelli
DOI: 10.1504/IJCCBS.2011.042327

246-265An approach for the synthesis of decentralised supervisors for distributed adaptive systems
Amine Belhaj Seboui, Nejib Ben Hadj-Alouane, Gwenael Delaval, Eric Rutten, Moez Yeddes
DOI: 10.1504/IJCCBS.2011.042328

266-287Real-time scheduling using regularity criteria and a geometrical approach
Annie Choquet-Geniet, Gaelle Largeteau-Skapin
DOI: 10.1504/IJCCBS.2011.042329

288-308A tile logic-based semantics for mobile software architectures
Chafia Bouanaka, Faiza Belala, Kamel Barkaoui
DOI: 10.1504/IJCCBS.2011.042330

309-331Steady state property verification of very large systems
Diana El Rabih, Gael Gorgo, Nihal Pekergin, Jean-Marc Vincent
DOI: 10.1504/IJCCBS.2011.042331

332-351Specification and verification of real-time systems using POLA
Florent Peres, Pierre-Emmanue Hladik, Francois Vernadat
DOI: 10.1504/IJCCBS.2011.042332

352-377OS-level hang detection in complex software systems
Antonio Bovenzi, Marcello Cinque, Domenico Cotroneo, Roberto Natella, Gabriella Carrozza
DOI: 10.1504/IJCCBS.2011.042333

378-408Functional term rewriting systems towards symbolic model-checking
Yohan Boichut, Jean-Michel Couvreur, Duy-Tung Nguyen
DOI: 10.1504/IJCCBS.2011.042334