Davide Basile

Available identifiers

zbMath Open basile.davideMaRDI QIDQ2065532

List of research outcomes

Publication	Date of Publication	Type
Coherent modal transition systems refinement	2024-03-20	Paper
Research Challenges in Orchestration Synthesis	2024-03-19	Paper
Analysing an autonomous tramway positioning system with the \textsc{Uppaal} statistical model checker	2022-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q5114827	2020-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q5216080	2020-02-14	Paper
Automata for Specifying and Orchestrating Service Contracts	2017-04-11	Paper
Automata for Analysing Service Contracts	2016-06-09	Paper
Relating two automata-based models of orchestration and choreography	2016-04-20	Paper
Safe Adaptation Through Implicit Effect Coercion	2016-01-08	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Davide Basile