International Journal of Critical Computer-Based Systems (IJCCBS) Inderscience Publishers - linking academia, business and industry through research

International Journal of Critical Computer-Based Systems

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-245	Improving the consistency verification and the quality of multimedia presentations Abdelkrim Abdelli DOI: 10.1504/IJCCBS.2011.042327
246-265	An 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-287	Real-time scheduling using regularity criteria and a geometrical approach Annie Choquet-Geniet, Gaelle Largeteau-Skapin DOI: 10.1504/IJCCBS.2011.042329
288-308	A tile logic-based semantics for mobile software architectures Chafia Bouanaka, Faiza Belala, Kamel Barkaoui DOI: 10.1504/IJCCBS.2011.042330
309-331	Steady state property verification of very large systems Diana El Rabih, Gael Gorgo, Nihal Pekergin, Jean-Marc Vincent DOI: 10.1504/IJCCBS.2011.042331
332-351	Specification and verification of real-time systems using POLA Florent Peres, Pierre-Emmanue Hladik, Francois Vernadat DOI: 10.1504/IJCCBS.2011.042332
352-377	OS-level hang detection in complex software systems Antonio Bovenzi, Marcello Cinque, Domenico Cotroneo, Roberto Natella, Gabriella Carrozza DOI: 10.1504/IJCCBS.2011.042333
378-408	Functional term rewriting systems towards symbolic model-checking Yohan Boichut, Jean-Michel Couvreur, Duy-Tung Nguyen DOI: 10.1504/IJCCBS.2011.042334