Universidad de Castilla-La Mancha
 
Departamento de Sistemas Informáticos


 Personal

  Curso: 2017-18. Cambiar a:  2016-17   2018-19

Nombre: VALERO RUIZ, VALENTIN
despacho: 1.A.14
extension: 2499-2684
correo electrónico:
Categoría: Catedrático de Universidad
cargo: Responsable del Area de conocimiento de Lenguajes y Sistemas Informaticos
Página: Pulsa aquí para ver la página particular



Asignaturas Impartidas 2017-18
Sistemas Distribuidos
Sistemas Operativos II



Tutorías 2017-18
primer cuatrimestre segundo cuatrimestre
lunes 10:00-13:00
martes 10:00-13:00
lunes 10:00-13:00
martes 10:00-13:00




Technical Reports
DIAB-00-01-11 2000-11-01 A Process Algebra for Probabilistic and Nondeterministic Processes
DIAB-01-01-12 2003-03-31 Translating a timed process algebra into dynamic stage graphs
DIAB-01-01-14 2001-01-01 Herramientas de ayuda al diseño y evaluación de sistemas concurrentes
DIAB-01-01-19 2001-09-01 Algebraic Theory of Probabilistic and Nondeterministic Processes
DIAB-02-01-25 2002-01-01 NEW FEATURES OF TPAL FOR THE SPECIFICATION AND ANALISIS OF CONCURRENT SYSTEMS
DIAB-02-01-26 2002-06-01 A new proposal for the synchronization in SPBC
DIAB-02-01-31 2002-10-01 A Congruence relation in finite sPBC
DIAB-02-01-32 2002-11-01 Analysis of the MPEG-2 Encoding Algorithm with ROSA
DIAB-03-01-37 2003-09-17 Introducing the iteration in sPBC
DIAB-04-10-1 2004-10-26 Simulation and Visualization of Timed-Arcs Petri Nets in TPAL
DIAB-06-05-1 2006-05-17 WS-CDL to Timed Automata Translation
DIAB-09-04-1 2009-04-16 Web Services Choreographies Verification
DIAB-09-04-3 2009-04-20 A comparative study between WSCI, WS-CDL, and OWL-S
DIAB-10-03-1 2010-03-01 Discrete time stochastic Petri box calculus with immediate multiactions
DIAB-11-06-2 2011-06-28 Stochastic equivalence for modular performance evaluation in dtsiPBC
DIAB-11-11-1 2011-11-16 Automatic Translation from WS-CDL to Prioritized-Timed Colored Petri Nets by using WST Tool.
DIAB-12-04-2 2012-04-24 A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF
DIAB-12-10-2 2012-10-23 Applying stochastic equivalence to performance evaluation in dtsiPBC
DIAB-14-01-1 2014-01-28 Stochastic equivalence for performance evaluation of concurrent systems in dtsiPBC
DIAB-16-03-1 2016-03-11 Bisimulation equivalence and Performance Evaluation in dtsiPBC
DIAB-98-01-02 1998-10-01 A Denotational Model for Probabilistic and Nondeterministic Processes
DIAB-99-01-05 1999-01-05 Prototipo de una herramienta de ejecucion de especificaciones en tpal.


 

Sindicación     Sindicación     Sindicación
Curso: 2017-18
© Departamento de Sistemas Informáticos
ESII - Avda. de España s/n
02071 Albacete
Tfno: 967 59 92 00 - Fax: 967 59 92 24

aviso legal