Luis E. Mendoza Morales

18 papers C 1Misc 1Journal 3Unranked 13
YearRankTypeTitle / Venue / Authors
2016 — conf
Application of Formal Methods to Verify Business Processes.
SBMF
Luis E. Mendoza Morales, Carlos Monsalve, Mónica Villavicencio
2016 Misc conf
Checking Critical Software Systems: A Formal Proposal.
QUATIC
Luis E. Mendoza Morales, Manuel I. Capel
2013 C conf
Business process verification using a Formal Compositional Approach and Timed Automata.
CLEI
Luis E. Mendoza Morales
2012 — conf
A Formal Compositional Verification Approach for Safety-Critical Systems Correctness - Model-Checking based Methodological Approach to Automatically Verify Safety Critical Systems Software.
ICEIS (2)
Manuel I. Capel, Luis E. Mendoza Morales
2011 — conf
BTRANSFORMER - A Tool for BPMN to CSP+T Transformation.
ICEIS (3)
Aleksander González, Luis E. Mendoza Morales, Manuel I. Capel, María A. Pérez, Edumilis Maria Méndez, Kenyer Domínguez
2010 — conf
A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes.
ICEIS
Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez
2010 — conf
Compositional Verification of Business Processes Modelled with BPMN.
ICEIS (3)
Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez
2009 — conf
Automatic Compositional Verification of Business Processes.
ICEIS
Luis E. Mendoza Morales, Manuel I. Capel
2008 — conf
A Conceptual Scheme for Compositional Model-Checking Verification of Critical Communicating Systems.
ICEIS (3-1)
Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez, Kawtar Benghazi Akhlaki
2008 J jnl
Automatic verification of business process integrity.
Int. J. Simul. Process. Model.
Manuel I. Capel Tuñón, Luis E. Mendoza Morales, Kawtar Benghazi Akhlaki
2008 — conf
Compositional Model-Checking Verification of Critical Systems.
ICEIS
Luis E. Mendoza Morales, Manuel I. Capel, María A. Pérez, Kawtar Benghazi Akhlaki
2007 J jnl
A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models.
Sci. Comput. Program.
Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales
2007 — conf
An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T.
MSVVEIS
Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales
2007 — conf
Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics.
ICEIS (3)
Luis E. Mendoza Morales, Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki
2007 — conf
Towards UML-RT Behavioural Consistency.
ICEIS (3)
Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales
2006 — conf
A Semantic Formalization of UML-RT Models with csp+t Processes Applicable to Real-time Systems Verification.
JISBD
Manuel I. Capel, Luis E. Mendoza Morales, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza
2006 — conf
Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models.
MSVVEIS
Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales
2003 J jnl
Integration of Systemic Quality and the Balanced Scorecard.
Inf. Syst. Manag.
Juan Solano, María A. Pérez, Teresita Rojas, Anna Grimán, Luis E. Mendoza Morales