António Ravara

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 39

Top Topics

Oriented Programming

Conjunctive Normal Form

Boolean Formula

Top Venues

J. Log. Algebraic Methods Program.

Sci. Comput. Program.

Publications

João Afonso, Elvis Konjoh Selabi, Maurizio Murgia, António Ravara, Emilio Tuosto
TRAC: A Tool for Data-Aware Coordination - (with an Application to Smart Contracts). COORDINATION (2024)
João Afonso, Elvis Konjoh Selabi, Maurizio Murgia, António Ravara, Emilio Tuosto
TRAC: a tool for data-aware coordination (with an application to smart contracts). CoRR (2024)
Hervé Paulino, Ana Almeida Matos, Jan Cederquist, Marco Giunti, João Matos, António Ravara
Sound Atomicity Inference for Data-Centric Synchronization. CoRR (2023)
João Mota, Marco Giunti, António Ravara
On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper). ECOOP (2023)
Hervé Paulino, Ana Almeida Matos, Jan Cederquist, Marco Giunti, João Matos, António Ravara
AtomiS: Data-Centric Synchronization Made Practical. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Marco Giunti, Hervé Paulino, António Ravara
Anticipation of Method Execution in Mixed Consistency Systems. SAC (2023)
Lorenzo Bacchiani, Mario Bravetti, Marco Giunti, João Mota, António Ravara
A Java typestate checker supporting inheritance. Sci. Comput. Program. 221 (2022)
José Duarte, António Ravara
Taming stateful computations in Rust with typestates. J. Comput. Lang. 72 (2022)
Pedro Barroso, Mário Pereira, António Ravara
Leroy and Blazy were right: their memory model soundness proof is automatable (Extended Version). CoRR (2022)
João Mota, Marco Giunti, António Ravara
On using VeriFast, VerCors, Plural, and KeY to check object usage. CoRR (2022)
Marco Giunti, Hervé Paulino, António Ravara
Anticipation of Method Execution in Mixed Consistency Systems - Technical Report. CoRR (2022)
Pedro Barroso, Mário Pereira, António Ravara
Leroy and Blazy Were Right: Their Memory Model Soundness Proof is Automatable. VSTTE (2022)
José Duarte, António Ravara
Retrofitting Typestates into Rust. SBLP (2021)
João Mota, Marco Giunti, António Ravara
Java Typestate Checker. COORDINATION (2021)
Mário Pereira, António Ravara
Cameleer: a Deductive Verification Tool for OCaml. CoRR (2021)
Mário Pereira, António Ravara
Cameleer: A Deductive Verification Tool for OCaml. CAV (2) (2021)
Pedro Barroso, Mário Pereira, António Ravara
Animated Logic: Correct Functional Conversion to Conjunctive Normal Form. PAAR+SC²@IJCAR (2020)
Pedro Barroso, Mário Pereira, António Ravara
Animated Logic: Correct Functional Conversion to Conjunctive Normal Form. CoRR (2020)
André Trindade, João Mota, António Ravara
Typestates to Automata and back: a tool. ICE (2020)
Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen, António Ravara
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. CoRR (2020)
Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen, António Ravara
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. APLAS (2020)
Rita Macedo, Artur Miguel Dias, António Ravara
Visualização e animação de autómatos em Ocsigen Framework. CoRR (2019)
Patrícia Monteiro, João Lourenço, António Ravara
Uma análise comparativa de ferramentas de análise estática para deteção de erros de memória. CoRR (2018)
António Ravara
A Simple Functional Presentation and an Inductive Correctness Proof of the Horn Algorithm. HCVS (2018)
Pedro Soares, António Ravara, Simão Melo de Sousa
Revisiting concurrent separation logic. CoRR (2017)
Cláudio Vasconcelos, António Ravara
From object-oriented code with assertions to behavioural types. SAC (2017)
Pedro Soares, António Ravara, Simão Melo de Sousa
Revisiting concurrent separation logic. J. Log. Algebraic Methods Program. 89 (2017)
Cláudio Vasconcelos, António Ravara
Revision Proposal for the Mool Language. CoRR (2016)
Hervé Paulino, Daniel Parreira, Nuno Delgado, António Ravara, Ana Gualdina Almeida Matos
From atomic variables to data-centric concurrency control. SAC (2016)
Natallia Kokash, António Ravara
Foreword. Sci. Comput. Program. (2016)
Maurice H. ter Beek, Alexei Lisitsa, Andrei P. Nemytykh, António Ravara
Automated verification of programs and Web systems. J. Log. Algebraic Methods Program. 85 (5) (2016)
Cláudio Vasconcelos, António Ravara
The While language. CoRR (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)
Simon J. Gay, António Ravara
Preface to special issue: behavioural types. Math. Struct. Comput. Sci. 26 (2) (2016)
Simon J. Gay, António Ravara
Preface to special issue: behavioural types. Math. Struct. Comput. Sci. 26 (3) (2016)
António Ravara, Josep Silva
Editorial for the JLAMP Special Issue on automated specification and verification of web systems. J. Log. Algebraic Methods Program. 84 (4) (2015)
Pedro Soares, António Ravara, Simão Melo de Sousa
Revisiting Concurrent Separation Logic and Operational Semantics. PDP (2015)
Simon J. Gay, Nils Gesbert, António Ravara, Vasco Thudichum Vasconcelos
Modular Session Types for Objects Log. Methods Comput. Sci. 11 (4) (2015)
Adrian Francalanza, Marco Giunti, António Ravara
Unlocking Blocked Communicating Processes. WWV (2015)
Mohammad Reza Mousavi, António Ravara
Foreword. Sci. Comput. Program. 89 (2014)
Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos
The stream-based service-centred calculus: a foundation for service-oriented programming. Formal Aspects Comput. 26 (5) (2014)
Simon J. Gay, Nils Gesbert, António Ravara
Session Types as Generic Process Types. EXPRESS/SOS (2014)
Marco Giunti, António Ravara
Towards Static Deadlock Resolution in the π-Calculus. TGC (2013)
António Ravara, Pedro Resende, Vasco Thudichum Vasconcelos
An Algebra of Behavioural Types. Inf. Comput. 212 (2012)
Joana Martinho, António Ravara
Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation. J. Autom. Reason. 46 (3-4) (2011)
Maxime Gamboni, António Ravara
Responsive Choice in Mobile Processes. TGC (2010)
Luís Caires, Carla Ferreira, António Ravara
A simple proof system for lock-free concurrency. PSPL@LICS (2010)
Simon J. Gay, Vasco Thudichum Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira
Modular session types for distributed object-oriented programming. POPL (2010)
Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. FMOODS (2008)
Cátia Vaz, Carla Ferreira, António Ravara
Dynamic Recovering of Long Running Transactions. TGC (2008)
Joana Martinho, António Ravara
Encoding cryptographic primitives in a calculus with polyadic synchronization. TMFCS (2008)
Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara
Disciplining Orchestration and Conversation in Service-Oriented Computing. SEFM (2007)
Antonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara
Typing the Behavior of Software Components using Session Types. Fundam. Informaticae 73 (4) (2006)
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
SCC: A Service Centered Calculus. WS-FM (2006)
Vasco Thudichum Vasconcelos, Simon J. Gay, António Ravara
Type checking a multithreaded functional language with session types. Theor. Comput. Sci. 368 (1-2) (2006)
Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay
Session Types for Functional Multithreading. CONCUR (2004)
Antonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara
Typing the Behavior of Objects and Component Using Session Types. Electron. Notes Theor. Comput. Sci. 68 (3) (2003)
António Ravara, Ana Gualdina Almeida Matos, Vasco Thudichum Vasconcelos, Luís M. B. Lopes
Lexically scoped distribution: what you see is what you get. Electron. Notes Theor. Comput. Sci. 85 (1) (2003)
António Ravara, Vasco Thudichum Vasconcelos
Typing Non-uniform Concurrent Objects. CONCUR (2000)
Uwe Nestmann, António Ravara
Semantics of Objects as Processes (SOAP). ECOOP Workshops (1999)
Vasco Thudichum Vasconcelos, António Ravara
Communication Errors in the pi-Calculus are Undecidable. Inf. Process. Lett. 71 (5-6) (1999)
António Ravara, Vasco Thudichum Vasconcelos
Behavioural Types for a Calculus of Concurrent Objects. Euro-Par (1997)