Goto: Thesis, Journals, In Proceedings, Book Chapters, Technical Reports
...beware of the goto statement, I've heard it can be considered harmful... ;)

Thesis


H. T. Vieira. A Calculus for Modeling and Analyzing Conversations in Service-Oriented Computing.
PhD Thesis. Universidade Nova de Lisboa, 2010. (pdf) (pt abstract)
Supervised by Luis Caires.

H. T. Vieira. POLY Language Specification.
BSc in Computer Science Engineering Diploma Thesis, Universidade Nova de Lisboa, October 2002. (pdf) (ps)
Supervised by Luis Caires.

(top)

Journals


L. Caires and H. T. Vieira. Conversation Types.
Theoretical Computer Science 411(51-52): 4399-4440, 2010. (preprint pdf) (full version pdf)

L. Caires and H. T. Vieira. Extensionality of Spatial Observations in Distributed Systems.
Electronic Notes in Theoretical Computer Science 175(3):131-149, 2007. (preprint pdf) (full version pdf)

E. Tuosto and H. T. Vieira. An Observational Model for Spatial Logics.
Electronic Notes in Theoretical Computer Science 142: 229-254, 2006. (preprint pdf) (preprint ps)

(top)

In Proceedings


L. Padovani, V. T. Vasconcelos, and H. T. Vieira. Typing Liveness in Multiparty Communicating Systems.
Appears in COORDINATION'14 Proceedings, LNCS Vol 8459:147-162, Springer, 2014. (pdf)

H. T. Vieira and V. T. Vasconcelos. Typing Progress in Communication-Centred Systems.
Appears in COORDINATION'13 Proceedings, LNCS Vol 7890:236-250, Springer, 2013. (pdf)

P. Baltazar, L. Caires, V. T. Vasconcelos, and H. T. Vieira. A Type System for Flexible Role Assignment in Multiparty Communicating Systems.
Appears in TGC'12 Proceedings, LNCS Vol 8191:82-96, Springer, 2013. (preprint pdf) (full version pdf)

L. Caires and H. T. Vieira. SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications.
Appears in TACAS'12 Proceedings, LNCS Vol 7214:485-491, Springer, 2012. (preprint pdf)

P. Baltazar, V. T. Vasconcelos, and H. T. Vieira. Typing Dynamic Roles in Multiparty Interaction.
Appears in INFORUM'11 proceedings, Universidade de Coimbra, 2011. (preprint pdf)

L. Caires, J. A. Perez, J. C. Seco, H. T. Vieira, and L. Ferrao. Type-based Access Control in Data-Centric Systems.
Appears in ESOP'11 Proceedings, LNCS Vol 6602:136-155, Springer, 2011. (preprint pdf)

L. Caires and H. T. Vieira. Analysis of Service-Oriented Software Systems with the Conversation Calculus.
Appears in FACS'10 proceedings, LNCS Vol 6921:6-33, Springer, 2012. (preprint pdf)

L. Caires and H. T. Vieira. Conversation Types.
Appears in ESOP'09 Proceedings, LNCS Vol 5502:285-300, Springer, 2009. (preprint pdf)

L. Caires, C. Ferreira, and H. T. Vieira. A Process Calculus Analysis of Compensations.
Appears in TGC'08 Proceedings, LNCS Vol 5474:87-103, Springer, 2009. (preprint pdf)

H. T. Vieira, L. Caires, and J. C. Seco. The Conversation Calculus: A Model of Service-Oriented Computation.
Appears in ESOP'08 Proceedings, LNCS Vol 4960:269-283, Springer, 2008. (preprint pdf) (full version pdf)

(top)

Book Chapters


L. Acciai, C. Bodei, M. Boreale, R. Bruni and H. T. Vieira. Static Analysis Techniques for Session-Oriented Calculi.
In Rigorous Software Engineering for Service-Oriented Systems, LNCS Vol 6582:214-231, Springer, 2011. (pdf)

M. Bartoletti, L. Caires, I. Lanese, F. Mazzanti, D. Sangiorgi, H. T. Vieira and R. Zunino. Tools and Verification.
In Rigorous Software Engineering for Service-Oriented Systems, LNCS Vol 6582:408-427, Springer, 2011. (pdf)

C. Ferreira, I. Lanese, A. Ravara, H. T. Vieira and G. Zavattaro. Advanced Mechanisms for Service Combination and Transactions.
In Rigorous Software Engineering for Service-Oriented Systems, LNCS Vol 6582:302-325, Springer, 2011. (pdf)

I. Lanese, A. Ravara and H. T. Vieira. Behavioral Theory for Session-Oriented Calculi.
In Rigorous Software Engineering for Service-Oriented Systems, LNCS Vol 6582:189-213, Springer, 2011. (pdf)

(top)

Technical Reports


H. T. Vieira and L. Caires. The Spatial Logic Model Checker User's Manual v1.15.
TR-DI/FCT/UNL-04/2009. (pdf)

L. Caires, J. C. Seco and H. T. Vieira. Automotive and Finance Case Studies in CSCC.
TR-DI/FCT/UNL-04-2007. (pdf)

L. Caires, D. T. Sousa and H. T. Vieira. Checking choreography conformance using SLMC.
TR-DI/FCT/UNL-03-2007. (pdf)

H. T. Vieira, L. Caires and R. Viegas. The Spatial Logic Model Checker User's Manual v1.0.
TR-DI/FCT/UNL-05/2005. (pdf) (ps)

H. T. Vieira and L. Caires. The Spatial Logic Model Checker User's Manual.
TR-DI/FCT/UNL-03/2004. (pdf) (ps)

(top)