MODELLING & DEVELOPMENT OF ADVANCED SOFTWARE SYSTEMS

MYDASS

Ontology to profile user models with disabilities
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

An ontological approach to profile customers with disabilities in e-business
Proceedings of the 13th International Conference WWW/Internet 2014, ICWI 2014

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

An ontology for architectural evaluation - Case study: Collaboration systems
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