KAWTAR
BENGHAZI AKHLAKI SEKKATE

PROFESORA TITULAR DE UNIVERSIDAD

Compositional model-checking verification of critical systems
Lecture Notes in Business Information Processing, Vol. 19, pp. 213-225

Automatic verification of business process integrity
International Journal of Simulation and Process Modelling, Vol. 4, Núm. 3-4, pp. 167-182

A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
Science of Computer Programming, Vol. 65, Núm. 1, pp. 41-56
An interpretation of behavioral consistency of UML-RT diagrams in terms of CSP+T
Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2007; In Conjunction with ICEIS 2007
Checking behavioural consistency of UML-RT models through trace-based semantics
ICEIS 2007 - 9th International Conference on Enterprise Information Systems, Proceedings
Checking behavioural consistency of UML-RT models through trace-based semantics
ICEIS 2007: PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS
Towards UML-RT behavioural consistency
ICEIS 2007: PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS
Towards uml-rt behavioural consistency
ICEIS 2007 - 9th International Conference on Enterprise Information Systems, Proceedings

Design of real-time systems by systematic transformation of UML/RT models into simple timed process algebra system specifications
ICEIS 2006 - 8th International Conference on Enterprise Information Systems, Proceedings
Formal specification of real-time systems by transformation of UML-RT design models
Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006 - In Conjunction with ICEIS 2006