May 18, 2019 · We developed OSTIA (Ordinary Static Topology Inference Analysis) that allows detecting the occurrence of common anti-patterns across big data architectures.

We present an approach for the automated formal verification of distributed systems based on the Storm technology. The approach is based on a formal model of ...

Verifying big data topologies by‑design: a semi‑automated approach. Marcello M. Bersani1*, Francesco Marconi1, Damian A. Tamburri2* , Andrea Nodari3 and ...

Dive into the research topics of 'Verifying big data topologies by-design: a semi-automated approach'. Together they form a unique fingerprint.

Title. Verifying big data topologies by-design: a semi-automated approach. Authors. Bersani, Marcello M.; Marconi, Francesco; Tamburri, Damian A.; Nodari, ...

As an aid to designers and developers, we developed OSTIA (Ordinary Static Topology Inference Analysis) that allows detecting the occurrence of common anti- ...

Verifying big data topologies by-design: a semi-automated approach. https://doi.org/10.1186/s40537-019-0199-y · Full text. Journal: Journal of Big Data, 2019, № ...

May 18, 2019 · Verifying Big Data Topologies By-Design: A Semi-Automated Approach by Marcello M. Bersani, Francesco Marconi, Damian A. Tamburri, ...

As an aid to designers and developers, we developed OSTIA (Ordinary Static Topology Inference Analysis) that allows detecting the occurrence of common anti- ...

Verifying big data topologies by-design: a semi-automated approach. MM Bersani, F Marconi, DA Tamburri, A Nodari, P Jamshidi. Journal of Big Data 6 (1), 40, ...