KAWTAR
BENGHAZI AKHLAKI SEKKATE
PROFESORA TITULAR DE UNIVERSIDAD
Universidad Simón Bolívar
Caracas, VenezuelaPublicaciones en colaboración con investigadores/as de Universidad Simón Bolívar (7)
2009
-
Compositional model-checking verification of critical systems
Lecture Notes in Business Information Processing, Vol. 19, pp. 213-225
2008
-
Automatic verification of business process integrity
International Journal of Simulation and Process Modelling, Vol. 4, Núm. 3-4, pp. 167-182
2007
-
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
2006
-
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