FIORAVANTI, FABIO
FIORAVANTI, FABIO
Semantics and Controllability of Time-Aware Business Processes
2019 DE ANGELIS, Emanuele; Fioravanti, Fabio; Meo Maria, Chiara; Pettorossi, Alberto; Proietti, Maurizio
Predicate Pairing for program verification
2018 De Angelis E.; Fioravanti F.; Pettorossi A.; Proietti M.
Predicate pairing with abstraction for relational verification
2018 De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
Solving Horn Clauses on Inductive Data Types Without Induction
2018 De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
Semantics-based generation of verification conditions via program specialization
2017 De Angelis, E.; Fioravanti, F.; Pettorossi, A.; Proietti, M.
Verification of time-aware business processes using constrained Horn clauses
2017 De Angelis E.; Fioravanti F.; Meo M.C.; Pettorossi A.; Proietti M.
Verifying controllability of time-aware business processes
2017 De Angelis E.; Fioravanti F.; Meo M.C.; Pettorossi A.; Proietti M.
A Rule-based Verification Strategy for Array Manipulating Programs
2015 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Efficient generation of test data structures using constraint logic programming and program transformation
2015 Fioravanti, F.;Proietti, M.;Senni, V.
Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses
2015 De Angelis E; Fioravanti F; Pettorossi A; Proietti; M
Program verification via iterated specialization
2014 Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti
Verifying Array Programs by Transforming Verification Conditions
2014 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
VeriMAP: A tool for verifying programs through transformations
2014 De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
Specialization with Constrained Generalization for Software Model Checking
2013 Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti
Evaluation of complex security scenarios using defense trees and economic indexes
2012 Bistarelli, S; Fioravanti, F; Peretti, P; Santini, F
Improving Reachability Analysis of Infinite State Systems by Specialization
2012 Fioravanti, F; Pettorossi, A; Proietti, M; Senni, V
Modeling Gene Regulatory Network Motifs using Statecharts
2012 Fioravanti, F; Helmercitterich, M; Nardelli, E
Improving Reachability Analysis of Infinite State Systems by Specialization
2011 Fioravanti, F.; Pettorossi, A.; Proietti, M.; Senni, V.
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation
2011 Fioravanti, F.; Pettorossi, A.; Proietti, M.; Senni, V.
Program Transformation for Development, Verification, and Synthesis of Programs
2011 Fioravanti, F; Pettorossi, A; Proietti, M; Senni, V
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Semantics and Controllability of Time-Aware Business Processes | 1-gen-2019 | DE ANGELIS, Emanuele; Fioravanti, Fabio; Meo Maria, Chiara; Pettorossi, Alberto; Proietti, Maurizio | |
Predicate Pairing for program verification | 1-gen-2018 | De Angelis E.; Fioravanti F.; Pettorossi A.; Proietti M. | |
Predicate pairing with abstraction for relational verification | 1-gen-2018 | De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M | |
Solving Horn Clauses on Inductive Data Types Without Induction | 1-gen-2018 | De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M | |
Semantics-based generation of verification conditions via program specialization | 1-gen-2017 | De Angelis, E.; Fioravanti, F.; Pettorossi, A.; Proietti, M. | |
Verification of time-aware business processes using constrained Horn clauses | 1-gen-2017 | De Angelis E.; Fioravanti F.; Meo M.C.; Pettorossi A.; Proietti M. | |
Verifying controllability of time-aware business processes | 1-gen-2017 | De Angelis E.; Fioravanti F.; Meo M.C.; Pettorossi A.; Proietti M. | |
A Rule-based Verification Strategy for Array Manipulating Programs | 1-gen-2015 | DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio | |
Efficient generation of test data structures using constraint logic programming and program transformation | 1-gen-2015 | Fioravanti, F.;Proietti, M.;Senni, V. | |
Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses | 1-gen-2015 | De Angelis E; Fioravanti F; Pettorossi A; Proietti; M | |
Program verification via iterated specialization | 1-gen-2014 | Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti | |
Verifying Array Programs by Transforming Verification Conditions | 1-gen-2014 | DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio | |
VeriMAP: A tool for verifying programs through transformations | 1-gen-2014 | De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M | |
Specialization with Constrained Generalization for Software Model Checking | 1-gen-2013 | Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti | |
Evaluation of complex security scenarios using defense trees and economic indexes | 1-gen-2012 | Bistarelli, S; Fioravanti, F; Peretti, P; Santini, F | |
Improving Reachability Analysis of Infinite State Systems by Specialization | 1-gen-2012 | Fioravanti, F; Pettorossi, A; Proietti, M; Senni, V | |
Modeling Gene Regulatory Network Motifs using Statecharts | 1-gen-2012 | Fioravanti, F; Helmercitterich, M; Nardelli, E | |
Improving Reachability Analysis of Infinite State Systems by Specialization | 1-gen-2011 | Fioravanti, F.; Pettorossi, A.; Proietti, M.; Senni, V. | |
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation | 1-gen-2011 | Fioravanti, F.; Pettorossi, A.; Proietti, M.; Senni, V. | |
Program Transformation for Development, Verification, and Synthesis of Programs | 1-gen-2011 | Fioravanti, F; Pettorossi, A; Proietti, M; Senni, V |