International Journal of Critical Computer-Based Systems (IJCCBS)

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


Pages Title and author(s)
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