Concepedia

Fabio Fioravanti

FF

Statistics

Publications

13

Citations

437

H-Index

11

Active since

2004

Affiliations

University of Chieti-Pescara(Current)

University of Rome Tor Vergata

Istituto di Analisi dei Sistemi ed Informatica Antonio Ruberti

Fabio Fioravanti is an author at University of Chieti-Pescara specializing in computing, computer science, and formal methods.

Publications per year

2004–2018

13

Publications

13

Defense trees for economic evaluation of security investments

Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti · 2006 · 156 citations

Business, Information Technology, Risk Management +17

Generalization strategies for the verification of infinite state systems

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti et al. · Theory and Practice of Logic Programming · 2012 · 45 citations

Computing, Computer Science, Formal Methods +16

Program verification via iterated specialization

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi et al. · Science of Computer Programming · 2014 · 37 citations

Computing, Computer Engineering, Computer Science +13

Using CP-nets as a guide for countermeasure selection

Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti · 2007 · 36 citations

Computing, Computer Science, Information Technology +13

Semantics-based generation of verification conditions via program specialization

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi et al. · Science of Computer Programming · 2016 · 28 citations · Full text

Computing, Computer Engineering, Computer Science +13

1–5 of 13