Travelled to:1 × Cyprus
1 × Spain
3 × Portugal
Collaborated with:L.E.M.Morales M.A.Pérez K.B.Akhlaki J.A.H.Terriza
Talks about:model (4) composit (3) process (3) system (3) verif (3) time (3) check (2) busi (2) bpmn (2) uml (2)
Person: Manuel I. Capel Tuñón
DBLP: Tu=ntilde==oacute=n:Manuel_I=_Capel
Contributed to:
20102010200820072006Wrote 5 papers:
- ICEIS-ISAS-2010-MoralesTP #composition #process #verification
- Compositional Verification of Business Processes Modelled with BPMN (LEMM, MICT, MAP), pp. 113–122.
- ICEIS-J-2010-MoralesTP10a #composition #formal method #process #verification
- A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes (LEMM, MICT, MAP), pp. 388–403.
- 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-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.