Manuel I. Capel Tuñón
List of publications from the
| 2009 |
|---|
| 24 | EE | Luis E. Mendoza Morales,
Manuel I. Capel:
Automatic Compositional Verification of Business Processes.
ICEIS 2009: 479-490 |
| 2008 |
|---|
| 23 | | 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 |
|---|
| 22 | | 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 |
| 21 | | 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 |
| 20 | | 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 |
| 19 | EE | 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 |
|---|
| 18 | EE | Mario Rossainz López,
Manuel I. Capel Tuñón:
An Approach to Structured Parallel Programming Based on a Composition.
CONIELECOMP 2006: 42 |
| 17 | | 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 |
| 16 | | 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 |
| 15 | | 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 |
| 14 | | 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 |
|---|
| 13 | EE | 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 |
| 12 | | 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 |
| 11 | | 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 |
| 10 | | 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 |
|---|
| 9 | EE | Manuel I. Capel Tuñón,
Mario Rossainz López:
A Parallel Programming Methodology based on High Level Parallel Compositions (CPANs).
CONIELECOMP 2004: 242-247 |
| 8 | | 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 |
|---|
| 7 | EE | Miguel J. Hornos,
Manuel I. Capel:
On-the-fly model checking from interval logic specifications.
SIGPLAN Notices 37(12): 108-119 (2002) |
| 2001 |
|---|
| 6 | EE | Miguel J. Hornos,
Manuel I. Capel:
Automata Generation for On-the-fly Automatic Verification Using Formulas of an Interval Logic.
ACSD 2001: 221-230 |
| 5 | | 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 |
|---|
| 4 | | 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 |
|---|
| 3 | | F. Araque,
Manuel I. Capel,
A. Palma,
Jose M. Mantas Ruiz:
Paradigms for Parallel Distributed Programming.
PDPTA 1996: 1027-1038 |
| 1994 |
|---|
| 2 | | 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 |
|---|
| 1 | | Manuel I. Capel,
José M. Troya,
A. Palma:
A Methodological Scheme and Tool for Program Transformation with Transputer Systems.
PARCO 1993: 585-588 |
