Artykuły udostępnione publicznie: - Marco RoveriWięcej informacji
Niedostępne w żadnym miejscu: 4
Automated generation of smart contract code from legal contract specifications with Symboleo2SC
A Rasti, AA Anda, S Alfuhaid, A Parvizimosaed, D Amyot, M Roveri, ...
Software and Systems Modeling, 1-30, 2024
Upoważnienia: European Commission
A High-Force Gripper with Embedded Multimodal Sensing for Powerful and Perception Driven Grasping
E Del Bianco, D Torielli, F Rollo, D Gasperini, A Laurenzi, L Baccelliere, ...
2024 IEEE-RAS 23rd International Conference on Humanoid Robots (Humanoids …, 2024
Upoważnienia: European Commission
SymboleoPC: checking properties of legal contracts
A Parvizimosaed, M Roveri, A Rasti, AA Anda, S Alfuhaid, D Amyot, ...
Software and Systems Modeling, 1-34, 2024
Upoważnienia: European Commission
Comparing multi-agent path finding algorithms in a real industrial scenario
E Saccon, L Palopoli, M Roveri
International Conference of the Italian Association for Artificial …, 2022
Upoważnienia: Government of Italy
Dostępne w jakimś miejscu: 14
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF
A Cimatti, A Griggio, A Irfan, M Roveri, R Sebastiani
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
Upoważnienia: European Commission
Experimenting on solving nonlinear integer arithmetic with incremental linearization
A Cimatti, A Griggio, A Irfan, M Roveri, R Sebastiani
International Conference on Theory and Applications of Satisfiability …, 2018
Upoważnienia: European Commission
Strong temporal planning with uncontrollable durations
A Cimatti, M Do, A Micheli, M Roveri, DE Smith
Artificial Intelligence 256, 1-34, 2018
Upoważnienia: US National Aeronautics and Space Administration
Satisfiability modulo transcendental functions via incremental linearization
A Cimatti, A Griggio, A Irfan, M Roveri, R Sebastiani
Automated Deduction–CADE 26: 26th International Conference on Automated …, 2017
Upoważnienia: European Commission
SMT-based satisfiability of first-order LTL with event freezing functions and metric operators
A Cimatti, A Griggio, E Magnago, M Roveri, S Tonetta
Information and Computation 272, 104502, 2020
Upoważnienia: European Commission
Certifying proofs for LTL model checking
A Griggio, M Roveri, S Tonetta
2018 Formal Methods in Computer Aided Design (FMCAD), 1-9, 2018
Upoważnienia: European Commission, Government of Italy
Specification and analysis of legal contracts with Symboleo
A Parvizimosaed, S Sharifi, D Amyot, L Logrippo, M Roveri, A Rasti, ...
Software and Systems Modeling 21 (6), 2395-2427, 2022
Upoważnienia: Natural Sciences and Engineering Research Council of Canada, Social Sciences …
Discovery and identification of memory corruption vulnerabilities on bare-metal embedded devices
M Salehi, L Degani, M Roveri, D Hughes, B Crispo
IEEE Transactions on Dependable and Secure Computing 20 (2), 1124-1138, 2022
Upoważnienia: European Commission
Computing unsatisfiable cores for LTLf specifications
M Roveri, C Di Ciccio, C Di Francescomarino, C Ghidini
Journal of Artificial Intelligence Research 80, 517-558, 2024
Upoważnienia: European Commission
Urban traffic control via planning with global state constraints
F Ivankovic, M Vallati, L Chrpa, M Roveri
Proceedings of the International Symposium on Combinatorial Search 15 (1 …, 2022
Upoważnienia: UK Research & Innovation
FLAShadow: A Flash-based Shadow Stack for Low-end Embedded Systems
M Grisafi, M Ammar, M Roveri, B Crispo
ACM Transactions on Internet of Things 5 (3), 1-29, 2024
Upoważnienia: European Commission
GIADA, un sistema centralizzato per la gestione dell'irrigazione a domanda/GIADA, a decision support system for a demand-driven irrigation
F Zottele, M Roveri, E Rigo, E Simoni, P Villa, G Toller
Atti del XXI Convegno Nazionale di Agrometeorologia Agrometeorologia per le …, 2018
Upoważnienia: European Commission
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic
A Cimatti, A Irfan, A Griggio, M Roveri, R Sebastiani
Satisfiability Checking and Symbolic Computation, 2016., [1]-[7], 2016
Upoważnienia: European Commission
Formal methods for industrial critical systems, preface to the special section
M Alpuente Frasnedo, S Kowalewski, M Roveri
Science of Computer Programming 78 (7), 775-777, 2013
Upoważnienia: Government of Spain
Informacje na temat publikacji i finansowania automatycznie określa program komputerowy