Journal cover image

Browse issues

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

International Journal of Critical Computer-Based Systems

2014 Vol. 5 No. 3/4

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

Guest Editors: Kamel Barkaoui and Patrice Moreaux


PagesTitle and authors
172-196End-to-end latency and temporal consistency analysis in networked real-time systems
Michaël Lauer; Frédéric Boniol; Claire Pagetti; Jérôme Ermont
DOI: 10.1504/IJCCBS.2014.064667

197-217Size analysis in multiprocessor real-time scheduling
Annie Choquet-Geniet; Gaëlle Largeteau-Skapin
DOI: 10.1504/IJCCBS.2014.064664

218-240Controllability for discrete event systems modelled in VeriJ
Yan Zhang; Béatrice Bérard; Lom Messan Hillah; Fabrice Kordon; Yann Thierry-Mieg
DOI: 10.1504/IJCCBS.2014.064668

241-267Transactional Petri nets: a semantic framework for UML2 activities
Sabine Boufenara; Kamel Barkaoui; Faiza Belala; Hanifa Boucheneb
DOI: 10.1504/IJCCBS.2014.064663

268-299Compositional reactive semantics of system-level designs written in SystemC and formal verification with predicate abstraction
Nesrine Harrath; Bruno Monsuez
DOI: 10.1504/IJCCBS.2014.064666

300-353Functional safety of adaptive embedded control systems: new solutions
Atef Gharbi; Mohamed Khalgui
DOI: 10.1504/IJCCBS.2014.064665