VLDB 2026 Research / reviewers in the wild / expert
Hugo Torres Vieira
dblp:48/6550
· DBLP profile ↗
14ranked-venue papers
2as first author
3since 2021 · last 2023
0000-0001-7461-6156ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 10 · 1 first-author · 3 since 2021Theory of computation · 2Computer networks · 1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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. | 3 |
| 2021 | The Cπ-calculus: A model for confidential name passing
Ivan Prokic, Hugo Torres Vieira |
J. Log. Algebraic Methods Program. | 2 |
| 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. | 2 |
| 2019 | A coordination protocol language for power grid operation control
Yehia Abd Alrahman, Hugo Torres Vieira |
J. Log. Algebraic Methods Program. | 2 |
| 2019 | A calculus for modeling floating authorizations
Ivan Prokic, Jovanka Pantovic, Hugo Torres Vieira |
J. Log. Algebraic Methods Program. | 3 |
| 2018 | A Calculus for Modeling Floating Authorizations
Jovanka Pantovic, Ivan Prokic, Hugo Torres Vieira |
FORTE | 3 |
| 2016 | Dynamic role authorization in multiparty conversationsabstractAbstract Protocols in distributed settings usually rely on the interaction of several parties and often identify therolesinvolved in communications. Roles may have a behavioral interpretation, as they do not necessarily correspond to sites or physical devices. Notions ofrole authorizationthus become necessary to consider settings in which, e.g., different sites may be authorized to act on behalf of a single role, or in which one site may be authorized to act on behalf of different roles. This flexibility must be equipped with ways of controlling the roles that the different parties are authorized to represent, including the challenging case in which role authorizations are determined only at runtime. We present a typed framework for the analysis of multiparty interaction with dynamic role authorization and delegation. Building on previous work on conversation types with role assignment, our formal model is based on an extension of the π -calculus in which the basic resources are pairs channel-role, which denote the access right of interacting along a given channel representing the given role. To specify dynamic authorization control, our process model includes (1) a novel scoping construct for authorization domains, and (2) communication primitives for authorizations, which allow to pass around authorizations to act on a given channel. An authorization error then corresponds to an action involving a channel and a role not enclosed by an appropriate authorization scope. We introduce a typing discipline that ensures that processes never reduce to authorization errors, including when parties dynamically acquire authorizations. Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez 0001, Hugo Torres Vieira |
Formal Aspects Comput. | 5 |
| 2014 | Typing Liveness in Multiparty Communicating Systems
Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira |
COORDINATION | 3 |
| 2013 | Typing Progress in Communication-Centred Systems
Hugo Torres Vieira, Vasco Thudichum Vasconcelos |
COORDINATION | 1 |
| 2012 | SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications
Luís Caires, Hugo Torres Vieira |
TACAS | 2 |
| 2011 | Type-Based Access Control in Data-Centric Systems
Luís Caires, Jorge A. Pérez 0001, João Costa Seco, Hugo Torres Vieira, Lúcio Ferrão |
ESOP | 4 |
| 2010 | Conversation types
Luís Caires, Hugo Torres Vieira |
Theor. Comput. Sci. | 2 |
| 2009 | Conversation Types
Luís Caires, Hugo Torres Vieira |
ESOP | 2 |
| 2008 | The Conversation Calculus: A Model of Service-Oriented Computation
Hugo Torres Vieira, Luís Caires, João Costa Seco |
ESOP | 1 |