Follow
Valerio Senni
Valerio Senni
Principal Engineer, Research at Collins Aerospace
Verified email at utsce.utc.com - Homepage
Title
Cited by
Cited by
Year
Generalization Strategies for the Verification of Infinite State Systems
F Fioravanti, A Pettorossi, M Proietti, V Senni
Theory and Practice of Logic Programming, 1-25, 2012
582012
Generation of test data structures using constraint logic programming
V Senni, F Fioravanti
Tests and Proofs, Lecture Notes in Computer Science, 115-131, 2012
282012
Improving reachability analysis of infinite state systems by specialization
F Fioravanti, A Pettorossi, M Proietti, V Senni
Proceedings of the 5th International Workshop on Reachability Problems …, 2011
242011
A zero-trust architecture for remote access in industrial IoT infrastructures
F Federici, D Martintoni, V Senni
Electronics 12 (3), 566, 2023
182023
Program specialization for verifying infinite state systems: An experimental evaluation
F Fioravanti, A Pettorossi, M Proietti, V Senni
Logic-Based Program Synthesis and Transformation, Lecture Notes in Computer …, 2011
182011
Programming and verifying component ensembles
R De Nicola, A Lluch Lafuente, M Loreti, A Morichetta, R Pugliese, ...
From Programs to Systems. The Systems perspective in Computing: ETAPS …, 2014
172014
An Application of SMC to continuous validation of heterogeneous systems
A Arnold, M Beleani, A Ferrari, M Marazza, V Senni, A Legay, J Quilbeuf, ...
EAI Endorsed Transactions on Industrial Networks and Intelligent Systems 4 …, 2017
162017
Stochastically timed predicate-based communication primitives for autonomic computing
D Latella, M Loreti, M Massink, V Senni
arXiv preprint arXiv:1406.2065, 2014
152014
Challenges and opportunities for model-based security risk assessment of cyber-physical systems
M Rocchetto, A Ferrari, V Senni
Resilience of Cyber-Physical Systems: From Risk Modelling to Threat …, 2019
142019
Applying mean-field approximation to continuous time Markov chains
A Kolesnichenko, V Senni, A Pourranjabar, A Remke
International Autumn School on Rigorous Dependability Analysis Using Model …, 2012
142012
Proving properties of constraint logic programs by eliminating existential variables
A Pettorossi, M Proietti, V Senni
Proc of 22nd International Conference of Logic Programming, LNCS, 179-195, 2006
112006
Efficient generation of test data structures using constraint logic programming and program transformation
F Fioravanti, M Proietti, V Senni
Journal of Logic and Computation 25 (6), 1263-1283, 2013
102013
Deciding full branching time logic by program transformation
A Pettorossi, M Proietti, V Senni
Proceedings of the 19th International Symposium on Logic-Based Program …, 2010
102010
Towards a formal approach to mobile cloud computing
M Amoretti, A Grazioli, F Zanichelli, V Senni, F Tiezzi
2014 22nd Euromicro International Conference on Parallel, Distributed, and …, 2014
92014
Controlling Polyvariance for Specialization-Based Verification
F Fioravanti, A Pettorossi, M Proietti, V Senni
Proceedings of the 26th Italian Conference on Computational Logic, CEUR-WS 810, 2011
82011
Modular termination and combinability for superposition modulo counter arithmetic
C Ringeissen, V Senni
Proceedings of the 8th International Symposium Frontiers of Combining …, 2011
82011
A preliminary investigation of capturing spatial information for CAS
V Galpin, L Bortolussi, V Ciancia, A Clark, R De Nicola, C Feng, S Gilmore, ...
QUANTICOL Deliverable D 2 (1), 110, 2014
72014
Specification and Validation of Algorithms Generating Planar Lehman Words
A Giorgetti, V Senni
GASCom'12, 8th International Conference on random generation of …, 2012
72012
Program transformation for development, verification, and synthesis of programs
F Fioravanti, A Pettorossi, M Proietti, V Senni
Intelligenza Artificiale 5 (1), 119-125, 2011
72011
Transformations of logic programs on infinite lists
A Pettorossi, M Proietti, V Senni
Theory and Practice of Logic Programming 10 (4-6), 383-399, 2010
72010
The system can't perform the operation now. Try again later.
Articles 1–20