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