Conceptual framework for business processes compositional verification
Author-s: Mendoza, Luis E.; Capel, Manuel I.; Perez, Maria A.
Source: INFORMATION AND SOFTWARE TECHNOLOGY 54 2 149 161 2012
A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
Author-s: Akhlaki, K. Benghazi; Tunon, M. I. Capel; Terriza, J. A. Holgado; Morales, L. E. Mendoza
Source: SCIENCE OF COMPUTER PROGRAMMING 65 1 41 56 2007
On-the-fly model checking from interval logic specifications
Author-s: Hornos, MJ; Capel, MI
Source: ACM SIGPLAN NOTICES 37 12 108 119 Workshop of Principles, Logics and Implimentations OCT 03-08, 2002 PITTSBURGH, PITTSBURGH 2002
DISTRIBUTED ACTIVE OBJECTS - A METHODOLOGICAL PROPOSAL AND TOOL FOR DISTRIBUTED-PROGRAMMING WITH TRANSPUTER SYSTEMS
Author-s: CAPEL, M; TROYA, JM; PALMA, A
Source: MICROPROCESSING AND MICROPROGRAMMING 38 1-5 197 204 19TH EUROMICRO SYMP ON MICROPROCESSING AND MICROPR SEP 06-09, 1993 UNIV POLITECN CATALUNYA, UNIV POLITECN CATALUNYA, UNIV POLITECN CATALUNYA 1993
AN OBJECT-BASED TOOL AND METHODOLOGICAL APPROACH FOR DISTRIBUTED-PROGRAMMING
Author-s: CAPEL, M; TROYA, JM
Source: SOFTWARE-CONCEPTS AND TOOLS 15 4 177 195 1994
PERTURBATIVE TREATMENT OF ANHARMONIC DIATOMIC OSCILLATORS IN THE GENERATOR-COORDINATE DESCRIPTION
Author-s: REQUENA, A; CAPEL, M; RODRIGUEZ, JV
Source: THEOCHEM-JOURNAL OF MOLECULAR STRUCTURE 21 FEB 41 45 1985
Automating the transformation from BPMN models to CSP plus T specifications
Author-s: Capel, Manuel I.; Mendoza, Luis E.
Source: PROCEEDINGS OF THE 2012 IEEE 35TH SOFTWARE ENGINEERING WORKSHOP (SEW 2012) 100 109 35th IEEE Software Engineering Workshop (SEW) OCT 12-13, 2012 Heraklion, Heraklion 2012
A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes
Author-s: Mendoza Morales, Luis E.; Capel Tunon, Manuel I.; Perez, Maria A.
Source: ENTERPRISE INFORMATION SYSTEMS 73 388 403 12th International Conference on Enterprise Inform JUN 08-AUG 12, 2010 Funchal, Funchal 2011
Automatic Compositional Verification of Business Processes
Author-s: Mendoza, Luis E.; Capel, Manuel I.
Source: ENTERPRISE INFORMATION SYSTEMS-BK 24 479 490 11th International Conference on Enterprise Inform MAY 06-10, 2009 Milan, Milan 2009
Compositional Model-Checking Verification of Critical Systems
Author-s: Mendoza, Luis E.; Capel, Manuel I.; Perez, Maria; Benghazi, Kawtar
Source: ENTERPRISE INFORMATION SYSTEMS-B 19 213 225 10th International Conference on Enterprise Inform JUN, 2008 Barcelona, Barcelona 2009
A wireless networked embedded system with a new real-time kernel - PaRTiKle
Author-s: Mata, W.; Gonzalez, A.; Aquino, R.; Crespo, A.; Ripoll, I.; Capel, M.
Source: CERMA 2007: ELECTRONICS, ROBOTICS AND AUTOMOTIVE MECHANICS CONFERENCE, PROCEEDINGS 21 26 Electronics, Robotics and Automotive Mechanics Con SEP 25-28, 2007 Cuernavaca, Cuernavaca 2007
A PROGRAMMING TOOL FOR DISTRIBUTED IMPLEMENTATION OF BRANCH-AND-BOUND ALGORITHMS
Author-s: CAPEL, M; PALMA, A
Source: PARALLEL COMPUTING AND TRANSPUTER APPLICATIONS, PTS 1 AND 2 28 138 147 INTERNATIONAL CONF ON PARALLEL COMPUTING AND TRANS SEP 21-24, 1992 BARCELONA, BARCELONA 1992
AN OBJECT-BASED TOOL FOR DISTRIBUTED-PROGRAMMING ON TRANSPUTER SYSTEMS
Author-s: CAPEL, M; TROYA, JM
Source: PARALLEL COMPUTING AND TRANSPUTER APPLICATIONS, PTS 1 AND 2 28 366 375 INTERNATIONAL CONF ON PARALLEL COMPUTING AND TRANS SEP 21-24, 1992 BARCELONA, BARCELONA 1992
Methodology of Parallel Programming using Compositions of Parallel Objects or CPANS for the solution of NP-Complete problems
Author-s: Rossainz Lopez, Mario; Capel Tunon, Manuel I.
Source: 23RD EUROPEAN CONFERENCE ON MODELLING AND SIMULATION (ECMS 2009) 63 69 23rd European Conference on Modelling and Simulati JUN 09-12, 2009 Rey Juan Carlos Univ, Rey Juan Carlos Univ, Rey Juan Carlos Univ 2009
A PARALLEL PROGRAMMING METHODOLOGY USING COMMUNICATION PATTERNS NAMED CPANS OR COMPOSITION OF PARALLEL OBJECT
Author-s: Rossainz-Lopez, M.; Capel-Tunon, M. I.
Source: EMSS 2008: 20TH EUROPEAN MODELING AND SIMULATION SYMPOSIUM 274 283 20th European Modeling and Simulation Symposium SEP 17-19, 2008 Amantea, Amantea 2008
Checking behavioural consistency of UML-RT models through trace-based semantics
Author-s: Morales, Luis E. Mendoza; Capel Tunon, Manuel I.; Benghazi Akhlaki, Kawtar
Source: ICEIS 2007: PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS 205 211 9th International Conference on Enterprise Informa JUN 12-16, 2007 Funchal, Funchal 2007
Towards UML-RT behavioural consistency
Author-s: Akhlaki, Kawtar Benghazi; Tunon, Manuel I. Capel; Terriza, Juan A. Holgado; Morales, Luis E. Mendoza
Source: ICEIS 2007: PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS 612 615 9th International Conference on Enterprise Informa JUN 12-16, 2007 Funchal, Funchal 2007
Design of real-time systems by systematic transformation of UML/RT models into simple timed process algebra system specifications
Author-s: Akhlaki, K. Benghazi; Tunon, M. I. Capel; Terriza, J. A. Holgado
Source: ICEIS 2006: Proceedings of the Eighth International Conference on Enterprise Information Systems 290 297 8th International Conference on Enterprise Informa MAY 23-27, 2006 Paphos, Paphos 2006
Java-based adaptable middleware platform for virtual instrumentation
Author-s: Holgado-Terriza, Juan A.; Moreno Guillen, Alfredo; Capel-Tunon, Manuel I.
Source: 2007 IEEE SYMPOSIUM ON VIRTUAL ENVIRONMENTS, HUMAN-COMPUTER INTERFACES AND MEASUREMENT SYSTEMS 144 149 IEEE Symposium on Virtual Environments,Human-Compu JUN 25-27, 2007 Ostuni, Ostuni 2006
DESIGN AND IMPLEMENTATION OF THE BRANCH & BOUND ALGORITHMIC DESIGN TECHNIQUE AS AN HIGH LEVEL PARALLEL COMPOSITION
Author-s: Rossainz Lopez, Mario; Capel Tunon, Manuel I.
Source: INTERNATIONAL MEDITERRANEAN MODELLING MULTICONFERENCE 2006 95 100 3rd International Mediterranean Modelling Multicon OCT 04-06, 2006 Barcelona, Barcelona 2006
Design and use of the CPAN Branch & Bound for the solution of the Travelling Salesman Problem (TSP)
Author-s: Tunon, MIC; Lopez, MR
Source: 15th International Conference on Electronics, Communications and Computers, Proceedings 262 267 15th International Conference on Electronics, Comm FEB 28-MAR 02, 2005 Puebla, Puebla 2005
Design and use of the CPAN Branch & Bound for the solution of the Travelling Salesman Problem (TSP)
Author-s: Lopez, MR; Tunon, MIC
Source: Simulation in Wider Europe 760 765 19th European Conference on Modelling and Simulati JUN 01-04, 2005 Riga, Riga 2005
Combining the description features of UML-RT and CSP T specifications applied to a complete design of real-time systems
Author-s: Akhlaki, KB; Capel-Tunon, MI
Source: ENFORMATIKA, VOL 7: IEC 2005 PROCEEDINGS 193 198 5th International Enformatika Conference (IEC 05) AUG 26-28, 2005 Prague, Prague 2005
A parallel programming methodology based on High Level Parallel Compositions (CPANs)
Author-s: Tunon, MIC; Lopez, MR
Source: 14TH INTERNATIONAL CONFERENCE ON ELECTRONICS, COMMUNICATIONS, AND COMPUTERS, PROCEEDINGS 242 247 14th International Conference on Electronics, Comm FEB 16-18, 2004 Veracruz, Veracruz 2004
Automata generation for on-the-fly automatic verification using formulas of an interval logic
Author-s: Hornos, MJ; Capel, MI
Source: SECOND INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEMS DESIGN, PROCEEDINGS 221 230 2nd International Conference on Application of Con JUN 25-29, 2001 Newcastle upon Tyne, Newcastle upon Tyne 2001
PARALLEL BRANCH-AND-BOUND APPROACH FOR NOT-SHARED MEMORY-SYSTEMS
Author-s: TROYA, JM; CAPEL, MI
Source: APPLIED INFORMATICS 357 360 8TH INTERNATIONAL SYMP ON APPLIED INFORMATICS FEB 19-21, 1990 INNSBRUCK, INNSBRUCK 1990
Principal Investigator: Manuel Isidoro Capel Tuñón
Start date: 2015-04-10
End date: 2015-04-30
Research Group: TIC-157
Company: Construcciones y Mantenimientos Fraymar S.L.
Visiting researcher: Capel Tuñón, Manuel Isidoro
Research group: TIC-157
Place: EAST LANSING; ESTADOS UNIDOS DE AMERICA
Start date: 2008-11-03
End date: 2009-03-03
SOFTWARE ENGINEERING AND NETWORK SYSTEMS INSTITUTE (SENS), MICHIGAN STATE UNIVERSITY
Visiting researcher: Capel Tuñón, Manuel Isidoro
Research group: TIC-157
Place: EAST LANSING, MICHIGAN; ESTADOS UNIDOS DE AMERICA
Start date: 2002-02-01
End date: 2002-06-30
Visiting category: POSTD
FORSCHUNGINSTITUT FOR MICROPROCESSORS TECHNIK (FIM)
Visiting researcher: Capel Tuñón, Manuel Isidoro
Research group: TIC-157
Place: LINZ; AUSTRIA
Start date: 1998-06-01
End date: 1998-06-30
Visiting category: INV