Travelled to:1 × Italy
1 × Poland
2 × Spain
3 × Portugal
Collaborated with:M.I.Capel M.I.C.Tuñón M.A.Pérez K.B.Akhlaki
Talks about:composit (6) verif (6) model (5) system (4) critic (4) check (4) process (3) busi (3) approach (2) automat (2)
Person: Luis E. Mendoza Morales
DBLP: Morales:Luis_E=_Mendoza
Contributed to:
2012201020102009200820082007Wrote 7 papers:
- ICEIS-v2-2012-CapelM #approach #automation #composition #correctness #model checking #safety #verification
- A Formal Compositional Verification Approach for Safety-Critical Systems Correctness — Model-Checking based Methodological Approach to Automatically Verify Safety Critical Systems Software (MIC, LEMM), pp. 105–112.
- 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-J-2009-MoralesC #automation #composition #process #verification
- Automatic Compositional Verification of Business Processes (LEMM, MIC), pp. 479–490.
- 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.