Alessandro Cimatti
Alessandro Cimatti
Head of Unit, Fondazione Bruno Kessler
Dirección de correo verificada de fbk.eu - Página principal
TítuloCitado porAño
Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans
M Cashmore, A Cimatti, D Magazzeni, A Micheli, P Zehtabi
arXiv preprint arXiv:1911.07318, 2019
2019
Assumption-based runtime verification with partial observability and resets
A Cimatti, C Tian, S Tonetta
International Conference on Runtime Verification, 165-184, 2019
12019
NuRV: A nuXmv Extension for Runtime Verification
A Cimatti, C Tian, S Tonetta
International Conference on Runtime Verification, 382-392, 2019
12019
Temporal Planning with Intermediate Conditions and Effects
A Valentini, A Micheli, A Cimatti
arXiv preprint arXiv:1909.11581, 2019
2019
Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems
A Cimatti, R DeLong, I Stojic, S Tonetta
International Conference on Computer Safety, Reliability, and Security, 200-215, 2019
2019
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties
A Cimatti, A Griggio, E Magnago, M Roveri, S Tonetta
International Conference on Computer Aided Verification, 376-386, 2019
2019
COMPASS 3.0
M Bozzano, H Bruintjes, A Cimatti, JP Katoen, T Noll, S Tonetta
International Conference on Tools and Algorithms for the Construction and …, 2019
12019
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators$
A Cimatti, A Griggio, E Magnago, M Roveri, S Tonetta
2019
Robustness Envelopes for Temporal Plans
C Michael, A Cimatti, M Daniele, A Micheli, Z Parisa
Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19), 2019
2019
Formal reliability analysis of redundancy architectures
M Bozzano, A Cimatti, C Mattarei
Formal Aspects of Computing 31 (1), 59-94, 2019
2019
Model-based reliability analysis of aerospace systems
HY Bruintjes, A Cimatti, JP Katoen
Fachgruppe Informatik, 2019
2019
Robustness Envelopes for Temporal Plans
M Cashmore, A Cimatti, D Magazzeni, A Micheli, P Zehtabi
22019
nuXmv 2.0. 0 User Manual
M Bozzano, R Cavada, A Cimatti, M Dorigatti, A Griggio, A Mariotti, ...
52019
Symbolic execution with existential second-order constraints
S Mechtaev, A Griggio, A Cimatti, A Roychoudhury
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
92018
Incremental linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions
A Cimatti, A Griggio, A Irfan, M Roveri, R Sebastiani
ACM Transactions on Computational Logic (TOCL) 19 (3), 19, 2018
142018
Formal Specification and Verification of Dynamic Parametrized Architectures
A Cimatti, I Stojic, S Tonetta
International Symposium on Formal Methods, 625-644, 2018
22018
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
82018
Strong temporal planning with uncontrollable durations
A Cimatti, M Do, A Micheli, M Roveri, DE Smith
Artificial Intelligence 256, 1-34, 2018
102018
Tightening the contract refinements of a system architecture
A Cimatti, R Demasi, S Tonetta
Formal Methods in System Design 52 (1), 88-116, 2018
22018
28th International Workshop on Principles of Diagnosis (DX'17)
M Zanella, I Pill, A Cimatti
28th International Workshop on Principles of Diagnosis, 2018
2018
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20