| 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 | 77 | 2018 |
| Liveness of parameterized timed networks B Aminof, S Rubin, F Zuleger, F Spegni International Colloquium on Automata, Languages, and Programming, 375-387, 2015 | 23 | 2015 |
| Model checking grid security F Pagliarecci, L Spalazzi, F Spegni Future Generation Computer Systems 29 (3), 811-827, 2013 | 19 | 2013 |
| Parameterized Model-Checking for Timed-Systems with Conjunctive Guards L Spalazzi, F Spegni VSTTE 2014, 2014 | 14 | 2014 |
| 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 | 12 | 2022 |
| 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 | 10 | 2016 |
| 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 | 9 | 2023 |
| 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 | 9 | 2010 |
| Parameterized model checking of networks of timed automata with Boolean guards L Spalazzi, F Spegni Theoretical Computer Science 813, 248-269, 2020 | 8 | 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 | 8 | 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 | 6 | 2017 |
| Combining blockchain and BPMN coreographies for construction management A Corneli, B Naticchia, F Spegni, L Spalazzi EC3 Conference 2021 2, 34-41, 2021 | 5 | 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 | 5 | 2019 |
| 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 | 5 | 2018 |
| 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 | 5 | 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 | 4 | 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 | 4 | 2008 |
| 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 | 3 | 2021 |
| On the Existence of Cutoffs for Model Checking Disjunctive Timed Networks. L Spalazzi, F Spegni ICTCS/CILC, 174-185, 2017 | 3 | 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 | 2 | 2023 |
Luca SpalazziProfessor of Computer Science, Università Politecnica delle Marche, Ancona, ItalyVerified email at univpm.it
