Items where Author is "Torres Vieira, Hugo "

2017

Lanese, Ivan and Lafuente, Alberto Lluch and Knight, Sophia and Torres Vieira, Hugo Preface for the special issue on Interaction and Concurrency Experience 2015. Journal of Logical and Algebraic Methods in Programming, 86 (1). p. 1. ISSN 2352-2208 (2017)

2016

Ghilezan, Silvia and Jakšić, Svetlana and Pantović, Jovanka and Pérez, Jorge A. and Torres Vieira, Hugo Dynamic role authorization in multiparty conversations. Formal Aspects of Computing, 28 (4). pp. 643-667. ISSN 0934-5043 (2016)

Huttel, Hans and Lanese, Ivan and Vasconcelos, Vasco Thudichum and Caires, Luis and Carbone, Marco and Deniélou, Pierre-Malo and Mostrous, Dimitris and Padovani, Luca and Ravara, Antonio and Tuosto, Emilio and Torres Vieira, Hugo and Zavattaro, Gianluigi Foundations of Session Types and Behavioural Contracts. ACM Computing Surveys, 49 (1). pp. 1-36. ISSN 0360-0300 (2016)

Lanese, Ivan and Lafuente, Alberto Lluch and Sokolova, Ana and Torres Vieira, Hugo Preface for the special issue on Interaction and Concurrency Experience 2014. Journal of Logical and Algebraic Methods in Programming, 85 (3). p. 367. ISSN 2352-2208 (2016)

Bartoletti, Massimo and Henrio, Ludovic and Knight, Sophia and Torres Vieira, Hugo (edited by) Proceedings 9th Interaction and Concurrency Experience, ICE 2016, Heraklion, Greece, 8-9 June 2016. Electronic Proceedings in Theoretical Computer Science, 223. ISSN 2075-2180 (2016)

ter Beek, Maurice H. and Melgratti, Hernán C. and Torres Vieira, Hugo (edited by) Proceedings of the 31st Annual ACM Symposium on Applied Computing, SAC 2016, Special track on service-oriented architectures and programming (SOAP). In: 31st Annual ACM Symposium on Applied Computing, SAC 2016, Special track on service-oriented architectures and programming (SOAP) pp. 1588-1589. ISBN 978-145033739-7. (2016)

2015

Bartoletti, Massimo and Castellani, Ilaria and Deniélou, Pierre-Malo and Dezani-Ciancaglini, Mariangiola and Ghilezan, Silvia and Pantović, Jovanka and Pérez, Jorge A. and Thiemann, Peter and Toninho, Bernardo and Torres Vieira, Hugo Combining behavioural types with security analysis. Journal of Logical and Algebraic Methods in Programming, 84 (6). pp. 763-780. ISSN 2352-2208 (2015)

De Nicola, Rocco and Mezzina, Claudio Antares and Torres Vieira, Hugo Global Protocol Implementations via Attribute-Based Communication. In: Programming Languages with Applications to Biology and Security. Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Lecture Notes in Computer Science (9465). Springer International Publishing, pp. 219-237. ISBN 978-3-319-25527-9 (2015)

Ghilezan, Silvia and Jakšić, Svetlana and Pantović, Jovanka and Pérez, Jorge A. and Torres Vieira, Hugo A Typed Model for Dynamic Authorizations. Electronic Proceedings in Theoretical Computer Science, 203. pp. 73-84. ISSN 2075-2180 (2015)

Knight, Sophia and Lanese, Ivan and Lafuente, Alberto Lluch and Torres Vieira, Hugo (edited by) Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015. Electronic Proceedings in Theoretical Computer Science, 189. ISSN 2075-2180 (2015)

2014

Lanese , Ivan and Lluch-Lafuente, Alberto and Sokolova, Ana and Torres Vieira, Hugo (edited by) Proceedings 7th Interaction and Concurrency Experience, ICE 2014 (Berlin, Germany, 6th June 2014). Electronic Proceedings in Theoretical Computer Science, 166. ISSN 2075-2180 (2014)

Ghilezan, Silvia and Jakšić, Svetlana and Pantović, Jovanka and Pérez, Jorge A. and Torres Vieira, Hugo Dynamic role authorization in multiparty conversations. Electronic Proceedings in Theoretical Computer Science, 162. pp. 1-8. ISSN 2075-2180 (2014)

Padovani, Luca and Vasconcelos, Vasco Thudichum and Torres Vieira, Hugo Typing liveness in multiparty communicating systems. In: Coordination Models and Languages. Lecture Notes in Computer Science . Springer, pp. 147-162. ISBN 978-3-662-43376-8 (2014)

2013

Torres Vieira, Hugo and Vasconcelos, Vasco Thudichum Typing progress in communication-centred systems. In: Coordination Models and Languages. Lecture Notes in Computer Science (7890). Springer, pp. 236-250. ISBN 978-3-642-38493-6 (2013)

