Carlos III University of Madrid Telematic Engineering Department
Home / Personnel / Group / Simon Pickin
anteriorsiguiente

 

Simon Pickin
Visiting Lecturer

Telephone: (+34) 91-624-8746
Fax: (+34) 91-624-8749
E-mail:
Address: Universidad Carlos III de Madrid. Avda de la Universidad, 30
E-28911 Leganés (Madrid) Spain
Visits: Escuela Politécnica Superior · Torres Quevedo Building ·
Office 4.1A06


 TEACHING

2009-2010

Tutorial times

Preferred: Thursday 12:00 - 13:00
Other times: Tuesday 12:00 - 14:00, 18:00 - 19:00; Wednesday 16:00 - 18:00 (to be arranged previously by e-mail),
 
 RESEARCH

Some recent publications

  • "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. In Foundations and Techniques for Open Source Certification (eds. L. Barbosa, A. Cerone, S. Shaikh), Electronic Communications of the EASST, Vol. 33, 2010. EASST 2010. (OJS link)
  • "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)
List of publications: pdf

Research Projects

List of international research projects: html
 LINKS
versión española

Location | Personnel | Teaching | Research | News | Intranet
inicio | mapa del web | contacta