Tuñón M.I.C.
42
Coauthors
20
Documentos
Volumen de publicaciones por año
Cargando gráfico
| Año de publicación | Num. Publicaciones |
|---|---|
| 2007 | 4 |
| 2008 | 2 |
| 2009 | 2 |
| 2010 | 2 |
| 2011 | 2 |
| 2012 | 4 |
| 2013 | 1 |
| 2014 | 1 |
| 2016 | 1 |
| 2017 | 1 |
Publicaciones por áreas de conocimiento
Cargando gráfico
| Área de conocimiento | Num. Publicaciones |
|---|---|
| Ingeniería de software | 14 |
| Software | 11 |
| Ciencias de la computación | 10 |
| Ingeniería de sistemas | 1 |
| Material compuesto | 1 |
| Gestión de calidad | 1 |
Publicaciones por áreas temáticas
Cargando gráfico
| Área temática | Num. Publicaciones |
|---|---|
| Ciencias de la computación | 11 |
| Programación informática, programas, datos, seguridad | 6 |
| Dirección general | 4 |
| Gestión y servicios auxiliares | 2 |
| Física aplicada | 1 |
| Economía laboral | 1 |
| Instrumentos de precisión y otros dispositivos | 1 |
| Métodos informáticos especiales | 1 |
| Administración pública y ciencia militar | 1 |
Principales fuentes de datos
| Origen | Num. Publicaciones |
|---|---|
| Scopus | 20 |
| Google Scholar | 18 |
| RRAAE | 0 |
Cargando gráfico
Coautores destacados por número de publicaciones
| Coautor | Num. Publicaciones |
|---|---|
| Luis Eduardo Mendoza Morales | 20 |
| Pérez M.A. | 8 |
| Benghazi-Akhlaki K. | 6 |
| Terriza J.H. | 3 |
| González A. | 2 |
| Ahklaki K.B. | 1 |
| Mendez E. | 1 |
| Domínguez K. | 1 |
Cargando gráfico
Top Keywords
Cargando gráfico
Publicaciones del autor
Checking critical software systems: A formal proposal
Conference ObjectAbstract: As a contribution to the specification and verification of critical software systems, this article pPalabras claves:Compositional verification, Critical software systems, Formal verification approach, Model checking, Safety-critical systemsAutores:Luis Eduardo Mendoza Morales, Tuñón M.I.C.Fuentes:googlescopusChoreography modeling compliance for timed business models
ArticleAbstract: Business Process Modeling (BPM) is a conceptual activity for embodying the functioning and complex sPalabras claves:BPMN 2.0, Business process modeling, Choreography, Choreography modeling conformance, Timed business processes, Transformation rulesAutores:Luis Eduardo Mendoza Morales, Tuñón M.I.C.Fuentes:googlescopusAutomatic compositional verification of business processes
Conference ObjectAbstract: Nowadays the Business Process Modelling Notation (BPMN) has become a standard to provide a notationPalabras claves:Business process modelling, Formal Methods, Model-checking, Task model, VerificationAutores:Luis Eduardo Mendoza Morales, Tuñón M.I.C.Fuentes:googlescopusAutomating the transformation from BPMN models to CSP+T specifications
Conference ObjectAbstract: The complexity of modern Business Process Modelling (BPM) together with the absence of the appropriaPalabras claves:BPMN 2.0, Business process modelling, csp, CSP+T, Model-checking, VerificationAutores:Luis Eduardo Mendoza Morales, Tuñón M.I.C.Fuentes:googlescopusA compositional scheme and framework for safety critical systems verification
Conference ObjectAbstract: Safety-Critical Systems (SCS)must satisfy dependability requirements such as availability, reliabiliPalabras claves:Autores:Luis Eduardo Mendoza Morales, Tuñón M.I.C.Fuentes:googlescopus