Marisa Llorens

Associate Prof. of Computer Science (Prof. Titular de Universidad)

Ph.D. in Computer Science (Doctora en Informática)

Member of the MiST / ELP / GPLIS research group

Address

                  Departamento de Sistemas Informáticos y Computación (DSIC)
                  Universitat Politècnica de València (UPV)
                  Camino de Vera s/n, E-46022 Valencia, Spain

Phone       +34 96 387 7000  (Ext. 73534)
Fax           +34 96 387 7359
e-mail       mllorens@dsic.upv.es
 
Office       2D44 (DSIC Building)

Software       CSP-Tracker, a dynamic program slicer for CSP.
                      CSP-Slicer SOC, a static program slicer for CSP.
                      CSP2PN, a tool to transform a CSP specification into an equivalent Petri net.
                      MCReNet tool, a tool for Marked-Controlled Reconfigurable Nets.

Agenda       XVII Jornadas de Concurrencia y Sistemas Distribuidos (JCSD 2009), Sagunto, Valencia (Spain), 10-12 June, 2009.

MiST

ELP

GPLIS

DSIC

UPV