Model checking a video-on-demand server using Mcerlang
| Authors | Lars-Ake Fredlund, Juan José Sánchez Penas |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (pages 539 to 546) |
| Department | Computer Science and Information Technologies |
| Knowledgment area | Computational Science and Artificial Intelligence |
| Research | Research group Models and Applications of Distributed Systems |
| Research lines | No data available from Curriculum Management System at UDC. (SUXI). |
| Contacto | UDC directory |
| Scopus57198660045 | |
This section shows the teaching given in degrees, masters and other officers studies in last 6 years.
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
| Concurrency and Parallelism | Compulsory | 0 | 55 |
| Design of Information Systems | Compulsory | 0 | 63 |
| Human Machine Interfaces | Compulsory | 0 | 30 |
| Master's Dissertation | Compulsory | 0 | 2 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Concurrency and Parallelism
Degree in Computer Engineering
|
Compulsory | 0 | 57 |
|
Design of Information Systems
Master's in Computer Engineering
|
Compulsory | 0 | 63 |
|
Human Machine Interfaces
Degree in Computer Engineering
|
Compulsory | 0 | 30 |
|
Master's Dissertation
Master's in Computer Engineering
|
Compulsory | 0 | 2 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Concurrency and Parallelism
Degree in Computer Engineering
|
Compulsory | 0 | 45 |
|
Design of Information Systems
Master's in Computer Engineering
|
Compulsory | 0 | 63 |
|
Human Machine Interfaces
Degree in Computer Engineering
|
Compulsory | 0 | 30 |
|
Master's Dissertation
Master's in Computer Engineering
|
Compulsory | 0 | 10 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Concurrency and Parallelism
Degree in Computer Engineering
|
Compulsory | 0 | 60 |
|
Design of Information Systems
Master's in Computer Engineering
|
Compulsory | 0 | 63 |
|
Human Machine Interfaces
Degree in Computer Engineering
|
Compulsory | 0 | 26 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Concurrency and Parallelism
Degree in Computer Engineering
|
Compulsory | 0 | 60 |
|
Design of Information Systems
Master's in Computer Engineering
|
Compulsory | 0 | 63 |
|
Human Machine Interfaces
Degree in Computer Engineering
|
Compulsory | 0 | 26 |
|
Master's Dissertation
Master's in Computer Engineering
|
Compulsory | 0 | 10 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Concurrency and Parallelism
Degree in Computer Engineering
|
Compulsory | 0 | 60 |
|
Design of Information Systems
Master's in Computer Engineering
|
Compulsory | 0 | 63 |
|
Human Machine Interfaces
Degree in Computer Engineering
|
Compulsory | 0 | 26 |
Defined tutoring by teacher for 2024/2025 academic course.
| Quarter | Day | Site |
|---|---|---|
| 1st quarter |
Wednesday
12:30 a 14:30 |
Teams |
| 1st quarter |
Friday
12:30 a 14:30 |
Teams |
| 2nd quarter |
Thursday
12:30 a 14:30 |
Teams |
| 2nd quarter |
Friday
12:30 a 14:30 |
Teams |
Directed or codirected by current teacher since 2013 year.
| Development of custom proesthetics with fre software and hardware |
Select merit type and year to query research merits.
Model checking a video-on-demand server using Mcerlang
| Authors | Lars-Ake Fredlund, Juan José Sánchez Penas |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (pages 539 to 546) |
Towards a Certified and Efficient Computing of Gröbner Bases
| Authors | José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 3643 (pages 111 to 120) |
Development of a Scalable, Fault Tolerant and Low Cost Cluster-based e-Payment System with a Distributed Functional Kernel
| Authors | 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 |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 2809 (pages 220 to 230) |
Development of a Scalable, Fault Tolerant, and Low Cost Cluster-Based e-Payment System with a Distributed Functional Kernel
| Authors | 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 |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 2809 (pages 220 to 230) |
Lambda Goes to Hollywood
| Authors | Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Juan José Sánchez Penas |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 2562 (pages 391 to 407) |
Reasoning about a Functional Program for computing Gröbner Basis
EUROCAST 2005. Tenth International Conference on Computer Aided Systems Theory
International
| Authors | José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas |
| Place | 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)
International
| Authors | Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas |
| Place | 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
International
| Authors | 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 |
| Place | España |
Extending the VoDKA architecture to improve resource modelling
2nd ACM SIGPLAN Erlang Workshop (PLI 2003)
International
| Authors | Juan José Sánchez Penas, Carlos Abalde Ramiro |
| Place | Uppsala (Suecia) |