| 2009 |
|---|
| 9 | EE | Luis E. Mendoza Morales,
Manuel I. Capel:
Automatic Compositional Verification of Business Processes.
ICEIS 2009: 479-490 |
| 2008 |
|---|
| 8 | | Luis E. Mendoza Morales,
Manuel I. Capel Tuñón,
María A. Pérez,
Kawtar Benghazi Akhlaki:
A Conceptual Scheme for Compositional Model-Checking Verification of Critical Communicating Systems.
ICEIS (3-1) 2008: 86-93 |
| 2007 |
|---|
| 7 | | Luis E. Mendoza Morales,
Manuel I. Capel Tuñón,
Kawtar Benghazi Akhlaki:
Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics.
ICEIS (3) 2007: 205-211 |
| 6 | | Kawtar Benghazi Akhlaki,
Manuel I. Capel Tuñón,
Juan Antonio Holgado Terriza,
Luis E. Mendoza Morales:
Towards UML-RT Behavioural Consistency.
ICEIS (3) 2007: 612-615 |
| 5 | | Manuel I. Capel Tuñón,
Kawtar Benghazi Akhlaki,
Juan Antonio Holgado Terriza,
Luis E. Mendoza Morales:
An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T.
MSVVEIS 2007: 74-83 |
| 4 | EE | Kawtar Benghazi Akhlaki,
Manuel I. Capel Tuñón,
Juan Antonio Holgado Terriza,
Luis E. Mendoza Morales:
A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models.
Sci. Comput. Program. 65(1): 41-56 (2007) |
| 2006 |
|---|
| 3 | | Manuel I. Capel,
Luis E. Mendoza Morales,
Kawtar Benghazi Akhlaki,
Juan Antonio Holgado Terriza:
A Semantic Formalization of UML-RT Models with csp+t Processes Applicable to Real-time Systems Verification.
JISBD 2006: 283-292 |
| 2 | | Kawtar Benghazi Akhlaki,
Manuel I. Capel Tuñón,
Juan Antonio Holgado Terriza,
Luis E. Mendoza Morales:
Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models.
MSVVEIS 2006: 16-25 |
| 2003 |
|---|
| 1 | EE | Juan Solano,
María A. Pérez,
Teresita Rojas,
Anna Grimán,
Luis E. Mendoza Morales:
Integration of Systemic Quality and the Balanced Scorecard.
IS Management 20(1): 66-81 (2003) |
