You have just completed your registration at OpenAire.
Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.
Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.
Thank you for your patience,
OpenAire Dev Team.
This archive includes the research data associated to the paper:
Formal verification of storm topologies through D-VerT. In Proceedings of the Symposium on Applied Computing (SAC '17). Francesco Marconi, Marcello M. Bersani, and Matteo Rossi. 2017. ACM, New York, NY, USA, 1168-1174. DOI: https://doi.org/10.1145/3019612.3019769
Specifically it includes the UML models shown in the paper (Figures 7 and 8), the corresponding instances of the Temporal logic models automatically generated by means of the D-VerT and the output files of the experiments.