Victorino Sanz Prat

Assistant Professor


Departamento de Informática y Automática.
E.T.S.I. Informática.
UNED.
c/ Juan del Rosal 16
28040 Madrid, Spain.
Phone: (+34) 91 398 94 69
Fax: (+34) 91 398 76 90
Email: vsanz@dia.uned.es

Download the full CV in PDF format here.

EDUCATION

ETSI Informática, UNED

Ph.D. in Computer Science (with European Mention), May 2010.

Facultad de Infomática, Universidad Politécnica de Madrid

Computer Science Engineer, September 2004.

RESEARCH

Main research interests:

Currently working on the development of several Modelica libraries for discrete-event system and hybrid system modeling and simulation. These libraries are:

I also developed an implementation in Modelica of the semaphores synchronization mechanism invented by E.D.Dijkstra in 1965. Semaphores.

BOOKS

Victorino Sanz. Hybrid System Modeling, Lap Lambert Academic, Saarbruken, 2011.

JOURNAL ARTICLES

Daniel Heredia, Victorino Sanz, Alfonso Urquia, Máximo Sandín. A Systemic Approach for Modeling Biological Evolution using Parallel DEVS. Biosystems, 134(Aug 2015), 2015, pp. 56-70. (full paper)

Victorino Sanz, Alfonso Urquia, François E. Cellier, Sebastian Dormido. Hybrid System Modeling using the SIMANLib and ARENALib Modelica Libraries. Simulation Modeling Practice and Theory, 37, 2013, pp. 1-17. (full paper)

Victorino Sanz, Alfonso Urquia, François E. Cellier, Sebastian Dormido. Modeling of Hybrid Control Systems using the DEVSLib Modelica Library. Control Engineering Practice, 20(1), 2011, pp. 24-34. (full paper)

Victorino Sanz, Alfonso Urquia, François E. Cellier, Sebastian Dormido. System Modeling using the Parallel DEVS Formalism and the Modelica Language. Simulation Modeling Practice and Theory, 18(7), 2010, pp. 998-1018. (full paper)

Victorino Sanz, Alfonso Urquia, Sebastian Dormido. Introducing Messages in Modelica for Facilitating Discrete-Event System Modeling. Simulation News Europe, 18(2), 2008, pp 42-43. (pdf)

CONFERENCES

Victorino Sanz, Alfonso Urquia, Francesco Casella. Improving Efficiency of Hybrid System Simulation in Modelica In Proc. of 6th International Workshop on Equation-Based Object-Oriented Languages and Tools, Berlin, Germany, 2014, pp. 21-28. (full paper)

Victorino Sanz, Alfonso Urquia, Alberto Leva. 1D/2D Cellular Automata Modeling with Modelica. In Proc. of 10th International Modelica Conference, Lund, Sweden, 2014, pp. 489--498. (pdf)

Victorino Sanz, Alfonso Urquia. An Approach to Cellular Automata Modeling in Modelica. In Proc. of 5th International Workshop on Equation-Based Object-Oriented Languages and Tools, Nottingham, UK, 2013, pp. 121-130. (pdf)

Victorino Sanz, Alfonso Urquia, Sebastian Dormido. Integrating Parallel DEVS and Equation-Based Object-Oriented Modeling. In Proc. of the DEVS Symposium, Spring Simulation Multiconference, Orlando, FL, USA, 2010. (full paper)

Victorino Sanz, Alfonso Urquia, Sebastian Dormido. Parallel DEVS and Process-Oriented Modeling in Modelica. In Proc. of the 7th International Modelica Conference, Como, Italy, 2009. (pdf)

François E. Cellier, Victorino Sanz. Mixed Quantitative and Qualitative Simulation in Modelica. In Proc. of the 7th International Modelica Conference, Como, Italy, 2009. (pdf)

Victorino Sanz, François E. Cellier, Alfonso Urquia, Sebastian Dormido. Modeling of the ARGESIM “Crane and Embedded Controller” System using the DEVSLib Modelica library. In Proc. of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09), Zaragoza, Spain, 2009. (pdf)

Victorino Sanz, Shafagh Jafer, Gabriel Wainer, Gabriela Nicolescu ,Alfonso Urquia, Sebastian Dormido. Hybrid Modeling of Opto-Electrical Interfaces Using DEVS and Modelica. In Proc. of the DEVS Integrative M&S Symposium, Spring Simulation Multiconference, San Diego, CA, USA, 2009. (pdf)

Victorino Sanz, Alfonso Urquia, Sebastian Dormido. Introducing Messages in Modelica for Facilitating Discrete-Event System Modeling. In Proc. of 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, Paphos, Cyprus, 2008, pp. 83-93. (pdf)

Victorino Sanz, Alfonso Urquia, Sebastian Dormido. DEVS Specification and Implementation of SIMAN Blocks Using Modelica Language. In Proc. of the Winter Simulation Conference 2007, Washington, DC, USA, 2007, pp. 2374-2374. (pdf)

Victorino Sanz, Alfonso Urquia, Sebastian Dormido. ARENALib: A Modelica Library for Discrete-Event System Simulation. In Proc. of the 5th Int. Modelica Conference, Vienna, Austria, 2006, pp. 539-548. (pdf)

RESEARCH PROJECTS

RESEARCH STAYS

Politecnico di Milano

TU Delft

ETH Zurich

Carleton University

TEACHING

Undergraduate courses, ETSI Informática, UNED

Graduate courses, ETSI Informática, UNED

Undergraduate courses, Madrid Associated Centre, UNED

Kaliform S.A.

SUPERVISED THESIS

Miguel Ángel Fernández Lancha. Hacia una Ciencia Computacional en las Aulas. Trabajo Fin de Máster, Máster de Secundaria, 2014.

Ana Leiba Martínez. Unidad didáctica para la asignatura optativa de Informática en 4º de ESO: Internet y redes sociales (red social GNOSS). Trabajo Fin de Máster, Máster de Secundaria, 2014.

Angel Yagüe Macías. Desarrollo de un blog informático, mediante trabajo cooperativo. Trabajo Fin de Máster, Máster de Secundaria, 2013.

Diego Pérez Pérez. La pizarra digital interactiva (PDi) en la educación. Trabajo Fin de Máster, Máster de Secundaria, 2013.

Jesús de Francisco García. Modelo social aplicado a la didáctica de los sistemas operativos monopuesto. Trabajo Fin de Máster, Máster de Secundaria, 2013.

Vicente Marcos Sierra Diego. El papel de la informática en el curriculum de secundaria actual, una programaci%oacute;n alternativa. Trabajo Fin de Máster, Máster de Secundaria, 2013.

Roberto Antón Marqués. Desarrollo de una herramienta para la resolución de problemas de optimización discreta con algoritmos genéticos. Proyecto Fin de Carrera, Dpto. de Informática y Automática, ETSI Informática, UNED, 2013.

PROFESIONAL EXPERIENCE

GRANTS

OTHER INFORMATION

Languages

Reviewer for the following journals:

SOME INTERESTING LINKS