Fabio Fioravanti

Available identifiers

zbMath Open fioravanti.fabioMaRDI QIDQ1664382

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6197213	2024-02-16	Paper
Analysis and Transformation of Constrained Horn Clauses for Program Verification	2023-12-12	Paper
Removing algebraic data types from constrained Horn clauses using difference predicates	2022-11-09	Paper
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses	2022-09-30	Paper
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach	2022-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q5020652	2022-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q3384903	2021-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q5016384	2021-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q5015370	2021-12-07	Paper
Solving Horn Clauses on Inductive Data Types Without Induction – ERRATUM	2021-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4997232	2021-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q4994693	2021-06-21	Paper
Semantics and Controllability of Time-Aware Business Processes*	2019-05-24	Paper
Solving Horn Clauses on Inductive Data Types Without Induction	2018-12-04	Paper
Predicate pairing with abstraction for relational verification	2018-09-06	Paper
Relational verification through Horn clause transformation	2018-08-27	Paper
Predicate Pairing for program verification	2018-05-31	Paper
Program Verification using Constraint Handling Rules and Array Constraint Generalizations*	2017-11-10	Paper
Proving correctness of imperative programs by linearizing constrained Horn clauses	2017-11-09	Paper
Verification of time-aware business processes using constrained Horn clauses	2017-10-13	Paper
A Rule-based Verification Strategy for Array Manipulating Programs	2016-08-15	Paper
Efficient generation of test data structures using constraint logic programming and program transformation	2015-12-28	Paper
Verifying Array Programs by Transforming Verification Conditions	2015-01-13	Paper
Proving Theorems by Program Transformation	2013-11-28	Paper
Specialization with Constrained Generalization for Software Model Checking	2013-09-13	Paper
Controlling Polyvariance for Specialization-based Verification	2013-07-30	Paper
Generalization strategies for the verification of infinite state systems	2013-06-26	Paper
Using Real Relaxations during Program Specialization	2013-03-13	Paper
Improving Reachability Analysis of Infinite State Systems by Specialization	2012-10-29	Paper
Improving Reachability Analysis of Infinite State Systems by Specialization	2011-10-07	Paper
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation	2011-05-27	Paper
Combining Logic Programs and Monadic Second Order Logics by Program Transformation	2011-03-04	Paper
Program Development in Computational Logic	2005-12-23	Paper
https://portal.mardi4nfdi.de/entity/Q5701513	2005-11-03	Paper
https://portal.mardi4nfdi.de/entity/Q4808811	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4475692	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4421875	2003-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4499254	2001-03-05	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Fabio Fioravanti