Author: Kawtar Benghazi Akhlaki

Publication Overview

Publication period start: 2007

Number of co-authors: 4

Number of publications with favourite co-authors

Most productive colleagues in number of publications

Akhlaki, Kawtar Benghazi, Tuñón, Manuel I. Capel, Terriza, Juan Antonio Holgado (2006): Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Time. In: Manolopoulos, Yannis, Filipe, Joaquim, Constantopoulos, Panos, Cordeiro, José (eds.) ICEIS 2006 - Proceedings of the Eighth International Conference on Enterprise Information Systems Databases and Information Systems Integration May 23-27, 2006, Paphos, Cyprus. pp. 290-297.

Morales, Luis E. Mendoza, Tuñón, Manuel I. Capel, Akhlaki, Kawtar Benghazi (2007): Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics. In: Cardoso, Jorge, Cordeiro, José, Filipe, Joaquim (eds.) ICEIS 2007 - Proceedings of the Ninth International Conference on Enterprise Information Systems Volume EIS June 12-16, 2007, Funchal, Portugal. pp. 205-211.

Akhlaki, Kawtar Benghazi, Tuñón, Manuel I. Capel, Terriza, Juan Antonio Holgado, Morales, Luis E. Mendoza (2007): Towards UML-RT Behavioural Consistency. In: Cardoso, Jorge, Cordeiro, José, Filipe, Joaquim (eds.) ICEIS 2007 - Proceedings of the Ninth International Conference on Enterprise Information Systems Volume EIS June 12-16, 2007, Funchal, Portugal. pp. 612-615.

Morales, Luis E. Mendoza, Tuñón, Manuel I. Capel, Pérez, María A., Akhlaki, Kawtar Benghazi (2007): A Conceptual Scheme for Compositional Model-Checking Verification of Critical Communicatin. In: Cordeiro, José, Filipe, Joaquim (eds.) ICEIS 2008 - Proceedings of the Tenth International Conference on Enterprise Information Systems Volume 1 June 12-16, 2007, Barcelona, Spain. pp. 86-93.