Alceste Scalas

60 papers A* 1A 4B 2C 6Journal 33Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
JoinActors: A Modular Library for Actors with Join Patterns.
CoRR
Ayman Hussein, Philipp Haller, Ioannis Karras, Hernán C. Melgratti, Alceste Scalas, Emilio Tuosto
2026 J jnl
JoinActors: A Modular Library for Actors with Join Patterns.
Art Sci. Eng. Program.
Ayman Hussein, Philipp Haller, Ioannis Karras, Hernán C. Melgratti, Alceste Scalas, Emilio Tuosto
2026 J jnl
PN2CCS: A tool to encode Petri nets into calculus of communicating systems.
Sci. Comput. Program.
Benjamin Bogø, Andrea Burattin, Alceste Scalas
2025 J jnl
Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report).
CoRR
Radoslaw Jan Rowicki, Adrian Francalanza, Alceste Scalas
2025 J jnl
Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation.
Proc. ACM Program. Lang.
Radoslaw Jan Rowicki, Adrian Francalanza, Alceste Scalas
2025 C conf
On Asynchronous Multiparty Session Types for Federated Learning.
ICTAC
Ivan Prokic, Simona Prokic, Silvia Ghilezan, Alceste Scalas, Nobuko Yoshida
2025 J jnl
Preface for the special issue on selected software artifacts from DisCoTec 2023 - the 18th International Federated Conference on Distributed Computing Techniques.
Sci. Comput. Program.
Roberto Casadei, Vinicius Vielmo Cogo, Tom van Dijk, Alceste Scalas
2025 J jnl
Relaxed Choices in Bottom-Up Asynchronous Multiparty Session Types.
CoRR
Ivan Prokic, Simona Prokic, Silvia Ghilezan, Alceste Scalas, Nobuko Yoshida
2024 — conf
Behavioural Types for Heterogeneous Systems (Position Paper).
PLACES@ETAPS
Simon Fowler, Philipp Haller, Roland Kuhn, Sam Lindley, Alceste Scalas, Vasco T. Vasconcelos
2024 C conf
COTS: Connected OpenAPI Test Synthesis for RESTful Applications.
COORDINATION
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Emilio Tuosto
2024 J jnl
COTS: Connected OpenAPI Test Synthesis for RESTful Applications.
CoRR
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Emilio Tuosto
2024 J jnl
Encoding Petri Nets into CCS (Technical Report).
CoRR
Benjamin Bogø, Andrea Burattin, Alceste Scalas
2024 C conf
Encoding Petri Nets into CCS.
COORDINATION
Benjamin Bogø, Andrea Burattin, Alceste Scalas
2024 J jnl
Fair Join Pattern Matching for Actors (Artifact).
Dagstuhl Artifacts Ser.
Philipp Haller, Ayman Hussein, Hernán C. Melgratti, Alceste Scalas, Emilio Tuosto
2024 A conf
Fair Join Pattern Matching for Actors.
ECOOP
Philipp Haller, Ayman Hussein, Hernán C. Melgratti, Alceste Scalas, Emilio Tuosto
2024 C conf
The Concurrent Calculi Formalisation Benchmark.
COORDINATION
Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Legesse Tirore, Martin Vassor, Nobuko Yoshida, Daniel Zackon
2023 J jnl
P4R-Type: A Verified API for P4 Control Plane Programs.
Proc. ACM Program. Lang.
Jens Kanstrup Larsen, Roberto Guanciale, Philipp Haller, Alceste Scalas
2023 J jnl
P4R-Type: a Verified API for P4 Control Plane Programs (Technical Report).
CoRR
Jens Kanstrup Larsen, Roberto Guanciale, Philipp Haller, Alceste Scalas
2023 J jnl
Precise Subtyping for Asynchronous Multiparty Sessions.
ACM Trans. Comput. Log.
Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida
2023 — ed.
Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2023, Paris, France, 22 April 2023.
PLACES@ETAPS
Ilaria Castellani, Alceste Scalas
2022 J jnl
Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report).
CoRR
Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou
2022 B conf
Generalised Multiparty Session Types with Crash-Stop Failures.
CONCUR
Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou
2022 J jnl
PSTMonitor: Monitor Synthesis from Probabilistic Session Types.
CoRR
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
2022 J jnl
PSTMonitor: Monitor synthesis from probabilistic session types.
Sci. Comput. Program.
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
2022 — ed.
Proceedings 15th Interaction and Concurrency Experience, ICE 2022, Lucca, Italy, 17th June 2022.
ICE
Clément Aubert, Cinzia Di Giusto, Larisa Safina, Alceste Scalas
2021 — conf
A Formal Model of Algorand Smart Contracts.
Financial Cryptography (1)
Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino
2021 J jnl
Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372).
Dagstuhl Reports
Mariangiola Dezani, Roland Kuhn, Sam Lindley, Alceste Scalas
2021 J jnl
On the Monitorability of Session Types, in Theory and Practice (Artifact).
Dagstuhl Artifacts Ser.
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas
2021 J jnl
On the Monitorability of Session Types, in Theory and Practice (Extended Version).
CoRR
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas
2021 A conf
On the Monitorability of Session Types, in Theory and Practice.
ECOOP
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas
2021 J jnl
Precise subtyping for asynchronous multiparty sessions.
Proc. ACM Program. Lang.
Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida
2021 — ed.
Proceedings 14th Interaction and Concurrency Experience, ICE 2021, Online, 18th June 2021.
ICE
Julien Lange, Anastasia Mavridou, Larisa Safina, Alceste Scalas
2021 C conf
Towards Probabilistic Session-Type Monitoring.
COORDINATION
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
2021 J jnl
Towards Probabilistic Session-Type Monitoring.
CoRR
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
2020 J jnl
A formal model of Algorand smart contracts.
CoRR
Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino
2020 J jnl
Precise Subtyping for Asynchronous Multiparty Sessions.
CoRR
Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida
2020 — ed.
Proceedings 13th Interaction and Concurrency Experience, ICE 2020, Online, 19 June 2020.
ICE
Julien Lange, Anastasia Mavridou, Larisa Safina, Alceste Scalas
2020 C conf
Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper).
FORTE
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas
2019 — conf
Effpi: verified message-passing programs in Dotty.
SCALA@ECOOP
Alceste Scalas, Nobuko Yoshida, Elias Benussi
2019 J jnl
Less is more: multiparty session types revisited.
Proc. ACM Program. Lang.
Alceste Scalas, Nobuko Yoshida
2019 J jnl
Precise subtyping for synchronous multiparty sessions.
J. Log. Algebraic Methods Program.
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Alceste Scalas, Nobuko Yoshida
2019 — ed.
Proceedings 12th Interaction and Concurrency Experience, ICE 2019, Copenhagen, Denmark, 20-21 June 2019.
ICE
Massimo Bartoletti, Ludovic Henrio, Anastasia Mavridou, Alceste Scalas
2019 A* conf
Verifying message-passing programs with dependent behavioural types.
PLDI
Alceste Scalas, Nobuko Yoshida, Elias Benussi
2018 J jnl
Multiparty session types, beyond duality.
J. Log. Algebraic Methods Program.
Alceste Scalas, Nobuko Yoshida
2017 J jnl
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact).
Dagstuhl Artifacts Ser.
Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida
2017 A conf
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming.
ECOOP
Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida
2017 — conf
Multiparty Session Types, Beyond Duality (Abstract).
PLACES@ETAPS
Alceste Scalas, Nobuko Yoshida
2017 J jnl
On the Preciseness of Subtyping in Session Types.
Log. Methods Comput. Sci.
Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida
2017 J jnl
Verifiable abstractions for contract-oriented systems.
J. Log. Algebraic Methods Program.
Massimo Bartoletti, Maurizio Murgia, Alceste Scalas, Roberto Zunino
2016 J jnl
Honesty by Typing
Log. Methods Comput. Sci.
Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino
2016 J jnl
Lightweight Session Programming in Scala (Artifact).
Dagstuhl Artifacts Ser.
Alceste Scalas, Nobuko Yoshida
2016 A conf
Lightweight Session Programming in Scala.
ECOOP
Alceste Scalas, Nobuko Yoshida
2016 J jnl
On the Preciseness of Subtyping in Session Types.
CoRR
Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida
2015 J jnl
Choreographies in the wild.
Sci. Comput. Program.
Massimo Bartoletti, Julien Lange, Alceste Scalas, Roberto Zunino
2015 — conf
The LTS WorkBench.
ICE
Alceste Scalas, Massimo Bartoletti
2014 B conf
A Semantic Deconstruction of Session Types.
CONCUR
Massimo Bartoletti, Alceste Scalas, Roberto Zunino
2014 — conf
Modelling and Verifying Contract-Oriented Systems in Maude.
WRLA
Massimo Bartoletti, Maurizio Murgia, Alceste Scalas, Roberto Zunino
2013 — conf
Choreography Synthesis as Contract Agreement.
ICE
Julien Lange, Alceste Scalas
2013 — conf
Honesty by Typing.
FMOODS/FORTE
Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino
2008 — conf
High-performance technical computing with erlang.
Erlang Workshop
Alceste Scalas, Giovanni Casu, Piero Pili