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 develoment 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

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. 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.

PROFESIONAL EXPERIENCE

GRANTS

OTHER INFORMATION

Languages

Reviewer for the following journals: