Manuel I. Capel Tuñón
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 26 |      | Luis E. Mendoza Morales, Manuel I. Capel: Automatic Compositional Verification of Business Processes. ICEIS 2009: 479-490 |
| 2008 | ||
| 25 | | 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 |
| 24 |  | 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 |
| 2007 | ||
| 23 | | 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 |
| 22 | | 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 |
| 21 | | 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 |
| 20 | | 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) |
| 2006 | ||
| 19 | | Mario Rossainz López, Manuel I. Capel Tuñón: An Approach to Structured Parallel Programming Based on a Composition. CONIELECOMP 2006: 42 |
| 18 | | Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza: Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Timed Process Algebra System Specifications. ICEIS (3) 2006: 290-297 |
| 17 | | 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 |
| 16 | | Agustín Escámez, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Manuel I. Capel: CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool Code. MSVVEIS 2006: 128-133 |
| 15 | | 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 |
| 2005 | ||
| 14 | | Manuel I. Capel Tuñón, Mario Rossainz López: Design and Use of the CPAN Branch & Bound for the Solution of the Travelling Salesman Problem (TSP). CONIELECOMP 2005: 262-267 |
| 13 | | Manuel I. Capel, Juan Antonio Holgado Terriza: Transforming SA/RT Graphical Specifications into CSP+T Formalism - Obtaining a Formal Specification from Semi-Formal SA/RT Essential Models. ICEIS (3) 2005: 65-72 |
| 12 | | Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón: Combining the Description Features of UMLRT and CSP+T Specifications Applied to a Complete Design of Real- Time Systems. IEC (Prague) 2005: 193-198 |
| 11 | | Manuel I. Capel, Juan Antonio Holgado Terriza, Agustín Escámez: An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case. MSVVEIS 2005: 39-48 |
| 2004 | ||
| 10 | | Manuel I. Capel Tuñón, Mario Rossainz López: A Parallel Programming Methodology based on High Level Parallel Compositions (CPANs). CONIELECOMP 2004: 242-247 |
| 9 | | Manuel I. Capel, José R. Balsas, Juan Antonio Holgado Terriza: Systematic Design of Real-Time Systems Based on CSP+T Process Algebra. VVEIS 2004: 81-83 |
| 2002 | ||
| 8 | | Miguel J. Hornos, Manuel I. Capel: On-the-fly model checking from interval logic specifications. SIGPLAN Notices 37(12): 108-119 (2002) |
| 2001 | ||
| 7 | | Miguel J. Hornos, Manuel I. Capel: Automata Generation for On-the-fly Automatic Verification Using Formulas of an Interval Logic. ACSD 2001: 221-230 |
| 6 | | Miguel J. Hornos, Manuel I. Capel: Verificación Automatizada Eficiente de Sistemas Concurrentes Especificando Sus Propiedades con Fórmalus de una Lógica de Intervalos. JISBD 2001: 375-390 |
| 1997 | ||
| 5 | | F. Araque, Manuel I. Capel, Jose M. Mantas Ruiz, A. Palma: A proposal to improve reusability in a language based on the occam-CSP model. PDP 1997: 41-46 |
| 1996 | ||
| 4 | | F. Araque, Manuel I. Capel, A. Palma, Jose M. Mantas Ruiz: Paradigms for Parallel Distributed Programming. PDPTA 1996: 1027-1038 |
| 1994 | ||
| 3 | | Manuel I. Capel, José M. Troya: An Object-Based Tool and Methodological Approach for Distributed Programming. Software - Concepts and Tools 15(4): 177- (1994) |
| 1993 | ||
| 2 | | Manuel I. Capel, José M. Troya, A. Palma: A Methodological Scheme and Tool for Program Transformation with Transputer Systems. PARCO 1993: 585-588 |
| 1 | | Manuel I. Capel, José M. Troya, A. Palma: Distributed active objects: A methodological proposal and tool for distributed programming with transputer systems. Microprocessing and Microprogramming 38(1-5): 197-204 (1993) |
| 1 | Kawtar Benghazi Akhlaki | [12] [15] [16] [17] [18] [20] [21] [22] [23] [24] [25] |
| 2 | F. Araque | [4] [5] |
| 3 | José R. Balsas | [9] |
| 4 | Agustín Escámez | [11] [16] |
| 5 | Miguel J. Hornos | [6] [7] [8] |
| 6 | Mario Rossainz López | [10] [14] [19] |
| 7 | Luis Eduardo Mendoza (Luis E. Mendoza Morales) | [15] [17] [20] [21] [22] [23] [24] [25] [26] |
| 8 | A. Palma | [1] [2] [4] [5] |
| 9 | María A. Pérez | [24] [25] |
| 10 | Jose M. Mantas Ruiz | [4] [5] |
| 11 | Juan Antonio Holgado Terriza | [9] [11] [13] [15] [16] [17] [18] [20] [21] [22] |
| 12 | José M. Troya (José María Troya Linero) | [1] [2] [3] |