Travelled to:1 × Cyprus
1 × Portugal
2 × Spain
Collaborated with:M.I.C.Tuñón L.E.M.Morales M.A.Pérez J.A.H.Terriza M.I.Capel
Talks about:system (4) model (4) check (3) composit (2) critic (2) verif (2) time (2) uml (2) transform (1) behaviour (1)
Person: Kawtar Benghazi Akhlaki
DBLP: Akhlaki:Kawtar_Benghazi
Contributed to:
2008200820072006Wrote 4 papers:
- ICEIS-ISAS1-2008-MoralesTPA #communication #composition #concept #model checking #verification
- A Conceptual Scheme for Compositional Model-Checking Verification of Critical Communicating Systems (LEMM, MICT, MAP, KBA), pp. 86–93.
- ICEIS-J-2008-MoralesCPA #composition #model checking #verification
- Compositional Model-Checking Verification of Critical Systems (LEMM, MIC, MAP, KBA), pp. 213–225.
- ICEIS-EIS-2007-MoralesTA #behaviour #consistency #modelling #semantics #uml
- Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics (LEMM, MICT, KBA), pp. 205–211.
- ICEIS-ISAS-2006-AkhlakiTT #algebra #design #modelling #process #realtime #specification #uml
- Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Timed Process Algebra System Specifications (KBA, MICT, JAHT), pp. 290–297.