Login / Signup
ICE
1998
2003
2013
2022
1998
2022
Keyphrases
Publications
2022
Eduard Kamburjan
,
Nathan Wasser
The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics.
ICE
(2022)
Franco Barbanera
,
Ivan Lanese
,
Emilio Tuosto
On Composing Communicating Systems.
ICE
(2022)
Luc Edixhoven
,
Sung-Shik Jongmans
,
José Proença
,
Guillermina Cledou
Branching Pomsets for Choreographies.
ICE
(2022)
Matteo Cimini
Lang-n-Send Extended: Sending Regular Expressions to Monitors.
ICE
(2022)
Gerard Tabone
,
Adrian Francalanza
Session Fidelity for ElixirST: A Session-Based Type System for Elixir Modules.
ICE
(2022)
volume 365, 2022
Proceedings 15th Interaction and Concurrency Experience, ICE 2022, Lucca, Italy, 17th June 2022.
ICE
365 (2022)
2021
Bas van den Heuvel
,
Jorge A. Pérez
Deadlock Freedom for Asynchronous and Cyclic Process Networks.
ICE
(2021)
Cinzia Di Giusto
,
Loïc Germerie Guizouarn
,
Étienne Lozes
Towards Generalised Half-Duplex Systems.
ICE
(2021)
Maurice Laveaux
,
Tim A. C. Willemse
Decomposing Monolithic Processes in a Process Algebra with Multi-actions.
ICE
(2021)
Benjamin Lion
,
Farhad Arbab
,
Carolyn L. Talcott
A Semantic Model for Interacting Cyber-Physical Systems.
ICE
(2021)
Clément Aubert
,
Daniele Varacca
Process, Systems and Tests: Three Layers in Concurrent Computation.
ICE
(2021)
volume 347, 2021
Proceedings 14th Interaction and Concurrency Experience, ICE 2021, Online, 18th June 2021.
ICE
347 (2021)
2020
Alex Coto
,
Roberto Guanciale
,
Emilio Tuosto
An Abstract Framework for Choreographic Testing.
ICE
(2020)
André Trindade
,
João Mota
,
António Ravara
Typestates to Automata and back: a tool.
ICE
(2020)
Ugo de'Liguoro
,
Hernán C. Melgratti
,
Emilio Tuosto
Towards Refinable Choreographies.
ICE
(2020)
Ronny Tredup
,
Evgeny Erofeev
On the Parameterized Complexity of Synthesizing Boolean Petri Nets With Restricted Dependency.
ICE
(2020)
Zorica Savanovic
,
Letterio Galletta
,
Hugo Torres Vieira
A type language for message passing component-based systems.
ICE
(2020)
volume 324, 2020
Proceedings 13th Interaction and Concurrency Experience, ICE 2020, Online, 19 June 2020.
ICE
324 (2020)
2019
Matteo Cimini
Towards Gradually Typed Capabilities in the Pi-Calculus.
ICE
(2019)
Hao Zeng
,
Alexander Kurz
,
Emilio Tuosto
Interface Automata for Choreographies.
ICE
(2019)
Diego Marmsoler
,
Ana Petrovska
Detecting Architectural Erosion using Runtime Verification.
ICE
(2019)
Ronny Tredup
Tracking Down the Bad Guys: Reset and Set Make Feasibility for Flip-Flop Net Derivatives NP-complete.
ICE
(2019)
Franco Barbanera
,
Mariangiola Dezani-Ciancaglini
Open Multiparty Sessions.
ICE
(2019)
Wen Kokke
Rusty Variation: Deadlock-free Sessions with Failure in Rust.
ICE
(2019)
Maurizio Murgia
A Note On Compliance Relations And Fixed Points.
ICE
(2019)
Ivan Prokic
-calculus: a Model for Confidential Name Passing.
ICE
(2019)
Yi Xiao
,
Emilio Tuosto
On Learning Nominal Automata with Binders.
ICE
(2019)
volume 304, 2019
Proceedings 12th Interaction and Concurrency Experience, ICE 2019, Copenhagen, Denmark, 20-21 June 2019.
ICE
304 (2019)
2018
Eduard Kamburjan
,
Reiner Hähnle
Prototyping Formal System Models with Active Objects.
ICE
(2018)
Franco Barbanera
,
Ugo de'Liguoro
,
Rolf Hennicker
Global Types for Open Systems.
ICE
(2018)
Maurizio Murgia
On Urgency in Asynchronous Timed Session Types.
ICE
(2018)
Eric Fabre
,
G. Michele Pinna
Toward a Uniform Approach to the Unfolding of Nets.
ICE
(2018)
Roberto Guanciale
,
Emilio Tuosto
Realisability of Pomsets via Communicating Automata.
ICE
(2018)
Alexandre Mansard
Unfolding of Finite Concurrent Automata.
ICE
(2018)
volume 279, 2018
Proceedings 11th Interaction and Concurrency Experience, ICE 2018, Madrid, Spain, June 20-21, 2018.
ICE
279 (2018)
2016
Keyvan Azadbakht
,
Frank S. de Boer
,
Vlad Serbanescu
Multi-Threaded Actors.
ICE
(2016)
Roberto Guanciale
,
Emilio Tuosto
An Abstract Semantics of the Global View of Choreographies.
ICE
(2016)
Alexis Bernadet
,
Ivan Lanese
A Modular Formalization of Reversibility for Concurrent Models and Languages.
ICE
(2016)
Simon Fowler
An Erlang Implementation of Multiparty Session Actors.
ICE
(2016)
Chiara Bodei
,
Pierpaolo Degano
,
Gian Luigi Ferrari
,
Letterio Galletta
A Step Towards Checking Security in IoT.
ICE
(2016)
Henryk Michalewski
,
Matteo Mio
,
Mikolaj Bojanczyk
On the Regular Emptiness Problem of Subzero Automata.
ICE
(2016)
Tommaso Bolognesi
,
Vincenzo Ciancia
Nominal Cellular Automata.
ICE
(2016)
Seyed H. Haeri (Hossein)
,
Peter Van Roy
,
Carlos Baquero
,
Christopher Meiklejohn
Worlds of Events: Deduction with Partial Knowledge about Causality.
ICE
(2016)
Anastasia Mavridou
,
Eduard Baranov
,
Simon Bliudze
,
Joseph Sifakis
Architecture Diagrams: A Graphical Language for Architecture Style Specification.
ICE
(2016)
volume 223, 2016
Proceedings 9th Interaction and Concurrency Experience, ICE 2016, Heraklion, Greece, 8-9 June 2016.
ICE
223 (2016)
2015
Franco Barbanera
,
Steffen van Bakel
,
Ugo de'Liguoro
Orchestrated Session Compliance.
ICE
(2015)
Clément Aubert
,
Ioana Cristescu
Reversible Barbed Congruence on Configuration Structures.
ICE
(2015)
Kasper Dokter
,
Sung-Shik Jongmans
,
Farhad Arbab
,
Simon Bliudze
Relating BIP and Reo.
ICE
(2015)
César Santos
,
Francisco Martins
,
Vasco Thudichum Vasconcelos
Deductive Verification of Parallel Programs Using Why3.
ICE
(2015)
volume 189, 2015
Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015.
ICE
189 (2015)