Luis Eduardo Mendoza

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Kawtar Benghazi Akhlaki

> Home > Persons > Luis Eduardo Mendoza

Publications

2008
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/ijspm/TunonMA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijspm/TunonMA08
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): 167-182 (2008)
[c31]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iceis/MoralesTPA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/MoralesTPA08
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: 86-93
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/iceis/MoralesCPA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/MoralesCPA08
Luis E. Mendoza Morales, Manuel I. Capel, María A. Pérez, Kawtar Benghazi Akhlaki:
Compositional Model-Checking Verification of Critical Systems. ICEIS 2008: 213-225
[c21]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jisbd/MendozaCA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jisbd/MendozaCA08
Luis Eduardo Mendoza, Manuel I. Capel, Kawtar Benghazi Akhlaki:
Towards the Correctness Verifcation of Business Processes Modelled with UML. JISBD 2008: 159-170
2007
[j9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/AkhlakiTTM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AkhlakiTTM07
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): 41-56 (2007)
[c19]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iceis/MoralesTA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/MoralesTA07
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: 205-211
[c15]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iceis/AkhlakiTTM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/AkhlakiTTM07
Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales:
Towards UML-RT Behavioural Consistency. ICEIS (3) 2007: 612-615
[c13]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/vveis/TunonATM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vveis/TunonATM07
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: 74-83
2006
[c5]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jisbd/CapelMAT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jisbd/CapelMAT06
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: 283-292
[c4]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/vveis/AkhlakiTTM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vveis/AkhlakiTTM06
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: 16-25

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.