António Ravara

Orcid: 0000-0001-8074-0380

Affiliations:
  • Nova University Lisbon, Caparica, Portugal


According to our database1, António Ravara authored at least 59 papers between 1997 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Behavioural Up/down Casting For Statically Typed Languages.
Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

TRAC: A Tool for Data-Aware Coordination - (with an Application to Smart Contracts).
Proceedings of the Coordination Models and Languages, 2024

2023
AtomiS: Data-Centric Synchronization Made Practical.
Proc. ACM Program. Lang., October, 2023

Sound Atomicity Inference for Data-Centric Synchronization.
CoRR, 2023

Anticipation of Method Execution in Mixed Consistency Systems.
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper).
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022
Taming stateful computations in Rust with typestates.
J. Comput. Lang., 2022

A Java typestate checker supporting inheritance.
Sci. Comput. Program., 2022

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

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

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

Leroy and Blazy Were Right: Their Memory Model Soundness Proof is Automatable.
Proceedings of the Verified Software. Theories, Tools and Experiments, 2022

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

Java Typestate Checker.
Proceedings of the Coordination Models and Languages, 2021

Cameleer: A Deductive Verification Tool for OCaml.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020
Typestates to Automata and back: a tool.
Proceedings of the Proceedings 13th Interaction and Concurrency Experience, 2020

Animated Logic: Correct Functional Conversion to Conjunctive Normal Form.
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.
Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

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

2018
A Simple Functional Presentation and an Inductive Correctness Proof of the Horn Algorithm.
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.
CoRR, 2018

2017
Revisiting concurrent separation logic.
J. Log. Algebraic Methods Program., 2017

From object-oriented code with assertions to behavioural types.
Proceedings of the Symposium on Applied Computing, 2017

2016
Foreword.
Sci. Comput. Program., 2016

Preface to special issue: behavioural types.
Math. Struct. Comput. Sci., 2016

Automated verification of programs and Web systems.
J. Log. Algebraic Methods Program., 2016

Foundations of Session Types and Behavioural Contracts.
ACM Comput. Surv., 2016

Revision Proposal for the Mool Language.
CoRR, 2016

The While language.
CoRR, 2016

From atomic variables to data-centric concurrency control.
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.
J. Log. Algebraic Methods Program., 2015

Modular Session Types for Objects
Log. Methods Comput. Sci., 2015

Unlocking Blocked Communicating Processes.
Proceedings of the Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, 2015

Revisiting Concurrent Separation Logic and Operational Semantics.
Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

2014
Foreword.
Sci. Comput. Program., 2014

The stream-based service-centred calculus: a foundation for service-oriented programming.
Formal Aspects Comput., 2014

Session Types as Generic Process Types.
Proceedings of the Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, 2014

2013
Towards Static Deadlock Resolution in the π-Calculus.
Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

2012
An Algebra of Behavioural Types.
Inf. Comput., 2012

2011
Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation.
J. Autom. Reason., 2011

Behavioral Theory for Session-Oriented Calculi.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Advanced Mechanisms for Service Combination and Transactions.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010
Responsive Choice in Mobile Processes.
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

Modular session types for distributed object-oriented programming.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

A simple proof system for lock-free concurrency.
Proceedings of the International Workshop on Proof Systems for Program Logics, 2010

2008
Encoding cryptographic primitives in a calculus with polyadic synchronization.
Proceedings of the International Conference on Theoretical and Mathematical Foundations of Computer Science, 2008

Dynamic Recovering of Long Running Transactions.
Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008

Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

2007
Disciplining Orchestration and Conversation in Service-Oriented Computing.
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.
Theor. Comput. Sci., 2006

Typing the Behavior of Software Components using Session Types.
Fundam. Informaticae, 2006

SCC: A Service Centered Calculus.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

2004
Session Types for Functional Multithreading.
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.
Proceedings of the 2nd EATCS Workshop on Foundations of Global Computing, 2003

2002
Typing the Behavior of Objects and Component Using Session Types.
Proceedings of the Foundations of Coordination Languages and Software Architectures, 2002

2000
Typing Non-uniform Concurrent Objects.
Proceedings of the CONCUR 2000, 2000

1999
Communication Errors in the pi-Calculus are Undecidable.
Inf. Process. Lett., 1999

Semantics of Objects as Processes (SOAP).
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1997
Behavioural Types for a Calculus of Concurrent Objects.
Proceedings of the Euro-Par '97 Parallel Processing, 1997


  Loading...