António Ravara

72 papers A* 1A 2B 4C 5Misc 3Journal 31Unranked 19

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