Hugo Torres Vieira

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 17

Top Topics

International Conference

Top Venues

J. Log. Algebraic Methods Program.

Publications

Giorgio Audrito, Omar Inverso, Hugo Torres Vieira
Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021. Sci. Comput. Program. 225 (2023)
Ivan Prokic, Hugo Torres Vieira
-calculus: A model for confidential name passing. J. Log. Algebraic Methods Program. 119 (2021)
Omar Inverso, Hugo Torres Vieira
Preface for the special issue on tool papers of the 21st International Conference on Coordination Models and Languages, COORDINATION 2019. Sci. Comput. Program. 204 (2021)
Zorica Savanovic, Letterio Galletta, Hugo Torres Vieira
A type language for message passing component-based systems. ICE (2020)
Ivan Prokic, Jovanka Pantovic, Hugo Torres Vieira
A calculus for modeling floating authorizations. J. Log. Algebraic Methods Program. 107 (2019)
Yehia Abd Alrahman, Hugo Torres Vieira
A coordination protocol language for power grid operation control. J. Log. Algebraic Methods Program. 109 (2019)
Yehia Abd Alrahman, Claudio Antares Mezzina, Hugo Torres Vieira
Testing for Coordination Fidelity. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Marco Carbone, Fabrizio Montesi, Hugo Torres Vieira
Choreographies for Reactive Programming. CoRR (2018)
Massimo Bartoletti, Ludovic Henrio, Sophia Knight, Hugo Torres Vieira
Preface for the special issue on Interaction and Concurrency Experience 2016. J. Log. Algebraic Methods Program. 98 (2018)
Yehia Abd Alrahman, Hugo Torres Vieira
Operation Control Protocols in Power Distribution Grids. CoRR (2018)
Jovanka Pantovic, Ivan Prokic, Hugo Torres Vieira
A Calculus for Modeling Floating Authorizations. CoRR (2018)
Jovanka Pantovic, Ivan Prokic, Hugo Torres Vieira
A Calculus for Modeling Floating Authorizations. FORTE (2018)
Ivan Lanese, Alberto Lluch-Lafuente, Sophia Knight, Hugo Torres Vieira
Preface for the special issue on Interaction and Concurrency Experience 2015. J. Log. Algebraic Methods Program. 86 (1) (2017)
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira
Dynamic role authorization in multiparty conversations. Formal Aspects Comput. 28 (4) (2016)
Hugo Torres Vieira
DisCoTec 2016 conference report. ACM SIGLOG News 3 (3) (2016)
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
Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. 49 (1) (2016)
Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova, Hugo Torres Vieira
Preface for the special issue on Interaction and Concurrency Experience 2014. J. Log. Algebraic Methods Program. 85 (3) (2016)
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
Combining behavioural types with security analysis. CoRR (2015)
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
Combining behavioural types with security analysis. J. Log. Algebraic Methods Program. 84 (6) (2015)
Rocco De Nicola, Claudio Antares Mezzina, Hugo Torres Vieira
Global Protocol Implementations via Attribute-Based Communication. Programming Languages with Applications to Biology and Security (2015)
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira
A Typed Model for Dynamic Authorizations. PLACES (2015)
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira
Dynamic Role Authorization in Multiparty Conversations. BEAT (2014)
Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira
Typing Liveness in Multiparty Communicating Systems. COORDINATION (2014)
Hugo Torres Vieira, Vasco Thudichum Vasconcelos
Typing Progress in Communication-Centred Systems. COORDINATION (2013)
Pedro Baltazar, Luís Caires, Vasco T. Vasconcelos, Hugo Torres Vieira
A Type System for Flexible Role Assignment in Multiparty Communicating Systems. TGC (2012)
Luís Caires, Hugo Torres Vieira
SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications. TACAS (2012)
Luís Caires, Jorge A. Pérez, João Costa Seco, Hugo Torres Vieira, Lúcio Ferrão
Type-Based Access Control in Data-Centric Systems. ESOP (2011)
Luís Caires, Hugo Torres Vieira
Analysis of Service Oriented Software Systems with the Conversation Calculus. FACS (2010)
Luís Caires, Hugo Torres Vieira
Conversation types. Theor. Comput. Sci. 411 (51-52) (2010)
Luís Caires, Hugo Torres Vieira
Conversation Types. ESOP (2009)
Luís Caires, Carla Ferreira, Hugo Torres Vieira
A Process Calculus Analysis of Compensations. TGC (2008)
Hugo Torres Vieira, Luís Caires, João Costa Seco
The Conversation Calculus: A Model of Service-Oriented Computation. ESOP (2008)
Luís Caires, Hugo Torres Vieira
Extensionality of Spatial Observations in Distributed Systems. EXPRESS (2006)
Emilio Tuosto, Hugo Torres Vieira
An Observational Model for Spatial Logics. Electron. Notes Theor. Comput. Sci. 142 (2006)