Verifying temporal specifications of Java programs
Spegni, Francesco, Spalazzi, Luca, Liva, Giovanni, Pinzger, Martin, Bollin, Andreas
Published in Software quality journal (01.06.2020)
Published in Software quality journal (01.06.2020)
Get full text
Journal Article
PKS: An Ontology-based Learning Construct for Lifelong Learners
Manganello, Flavio, Falsetti, Carla, Spalazzi. Luca, Leo, Tommaso
Published in Educational technology & society (01.01.2013)
Get full text
Published in Educational technology & society (01.01.2013)
Journal Article
Algorithmically generated malicious domain names detection based on n-grams features
Cucchiarelli, Alessandro, Morbidoni, Christian, Spalazzi, Luca, Baldi, Marco
Published in Expert systems with applications (15.05.2021)
Published in Expert systems with applications (15.05.2021)
Get full text
Journal Article
An offline parallel architecture for forensic multimedia classification
Spalazzi, Luca, Paolanti, Marina, Frontoni, Emanuele
Published in Multimedia tools and applications (01.07.2022)
Published in Multimedia tools and applications (01.07.2022)
Get full text
Journal Article
Blockchain based choreographies: The construction industry case study
Spalazzi, Luca, Spegni, Francesco, Corneli, Alessandra, Naticchia, Berardo
Published in Concurrency and computation (25.07.2023)
Published in Concurrency and computation (25.07.2023)
Get full text
Journal Article
Paradigms for database-centric application interfaces
Pirani, Massimiliano, Cucchiarelli, Alessandro, Spalazzi, Luca
Published in Procedia computer science (2023)
Published in Procedia computer science (2023)
Get full text
Journal Article
A fuzzy logic system for the home assessment of freezing of gait in subjects with Parkinsons disease
Pepa, Lucia, Capecci, Marianna, Andrenelli, Elisa, Ciabattoni, Lucio, Spalazzi, Luca, Ceravolo, Maria Gabriella
Published in Expert systems with applications (01.06.2020)
Published in Expert systems with applications (01.06.2020)
Get full text
Journal Article
Automatic Repair of Timestamp Comparisons
Liva, Giovanni, Khan, Muhammad Taimoor, Pinzger, Martin, Spegni, Francesco, Spalazzi, Luca
Published in IEEE transactions on software engineering (01.11.2021)
Published in IEEE transactions on software engineering (01.11.2021)
Get full text
Journal Article
Real time indoor localization integrating a model based pedestrian dead reckoning on smartphone and BLE beacons
Ciabattoni, Lucio, Foresi, Gabriele, Monteriù, Andrea, Pepa, Lucia, Pagnotta, Daniele Proietti, Spalazzi, Luca, Verdini, Federica
Published in Journal of ambient intelligence and humanized computing (01.01.2019)
Published in Journal of ambient intelligence and humanized computing (01.01.2019)
Get full text
Journal Article
HPC & Co strike back: Where are distributed paradigms heading toward?
Limet, Sébastien, Merlo, Alessio, Spalazzi, Luca
Published in Concurrency and computation (10.05.2018)
Published in Concurrency and computation (10.05.2018)
Get full text
Journal Article