Manuel I. Capel

Manuel I. Capel Tuñón

	2012
35		Luis Eduardo Mendoza, Manuel I. Capel, María A. Pérez: Conceptual framework for business processes compositional verification. Information & Software Technology 54(2): 149-161 (2012)
	2011
34		Markus Helfert, Mouzhi Ge, Luís Ferreira Pires, Slimane Hammoudi, Farouk Toumani, Valérie Monfort, Wassim Jaziri, Manuel I. Capel Tuñón, Chunping Li: IVM, FTMDD, RTSOABIS & MSVVEIS 2011 - Proceedings of the International Joint Workshop on Information Value Management, Future Trends of Model-Driven Development, Recent Trends in SOA Based Information Systems and Modelling and Simulation, Verification and Validation of Enterprise Information Systems, In conjunction with ICEIS 2011, Beijing, China, June, 2011 SciTePress 2011
33		Aleksander González, Luis E. Mendoza Morales, Manuel I. Capel, María A. Pérez, Edumilis Maria Méndez, Kenyer Domínguez: BTRANSFORMER - A Tool for BPMN to CSP+T Transformation. ICEIS (3) 2011: 363-366
32		Aleksander González, Luis Eduardo Mendoza, Manuel I. Capel, María A. Pérez: Implementing a Transformation from BPMN to CSP+T with ATL: Lessons Learnt. IVM/FTMDD/RTSOABIS/MSVVEIS 2011: 51-60
	2010
31		Juan Garbajosa Sopeña, Manuel I. Capel Tuñón: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2010, In conjunction with ICEIS 2010, Funchal, Madeira, Portugal, June 2010 SciTePress 2010
30		Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez: A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes. ICEIS 2010: 388-403
29		Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez: Compositional Verification of Business Processes Modelled with BPMN. ICEIS (3) 2010: 113-122
28		Luis Eduardo Mendoza, Manuel I. Capel, María A. Pérez: Compositional Verification of Business Processes by Model-Checking. MSVVEIS 2010: 60-69
	2009
27		Luis E. Mendoza Morales, Manuel I. Capel: Automatic Compositional Verification of Business Processes. ICEIS 2009: 479-490
	2008
26		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
25		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
24		Luis Eduardo Mendoza, Manuel I. Capel, Kawtar Benghazi Akhlaki: Towards the Correctness Verifcation of Business Processes Modelled with UML. JISBD 2008: 159-170
	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)

Coauthor Index

1	Kawtar Benghazi Akhlaki	[12] [15] [16] [17] [18] [20] [21] [22] [23] [24] [25] [26]
2	F. Araque	[4] [5]
3	José R. Balsas	[9]
4	Kenyer Domínguez	[33]
5	Agustín Escámez	[11] [16]
6	Mouzhi Ge	[34]
7	Aleksander González	[32] [33]
8	Slimane Hammoudi	[34]
9	Markus Helfert	[34]
10	Miguel J. Hornos	[6] [7] [8]
11	Wassim Jaziri	[34]
12	Chunping Li	[34]
13	Mario Rossainz López	[10] [14] [19]
14	Edumilis Maria Méndez	[33]
15	Luis Eduardo Mendoza (Luis E. Mendoza Morales)	[15] [17] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [32] [33] [35]
16	Valérie Monfort	[34]
17	A. Palma	[1] [2] [4] [5]
18	María A. Pérez	[25] [26] [28] [29] [30] [32] [33] [35]
19	Luís Ferreira Pires	[34]
20	Jose M. Mantas Ruiz	[4] [5]
21	Juan Garbajosa Sopeña	[31]
22	Juan Antonio Holgado Terriza	[9] [11] [13] [15] [16] [17] [18] [20] [21] [22]
23	Farouk Toumani	[34]
24	José M. Troya (José María Troya Linero)	[1] [2] [3]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page