Pablo Rabanal's personal web
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+

Scheme

Home
Contact
Links

Pablo M. Rabanal Basalo

E-mail: prabanal@fdi.ucm.es
Phone: (+34) 91-394-76-46

       Idioma Español        Language English

Presentation

Monday, December 3rd 2012

Hello, I'm working as Doctor Assistant Professor at Sistemas Informáticos y Computación Departament of the Faculty of Computer Science in the Complutense University of Madrid, Spain.

I am member of the Testing and Performance Evaluation Group.

In the course 2012-2013 I am teaching  Software Engineering (Faculty of Computer Science) and Computing (Faculty of Mathematics).


Research

Monday, December 3rd 2012

My main research interests are heuristic methods, formal methods, software testing, and web services.

If you are interested in my work, you can have a look at my list of publications obtained from DBLP.

If you are interested in some of my papers and you want to obtain the pdf version of one of them, you only have to contact with me.

In this section you will find some material about my research:

Proving MDV & MSV NP completeness.

Graphs used on the experiments about TSP, MDV & MSV.

IWANN 2009 - Extended version

ICTAC 2009 - Extended version

JUCS 2009

STVR 2010

My thesis 2010: Heuristic algorithms and applications to formal methods

FI 2012 - Appendix

SAC 2013 - Appendix


Author: Pablo 2008.