Valerio Senni

Available identifiers

zbMath Open senni.valerioMaRDI QIDQ1941872

List of research outcomes

Publication	Date of Publication	Type
Efficient generation of test data structures using constraint logic programming and program transformation	2015-12-28	Paper
Applying Mean-Field Approximation to Continuous Time Markov Chains	2015-01-12	Paper
Programming and Verifying Component Ensembles	2014-07-24	Paper
Proving theorems by program transformation	2013-11-28	Paper
Controlling polyvariance for specialization-based verification	2013-07-30	Paper
Generalization strategies for the verification of infinite state systems	2013-06-26	Paper
Constraint-based correctness proofs for logic program transformations	2013-03-22	Paper
Using real relaxations during program specialization	2013-03-13	Paper
Improving reachability analysis of infinite state systems by specialization	2012-10-29	Paper
Modular termination and combinability for superposition modulo counter arithmetic	2011-10-07	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
Transformations of logic programs on infinite lists	2010-08-19	Paper
The transformational approach to program development	2010-07-20	Paper
Deciding full branching time logic by program transformation	2010-05-04	Paper
A folding rule for eliminating existential variables from constraint logic programs	2010-02-05	Paper
Automatic Correctness Proofs for Logic Program Transformations	2009-03-05	Paper
A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs	2009-01-22	Paper
Transformational Verification of Parameterized Protocols Using Array Formulas	2009-01-15	Paper
Proving Properties of Constraint Logic Programs by Eliminating Existential Variables	2008-03-11	Paper

Research outcomes over time

This page was built for person: Valerio Senni