Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Spegni, Francesco
27  Ergebnisse:
Personensuche X
?
1

A Holonic Construction Management System for the Efficient ..:

Messi, Leonardo ; Carbonari, Alessandro ; Franco, Carlos...
Sustainability.  16 (2024)  5 - p. 1824 , 2024
Link: https://doi.org/10.3390/..
 
?
2

ChoEn: A Smart Contract Based Choreography Enforcer:

, In: 2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops),
Spegni, Francesco ; Fratini, Lorenzo ; Pirani, Massimiliano. - p. 86-91 , 2023
Link: https://doi.org/10.1109/..
 
?
3

A Precision Cybersecurity Workflow for Cyber-physical Syste..:

, In: Computer Security. ESORICS 2022 International Workshops; Lecture Notes in Computer Science,
Spegni, Francesco ; Sabatelli, Antonio ; Merlo, Alessio... - p. 409-426 , 2023
Link: https://doi.org/10.1007/..
 
?
4

A Mixed Reality Application for the On-Site Assessment of B..:

Carbonari, Alessandro ; Franco, Carlos ; Naticchia, Berardo..
Sustainability.  14 (2022)  20 - p. 13239 , 2022
Link: https://doi.org/10.3390/..
 
?
5

Automatic Repair of Timestamp Comparisons:

Liva, Giovanni ; Khan, Muhammad Taimoor ; Pinzger, Martin..
IEEE Transactions on Software Engineering.  47 (2021)  11 - p. 2369-2381 , 2021
Link: https://doi.org/10.1109/..
 
?
6

Blockchain based choreographies: The construction industry ..:

Spalazzi, Luca ; Spegni, Francesco ; Corneli, Alessandra.
Concurrency and Computation: Practice and Experience.  35 (2021)  16 - p. , 2021
Link: https://doi.org/10.1002/..
 
?
7

Verifying temporal specifications of Java programs:

Spegni, Francesco ; Spalazzi, Luca ; Liva, Giovanni..
Software Quality Journal.  28 (2020)  2 - p. 695-744 , 2020
Link: https://doi.org/10.1007/..
 
?
8

Parameterized model checking of networks of timed automata ..:

Spalazzi, Luca ; Spegni, Francesco
Theoretical Computer Science.  813 (2020)  - p. 248-269 , 2020
Link: https://doi.org/10.1016/..
 
?
9

Verification-as-a-Service for Parameter Assessment:

, In: 2019 International Conference on High Performance Computing & Simulation (HPCS),
Spalazzi, Luca ; Spegni, Francesco - p. 1043-1044 , 2019
Link: https://doi.org/10.1109/..
 
?
10

High-Performance Computing for Formal Security Assessment:

, In: 2019 International Conference on High Performance Computing & Simulation (HPCS),
Spalazzi, Luca ; Spegni, Francesco - p. 923-930 , 2019
Link: https://doi.org/10.1109/..
 
?
11

Towards Model Checking Security of Real Time Java Software:

, In: 2018 International Conference on High Performance Computing & Simulation (HPCS),
Spalazzi, Luca ; Spegni, Francesco ; Liva, Giovanni. - p. 642-649 , 2018
Link: https://doi.org/10.1109/..
 
?
12

Modeling time in Java programs for automatic error detectio:

, In: Proceedings of the 6th Conference on Formal Methods in Software Engineering,
Liva, Giovanni ; Khan, Muhammad Taimoor ; Spegni, Francesco... - p. 50-59 , 2018
Link: https://dl.acm.org/doi/1..
 
?
13

Parameterized model checking of rendezvous systems:

Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha..
Distributed Computing.  31 (2017)  3 - p. 187-222 , 2017
Link: https://doi.org/10.1007/..
 
?
14

A modular environment for software development and re-engin..:

, In: Proceedings of the Second International Workshop on Developing Tools as Plug-Ins,
Campana, Salvatore ; Poli, Andrea ; Spalazzi, Luca. - p. 90-91 , 2012
Link: https://dl.acm.org/doi/1..
 
?
15

XAL : A Web Oriented Programming Language Based on Timed..:

, In: Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01,
Campana, Salvatore ; Spalazzi, Luca ; Spegni, Francesco - p. 862-868 , 2008
Link: https://dl.acm.org/doi/1..
 
1-15