Vasco Vasconcelos

2015
Santos, C., Martins F., & Vasconcelos V. T. (2015).  Deductive Verification of Parallel Programs Using Why3. Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015, Grenoble, France, 4-5th June 2015..
Campos, J., & Vasconcelos V. T. (2015).  Imperative objects with dependent types. Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015.
Donaldson, A. F., & Vasconcelos V. T. (2015).  Selected papers on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014).
2014
Mostrous, D., & Vasconcelos V. T. (2014).  Affine Sessions. Coordination Models and Languages.
Franco, J., & Vasconcelos V. T. (2014).  A concurrent programming language with refined session types. Software Engineering and Formal Methods. 15–28.
Donaldson, A. F., & Vasconcelos V. T. (2014).  Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. arXiv preprint arXiv:1406.3313.
Marques, E. R. B., Martins F., Vasconcelos V. T., Santos C., Ng N., & Yoshida N. (2014).  Protocol-based verification of MPI programs.
Cruz-Filipe, L., Lanese I., Martins F., Ravara A., & Vasconcelos V. T. (2014).  The stream-based service-centred calculus: a foundation for service-oriented programming. Formal Aspects of Computing. 26, 865–918.
Vasconcelos, V. T., Martins F., Marques E. R. B., López H. A., Santos C., & Yoshida N. (2014).  Type-based verification of message-passing parallel programs.
Padovani, L., Vasconcelos V. T., & Vieira H. Torres (2014).  Typing liveness in multiparty communicating systems. Coordination Models and Languages. 147–162.
2013
Cogumbreiro, T., Martins F., & Vasconcelos V. T. (2013).  Coordinating phased activities while maintaining progress. Coordination Models and Languages. 31–44.
Martins, N. Dias, Santos C., Marques E. R. B., Martins F., & Vasconcelos V. T. (2013).  Especificação e Verificação de Protocolos para Programas MPI. INFORUM.
Giunti, M., & Vasconcelos V. T. (2013).  Linearity, session types and the pi calculus. Mathematical Structures in Computer Science. 1–32.
Marques, E. R. B., Martins F., Ng N., Santos C., Vasconcelos V. T., & Yoshida N. (2013).  Specification and Verification of Protocols for MPI Programs.
Marques, E. R. B., Martins F., Vasconcelos V. T., Ng N., & Martins N. Dias (2013).  Towards deductive verification of MPI programs against session types. arXiv preprint arXiv:1312.2705.
Baltazar, P., Caires L., Vasconcelos V. T., & Vieira H. Torres (2013).  A type system for flexible role assignment in multiparty communicating systems. Trustworthy Global Computing. 82–96.
Vieira, H. Torres, & Vasconcelos V. T. (2013).  Typing progress in communication-centred systems. Coordination Models and Languages. 236–250.
2012
Ravara, A., Resende P., & Vasconcelos V. T. (2012).  An algebra of behavioural types. Information and Computation. 212, 64–91.
Baltazar, P., Caires L., Vasconcelos V. T., & Vieira H. Torres (2012).  Dynamic Roles in Multiparty Communicating Systems.
Vasconcelos, V. T. (2012).  Fundamentals of session types. Information and Computation. 217, 52–70.
Baltazar, P., Mostrous D., & Vasconcelos V. T. (2012).  Linearly refined session types. arXiv preprint arXiv:1211.4099.
Gay, S. J., Gesbert N., Ravara A., & Vasconcelos V. T. (2012).  Modular session types for objects. arXiv preprint arXiv:1205.5344.
Field, J., & Vasconcelos V. T. (2012).  Selected Papers from the Eleventh International Conference on Coordination Models and Languages. Science of Computer Programming. 77, 661–662.
Honda, K., Marques E. R. B., Martins F., Ng N., Vasconcelos V. T., & Yoshida N. (2012).  Verification of MPI programs using session types. Recent Advances in the Message Passing Interface. 291–293.
2011
Campos, J., & Vasconcelos V. T. (2011).  Channels as objects in concurrent object-oriented programming. arXiv preprint arXiv:1110.4157.

Pages