Követés
Francesco Spegni
Cím
Hivatkozott rá
Hivatkozott rá
Év
Parameterized model checking of rendezvous systems
B Aminof, T Kotek, S Rubin, F Spegni, H Veith
International Conference on Concurrency Theory, 109-124, 2014
532014
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
352018
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
232022
Liveness of parameterized timed networks
B Aminof, S Rubin, F Zuleger, F Spegni
International Colloquium on Automata, Languages, and Programming, 375-387, 2015
232015
Model checking grid security
F Pagliarecci, L Spalazzi, F Spegni
Future Generation Computer Systems 29 (3), 811-827, 2013
192013
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
152023
Parameterized Model-Checking for Timed-Systems with Conjunctive Guards
L Spalazzi, F Spegni
VSTTE 2014, 2014
132014
Parameterized model checking of networks of timed automata with Boolean guards
L Spalazzi, F Spegni
Theoretical Computer Science 813, 248-269, 2020
112020
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
112016
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
102018
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
92010
Combining blockchain and BPMN coreographies for construction management
A Corneli, B Naticchia, F Spegni, L Spalazzi
Proceedings of the 2021 European Conference on Computing in Construction …, 2021
82021
A precision cybersecurity workflow for cyber-physical systems: The iot healthcare use case
F Spegni, A Sabatelli, A Merlo, L Pepa, L Spalazzi, L Verderame
European Symposium on Research in Computer Security, 409-426, 2022
62022
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
62018
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
62017
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
52021
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
52019
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
52017
Enhancing BIM through Mixed Reality for facility management
M Vaccarini, A Carbonari, F Spegni, A Giretti
From Theory of Knowledge Management to Practice, 2022
42022
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
42017
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20