Manuel I. Capel Tuñón

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
2006
Publication period end
2007
Number of co-authors
4

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

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.

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, 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 (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.