Hugo Torres Vieira

According to our database, Hugo Torres Vieira authored at least 33 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021.

Giorgio Audrito, Omar Inverso, Hugo Torres Vieira

Sci. Comput. Program., 2023

2021

Preface for the special issue on tool papers of the 21st International Conference on Coordination Models and Languages, COORDINATION 2019.

Omar Inverso, Hugo Torres Vieira

Sci. Comput. Program., 2021

The <i>C</i>_<i>π</i>-calculus: A model for confidential name passing.

Ivan Prokic, Hugo Torres Vieira

J. Log. Algebraic Methods Program., 2021

2020

A type language for message passing component-based systems.

Zorica Savanovic, Letterio Galletta, Hugo Torres Vieira

Proceedings of the Proceedings 13th Interaction and Concurrency Experience, 2020

2019

A calculus for modeling floating authorizations.

Ivan Prokic, Jovanka Pantovic, Hugo Torres Vieira

J. Log. Algebraic Methods Program., 2019

A coordination protocol language for power grid operation control.

Yehia Abd Alrahman, Hugo Torres Vieira

J. Log. Algebraic Methods Program., 2019

Testing for Coordination Fidelity.

Yehia Abd Alrahman, Claudio Antares Mezzina, Hugo Torres Vieira

Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

2018

Preface for the special issue on Interaction and Concurrency Experience 2016.

Massimo Bartoletti, Ludovic Henrio, Sophia Knight, Hugo Torres Vieira

J. Log. Algebraic Methods Program., 2018

Operation Control Protocols in Power Distribution Grids.

Yehia Abd Alrahman, Hugo Torres Vieira

CoRR, 2018

Choreographies for Reactive Programming.

Marco Carbone, Fabrizio Montesi, Hugo Torres Vieira

CoRR, 2018

2017

Preface for the special issue on Interaction and Concurrency Experience 2015.

Ivan Lanese, Alberto Lluch-Lafuente, Sophia Knight, Hugo Torres Vieira

J. Log. Algebraic Methods Program., 2017

2016

DisCoTec 2016 conference report.

Hugo Torres Vieira

ACM SIGLOG News, 2016

Preface for the special issue on Interaction and Concurrency Experience 2014.

Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova, Hugo Torres Vieira

J. Log. Algebraic Methods Program., 2016

Dynamic role authorization in multiparty conversations.

Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira

Formal Aspects Comput., 2016

Foundations of Session Types and Behavioural Contracts.

Hans Hüttel, Ivan Lanese, Vasco T. Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro

ACM Comput. Surv., 2016

2015

Combining behavioural types with security analysis.

Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira

J. Log. Algebraic Methods Program., 2015

A Typed Model for Dynamic Authorizations.

Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira

Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015

Global Protocol Implementations via Attribute-Based Communication.

Rocco De Nicola, Claudio Antares Mezzina, Hugo Torres Vieira

Proceedings of the Programming Languages with Applications to Biology and Security, 2015

2014

Typing Liveness in Multiparty Communicating Systems.

Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira

Proceedings of the Coordination Models and Languages, 2014

2013

Typing Progress in Communication-Centred Systems.

Hugo Torres Vieira, Vasco Thudichum Vasconcelos

Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

2012

A Type System for Flexible Role Assignment in Multiparty Communicating Systems.

Pedro Baltazar, Luís Caires, Vasco T. Vasconcelos, Hugo Torres Vieira

Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications.

Luís Caires, Hugo Torres Vieira

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

2011

Type-Based Access Control in Data-Centric Systems.

Luís Caires, Jorge A. Pérez, João Costa Seco, Hugo Torres Vieira, Lúcio Ferrão

Proceedings of the Programming Languages and Systems, 2011

Behavioral Theory for Session-Oriented Calculi.

Ivan Lanese, António Ravara, Hugo Torres Vieira

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Advanced Mechanisms for Service Combination and Transactions.

Carla Ferreira, Ivan Lanese, António Ravara, Hugo Torres Vieira, Gianluigi Zavattaro

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Tools and Verification.

Massimo Bartoletti, Luís Caires, Ivan Lanese, Franco Mazzanti, Davide Sangiorgi, Hugo Torres Vieira, Roberto Zunino

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Static Analysis Techniques for Session-Oriented Calculi.

Lucia Acciai, Chiara Bodei, Michele Boreale, Roberto Bruni, Hugo Torres Vieira

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

Conversation types.

Luís Caires, Hugo Torres Vieira

Theor. Comput. Sci., 2010

Analysis of Service Oriented Software Systems with the Conversation Calculus.

Luís Caires, Hugo Torres Vieira

Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

2008

A Process Calculus Analysis of Compensations.

Luís Caires, Carla Ferreira, Hugo Torres Vieira

Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008

The Conversation Calculus: A Model of Service-Oriented Computation.

Hugo Torres Vieira, Luís Caires, João Costa Seco

Proceedings of the Programming Languages and Systems, 2008

2006

Extensionality of Spatial Observations in Distributed Systems.

Luís Caires, Hugo Torres Vieira

Proceedings of the 13th International Workshop on Expressiveness in Concurrency, 2006

2004

An Observational Model for Spatial Logics.

Emilio Tuosto, Hugo Torres Vieira

Proceedings of the First International Workshop on Views on Designing Complex Architectures, 2004