computer science

	RESEARCH STUDENT — João Abril de Abreu  Language Engineering (Uni. of Lisbon) Ph.D Researcher
	G3 Computer Science Building Department of Computer Science, University of Leicester, University Road, Leicester, LE1 7RH. T: +44 (0)116 252 3905 F: +44 (0)116 252 3915 E: jpad2@mcs.le.ac.uk

Publications

• Modelling Business Conversations in Service Component Architectures [pdf].
  João Abreu
  Ph.D. Thesis, University of Leicester, 2009
• A Formal Approach to Service-Oriented Modelling [pdf].
  José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi and João Abreu.
  A comprehensive account of the SRML language.
• A Formal Approach to Modelling Time Properties of Service-Oriented Systems [pdf].
  Laura Bocchi, José Luiz Fiadeiro, Stephen Gilmore, João Abreu, Monika Solanki and Vishnu Vankayala.
  
• A Model-Checking Approach for Service Component Architecture [pdf].
  João Abreu, Franco Mazzanti , José Luiz Fiadeiro and Stefania Gnesi.
  In Formal Techniques for Distributed Systems, LNCS 5522 © Springer 2009
  An extended version of this paper is available [pdf].
• A Coordination Model for Service-Oriented Interactions [pdf].
  João Abreu and José Luiz Fiadeiro.
  In Coordination Models and Languages, LNCS 5052 © Springer 2008
• Specifying and Composing Interaction Protocols for Service-Oriented System Modelling [pdf].
  João Abreu, Laura Bocchi, Antónia Lopes and José Luiz Fiadeiro.
  In Formal Techniques for Networked and Distributed Systems, LNCS 4574 © Springer 2007
• ConGu, Checking Java Classes Against Property-Driven Algebraic Specifications [pdf].
  João Abreu, Alexandre Caldeira, Antónia Lopes, Isabel Nunes, Luís S. Reis and Vasco Vasconcelos.
  Technical Report, DI/FCUL TR 07-7, 2007
• Checking the Conformance of Java Classes Against Algebraic Specifications [pdf].
  Isabel Nunes, Antónia Lopes, Vasco Vasconcelos, João Abreu and Luís S. Reis.
  In Formal Methods and Software Engineering, LNCS 4260 © Springer 2006

Projects

• SENSORIA - Software Engineering for Service-Oriented Overlay Computers
• ConGu - Contract Guided System Development (until May 2006)

Curriculum

• My LinkedIn profile.

Author: João Abril de Abreu (jpad2@mcs.le.ac.uk), T: +44 (0)116 252 3905.
© University of Leicester 18 Oct 2006. Last modified: 26th November 2009, 10:37:45.
CS Web Maintainer. Any opinions expressed on this page are those of the author.