Ficha de investigador

MANUEL ISIDORO CAPEL TUÑON Grupo de Investigación: SISTEMAS CONCURRENTES (Cod.: TIC157) Departamento: Universidad de Granada. Lenguajes y Sistemas Informáticos Citas en Google Scholar:http://scholar.google.es/citations?user=bXoIwjwAAAAJ Correo electronico: [email protected] Código: 22659

Ficha del Directorio

Producción 76 Artículos (18) Libros (3) Capítulos de Libros (51) Tesis dirigidas (4)

Evolución producción 16

Tesis Capítu…

12

Libros Artículos

8 4 0

1997 1999 2001 2003 2005 2007 2009 2011 2013 2015 1998 2000 2002 2004 2006 2008 2010 2012 2014 2016 Año

Proyectos dirigidos 3 Proyectos (3) Contratos (0) Convenios (0)

Proyectos en curso por año 1.00

Conve… Contr…

0.75

Proye…

0.50 0.25 0.00

1994

1996 1995

Actividades 6

1998 1997

2000 1999

2001 Año

2002

2004 2003

2006 2005

2007

Titulo publicación

Fuente

Tipo

Fecha

Integration of ict in concurrent and parallel programming lectures

Journal of parallel and distributed computing

Articulo 2016

Triglyceride levels as a risk factor during pregnancy. biological modeling.

Aula médica psiquiatría

Articulo 2015

Choreography modeling compliance for timed business models

Enterprise and organizational modeling and simulation

Capítulo 2014 de libro

Parallel bit-stream cipher with cellular automata number 30 in java

Annals of multicore and gpu programming

Articulo 2014

Sistema de interacción oral a través de internet para apoyo a la docencia universitaria

Innovación docente y buenas prácticas en la universidad de granada

Capítulo 2014 de libro

Business process automatic verification with a compositional approach

Revista técnica de la facultad de ingenieríauniversidad de zulia

Articulo 2013

Sistema de diálogo hablado basado en voicexml para la enseñanza universitaria

Revista iberoamericana de informática educativa

Articulo 2013

Conceptual framework for business processes compositional verification

Information and software technology

Articulo 2012

Sistemas concurrentes y distribuidos : teoría y práctica

Copicentro, d.l. 2012

Libros

Verifying compositional correctness of safetycritical systems

, informatik: von anfang an (festschrift für jörg mühlbacher)

Capítulo 2012 de libro

A formal compositional verification approach for safety-critical systems correctness

Science of computer programming

Articulo 2011

2012

A formalization proposal of timed bpmn for Lecture notes in business information compositional verification of business processes processing (print)

Articulo 2011

Una contribución a las técnicas avanzadas de verificación de procesos de negocio y sistemas software abiertos

Tesis 2011 doctoral

An efficient cluster-based cdma/tdma scheme for wireless ad hoc network modeling

Actas de las xiii jornadas de tiempo real

Capítulo 2010 de libro

Modelling, simulation, verification and validation of enterprise information systems

Scitepress science and technology publications

Libros

Automatic compositional verification of business processes

Lecture notes in business information processing (print)

Articulo 2009

Compositional model-checking verification of critical systems

Lecture notes in business information processing 2009

Capítulo 2009 de libro

Compositional model-checking verification of critical systems

Lecture notes in business information processing (print)

Articulo 2009

2010

Docencia e investigación en lenguajes y sistemas informáticos: una visión desde la concurrencia

Libros

Medistam-rt: metodología de diseño y análisis de Universidad de granada. lenguajes y sistemas sistemas de tiempo real informáticos

Tesis 2009 doctoral

Methodology of parallel programming using compositions of parallel objects or cpans for the solution of np-complete problems.

Proceedings of the 23rd european conference on modelling and simulation (ecms 2009)

Capítulo 2009 de libro

A parallel programming methodology using communication patterns named cpans or composition of parallel objects

Proceedings of the 20th european modeling & simulation symposium

Capítulo 2008 de libro

A methodological approach to the formal specification of real-time systems by transformation of uml-rt design models

Science of computer programming

Articulo 2007

Proceedings of the fifth international workshop

2009

An interpretation of behavioural consistency of uml-rt diagrams in terms of csp+t

Proceedings of the fifth international workshop on modelling, simulation, verification and validation of enterprise information systems (msvveis-2007)

Capítulo 2007 de libro

Characteristic analysis of wireless sensor networks with real-time middleware

Actas del ii simposio sobre sistemas de tiempo real del congreso español de informatica

Capítulo 2007 de libro

Checking behavioural consistency of uml-rt models through trace-based semantics

Proceedings of the ninth international conference on enterprise information systems Capítulo 2007 (iceis 2007) - information systems analysis and de libro specification.

Consistency checking of uml composite structure diagrams based on trace semantics

Software engineering in progress -

Capítulo 2007 de libro

Development of an adaptable middleware for time-constrained distributed applications

Actas del ii simposio sobre sistemas de tiempo real del congreso español de informatica

