Concepedia
Statistics
Publications
4
Citations
131
H-Index
Active since
2012
Affiliations
University of Rome Tor Vergata(Current)
Istituto di Analisi dei Sistemi ed Informatica Antonio Ruberti
University of Chieti-Pescara
Valerio Senni is an author at University of Rome Tor Vergata specializing in computer science, computing, and formal methods.
Publications per year
2012–2023
A Zero-Trust Architecture for Remote Access in Industrial IoT Infrastructures
Fabio Federici, Davide Martintoni, Valerio Senni · Electronics · 2023 · 60 citations · Full text
Computing, Computer Science, Cybersecurity +17
Generalization strategies for the verification of infinite state systems
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti et al. · Theory and Practice of Logic Programming · 2012 · 45 citations
Computing, Computer Science, Formal Methods +16
Stochastically timed predicate-based communication primitives for autonomic computing
Diego Latella, Michele Loreti, Mieke Massink et al. · Electronic Proceedings in Theoretical Computer Science · 2014 · 15 citations · Full text
Computing, Autonomous Systems, Computer Science +17
Improving Reachability Analysis of Infinite State Systems by Specialization
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti et al. · Fundamenta Informaticae · 2012 · 11 citations
Computing, Computer Science, Systems Engineering +15
1–4 of 4