Baltazar, Pedro and Caires, Luis and Vasconcelos, Vasco Thudichum and Torres Vieira, Hugo A type system for flexible role assignment in multiparty communicating systems. In: Trustworthy Global Computing. Lecture Notes in Computer Science (8191). Springer, pp. 82-96. ISBN 978-3-642-41157-1 (2013)

2012

Caires, Luis and Torres Vieira, Hugo Analysis of service oriented software systems with the conversation calculus. In: Formal Aspects of Component Software. Lecture Notes in Computer Science (6921). Springer, pp. 6-33. ISBN 978-3-642-27269-1 (2012)

Caires, Luis and Torres Vieira, Hugo SLMC: a tool for model checking concurrent systems against dynamical spatial logic specifications. In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science (7214). Springer, pp. 485-491. ISBN 978-3-642-28756-5 (2012)

2011

Baltazar, Pedro and Vasconcelos, Vasco Thudichum and Torres Vieira, Hugo Typing dynamic roles in multiparty interaction. In: INForum - Simpósio de Informática , 8th-9th September 2011, Coimbra, Portugal pp. 1-12. (Unpublished) (2011)

Ferreira, Carla and Lanese, Ivan and Ravara, Antonio and Torres Vieira, Hugo and Zavattaro, Gianluigi Advanced mechanisms for service combination and transactions. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (6582). Springer, pp. 302-325. ISBN 978-3-642-20400-5 (2011)

Lanese, Ivan and Ravara, Antonio and Torres Vieira, Hugo Behavioral theory for session-oriented calculi. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (6582). Springer, pp. 189-213. ISBN 978-3-642-20400-5 (2011)

Acciai, Lucia and Bodei, Chiara and Boreale, Michele and Bruni, Roberto and Torres Vieira, Hugo Static analysis techniques for session-oriented calculi. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (6582). Springer, pp. 214-231. ISBN 978-3-642-20400-5 (2011)

Bartoletti, Massimo and Caires, Luis and Lanese, Ivan and Mazzanti, Franco and Sangiorgi, Davide and Torres Vieira, Hugo and Zunino, Roberto Tools and verification. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (6582). Springer, pp. 408-427. ISBN 978-3-642-20400-5 (2011)

Caires, Luis and Pérez, Jorge A. and Seco, João C. and Torres Vieira, Hugo and Ferrão, Lúcio Type-based access control in data-centric systems. In: Programming Languages and Systems. Lecture Notes in Computer Science (6602). Springer, pp. 136-155. ISBN 978-3-642-19718-5 (2011)

2010

Caires, Luis and Torres Vieira, Hugo Conversation types. Theoretical Computer Science, 411 (51–52). 4399 - 4440. ISSN 0304-3975 (2010)

Torres Vieira, Hugo A calculus for modeling and analyzing conversations in service-oriented computing. PhD Thesis thesis, Universidade nova de Lisboa. (2010)

2009

Caires, Luis and Torres Vieira, Hugo Conversation types. In: Programming Languages and Systems. Lecture Notes in Computer Science (5502). Springer, pp. 285-300. ISBN 978-3-642-00590-9 (2009)

Caires, Luis and Torres Vieira, Hugo Spatial logic model checker user’s guide : version 1.15. Technical Report #04/2009 Departamento de Informática - Universidade nova de Lisboa (Unpublished)

Caires, Luis and Ferreira, Carla and Torres Vieira, Hugo A process calculus analysis of compensations. In: Trustworthy Global Computing. Lecture notes in computer science (5474). Springer, pp. 87-103. ISBN 978-3-642-00945-7 (2009)

2008

Torres Vieira, Hugo and Caires, Luis and Seco, João C. The conversation calculus: a model of service-oriented computation. In: Programming Languages and Systems. Lecture notes in computer science (4960). Springer, pp. 269-283. ISBN 978-3-540-78739-6 (2008)

2007

Caires, Luis and Costa Seco, João and Torres Vieira, Hugo Automotive and finance case studies in the conversation calculus. Technical Report #04/2007 Departamento de Informática - Universidade nova de Lisboa (Unpublished)

Caires, Luis and Tavares Sousa, David and Torres Vieira, Hugo Checking for choreography conformance using spatial logic model-checking. Technical Report #03/2007 Departamento de Informática - Universidade nova de Lisboa (Unpublished)

Caires, Luis and Torres Vieira, Hugo Extensionality of spatial observations in distributed systems. Electronic Notes in Theoretical Computer Science, 175 (3). 131 - 149. ISSN 1571-0661 (2007)

2006

Tuosto, Emilio and Torres Vieira, Hugo An observational model for spatial logics. Electronic Notes in Theoretical Computer Science, 142. pp. 229-254. ISSN 1571-0661 (2006)

2005

Torres Vieira, Hugo and Caires, Luis and Viegas, Rubens The spatial logic model checker user's manual: version 1.0. Technical Report #05/2005 Departamento de Informática - Universidade nova de Lisboa (Unpublished)

2004

Torres Vieira, Hugo and Caires, Luis The spatial logic model checker user's manual: version 0.9. Technical Report #03/2004 Departamento de Informática - Universidade nova de Lisboa (Unpublished)