 |
RESEARCH STUDENT
— João Abril de Abreu Language Engineering (Uni. of Lisbon)
Ph.D Researcher
|
G3 Ken Edwards Building
School of Computing and Mathematical Sciences,
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
|
-
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
|
