Research Go to the top

My research is circumscribed to use formal methods in different application areas. Currently, I'm mainly working in the area of formal methods for testing complex systems but occasionally do some work on probabilistic and timed extensions of process algebras. I'm also working in the use of formal methods in user modelling, with an emphasis on collective intelligence. In particular, I'm interested in the inclusion/addition/adaption of formal methods and economic concepts and systems.

I was the founder of the Testing and Performance Evaluation research group at the Universidad Complutense de Madrid. The group is currently lead by my colleagues Luis Llana and Mercedes G. Merayo.

I was the scientific coordinator of the Marie Curie RTN TAROT (Training And Research On Testing). The network coordinator was Ana Cavalli. As one of the network activities, I organized the 2nd Tarot Summer School in Toledo, Spain, June 2006 and the 5th Tarot Summer School in Las Navas del Marqués, Spain, July 2009.

I got the best paper award in the FORTE 2001 Conference with this paper where the language PAMR is introduced. I also got the best academic paper award in the IEES 2005 Symposium with this paper where we apply a novel testing methodology to an automotive system.

I gave this invited talk in the ICTSS 2011 Conference. This talk outlines some of my main contributions to the field of formal testing of timed systems.

In this interview (in Spanish, by Mario Piatinni) I comment on my past and current (2011) research lines.

I have co-edited the following proceedings in the LNCS series:

The DBLP list containing most of my publications can be found here. If you are interested in any of my papers and you cannot access them, contact me.

Committees, Conferences, Workshops and Summer Schools Go to the top

I am a member of the IEEE SMC Technical Committee on Computational Collective Intelligence.

I am a member of the Board of Directors of the Tarot Summer School on Software Testing (the other two members are Ana Cavalli and Rob Hierons). The next two editions of the Summer School will take place at:

I am a member of the A-MOST Steering Committee. The previous meetings of the workshop were:

  • 1st A-MOST Workshop, collocated with ICSE 2005, St. Louis, Missouri - USA, May 15-16, 2005
  • 2nd A-MOST Workshop, collocated with ISSRE 2006, Raleigh, North Carolina - USA, November 7th, 2006
  • 3rd A-MOST Workshop, collocated with ISSTA 2007, London, 9th July 2007
  • 4th A-MOST Workshop, collocated with ICST 2008, Lillehammer, Norway, April 9th, 2008
  • 5th A-MOST Workshop, collocated with ICST 2009, Denver, USA, April 1st, 2009
  • 6th A-MOST Workshop, collocated with ICST 2010, Paris, France, April 6th, 2010
  • 7th A-MOST Workshop, collocated with ICST 2011, Berlin, Germany, March 21st, 2011
  • 8th A-MOST Workshop, collocated with ICST 2012, Montreal, Canada, April 17th, 2012
  • 9th A-MOST Workshop, collocated with ICST 2013, Luxembourg, Luxembourg, March 22nd, 2013

I was a member of the ICTSS Steering Committee (formerly known as TestCom/FATES) for the period 2009-2012.

I am a member of the Editorial Boards of the Transactions on Computational Collective Intelligence and of the Journal of Universal Computer Science, and a member of the Review Board of the International Journal of Information Technology and Web Engineering.

During 2013 and 2014 I am involved in the following events:

Previously, I was involved in these events (by year: 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004 and before).

Former Ph.D. Students Go to the top

Teaching Go to the top

I was teaching the following courses during the Fall semester of the 2012-2013 academic year (information in Spanish):