Capítulo 2007 de libro

Diseño y adaptación de java de tiempo real sobre partikle para sistemas empotrados

Actas del ii simposio sobre sistemas de tiempo real del congreso español de informatica

Capítulo 2007 de libro

Establishing consistency between uml 2.0 sequence and state diagrams

Actas de las x jornadas de tiempo real (jtr 2007) isbn: 978-84-96736-11-5

Capítulo 2007 de libro

Java-based adaptable middleware platform for virtual instrumentation

Proceedings of the 2007 ieee international conference on virtual environments, humancomputer interfaces, and measurement systems (vecims 2007)

Capítulo 2007 de libro

Towards uml-rt behavioural consistency

Proceedings of the ninth international conference on enterprise information systems Capítulo 2007 (iceis 2007) - information systems analysis and de libro specification.

Verificación composicional y diseño de sistemas Actas del i simposion en desarrollo de software Capítulo 2007 de tiempo real (sds 2007) de libro A semantic formalization of uml-rt models with Actas de las xi jornadas de ingeniería del csp+t processes applicable to real-time systems software y bases de datos (jisbd 2006) verification Análisis de sistemas empotrados java comerciales con requerimientos temporales

Capítulo 2006 de libro

Actas xxvii jornadas de automática 2006 (isbn: Capítulo 2006 84-689-9417-0) de libro

Cspjade: architectural driven development of complex embedded system software using a csp Actas de la ix jornadas de tiempo real paradigm based code generation tool

Capítulo 2006 de libro

Proceedings of the 4th international workshop Cspjade: architectural driven development of on modelling, simulation,verification and complex embedded system software using a csp validation of enterprise information systems paradigm based generation tool code msvveis-2006

Capítulo 2006 de libro

Design and implementation of the branch-andbound algorithmic design technique as a high level parallel composition

Proceedings of the 2nd european modeling and Capítulo 2006 simulation symposium¿ (emss 2006) de libro

Design of real-time systems by systematic Proceedings of the 8th international conference Capítulo transformation of uml/rt models into simple timed on enterprise information systems ( año: 2006, 2006 de libro process algebra system specifications isbn: 987-972-8865-43-6) Diseño de un sistema de control domótico basado en java

Actas xxvii jornadas de automática 2006 (isbn: Capítulo 2006 84-689-9417-0) de libro

Enfoque metodológico para la transformación sistemática de modelos uml/rt a csp+t

Energia y computacion

Articulo 2006

Proceedings of the 4th international workshop on modelling, simulation,verification and validation of enterprise information systems

Capítulo 2006 de libro

Formal specification of real-time systems by transformation of uml-rt design models

transformation of uml-rt design models

validation of enterprise information systems msvveis-2006

de libro

High level compositions (cpans) for the parallel programming based on the use of communication patterns

Gests international transactions on computer science and engineering

Capítulo 2006 de libro

High level parallel compositions (cpans) for the parallel programming based on the use of communication patterns

Research in computing science

Articulo 2006

A csp+t based method for obtaining a reliable model of a real-time closed loop control

Actas del i simposio sobre sistemas de tiempo Capítulo real del congreso español de informática (cedi 2005 de libro 2005)

A methodological approach to parallel programming based on high level parallel compositions

La computación en puebla en el siglo xxi

Capítulo 2005 de libro

An approach to structured parallel program-ming based on a composition of parallel objects

Actas de las xvi jornadas de paralelismo (jp2005)

Capítulo 2005 de libro

An integration scheme for cpn and process Modelling, simulation, verification and algebra applied to a manufacturing industry case validation of enterprise information systems

Capítulo 2005 de libro

Combining the description features of uml-rt and csp+t specifications aplied to a complete design of real-time systems

Enformatika

Capítulo 2005 de libro

Combining the description features of uml-rt and csp+t specifications applied to a complete design of real-time systems

International journal of information technology

Articulo 2005

Cspjade: a code generating case tool for embedded systems based on reusable components and csp paradigm

Proceedings of 7th conference with international participations on new trends of technology systems operation

Capítulo 2005 de libro

Cspjade: a code generating case tool for embedded systems based on reusable components and csp paradigm

Manufacturing engineering

Articulo 2005

Design and use of the cpan branch & bound Proceedings of the 14th international for the solution of the travelling salesman conference on electronics, computers and problem (tsp) communications (conielecomp05)

Capítulo 2005 de libro

Design and use of the cpan branch & bound Proceedings of simulation in wider europe for the solution of the traveling salesman (ecms 2005) problem (tsp)

Capítulo 2005 de libro

From csp+t specification to java implementation: the production cell case study

Actas del i simposio sobre sistemas de tiempo Capítulo real del congreso español de informática (cedi 2005 de libro 2005)

Methodological proposal for complete real time systems design by combining uml-rt and csp+t formal specifications

Proceedings of 7th conference with international participations on new trends of technology systems operation

Capítulo 2005 de libro

Una metodología de programación basada en composiciones paralelas de alto nivel (cpans)

