BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Morales:Luis_E=_Mendoza

Contributed to:

ICEIS v2 20122012
ICEIS ISAS 20102010
Post-ICEIS 20102010
Post-ICEIS 20092009
ICEIS ISAS v1 20082008
Post-ICEIS 20082008
ICEIS EIS 20072007

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.