Hugo Torres Vieira

41 papers A 4C 3Journal 17Unranked 10
YearRankTypeTitle / Venue / Authors
2023 J jnl
Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021.
Sci. Comput. Program.
Giorgio Audrito, Omar Inverso, Hugo Torres Vieira
2021 J jnl
Preface for the special issue on tool papers of the 21st International Conference on Coordination Models and Languages, COORDINATION 2019.
Sci. Comput. Program.
Omar Inverso, Hugo Torres Vieira
2021 J jnl
The
J. Log. Algebraic Methods Program.
Ivan Prokic, Hugo Torres Vieira
2020 — conf
A type language for message passing component-based systems.
ICE
Zorica Savanovic, Letterio Galletta, Hugo Torres Vieira
2019 J jnl
A calculus for modeling floating authorizations.
J. Log. Algebraic Methods Program.
Ivan Prokic, Jovanka Pantovic, Hugo Torres Vieira
2019 J jnl
A coordination protocol language for power grid operation control.
J. Log. Algebraic Methods Program.
Yehia Abd Alrahman, Hugo Torres Vieira
2019 — conf
Testing for Coordination Fidelity.
Models, Languages, and Tools for Concurrent and Distributed Programming
Yehia Abd Alrahman, Claudio Antares Mezzina, Hugo Torres Vieira
2018 C conf
A Calculus for Modeling Floating Authorizations.
FORTE
Jovanka Pantovic, Ivan Prokic, Hugo Torres Vieira
2018 J jnl
A Calculus for Modeling Floating Authorizations.
CoRR
Jovanka Pantovic, Ivan Prokic, Hugo Torres Vieira
2018 J jnl
Choreographies for Reactive Programming.
CoRR
Marco Carbone, Fabrizio Montesi, Hugo Torres Vieira
2018 J jnl
Operation Control Protocols in Power Distribution Grids.
CoRR
Yehia Abd Alrahman, Hugo Torres Vieira
2018 J jnl
Preface for the special issue on Interaction and Concurrency Experience 2016.
J. Log. Algebraic Methods Program.
Massimo Bartoletti, Ludovic Henrio, Sophia Knight, Hugo Torres Vieira
2017 J jnl
Preface for the special issue on Interaction and Concurrency Experience 2015.
J. Log. Algebraic Methods Program.
Ivan Lanese, Alberto Lluch-Lafuente, Sophia Knight, Hugo Torres Vieira
2016 J jnl
DisCoTec 2016 conference report.
ACM SIGLOG News
Hugo Torres Vieira
2016 J jnl
Dynamic role authorization in multiparty conversations.
Formal Aspects Comput.
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira
2016 J jnl
Foundations of Session Types and Behavioural Contracts.
ACM Comput. Surv.
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
2016 J jnl
Preface for the special issue on Interaction and Concurrency Experience 2014.
J. Log. Algebraic Methods Program.
Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova, Hugo Torres Vieira
2016 — ed.
Proceedings 9th Interaction and Concurrency Experience, ICE 2016, Heraklion, Greece, 8-9 June 2016.
ICE
Massimo Bartoletti, Ludovic Henrio, Sophia Knight, Hugo Torres Vieira
2015 — conf
A Typed Model for Dynamic Authorizations.
PLACES
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira
2015 J jnl
Combining behavioural types with security analysis.
CoRR
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
2015 J jnl
Combining behavioural types with security analysis.
J. Log. Algebraic Methods Program.
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
2015 — conf
Global Protocol Implementations via Attribute-Based Communication.
Programming Languages with Applications to Biology and Security
Rocco De Nicola, Claudio Antares Mezzina, Hugo Torres Vieira
2015 — ed.
Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015.
ICE
Sophia Knight, Ivan Lanese, Alberto Lluch-Lafuente, Hugo Torres Vieira
2014 — conf
Dynamic Role Authorization in Multiparty Conversations.
BEAT
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira
2014 — ed.
Proceedings 7th Interaction and Concurrency Experience, ICE 2014, Berlin, Germany, 6th June 2014.
ICE
Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova, Hugo Torres Vieira
2014 C conf
Typing Liveness in Multiparty Communicating Systems.
COORDINATION
Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira
2013 C conf
Typing Progress in Communication-Centred Systems.
COORDINATION
Hugo Torres Vieira, Vasco Thudichum Vasconcelos
2012 — conf
A Type System for Flexible Role Assignment in Multiparty Communicating Systems.
TGC
Pedro Baltazar, Luís Caires, Vasco T. Vasconcelos, Hugo Torres Vieira
2012 A conf
SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications.
TACAS
Luís Caires, Hugo Torres Vieira
2011 — ch.
Advanced Mechanisms for Service Combination and Transactions.
Results of the SENSORIA Project
Carla Ferreira, Ivan Lanese, António Ravara, Hugo Torres Vieira, Gianluigi Zavattaro
2011 — ch.
Behavioral Theory for Session-Oriented Calculi.
Results of the SENSORIA Project
Ivan Lanese, António Ravara, Hugo Torres Vieira
2011 — ch.
Static Analysis Techniques for Session-Oriented Calculi.
Results of the SENSORIA Project
Lucia Acciai, Chiara Bodei, Michele Boreale, Roberto Bruni, Hugo Torres Vieira
2011 — ch.
Tools and Verification.
Results of the SENSORIA Project
Massimo Bartoletti, Luís Caires, Ivan Lanese, Franco Mazzanti, Davide Sangiorgi, Hugo Torres Vieira, Roberto Zunino
2011 A conf
Type-Based Access Control in Data-Centric Systems.
ESOP
Luís Caires, Jorge A. Pérez, João Costa Seco, Hugo Torres Vieira, Lúcio Ferrão
2010 — conf
Analysis of Service Oriented Software Systems with the Conversation Calculus.
FACS
Luís Caires, Hugo Torres Vieira
2010 J jnl
Conversation types.
Theor. Comput. Sci.
Luís Caires, Hugo Torres Vieira
2009 A conf
Conversation Types.
ESOP
Luís Caires, Hugo Torres Vieira
2008 — conf
A Process Calculus Analysis of Compensations.
TGC
Luís Caires, Carla Ferreira, Hugo Torres Vieira
2008 A conf
The Conversation Calculus: A Model of Service-Oriented Computation.
ESOP
Hugo Torres Vieira, Luís Caires, João Costa Seco
2006 — conf
Extensionality of Spatial Observations in Distributed Systems.
EXPRESS
Luís Caires, Hugo Torres Vieira
2004 — conf
An Observational Model for Spatial Logics.
VODCA@FOSAD
Emilio Tuosto, Hugo Torres Vieira