Model checking a video-on-demand server using Mcerlang
| Autores | Lars-Ake Fredlund, Juan José Sánchez Penas |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (págs. 539 a 546) |
| Departamento | Ciencias de la Computación y Tecnologías de la Información |
| Área | Ciencia de la computación e inteligencia artificial |
| Investigación | Grupo de investigación Models and Applications of Distributed Systems |
| Líneas de investigación | No figuran en el gestor curricular de la UDC (SUXI). |
| Contacto | Directorio de la UDC |
| Scopus57198660045 | |
En este apartado se muestra la docencia impartida en grados, másteres y resto de estudios oficiales en los últimos 6 años.
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
| Concurrencia y Paralelismo | Obligatorio | 0 | 55 |
| Diseño de Sistemas de Información | Obligatorio | 0 | 63 |
| Interfaces Persona Máquina | Obligatorio | 0 | 30 |
| Trabajo Fin de Máster | Obligatorio | 0 | 2 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Concurrencia y Paralelismo
Grado en Ingeniería Informática
|
Obligatorio | 0 | 57 |
|
Diseño de Sistemas de Información
Máster Universitario en Ingeniería Informática
|
Obligatorio | 0 | 63 |
|
Interfaces Persona Máquina
Grado en Ingeniería Informática
|
Obligatorio | 0 | 30 |
|
Trabajo Fin de Máster
Máster Universitario en Ingeniería Informática
|
Obligatorio | 0 | 2 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Concurrencia y Paralelismo
Grado en Ingeniería Informática
|
Obligatorio | 0 | 45 |
|
Diseño de Sistemas de Información
Máster Universitario en Ingeniería Informática
|
Obligatorio | 0 | 63 |
|
Interfaces Persona Máquina
Grado en Ingeniería Informática
|
Obligatorio | 0 | 30 |
|
Trabajo Fin de Máster
Máster Universitario en Ingeniería Informática
|
Obligatorio | 0 | 10 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Concurrencia y Paralelismo
Grado en Ingeniería Informática
|
Obligatorio | 0 | 60 |
|
Diseño de Sistemas de Información
Máster Universitario en Ingeniería Informática
|
Obligatorio | 0 | 63 |
|
Interfaces Persona Máquina
Grado en Ingeniería Informática
|
Obligatorio | 0 | 26 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Concurrencia y Paralelismo
Grado en Ingeniería Informática
|
Obligatorio | 0 | 60 |
|
Diseño de Sistemas de Información
Máster Universitario en Ingeniería Informática
|
Obligatorio | 0 | 63 |
|
Interfaces Persona Máquina
Grado en Ingeniería Informática
|
Obligatorio | 0 | 26 |
|
Trabajo Fin de Máster
Máster Universitario en Ingeniería Informática
|
Obligatorio | 0 | 10 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Concurrencia y Paralelismo
Grado en Ingeniería Informática
|
Obligatorio | 0 | 60 |
|
Diseño de Sistemas de Información
Máster Universitario en Ingeniería Informática
|
Obligatorio | 0 | 63 |
|
Interfaces Persona Máquina
Grado en Ingeniería Informática
|
Obligatorio | 0 | 26 |
Tutorías definidas por el/la docente para el curso académico 2024/2025.
| Cuatrimestre | Día | Lugar |
|---|---|---|
| Primer cuatrimestre |
miércoles
12:30 a 14:30 |
Teams |
| Primer cuatrimestre |
viernes
12:30 a 14:30 |
Teams |
| Segundo cuatrimestre |
jueves
12:30 a 14:30 |
Teams |
| Segundo cuatrimestre |
viernes
12:30 a 14:30 |
Teams |
Dirigidos o codirigidos por el/la docente desde el año 2013.
| Desarrollo de una prótesis personal con software y hardware libre |
Puede consultar los méritos de investigación seleccionando un tipo de mérito y el año.
Model checking a video-on-demand server using Mcerlang
| Autores | Lars-Ake Fredlund, Juan José Sánchez Penas |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (págs. 539 a 546) |
Towards a Certified and Efficient Computing of Gröbner Bases
| Autores | José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 3643 (págs. 111 a 120) |
Development of a Scalable, Fault Tolerant and Low Cost Cluster-based e-Payment System with a Distributed Functional Kernel
| Autores | Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas, José Mª García-Tizón Iglesias |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 2809 (págs. 220 a 230) |
Development of a Scalable, Fault Tolerant, and Low Cost Cluster-Based e-Payment System with a Distributed Functional Kernel
| Autores | Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas, José Mª García-Tizón Iglesias |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 2809 (págs. 220 a 230) |
Lambda Goes to Hollywood
| Autores | Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Juan José Sánchez Penas |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 2562 (págs. 391 a 407) |
Reasoning about a Functional Program for computing Gröbner Basis
EUROCAST 2005. Tenth International Conference on Computer Aided Systems Theory
Internacional
| Autores | José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas |
| Lugar | España |
Translating Erlang to mCRL - Making Industrial Code Available for Research Tools
Fourth International Conference on Application of Concurrency to System Design (ACSD 2004)
Internacional
| Autores | Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas |
| Lugar | Hamilton, Ontario (Canadá) |
Development of a Scalable, Fault Tolerant and Low Cost Cluster-based e-Payment System with a Distributed Functional Kernel
9th International Workshop on Computer Aided Systems Theory. EUROCAST2003
Internacional
| Autores | Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas, José Mª García-Tizón Iglesias |
| Lugar | España |
Extending the VoDKA architecture to improve resource modelling
2nd ACM SIGPLAN Erlang Workshop (PLI 2003)
Internacional
| Autores | Juan José Sánchez Penas, Carlos Abalde Ramiro |
| Lugar | Uppsala (Suecia) |