Fabio Fioravanti

From MaRDI portal
Person:1664382

Available identifiers

zbMath Open fioravanti.fabioMaRDI QIDQ1664382

List of research outcomes

PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q61972132024-02-16Paper
Analysis and Transformation of Constrained Horn Clauses for Program Verification2023-12-12Paper
Removing algebraic data types from constrained Horn clauses using difference predicates2022-11-09Paper
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses2022-09-30Paper
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach2022-03-09Paper
https://portal.mardi4nfdi.de/entity/Q50206522022-01-06Paper
https://portal.mardi4nfdi.de/entity/Q33849032021-12-17Paper
https://portal.mardi4nfdi.de/entity/Q50163842021-12-13Paper
https://portal.mardi4nfdi.de/entity/Q50153702021-12-07Paper
Solving Horn Clauses on Inductive Data Types Without Induction – ERRATUM2021-09-03Paper
https://portal.mardi4nfdi.de/entity/Q49972322021-06-28Paper
https://portal.mardi4nfdi.de/entity/Q49946932021-06-21Paper
Semantics and Controllability of Time-Aware Business Processes*2019-05-24Paper
Solving Horn Clauses on Inductive Data Types Without Induction2018-12-04Paper
Predicate pairing with abstraction for relational verification2018-09-06Paper
Relational verification through Horn clause transformation2018-08-27Paper
Predicate Pairing for program verification2018-05-31Paper
Program Verification using Constraint Handling Rules and Array Constraint Generalizations*2017-11-10Paper
Proving correctness of imperative programs by linearizing constrained Horn clauses2017-11-09Paper
Verification of time-aware business processes using constrained Horn clauses2017-10-13Paper
A Rule-based Verification Strategy for Array Manipulating Programs2016-08-15Paper
Efficient generation of test data structures using constraint logic programming and program transformation2015-12-28Paper
Verifying Array Programs by Transforming Verification Conditions2015-01-13Paper
Proving Theorems by Program Transformation2013-11-28Paper
Specialization with Constrained Generalization for Software Model Checking2013-09-13Paper
Controlling Polyvariance for Specialization-based Verification2013-07-30Paper
Generalization strategies for the verification of infinite state systems2013-06-26Paper
Using Real Relaxations during Program Specialization2013-03-13Paper
Improving Reachability Analysis of Infinite State Systems by Specialization2012-10-29Paper
Improving Reachability Analysis of Infinite State Systems by Specialization2011-10-07Paper
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation2011-05-27Paper
Combining Logic Programs and Monadic Second Order Logics by Program Transformation2011-03-04Paper
Program Development in Computational Logic2005-12-23Paper
https://portal.mardi4nfdi.de/entity/Q57015132005-11-03Paper
https://portal.mardi4nfdi.de/entity/Q48088112004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q44756922004-08-09Paper
https://portal.mardi4nfdi.de/entity/Q44218752003-09-01Paper
https://portal.mardi4nfdi.de/entity/Q44992542001-03-05Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Fabio Fioravanti