Universidad de granada. lenguajes y sistemas informáticos

Tesis 2005 doctoral

A new design procedure for a real-time hybrid system model

Actas de las iv jornadas iberoamericanas en ingeniería del software e ingeniería del conocimiento

Capítulo 2004 de libro

A parallel programming methodology based on high level parallel compositions (cpans)

Proceedings of 14th international conference Capítulo on electronics, communications and computers 2004 de libro (conielecomp 2004)¿

A transformational approach to the systematic design of real-time systems

New ways in manufacturing technologies 2004

Capítulo 2004 de libro

A transformational approach to the systematic design of real-time systems

Manufacturing engineering

Articulo 2004

Manufacturing engineering

Articulo 2004

Formalization of rt/sa system user requeriments

Manufacturing engineering

Articulo 2004

Formalization of rt/sa system user requeriments applied to a manufacturing industry case

Management of manufacturing systems

Capítulo 2004 de libro

Systematic design of real-time systems based on csp+t process algebra

Verification and validation of enterprise information systems

Capítulo 2004 de libro

Una metodología de programación basada en composiciones paralelas de alto nivel (cpans)

Libro de memorias 2do. congreso nacional de ciencias de la computación

Capítulo 2004 de libro

applied to a manufacturing industry case

Fbt (fil to büchi automaton translator): herramienta para especificar y verificar sistemas Concurrencia y sistemas distribuidos concurrentes mediante fórmulas de intervalos

Capítulo 2003 de libro

Desde especificaciones lógicas de intervalos a autómatas de propiedad: una construcción tableau para su aplicación a la comprobación de modelos on-the-fly

Universidad de granada. lenguajes y sistemas informáticos

Tesis 2002 doctoral

On-the-fly model checking from interval logic specifications

Sigplan notices

Articulo 2002

Automata generation for on-the-fly automatic verification using formulas of an interval logic

Application of concurrency to system design

Capítulo 2001 de libro

Mathematical modeling of real-time processes

Mathematical modeling of technical processes

Capítulo 2001 de libro

Verificación automatizada eficiente de sistemas Vi jornadas de ingeniería del software y bases concurrentes especificando sus propiedades con de datos fórmulas de una lógica de intervalos

Capítulo 2001 de libro

Distributed objects for parallel programming in multicomputers

Capítulo 2000 de libro

Applied informatics 2000

Software analysis methods for real time systems Mathematical modelling of technical processes

Capítulo 2000 de libro

Desarrollo de un prototipo para la celda de producción en javapp

Actas iv jornadas de informática

Capítulo 1998 de libro

A proposal to improve reusability in a language based on the occam-csp model

5th euromicro workschop on parallel and distributed processing

Capítulo 1997 de libro

Implementación de una herramienta de especificación y validación para sistemas reactivos

Actas de las iii jornadas de informática

Capítulo 1997 de libro

Titulo proyecto

Tipo

1 Un entorno de desarrollo para sistemas de medicion distribuidos heterogeneos 2

Inicio

Fin

Proyecto 12/13/04 12/13/07

Verificacion automatica de sistemas de tiempo real utilizando una lógica temporal Proyecto 2/12/03 12/31/03 de intervalos

3 Un entorno de desarrollo para sistemas distribuidos heterogeneos

Proyecto 5/19/94

5/19/97

Actividades 6 Titulo actividad

Tipo

Fecha

Participación en: comité de programa de wodes ()

Comité científico en sociedad ci

Sep 1, 2001

Participación en: comité de programa del simposio sobre sistemas de Cedi tiempo real ()

Comité científico en sociedad ci

Sep 1, 2004

Participación en: comité de programa de las jornadas nacionales de tiempo real ()

Jornadas tiempo real

Comité científico en sociedad ci

Feb 1, 2008

Participación comité de programa 4th international conference on enterprise information systems. iceis 2002

Iceis

Comité científico en sociedad ci

Sep 1, 2008

Participación en comité de revista: manufacturing engineering

Comités científicos de revista

Mar 1, 2004

Participación en comité de revista: journal of network and computer applications

Comités científicos de revista

Jan 1, 1998

Colaboradores JUAN ANTONIO HOLGADO TERRIZA (27) KAWTAR BENGHAZI AKHLAKI (15) LUIS EDUARDO MENDOZA MORALES (15) MARIO ROSSAINZ LÓPEZ (10) MIGUEL JUAN HORNOS BARRANCO (5) ALFREDO MORENO GUILLÉN (3) JAIME VIÚDEZ AIVAR (3) JOSÉ RAMÓN BALSAS ALMAGRO (3) ANTONIO LOPEZ FERNANDEZ (2) FRANCISCO ARAQUE CUENCA (2) JOSE FRANCISCO QUESADA MORENO (2) RAMÓN LÓPEZ-CÓZAR DELGADO (2) JOSE MIGUEL MANTAS RUIZ (1) JOSÉ LUIS GARRIDO BULLEJOS (1) NIEVES ÁBALOS SERRANO (1)

Fuente