 | 2009 |
|---|
| 13 |       | Kawtar Benghazi Akhlaki,
Miguel J. Hornos,
Manuel Noguera:
Towards Compositional Verification in MEDISTAM-RT Methodological Framework.
IWANN (2) 2009: 211-218 |
| 12 | | Kawtar Benghazi Akhlaki,
María Visitación Hurtado,
María Luisa Rodríguez,
Manuel Noguera:
Applying Formal Verification Techniques to Ambient Assisted Living Systems.
OTM Workshops 2009: 381-390 |
| 2008 |
|---|
| 11 | | Luis E. Mendoza Morales,
Manuel I. Capel,
María A. Pérez,
Kawtar Benghazi Akhlaki:
Compositional Model-Checking Verification of Critical Systems.
ICEIS 2008: 213-225 |
| 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 | | 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 |
