LOGIN TO YOUR ACCOUNT

Username
Password
Remember Me
Or use your Academic/Social account:

CREATE AN ACCOUNT

Or use your Academic/Social account:

Congratulations!

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.

Important!

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.

Close This Message

CREATE AN ACCOUNT

Name:
Username:
Password:
Verify Password:
E-mail:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Francesco Marconi; Marcello Maria Bersani; Matteo Rossi (2017)
Publisher: Zenodo
Type: dataset

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.

  • No related publications.
  • No related research data.

Share - Bookmark

Download from

Funded by projects

  • EC | DICE

Cite this research data

Collected from