The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Fabio Fioravanti" ( http://dblp.L3S.de/Authors/Fabio_Fioravanti )

  Author page on DBLP  Author page in RDF  Community of Fabio Fioravanti in ASPL-2

Publication years (Num. hits)
1999-2004 (19) 2005-2012 (18) 2013-2014 (15) 2015-2017 (17) 2018-2019 (11)
Publication types (Num. hits)
article(28) incollection(2) inproceedings(47) proceedings(3)
Venues (Conferences, Journals, ...)
CoRR(9) LOPSTR(9) CILC(8) Fundam. Inform.(7) TPLP(5) HCVS(3) APPIA-GULP-PRODE(2) EGOV(2) Sci. Comput. Program.(2) TAP(2) VPT@CAV(2) ARES(1) BMC Bioinformatics(1) CP(1) DG.O(1) Digital Government(1) More (+10 of total 40)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 81 publication records. Showing 80 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti Semantics and Controllability of Time-Aware Business Processes. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification. Search on Bibsonomy HCVS/PERR@ETAPS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Lemma Generation for Horn Clause Satisfiability: A Preliminary Study. Search on Bibsonomy VPT@Programming The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Solving Horn Clauses on Inductive Data Types Without Induction - ERRATUM. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification. Search on Bibsonomy CILC The full citation details ... 2019 DBLP  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti Property-Based Test Case Generators for Free. Search on Bibsonomy TAP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs. Search on Bibsonomy HCVS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Solving Horn Clauses on Inductive Data Types Without Induction. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Predicate Pairing for program verification. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Solving Horn Clauses on Inductive Data Types Without Induction. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, John P. Gallagher (eds.) Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Program Verification using Constraint Handling Rules and Array Constraint Generalizations. Search on Bibsonomy Fundam. Inform. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, John P. Gallagher Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017). Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Enhancing Predicate Pairing with Abstraction for Relational Verification. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Predicate Pairing for Program Verification. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Semantics-based generation of verification conditions via program specialization. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti Verifying Controllability of Time-Aware Business Processes. Search on Bibsonomy RuleML+RR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Predicate Pairing with Abstraction for Relational Verification. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Removing Unnecessary Variables from Horn Clause Verification Conditions. Search on Bibsonomy HCVS@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti Verification of Time-Aware Business Processes using Constrained Horn Clauses. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Verifying Relational Program Properties by Transforming Constrained Horn clauses. Search on Bibsonomy CILC The full citation details ... 2016 DBLP  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Relational Verification Through Horn Clause Transformation. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti Verification of Time-Aware Business Processes Using Constrained Horn Clauses. Search on Bibsonomy LOPSTR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti A Rule-based Verification Strategy for Array Manipulating Programs. Search on Bibsonomy Fundam. Inform. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Fabio Fioravanti, Maurizio Proietti, Valerio Senni Efficient generation of test data structures using constraint logic programming and program transformation. Search on Bibsonomy J. Log. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Proving correctness of imperative programs by linearizing constrained Horn clauses. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Semantics-based generation of verification conditions by program specialization. Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Jorge A. Navas, Maurizio Proietti Verification of Programs by Combining Iterated Specialization with Interpolation. Search on Bibsonomy HCVS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner, Fabio Fioravanti, Andrey Rybalchenko, Valerio Senni (eds.) Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014. Search on Bibsonomy HCVS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Program verification via iterated specialization. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Program Verification using Constraint Handling Rules and Array Constraint Generalizations. Search on Bibsonomy VPT@CAV The full citation details ... 2014 DBLP  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Program Verification using Constraint Handling Rules and Array Constraint Generalizations. Search on Bibsonomy CILC The full citation details ... 2014 DBLP  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti VeriMAP: A Tool for Verifying Programs through Transformations. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Verifying Array Programs by Transforming Verification Conditions. Search on Bibsonomy VMCAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni Controlling Polyvariance for Specialization-based Verification. Search on Bibsonomy Fundam. Inform. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni Proving Theorems by Program Transformation. Search on Bibsonomy Fundam. Inform. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Gianfranco Rossi Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Verification of Imperative Programs by Constraint Logic Program Transformation. Search on Bibsonomy Festschrift for Dave Schmidt The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni Generalization strategies for the verification of infinite state systems. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Verification of Imperative Programs through Transformation of Constraint Logic Programs. Search on Bibsonomy VPT@CAV The full citation details ... 2013 DBLP  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Verifying programs via iterated specialization. Search on Bibsonomy PEPM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Verification of Imperative Programs by Transforming Constraint Logic Programs. Search on Bibsonomy CILC The full citation details ... 2013 DBLP  BibTeX  RDF
1Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti, Francesco Santini 0001 Evaluation of complex security scenarios using defense trees and economic indexes. Search on Bibsonomy J. Exp. Theor. Artif. Intell. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni Improving Reachability Analysis of Infinite State Systems by Specialization. Search on Bibsonomy Fundam. Inform. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Manuela Helmer-Citterich, Enrico Nardelli Modeling gene regulatory network motifs using statecharts. Search on Bibsonomy BMC Bioinformatics The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Maurizio Proietti, Alberto Pettorossi Software Model Checking by Program Specialization. Search on Bibsonomy CILC The full citation details ... 2012 DBLP  BibTeX  RDF
1Valerio Senni, Fabio Fioravanti Generation of Test Data Structures Using Constraint Logic Programming. Search on Bibsonomy TAP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Specialization with Constrained Generalization for Software Model Checking. Search on Bibsonomy LOPSTR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni Program transformation for development, verification, and synthesis of programs. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni Generalization Strategies for the Verification of Infinite State Systems Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Fabio Fioravanti (eds.) Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011 Search on Bibsonomy CILC The full citation details ... 2011 DBLP  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni Controlling Polyvariance for Specialization-based Verification. Search on Bibsonomy CILC The full citation details ... 2011 DBLP  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni Improving Reachability Analysis of Infinite State Systems by Specialization. Search on Bibsonomy RP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni Using Real Relaxations during Program Specialization. Search on Bibsonomy LOPSTR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni Generalization Strategies for the Verification of Infinite State Systems. Search on Bibsonomy CILC The full citation details ... 2010 DBLP  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation. Search on Bibsonomy LOPSTR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Enrico Nardelli Identity Management for e-Government Services. Search on Bibsonomy Digital Government The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti Using CP-nets as a guide for countermeasure selection. Search on Bibsonomy SAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti Defense trees for economic evaluation of security investments. Search on Bibsonomy ARES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Franco Arcieri, Andrea Dimitri, Fabio Fioravanti, Enrico Nardelli, Katia Pallucca, Alberto Postiglione, Maurizio Talamo An Infrastructural Approach to Secure Interoperability of Electronic IDs: The Bridging Backbone. Search on Bibsonomy EGOV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Transformation Rules for Locally Stratified Constraint Logic Programs Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Automatic Proofs of Protocols via Program Transformation. Search on Bibsonomy MSRAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Franco Arcieri, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo Reliable Peer-to-Peer Access for Italian Citizens to Digital Government Services on the Internet. Search on Bibsonomy EGOV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Franco Arcieri, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo A Specification for Security Services on Computational Grids. Search on Bibsonomy GSEM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Franco Arcieri, Mario Ciclosi, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo The Italian Electronic Identity Card: a short introduction. Search on Bibsonomy DG.O The full citation details ... 2004 DBLP  BibTeX  RDF
1Franco Arcieri, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo A Layered IT Infrastructure for Secure Interoperability in Personal Data Registry Digital Government Services. Search on Bibsonomy RIDE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF digital government support, security of e-services, technologies and infrastructures for e-services, legacy application interoperability
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Transformation Rules for Locally Stratified Constraint Logic Programs. Search on Bibsonomy Program Development in Computational Logic The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Combining Logic Programs and Monadic Second Order Logics by Program Transformation Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Franco Arcieri, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo Inter-Organizational E-Services Accounting Management on Computational Grids. Search on Bibsonomy I3E The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Vittorio Bilò, Adriano Di Pasquale, Fabio Fioravanti, Michele Flammini, Luca Forlizzi, Francesco Lo Presti, Giovanna Melideo, Enrico Nardelli, Alfredo Navarra, Guido Proietti Quality of Service in Wireless Networks. Search on Bibsonomy IPDPS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Franco Arcieri, Fabio Fioravanti, Roberto Giaccio, Enrico Nardelli, Maurizio Talamo Certifying performance of cooperative services in a digital government framework. Search on Bibsonomy SAINT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF digital government support, interorganizational e-service certification, actual performance monitoring, application interoperability and cooperation
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2002 DBLP  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Combining Logic Programs and Monadic Second Order Logics by Program Transformation. Search on Bibsonomy LOPSTR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti Verification of Infinite-State Systems by Specialization of CLP Programs. Search on Bibsonomy CP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Verification of Sets of Infinite State Processes Using Program Transformation. Search on Bibsonomy LOPSTR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Automated strategies for specializing constraint logic programs. Search on Bibsonomy LOPSTR The full citation details ... 2000 DBLP  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Automated Strategies for Specializing Constraint Logic Programs. Search on Bibsonomy LOPSTR (LNCS 2042: Selected Papers) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Rules and Strategies for Contextual Specialization of Constraint Logic Programs. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Maurizio Proietti Contextual Specialization of Constraint Logic Programs. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1999 DBLP  BibTeX  RDF
Displaying result #1 - #80 of 80 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license