default search action
António Ravara
Person information
- affiliation: Nova University Lisbon, Caparica, Portugal
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c32]João Afonso, Elvis Konjoh Selabi
, Maurizio Murgia
TRAC: A Tool for Data-Aware Coordination - (with an Application to Smart Contracts). COORDINATION 2024: 239-257 - [c31]Lorenzo Bacchiani, Mario Bravetti, Marco Giunti, João Mota
Behavioural Up/down Casting For Statically Typed Languages. ECOOP 2024: 5:1-5:28 - [i13]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 abs/2404.19523 (2024) - 2023
- [j18]Hervé Paulino
AtomiS: Data-Centric Synchronization Made Practical. Proc. ACM Program. Lang. 7(OOPSLA2): 116-145 (2023) - [c30]João Mota
On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper). ECOOP 2023: 40:1-40:29 - [c29]Marco Giunti
Anticipation of Method Execution in Mixed Consistency Systems. SAC 2023: 1394-1401 - [e6]Marieke Huisman
Formal Techniques for Distributed Objects, Components, and Systems - 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings. Lecture Notes in Computer Science 13910, Springer 2023, ISBN 978-3-031-35354-3 [contents] - [i12]Hervé Paulino, Ana Almeida Matos, Jan Cederquist, Marco Giunti
Sound Atomicity Inference for Data-Centric Synchronization. CoRR abs/2309.05483 (2023) - 2022
- [j17]Lorenzo Bacchiani, Mario Bravetti, Marco Giunti
A Java typestate checker supporting inheritance. Sci. Comput. Program. 221: 102844 (2022) - [j16]José Duarte, António Ravara
Taming stateful computations in Rust with typestates. J. Comput. Lang. 72: 101154 (2022) - [c28]Pedro Barroso, Mário Pereira
Leroy and Blazy Were Right: Their Memory Model Soundness Proof is Automatable. VSTTE 2022: 20-32 - [i11]João Mota, Marco Giunti
On using VeriFast, VerCors, Plural, and KeY to check object usage. CoRR abs/2209.05136 (2022) - [i10]Pedro Barroso, Mário Pereira
Leroy and Blazy were right: their memory model soundness proof is automatable (Extended Version). CoRR abs/2212.02425 (2022) - [i9]Marco Giunti
Anticipation of Method Execution in Mixed Consistency Systems - Technical Report. CoRR abs/2212.14651 (2022) - 2021
- [c27]Mário Pereira
Cameleer: A Deductive Verification Tool for OCaml. CAV (2) 2021: 677-689 - [c26]João Mota
Java Typestate Checker. COORDINATION 2021: 121-133 - [c25]José Duarte, António Ravara
Retrofitting Typestates into Rust. SBLP 2021: 83-91 - [i8]Mário Pereira, António Ravara:
Cameleer: a Deductive Verification Tool for OCaml. CoRR abs/2104.11050 (2021) - 2020
- [c24]Mario Bravetti
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. APLAS 2020: 105-124 - [c23]Pedro Barroso, Mário Pereira, António Ravara:
Animated Logic: Correct Functional Conversion to Conjunctive Normal Form. PAAR+SC²@IJCAR 2020: 1-20 - [c22]André Trindade
Typestates to Automata and back: a tool. ICE 2020: 25-42 - [i7]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 abs/2002.12793 (2020) - [i6]Pedro Barroso, Mário Pereira, António Ravara:
Animated Logic: Correct Functional Conversion to Conjunctive Normal Form. CoRR abs/2003.05081 (2020)
2010 – 2019
- 2019
- [i5]Rita Macedo, Artur Miguel Dias, António Ravara:
Visualização e animação de autómatos em Ocsigen Framework. CoRR abs/1907.05384 (2019) - 2018
- [c21]António Ravara:
A Simple Functional Presentation and an Inductive Correctness Proof of the Horn Algorithm. HCVS 2018: 34-48 - [i4]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 abs/1807.08015 (2018) - 2017
- [j15]Pedro Soares
Revisiting concurrent separation logic. J. Log. Algebraic Methods Program. 89: 41-66 (2017) - [c20]Cláudio Vasconcelos, António Ravara
From object-oriented code with assertions to behavioural types. SAC 2017: 1492-1497 - [i3]Pedro Soares, António Ravara, Simão Melo de Sousa:
Revisiting concurrent separation logic. CoRR abs/1712.01631 (2017) - 2016
- [j14]Hans Hüttel
Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. 49(1): 3:1-3:36 (2016) - [j13]Maurice H. ter Beek
Automated verification of programs and Web systems. J. Log. Algebraic Methods Program. 85(5): 653-654 (2016) - [j12]Simon J. Gay, António Ravara
Preface to special issue: behavioural types. Math. Struct. Comput. Sci. 26(2): 154-155 (2016) - [j11]Simon J. Gay, António Ravara
Preface to special issue: behavioural types. Math. Struct. Comput. Sci. 26(3): 365-366 (2016) - [j10]Natallia Kokash
Foreword. Sci. Comput. Program. 115-116: 1-2 (2016) - [c19]Hervé Paulino
From atomic variables to data-centric concurrency control. SAC 2016: 1806-1811 - [e5]Thomas T. Hildebrandt, António Ravara
Web Services, Formal Methods, and Behavioral Types - 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9421, Springer 2016, ISBN 978-3-319-33611-4 [contents] - [i2]Cláudio Vasconcelos, António Ravara:
The While language. CoRR abs/1603.08949 (2016) - [i1]Cláudio Vasconcelos, António Ravara:
Revision Proposal for the Mool Language. CoRR abs/1604.06245 (2016) - 2015
- [j9]Simon J. Gay, Nils Gesbert, António Ravara
Modular Session Types for Objects. Log. Methods Comput. Sci. 11(4) (2015) - [j8]António Ravara
Editorial for the JLAMP Special Issue on automated specification and verification of web systems. J. Log. Algebraic Methods Program. 84(4): 483-484 (2015) - [c18]Pedro Soares
Revisiting Concurrent Separation Logic and Operational Semantics. PDP 2015: 484-491 - [c17]Adrian Francalanza
Unlocking Blocked Communicating Processes. WWV 2015: 23-32 - 2014
- [j7]Luís Cruz-Filipe
The stream-based service-centred calculus: a foundation for service-oriented programming. Formal Aspects Comput. 26(5): 865-918 (2014) - [j6]Mohammad Reza Mousavi
Foreword. Sci. Comput. Program. 89: 1 (2014) - [c16]Simon J. Gay, Nils Gesbert, António Ravara
Session Types as Generic Process Types. EXPRESS/SOS 2014: 94-110 - [e4]Maurice H. ter Beek, António Ravara:
Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems, WWV 2014, Vienna, Austria, July 18, 2014. EPTCS 163, 2014 [contents] - 2013
- [c15]Marco Giunti
Towards Static Deadlock Resolution in the π-Calculus. TGC 2013: 136-155 - [e3]António Ravara, Josep Silva:
Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, WWV 2013, Florence, Italy, 6th June 2013. EPTCS 123, 2013 [contents] - 2012
- [j5]António Ravara
An Algebra of Behavioural Types. Inf. Comput. 212: 64-91 (2012) - [e2]Natallia Kokash, António Ravara:
Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, FOCLASA 2012, Newcastle, U.K., September 8, 2012. EPTCS 91, 2012 [contents] - 2011
- [j4]Joana Martinho, António Ravara
Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation. J. Autom. Reason. 46(3-4): 293-323 (2011) - [p2]Ivan Lanese
Behavioral Theory for Session-Oriented Calculi. Results of the SENSORIA Project 2011: 189-213 - [p1]Carla Ferreira
Advanced Mechanisms for Service Combination and Transactions. Results of the SENSORIA Project 2011: 302-325 - [e1]Mohammad Reza Mousavi, António Ravara
Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2011, Aachen, Germany, 10th September, 2011. EPTCS 58, 2011 [contents] - 2010
- [c14]Luís Caires, Carla Ferreira, António Ravara:
A simple proof system for lock-free concurrency. PSPL@LICS 2010: 1-3 - [c13]Simon J. Gay, Vasco Thudichum Vasconcelos
Modular session types for distributed object-oriented programming. POPL 2010: 299-312 - [c12]Maxime Gamboni, António Ravara
Responsive Choice in Mobile Processes. TGC 2010: 135-152
2000 – 2009
- 2008
- [c11]Luís Cruz-Filipe
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. FMOODS 2008: 59-77 - [c10]Cátia Vaz
Dynamic Recovering of Long Running Transactions. TGC 2008: 201-215 - [c9]Joana Martinho, António Ravara:
Encoding cryptographic primitives in a calculus with polyadic synchronization. TMFCS 2008: 102-109 - 2007
- [c8]Ivan Lanese
Disciplining Orchestration and Conversation in Service-Oriented Computing. SEFM 2007: 305-314 - 2006
- [j3]Antonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara:
Typing the Behavior of Software Components using Session Types. Fundam. Informaticae 73(4): 583-598 (2006) - [j2]Vasco Thudichum Vasconcelos
Type checking a multithreaded functional language with session types. Theor. Comput. Sci. 368(1-2): 64-87 (2006) - [c7]Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola
SCC: A Service Centered Calculus. WS-FM 2006: 38-57 - 2004
- [c6]Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay:
Session Types for Functional Multithreading. CONCUR 2004: 497-511 - 2003
- [c5]António Ravara
Lexically scoped distribution: what you see is what you get. FGC 2003: 61-79 - 2002
- [c4]Antonio Vallecillo
Typing the Behavior of Objects and Component Using Session Types. FOCLASA 2002: 439-456 - 2000
- [c3]António Ravara
Typing Non-uniform Concurrent Objects. CONCUR 2000: 474-488
1990 – 1999
- 1999
- [j1]Vasco Thudichum Vasconcelos
Communication Errors in the pi-Calculus are Undecidable. Inf. Process. Lett. 71(5-6): 229-233 (1999) - [c2]Uwe Nestmann, António Ravara
Semantics of Objects as Processes (SOAP). ECOOP Workshops 1999: 314-325 - 1997
- [c1]António Ravara, Vasco Thudichum Vasconcelos:
Behavioural Types for a Calculus of Concurrent Objects. Euro-Par 1997: 554-561
Coauthor Index
aka: Vasco T. Vasconcelos
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: