International Journal of Critical Computer-Based Systems (IJCCBS)

International Journal of Critical Computer-Based Systems

2014 Vol.5 No.1/2

Special Issue on Verification, Control and Performance Analysis: Part I

Guest Editors: Professor Nihal Pekergin and Dr. Tayssir Touili


Pages Title and author(s)
4-30A formal framework to specify and verify real-time properties on critical systems
Nouha Abid; Silvano Dal Zilio; Didier Le Botlan
DOI: 10.1504/IJCCBS.2014.059593
31-54LTL translation improvements in Spot 1.0
Alexandre Duret-Lutz
DOI: 10.1504/IJCCBS.2014.059594
55-77On combining the ready sets with the covering steps methods
Hanifa Boucheneb; Kamel Barkaoui
DOI: 10.1504/IJCCBS.2014.059591
78-102Verifying while loops with invariant relations
Asma Louhichi; Wided Ghardallou; Khaled Bsaies; Lamia Labed Jilani; Olfa Mraihi; Ali Mili
DOI: 10.1504/IJCCBS.2014.059596
103-126A RT-Maude-based framework for component installation
Meriem Belguidoum; Faiza Belala; Fateh Latreche
DOI: 10.1504/IJCCBS.2014.059590
127-147Managing energy in a network of reconfigurable optical add/drop multiplexers
Jean-Michel Fourneau; Nora Izri; Dominique Verchère
DOI: 10.1504/IJCCBS.2014.059595
148-168Strong and weak stochastic bounds for multidimensional Markov chains
Hind Castel-Taleb; Nihal Pekergin
DOI: 10.1504/IJCCBS.2014.059592