?
Lecture Notes in Computer Science; Coordination Models and Languages ,
1
TRAC: A Tool for Data-Aware Coordination: (with an Applicat..:
, In:
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
2
SEArch: An Execution Infrastructure for Service-Based Softw..:
, In:
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
3
COTS: Connected OpenAPI Test Synthesis for RESTful Applicat..:
, In:
?
Theoretical Aspects of Computing – ICTAC 2023; Lecture Notes in Computer Science ,
6
A Dynamic Temporal Logic for Quality of Service in Choreogr..:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science ,
7
On Formal Choreographic Modelling: A Case Study in EU Busin..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
10
A Prototype for Data Race Detection in CSeq 3: (Competition..:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning; Lecture Notes in Computer Science ,
12
On Model-Based Performance Analysis of Collective Adaptive ..:
, In:
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
14