International Journal of Critical Computer-Based Systems (IJCCBS)

International Journal of Critical Computer-Based Systems

2012 Vol.3 No.1/2

Special Issue on Verification and Evaluation of Computer and Communication Systems – Part II

Guest Editors: Kamel Barkaoui, Bruno Monsuez and Denis Poitrenaud


Pages Title and author(s)
4-25MDG-SAT: an automated methodology for efficient safety checking
Khaza Anuarul Hoque; Otmane Ait Mohamed; Sa'ed Abed; Mounir Boukadoum
DOI: 10.1504/IJCCBS.2012.045074
26-43A formal framework for black-box conformance testing of distributed real-time systems
Moez Krichen
DOI: 10.1504/IJCCBS.2012.045075
44-59Distributed model-checking and counterexample search for CTL logic
Mohand Cherif Boukala; Laure Petrucci
DOI: 10.1504/IJCCBS.2012.045076
60-95SystemC waiting state automata
Nesrine Harrath; Bruno Monsuez
DOI: 10.1504/IJCCBS.2012.045077
96-131Structured performance analysis for component-based systems
N. Salmi; Patrice Moreaux; Malika Ioualalen
DOI: 10.1504/IJCCBS.2012.045078
132-150Computing transitive closures of hedge transformations
Tayssir Touili
DOI: 10.1504/IJCCBS.2012.045079