D. Basile

From MaRDI portal
Person:2065532

Available identifiers

zbMath Open basile.davideMaRDI QIDQ2065532

List of research outcomes





PublicationDate of PublicationType
Advancing orchestration synthesis for contract automata2024-10-08Paper
Coherent modal transition systems refinement2024-03-20Paper
Research Challenges in Orchestration Synthesis2024-03-19Paper
Analysing an autonomous tramway positioning system with the \textsc{Uppaal} statistical model checker2022-01-11Paper
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes2021-11-12Dataset
https://portal.mardi4nfdi.de/entity/Q51148272020-06-26Paper
From orchestration to choreography through contract automata2020-02-14Paper
Moving-block System: Requirements and Formal Models2019-08-23Dataset
Automata for Specifying and Orchestrating Service Contracts2017-04-11Paper
Automata for analysing service contracts2016-06-09Paper
Relating two automata-based models of orchestration and choreography2016-04-20Paper
Safe adaptation through implicit effect coercion2016-01-08Paper

Research outcomes over time

This page was built for person: D. Basile

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2065532&oldid=10603142"
Powered by MediaWiki