| 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 | 59 | 2012 |
| Generation of test data structures using constraint logic programming V Senni, F Fioravanti Tests and Proofs, Lecture Notes in Computer Science, 115-131, 2012 | 29 | 2012 |
| A zero-trust architecture for remote access in industrial IoT infrastructures F Federici, D Martintoni, V Senni Electronics 12 (3), 566, 2023 | 26 | 2023 |
| 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 | 24 | 2011 |
| 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 | 18 | 2014 |
| 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 | 18 | 2011 |
| 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 | 17 | 2019 |
| Stochastically timed predicate-based communication primitives for autonomic computing D Latella, M Loreti, M Massink, V Senni arXiv preprint arXiv:1406.2065, 2014 | 16 | 2014 |
| 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 | 15 | 2012 |
| 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 | 14 | 2017 |
| 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 | 11 | 2013 |
| 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 | 11 | 2006 |
| 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 | 10 | 2010 |
| 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 | 9 | 2014 |
| 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 | 8 | 2011 |
| Modular termination and combinability for superposition modulo counter arithmetic C Ringeissen, V Senni Proceedings of the 8th International Symposium Frontiers of Combining …, 2011 | 8 | 2011 |
| Secure remote maintenance via workflow-driven security framework P Kasinathan, D Martintoni, B Hofmann, V Senni, M Wimmer 2021 IEEE International Conference on Blockchain (Blockchain), 29-37, 2021 | 7 | 2021 |
| A preliminary investigation of capturing spatial information for CAS V Galpin, L Bortolussi, V Ciancia, A Clark, R De Nicola, C Feng, S Gilmore, ... Deliverable D2 1, 2014 | 7 | 2014 |
| Program transformation for development, verification, and synthesis of programs F Fioravanti, A Pettorossi, M Proietti, V Senni Intelligenza Artificiale 5 (1), 119-125, 2011 | 7 | 2011 |
| 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 | 7 | 2010 |
Maurizio ProiettiResearch Scientist, CNR-IASI, ItalyEmail verificata su iasi.cnr.it
