| 2008 |
|---|
| 10 | | 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 |
|---|
| 9 | | 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 |
| 8 | | 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 |
| 7 | | 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 |
| 6 | 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 |
|---|
| 5 | | Kawtar Benghazi Akhlaki,
Manuel I. Capel Tuñón,
Juan Antonio Holgado Terriza:
Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Timed Process Algebra System Specifications.
ICEIS (3) 2006: 290-297 |
| 4 | | 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 |
| 3 | | Agustín Escámez,
Kawtar Benghazi Akhlaki,
Juan Antonio Holgado Terriza,
Manuel I. Capel:
CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool Code.
MSVVEIS 2006: 128-133 |
| 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 |
| 2005 |
|---|
| 1 | | Kawtar Benghazi Akhlaki,
Manuel I. Capel Tuñón:
Combining the Description Features of UMLRT and CSP+T Specifications Applied to a Complete Design of Real- Time Systems.
IEC (Prague) 2005: 193-198 |
