Universidad Carlos III de Madrid Departamento de Ingeniería Telemática
Home / Personal / Profesores Visitantes / Simon Pickin anteriorsiguiente

 

Simon Pickin
Profesor Visitante

Teléfono: (+34) 91-624-8746
Fax: (+34) 91-624-8749
E-mail:
Dirección: Universidad Carlos III de Madrid. Avda de la Universidad, 30
E-28911 Leganés (Madrid) Spain
Visitas: Escuela Politécnica Superior · Edificio Torres Quevedo ·
Despacho 4.1A06


 DOCENCIA

2009-2010

Horario de tutorías

Preferente: jueves 12h - 13h
Otras horas: martes 12h - 14h, 18h - 19h; miércoles 16h - 18h (previa cita por correo-e)
 
 INVESTIGACIÓN

Algunas publicaciones recientes

  • "A formal nethod (a networked formal method)". Peter Breuer and Simon Pickin. Innovations in Systems and Software Engineering, Vol. 6, No. 4, Dec. 2010. Springer 2010. (Springerlink)
  • "Open-source verification under a cloud" Peter Breuer and Simon Pickin. En Foundations and Techniques for Open Source Certification (eds.: L. Barbosa, A. Cerone, S. Shaikh). Electronic Communications of the EASST, Vol. 33, 2010. EASST 2010. (enlace OJS)
  • "Approximate verification in an open-source world". Peter Breuer and Simon Pickin. Innovations in Systems and Software Engineering Vol. 4, No. 1, Apr. 2008. Springer 2008. (Springerlink)
  • "Test synthesis from UML models of distributed software". Simon Pickin, Claude Jard, Thierry Jéron, Jean-Marc Jézéquel, and Yves Le Traon. IEEE Transactions on Software Engineering, 33(4):252--269, April 2007. (IEEE Explore)
  • "Symbolic approximation: an approach to verification in the large". Peter Breuer and Simon Pickin. Innovations in Systems and Software Engineering Vol.2, Nos. 3-4, Dec. 2006. Springer 2006. (Springerlink)
Lista de publicaciones: pdf

Proyectos de Investigación

Lista de proyectos de investigación internacionales: html
 ENLACES
english version

Localización | Personal | Docencia | Investigación | Novedades | Intranet
inicio | mapa del web | contacta