| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Clément Aubert, Cinzia Di Giusto, Simon Fowler 0001, Larisa Safina (eds.) |
Proceedings 16th Interaction and Concurrency Experience, ICE 2023, Lisbon, Portugal, 19th June 2023.  |
ICE  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Barbanera, Mariangiola Dezani-Ciancaglini |
Partially Typed Multiparty Sessions. |
ICE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Jeltsch, Javier Díaz |
Proofs about Network Communication: For Humans and Machines. |
ICE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Manel Barkallah, Jean-Marie Jacquet |
On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues. |
ICE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Basile 0001, Maurice H. ter Beek |
Research Challenges in Orchestration Synthesis. |
ICE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Seyed Hossein Haeri, Peter W. Thompson 0002, Peter Van Roy, Magne Haveraaen, Neil J. Davies, Mikhail Barash, Kevin Hammond, James Chapman 0001 |
Algebraic Reasoning About Timeliness. |
ICE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Clément Aubert, Cinzia Di Giusto, Larisa Safina, Alceste Scalas (eds.) |
Proceedings 15th Interaction and Concurrency Experience, ICE 2022, Lucca, Italy, 17th June 2022. |
ICE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Edixhoven, Sung-Shik Jongmans, José Proença, Guillermina Cledou |
Branching Pomsets for Choreographies. |
ICE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Cimini |
Lang-n-Send Extended: Sending Regular Expressions to Monitors. |
ICE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerard Tabone, Adrian Francalanza |
Session Fidelity for ElixirST: A Session-Based Type System for Elixir Modules. |
ICE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Barbanera, Ivan Lanese, Emilio Tuosto |
On Composing Communicating Systems. |
ICE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduard Kamburjan, Nathan Wasser |
The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics. |
ICE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Cinzia Di Giusto, Loïc Germerie Guizouarn, Étienne Lozes |
Towards Generalised Half-Duplex Systems. |
ICE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Laveaux, Tim A. C. Willemse |
Decomposing Monolithic Processes in a Process Algebra with Multi-actions. |
ICE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Bas van den Heuvel 0001, Jorge A. Pérez 0001 |
Deadlock Freedom for Asynchronous and Cyclic Process Networks. |
ICE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Clément Aubert, Daniele Varacca |
Process, Systems and Tests: Three Layers in Concurrent Computation. |
ICE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Lange, Anastasia Mavridou, Larisa Safina, Alceste Scalas (eds.) |
Proceedings 14th Interaction and Concurrency Experience, ICE 2021, Online, 18th June 2021. |
ICE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Lion, Farhad Arbab, Carolyn L. Talcott |
A Semantic Model for Interacting Cyber-Physical Systems. |
ICE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo de'Liguoro, Hernán C. Melgratti, Emilio Tuosto |
Towards Refinable Choreographies. |
ICE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Zorica Savanovic, Letterio Galletta, Hugo Torres Vieira |
A type language for message passing component-based systems. |
ICE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Lange, Anastasia Mavridou, Larisa Safina, Alceste Scalas (eds.) |
Proceedings 13th Interaction and Concurrency Experience, ICE 2020, Online, 19 June 2020. |
ICE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Coto, Roberto Guanciale, Emilio Tuosto |
An Abstract Framework for Choreographic Testing. |
ICE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronny Tredup, Evgeny Erofeev |
On the Parameterized Complexity of Synthesizing Boolean Petri Nets With Restricted Dependency. |
ICE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | André Trindade, João Mota, António Ravara |
Typestates to Automata and back: a tool. |
ICE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Xiao, Emilio Tuosto |
On Learning Nominal Automata with Binders. |
ICE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Barbanera, Mariangiola Dezani-Ciancaglini |
Open Multiparty Sessions. |
ICE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Marmsoler, Ana Petrovska |
Detecting Architectural Erosion using Runtime Verification. |
ICE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Prokic |
The Cπ-calculus: a Model for Confidential Name Passing. |
ICE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Ludovic Henrio, Anastasia Mavridou, Alceste Scalas (eds.) |
Proceedings 12th Interaction and Concurrency Experience, ICE 2019, Copenhagen, Denmark, 20-21 June 2019. |
ICE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurizio Murgia 0001 |
A Note On Compliance Relations And Fixed Points. |
ICE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Cimini |
Towards Gradually Typed Capabilities in the Pi-Calculus. |
ICE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Wen Kokke |
Rusty Variation: Deadlock-free Sessions with Failure in Rust. |
ICE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronny Tredup |
Tracking Down the Bad Guys: Reset and Set Make Feasibility for Flip-Flop Net Derivatives NP-complete. |
ICE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Zeng, Alexander Kurz 0001, Emilio Tuosto |
Interface Automata for Choreographies. |
ICE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Sophia Knight (eds.) |
Proceedings 11th Interaction and Concurrency Experience, ICE 2018, Madrid, Spain, June 20-21, 2018. |
ICE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurizio Murgia 0001 |
On Urgency in Asynchronous Timed Session Types. |
ICE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Fabre, G. Michele Pinna |
Toward a Uniform Approach to the Unfolding of Nets. |
ICE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduard Kamburjan, Reiner Hähnle |
Prototyping Formal System Models with Active Objects. |
ICE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Barbanera, Ugo de'Liguoro, Rolf Hennicker |
Global Types for Open Systems. |
ICE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Mansard |
Unfolding of Finite Concurrent Automata. |
ICE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Guanciale, Emilio Tuosto |
Realisability of Pomsets via Communicating Automata. |
ICE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexis Bernadet, Ivan Lanese |
A Modular Formalization of Reversibility for Concurrent Models and Languages. |
ICE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Letterio Galletta |
A Step Towards Checking Security in IoT. |
ICE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Henryk Michalewski, Matteo Mio, Mikolaj Bojanczyk |
On the Regular Emptiness Problem of Subzero Automata. |
ICE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Seyed H. Haeri (Hossein), Peter Van Roy, Carlos Baquero, Christopher Meiklejohn |
Worlds of Events: Deduction with Partial Knowledge about Causality. |
ICE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Ludovic Henrio, Sophia Knight, Hugo Torres Vieira (eds.) |
Proceedings 9th Interaction and Concurrency Experience, ICE 2016, Heraklion, Greece, 8-9 June 2016. |
ICE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Keyvan Azadbakht, Frank S. de Boer, Vlad Serbanescu 0001 |
Multi-Threaded Actors. |
ICE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Guanciale, Emilio Tuosto |
An Abstract Semantics of the Global View of Choreographies. |
ICE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tommaso Bolognesi, Vincenzo Ciancia |
Nominal Cellular Automata. |
ICE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis |
Architecture Diagrams: A Graphical Language for Architecture Style Specification. |
ICE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Fowler 0001 |
An Erlang Implementation of Multiparty Session Actors. |
ICE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Given-Wilson, Axel Legay |
On the Expressiveness of Joining. |
ICE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Barbanera, Steffen van Bakel, Ugo de'Liguoro |
Orchestrated Session Compliance. |
ICE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze |
Relating BIP and Reo. |
ICE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | César Santos, Francisco Martins, Vasco Thudichum Vasconcelos |
Deductive Verification of Parallel Programs Using Why3. |
ICE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophia Knight, Ivan Lanese, Alberto Lluch-Lafuente, Hugo Torres Vieira (eds.) |
Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015. |
ICE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Xian Xu 0001, Qiang Yin 0002, Huan Long |
On the Computation Power of Name Parameterization in Higher-order Processes. |
ICE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Bas Luttik, Fei Yang |
Executable Behaviour and the π-Calculus (extended abstract). |
ICE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Clément Aubert, Ioana Cristescu |
Reversible Barbed Congruence on Configuration Structures. |
ICE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alceste Scalas, Massimo Bartoletti |
The LTS WorkBench. |
ICE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Eike Best, Uli Schlachter |
Analysis of Petri Nets and Transition Systems. |
ICE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Ninin, Emmanuel Haucourt |
The Boolean Algebra of Cubical Areas as a Tensor Product in the Category of Semilattices with Zero. |
ICE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Latella, Michele Loreti, Mieke Massink |
On-the-fly Probabilistic Model Checking. |
ICE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna |
A note on two notions of compliance. |
ICE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Håkon Normann, Cristian Prisacariu, Thomas T. Hildebrandt |
Concurrency Models with Causality and Events as Psi-calculi. |
ICE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Given-Wilson |
An Intensional Concurrent Faithful Encoding of Turing Machines. |
ICE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Basile 0001, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Emilio Tuosto |
From Orchestration to Choreography through Contract Automata. |
ICE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sung-Shik T. Q. Jongmans, Farhad Arbab |
Toward Sequentializing Overparallelized Protocol Code. |
ICE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Barbanera, Ugo de'Liguoro |
Loosening the notions of compliance and sub-behaviour in client/server systems. |
ICE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova, Hugo Torres Vieira (eds.) |
Proceedings 7th Interaction and Concurrency Experience, ICE 2014, Berlin, Germany, 6th June 2014. |
ICE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduard Baranov, Simon Bliudze |
Extended Connectors: Structuring Glue Operators in BIP. |
ICE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino, Roberto Zunino |
Contract agreements via logic. |
ICE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyriakos Poyias, Emilio Tuosto |
On Recovering from Run-time Misbehaviour in ADR. |
ICE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Palmskog, Mads Dam, Andreas Lundblad, Ali Jafari |
ABS-NET: Fully Decentralized Runtime Adaptation for Distributed Objects. |
ICE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Lange, Alceste Scalas |
Choreography Synthesis as Contract Agreement. |
ICE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Xian Xu 0001 |
On Context Bisimulation for Parameterized Higher-order Processes. |
ICE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Carbone, Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova (eds.) |
Proceedings 6th Interaction and Concurrency Experience, ICE 2013, Florence, Italy, 6th June 2013. |
ICE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Étienne Lozes, Jules Villard |
Shared Contract-Obedient Endpoints |
ICE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Carbone, Ivan Lanese, Alexandra Silva 0001, Ana Sokolova (eds.) |
Proceedings Fifth Interaction and Concurrency Experience, ICE 2012, Stockholm, Sweden, 16th June 2012. |
ICE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrés Aristizábal, Filippo Bonchi, Luis Fernando Pino, Frank Valencia |
Reducing Weak to Strong Bisimilarity in CCP |
ICE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyriakos Poyias, Emilio Tuosto |
Enforcing Architectural Styles in Presence of Unexpected Distributed Reconfigurations |
ICE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Costa 0001, Fabio Martinelli, Artsiom Yautsiukhin |
Metric-Aware Secure Service Orchestration |
ICE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Bliudze |
Towards a Theory of Glue |
ICE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan R. Ghica, Zaid Al-Zobaidi |
Coherent Minimisation: Towards efficient tamper-proof compilation |
ICE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jurriaan Rot, Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu |
Interacting via the Heap in the Presence of Recursion |
ICE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Hirschowitz, Damien Pous |
Innocent strategies as presheaves and interactive equivalences for CCS |
ICE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan |
Formal Analysis of Quantum Systems using Process Calculus |
ICE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bocchi, Julien Lange, Emilio Tuosto |
Amending Contracts for Choreographies |
ICE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Dorman, Tobias Heindel |
Structured Operational Semantics for Graph Rewriting |
ICE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Silva 0001, Simon Bliudze, Roberto Bruni, Marco Carbone (eds.) |
Proceedings Fourth Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, 9th June 2011. |
ICE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Emilio Tuosto, Roberto Zunino |
Contracts in distributed systems |
ICE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilias Garnier, Christophe Aussaguès, Vincent David, Guy Vidal-Naquet |
On the reaction time of some synchronous systems |
ICE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincenzo Ciancia |
Interaction and observation, categorically |
ICE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Viviana Bono, Luca Padovani |
Polymorphic Endpoint Types for Copyless Message Passing |
ICE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sung-Shik T. Q. Jongmans, Farhad Arbab |
Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata |
ICE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese |
Static vs Dynamic SAGAs |
ICE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Mario Hernandez, Flemming Nielson |
History-sensitive versus future-sensitive approaches to security in distributed systems |
ICE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Bliudze, Roberto Bruni, Davide Grohmann, Alexandra Silva 0001 (eds.) |
Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, ICE 2010, Amsterdam, The Netherlands, 10th of June 2010. |
ICE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Viet Dung Dinh, Gian-Luigi Ferrari 0002 |
Safer in the Clouds (Extended Abstract) |
ICE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Roberto Zunino |
Primitives for Contract-based Synchronization |
ICE |
2010 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license