António Ravara

According to our database, António Ravara authored at least 57 papers between 1997 and 2023.

Collaborative distances:

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

2023

AtomiS: Data-Centric Synchronization Made Practical.

Hervé Paulino, Ana Almeida Matos, Jan Cederquist, Marco Giunti, João Matos, António Ravara

Proc. ACM Program. Lang., October, 2023

Sound Atomicity Inference for Data-Centric Synchronization.

Hervé Paulino, Ana Almeida Matos, Jan Cederquist, Marco Giunti, João Matos, António Ravara

CoRR, 2023

Anticipation of Method Execution in Mixed Consistency Systems.

Marco Giunti, Hervé Paulino, António Ravara

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper).

João Mota, Marco Giunti, António Ravara

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Taming stateful computations in Rust with typestates.

José Duarte, António Ravara

J. Comput. Lang., 2022

A Java typestate checker supporting inheritance.

Lorenzo Bacchiani, Mario Bravetti, Marco Giunti, João Mota, António Ravara

Sci. Comput. Program., 2022

Anticipation of Method Execution in Mixed Consistency Systems - Technical Report.

Marco Giunti, Hervé Paulino, António Ravara

CoRR, 2022

Leroy and Blazy were right: their memory model soundness proof is automatable (Extended Version).

Pedro Barroso, Mário Pereira, António Ravara

CoRR, 2022

On using VeriFast, VerCors, Plural, and KeY to check object usage.

João Mota, Marco Giunti, António Ravara

CoRR, 2022

Leroy and Blazy Were Right: Their Memory Model Soundness Proof is Automatable.

Pedro Barroso, Mário Pereira, António Ravara

Proceedings of the Verified Software. Theories, Tools and Experiments, 2022

2021

Retrofitting Typestates into Rust.

José Duarte, António Ravara

Proceedings of the SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021, 2021

Java Typestate Checker.

João Mota, Marco Giunti, António Ravara

Proceedings of the Coordination Models and Languages, 2021

Cameleer: A Deductive Verification Tool for OCaml.

Mário Pereira, António Ravara

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Typestates to Automata and back: a tool.

André Trindade, João Mota, António Ravara

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

Animated Logic: Correct Functional Conversion to Conjunctive Normal Form.

Pedro Barroso, Mário Pereira, António Ravara

Proceedings of the Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020

Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language.

Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen, António Ravara

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2019

Visualização e animação de autómatos em Ocsigen Framework.

Rita Macedo, Artur Miguel Dias, António Ravara

CoRR, 2019

2018

A Simple Functional Presentation and an Inductive Correctness Proof of the Horn Algorithm.

António Ravara

Proceedings of the Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis, 2018

Uma análise comparativa de ferramentas de análise estática para deteção de erros de memória.

Patrícia Monteiro, João Lourenço, António Ravara

CoRR, 2018

2017

Revisiting concurrent separation logic.

Pedro Soares, António Ravara, Simão Melo de Sousa

J. Log. Algebraic Methods Program., 2017

From object-oriented code with assertions to behavioural types.

Cláudio Vasconcelos, António Ravara

Proceedings of the Symposium on Applied Computing, 2017

2016

Foreword.

Natallia Kokash, António Ravara

Sci. Comput. Program., 2016

Preface to special issue: behavioural types.

Simon J. Gay, António Ravara

Math. Struct. Comput. Sci., 2016

Automated verification of programs and Web systems.

Maurice H. ter Beek, Alexei Lisitsa, Andrei P. Nemytykh, António Ravara

J. Log. Algebraic Methods Program., 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

Revision Proposal for the Mool Language.

Cláudio Vasconcelos, António Ravara

CoRR, 2016

The While language.

Cláudio Vasconcelos, António Ravara

CoRR, 2016

From atomic variables to data-centric concurrency control.

Hervé Paulino, Daniel Parreira, Nuno Delgado, António Ravara, Ana Gualdina Almeida Matos

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

2015

Editorial for the JLAMP Special Issue on automated specification and verification of web systems.

António Ravara, Josep Silva

J. Log. Algebraic Methods Program., 2015

Modular Session Types for Objects

Simon J. Gay, Nils Gesbert, António Ravara, Vasco Thudichum Vasconcelos

Log. Methods Comput. Sci., 2015

Unlocking Blocked Communicating Processes.

Adrian Francalanza, Marco Giunti, António Ravara

Proceedings of the Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, 2015

Revisiting Concurrent Separation Logic and Operational Semantics.

Pedro Soares, António Ravara, Simão Melo de Sousa

Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

2014

Foreword.

Mohammad Reza Mousavi, António Ravara

Sci. Comput. Program., 2014

The stream-based service-centred calculus: a foundation for service-oriented programming.

Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos

Formal Aspects Comput., 2014

Session Types as Generic Process Types.

Simon J. Gay, Nils Gesbert, António Ravara

Proceedings of the Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, 2014

2013

Towards Static Deadlock Resolution in the π-Calculus.

Marco Giunti, António Ravara

Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

2012

An Algebra of Behavioural Types.

António Ravara, Pedro Resende, Vasco Thudichum Vasconcelos

Inf. Comput., 2012

2011

Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation.

Joana Martinho, António Ravara

J. Autom. Reason., 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

2010

Responsive Choice in Mobile Processes.

Maxime Gamboni, António Ravara

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

Modular session types for distributed object-oriented programming.

Simon J. Gay, Vasco Thudichum Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

A simple proof system for lock-free concurrency.

Luís Caires, Carla Ferreira, António Ravara

Proceedings of the International Workshop on Proof Systems for Program Logics, 2010

2008

Encoding cryptographic primitives in a calculus with polyadic synchronization.

Joana Martinho, António Ravara

Proceedings of the International Conference on Theoretical and Mathematical Foundations of Computer Science, 2008

Dynamic Recovering of Long Running Transactions.

Cátia Vaz, Carla Ferreira, António Ravara

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

Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus.

Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

2007

Disciplining Orchestration and Conversation in Service-Oriented Computing.

Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

2006

Type checking a multithreaded functional language with session types.

Vasco Thudichum Vasconcelos, Simon J. Gay, António Ravara

Theor. Comput. Sci., 2006

Typing the Behavior of Software Components using Session Types.

Antonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara

Fundam. Informaticae, 2006

SCC: A Service Centered Calculus.

Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

2004

Session Types for Functional Multithreading.

Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003

Lexically scoped distribution: what you see is what you get.

António Ravara, Ana Gualdina Almeida Matos, Vasco Thudichum Vasconcelos, Luís M. B. Lopes

Proceedings of the 2nd EATCS Workshop on Foundations of Global Computing, 2003

2002

Typing the Behavior of Objects and Component Using Session Types.

Antonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara

Proceedings of the Foundations of Coordination Languages and Software Architectures, 2002

2000

Typing Non-uniform Concurrent Objects.

António Ravara, Vasco Thudichum Vasconcelos

Proceedings of the CONCUR 2000, 2000

1999

Communication Errors in the pi-Calculus are Undecidable.

Vasco Thudichum Vasconcelos, António Ravara

Inf. Process. Lett., 1999

Semantics of Objects as Processes (SOAP).

Uwe Nestmann, António Ravara

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1997

Behavioural Types for a Calculus of Concurrent Objects.

António Ravara, Vasco Thudichum Vasconcelos

Proceedings of the Euro-Par '97 Parallel Processing, 1997