Luis E. Mendoza Morales

Publication Activity (10 Years)

Years Active: 2003-2016
Publications (10 Years): 2

Top Topics

Business Processes

Safety Critical

Top Venues

Publications

Luis E. Mendoza Morales, Carlos Monsalve, Mónica Villavicencio
Application of Formal Methods to Verify Business Processes. SBMF (2016)
Luis E. Mendoza Morales, Manuel I. Capel
Checking Critical Software Systems: A Formal Proposal. QUATIC (2016)
Luis E. Mendoza Morales
Business process verification using a Formal Compositional Approach and Timed Automata. CLEI (2013)
Manuel I. Capel, Luis E. Mendoza Morales
A Formal Compositional Verification Approach for Safety-Critical Systems Correctness - Model-Checking based Methodological Approach to Automatically Verify Safety Critical Systems Software. ICEIS (2) (2012)
Aleksander González, Luis E. Mendoza Morales, Manuel I. Capel, María A. Pérez, Edumilis Maria Méndez, Kenyer Domínguez
BTRANSFORMER - A Tool for BPMN to CSP+T Transformation. ICEIS (3) (2011)
Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez
A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes. ICEIS (2010)
Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez
Compositional Verification of Business Processes Modelled with BPMN. ICEIS (3) (2010)
Luis E. Mendoza Morales, Manuel I. Capel
Automatic Compositional Verification of Business Processes. ICEIS (2009)
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)
Manuel I. Capel Tuñón, Luis E. Mendoza Morales, Kawtar Benghazi Akhlaki
Automatic verification of business process integrity. Int. J. Simul. Process. Model. 4 (3/4) (2008)
Luis E. Mendoza Morales, Manuel I. Capel, María A. Pérez, Kawtar Benghazi Akhlaki
Compositional Model-Checking Verification of Critical Systems. ICEIS (2008)
Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales
Towards UML-RT Behavioural Consistency. ICEIS (3) (2007)
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) (2007)
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)
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)
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)
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)
Juan Solano, María A. Pérez, Teresita Rojas, Anna Grimán, Luis E. Mendoza Morales
Integration of Systemic Quality and the Balanced Scorecard. Inf. Syst. Manag. 20 (1) (2003)