Francesco Spegni
Cited by
Cited by
Parameterized model checking of rendezvous systems
B Aminof, T Kotek, S Rubin, F Spegni, H Veith
Distributed Computing 31 (3), Parameterized model checking of rendezvo, 2018
Liveness of parameterized timed networks
B Aminof, S Rubin, F Zuleger, F Spegni
International Colloquium on Automata, Languages, and Programming, 375-387, 2015
Model checking grid security
F Pagliarecci, L Spalazzi, F Spegni
Future Generation Computer Systems 29 (3), 811-827, 2013
A mixed reality application for the on-site assessment of building renovation: development and testing
A Carbonari, C Franco, B Naticchia, F Spegni, M Vaccarini
Sustainability 14 (20), 13239, 2022
Parameterized Model-Checking for Timed-Systems with Conjunctive Guards
L Spalazzi, F Spegni
VSTTE 2014, 2014
Blockchain based choreographies: The construction industry case study
L Spalazzi, F Spegni, A Corneli, B Naticchia
Concurrency and Computation: Practice and Experience 35 (16), e6740, 2023
Parametric and probabilistic model checking of confidentiality in data dispersal algorithms
M Baldi, A Cucchiarelli, L Senigagliesi, L Spalazzi, F Spegni
2016 International Conference on High Performance Computing & Simulation …, 2016
Parameterized model checking of networks of timed automata with Boolean guards
L Spalazzi, F Spegni
Theoretical Computer Science 813, 248-269, 2020
Towards model checking security of real time Java software
L Spalazzi, F Spegni, G Liva, M Pinzger
2018 International Conference on High Performance Computing & Simulation …, 2018
Dynamic networks of timed automata for collaborative systems: A network monitoring case study
S Campana, L Spalazzi, F Spegni
2010 international symposium on collaborative technologies and systems, 113-122, 2010
Combining blockchain and BPMN coreographies for construction management
A Corneli, B Naticchia, F Spegni, L Spalazzi
EC3 Conference 2021 2, 34-41, 2021
Modeling time in Java programs for automatic error detection
G Liva, MT Khan, F Spegni, L Spalazzi, A Bollin, M Pinzger
Proceedings of the 6th Conference on Formal Methods in Software Engineering …, 2018
Accuracy of message counting abstraction in fault-tolerant distributed algorithms
I Konnov, J Widder, F Spegni, L Spalazzi
Verification, Model Checking, and Abstract Interpretation: 18th …, 2017
A Smart Contract-based BPMN Choreography Execution for Management of Construction Processes
A Corneli, F Spegni, MA Bragadin, M Vaccarini
edings of the 38th International Symposium on Automation and Robotics in …, 2021
Automatic repair of timestamp comparisons
G Liva, MT Khan, M Pinzger, F Spegni, L Spalazzi
IEEE Transactions on Software Engineering 47 (11), 2369-2381, 2019
Security in heterogeneous distributed storage systems: A practically achievable information-theoretic approach
M Baldi, F Chiaraluce, L Senigagliesi, L Spalazzi, F Spegni
2017 IEEE Symposium on Computers and Communications (ISCC), 1021-1028, 2017
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage
M Baldi, E Bartocci, F Chiaraluce, A Cucchiarelli, L Senigagliesi, ...
Quantitative Evaluation of Systems: 14th International Conference, QEST 2017 …, 2017
XAL: A web oriented programming language based on timed-automata
S Campana, L Spalazzi, F Spegni
2008 IEEE/WIC/ACM International Conference on Web Intelligence and …, 2008
On the Existence of Cutoffs for Model Checking Disjunctive Timed Networks.
L Spalazzi, F Spegni
ICTCS/CILC, 174-185, 2017
ChoEn: A smart contract based choreography enforcer
F Spegni, L Fratini, M Pirani, L Spalazzi
2023 IEEE International Conference on Pervasive Computing and Communications …, 2023
The system can't perform the operation now. Try again later.
Articles 1–20