Author Info
Name
Affiliation
Papers
LUIS E. MENDOZA MORALES
Univ Simon Bolivar, Proc & Syst Dept, POB 89000, Caracas 1080A, Venezuela
13
Collaborators
Citations 
PageRank 
11
14
4.86
Referers 
Referees 
References 
27
109
60
Search Limit
100109
Title
Citations
PageRank
Year
Checking Critical Software Systems: A Formal Proposal00.342016
Application of Formal Methods to Verify Business Processes.10.382016
A Formal Compositional Verification Approach for Safety-Critical Systems Correctness - Model-Checking based Methodological Approach to Automatically Verify Safety Critical Systems Software.00.342012
BTRANSFORMER - A Tool for BPMN to CSP+T Transformation.20.432011
Compositional Verification Of Business Processes Modelled With Bpmn00.342010
A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes30.392010
Automatic Compositional Verification of Business Processes10.372009
Compositional Model-Checking Verification of Critical Systems30.422008
An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T00.342007
Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics10.402007
Towards UML-RT Behavioural Consistency00.342007
A Semantic Formalization of UML-RT Models with csp+t Processes Applicable to Real-time Systems Verification20.382006
Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models10.402006