default search action

combined dblp search
author search
venue search
publication search

ask others

24th COORDINATION 2022: Lucca, Italy

> Home > Conferences and Workshops > COORDINATION

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/2022
Maurice H. ter Beek, Marjan Sirjani:
Coordination Models and Languages - 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings. Lecture Notes in Computer Science 13271, Springer 2022, ISBN 978-3-031-08145-3

Invited Presentation

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/Vigano22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/Vigano22
Luca Viganò:
Formal Methods for Socio-technical Security - (Formal and Automated Analysis of Security Ceremonies). 3-14

Timed and Probabilistic Systems

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/YiMG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/YiMG22
Wang Yi, Morteza Mohaqeqi, Susanne Graf:
MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems. 17-34
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BartolettiMZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BartolettiMZ22
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino:
A Sound Up-to-n, δ Bisimilarity for PCTL. 35-52

Collective Adaptive Systems and Aggregate Computing

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/AudritoRT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/AudritoRT22
Giorgio Audrito, Luigi Rapetta, Gianluca Torta:
Extensible 3D Simulation of Aggregated Systems with FCPP. 55-71
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/AguzziCV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/AguzziCV22
Gianluca Aguzzi, Roberto Casadei, Mirko Viroli:
Towards Reinforcement Learning-based Aggregate Computing. 72-91
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/GiudiceMQRL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/GiudiceMQRL22
Nicola Del Giudice, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman, Michele Loreti:
Sibilla: A Tool for Reasoning about Collective Systems. 92-98
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/CasadeiMPVZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/CasadeiMPVZ22
Roberto Casadei, Stefano Mariani, Danilo Pianini, Mirko Viroli, Franco Zambonelli:
Space-Fluid Adaptive Sampling: A Field-Based, Self-organising Approach. 99-117

Processes and Languages

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BarbaneraLT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BarbaneraLT22
Franco Barbanera, Ivan Lanese, Emilio Tuosto:
Formal Choreographic Languages. 121-139
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BocchiLTV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BocchiLTV22
Laura Bocchi, Julien Lange, Simon Thompson, A. Laura Voinea:
A Model of Actors and Grey Failures. 140-158
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BussiGS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BussiGS22
Laura Bussi, Fabio Gadducci, Francesco Santini:
Soft Concurrent Constraint Programming with Local Variables. 159-177

Runtime Verification and Monitor Synthesis

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/AchilleosEFLX22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/AchilleosEFLX22
Antonis Achilleos, Léo Exibard, Adrian Francalanza, Karoliina Lehtinen, Jasmine Xuereb:
A Synthesis Tool for Optimal Monitors in a Branching-Time Setting. 181-199
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/AcetoAAEFI22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/AcetoAAEFI22
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir:
A Monitoring Tool for Linear-Time μHML. 200-219

Microservices

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/GiallorenzoMPR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/GiallorenzoMPR22
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher:
Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs. 223-240

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.