Valerio Senni

MaRDI QIDQ1941872zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Stochastically timed predicate-based communication primitives for autonomic computing	2025-02-05	Paper
Efficient generation of test data structures using constraint logic programming and program transformation Journal Of Logic And Computation	2015-12-28	Paper
Applying mean-field approximation to continuous time Markov chains Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems	2015-01-12	Paper
Programming and verifying component ensembles From Programs to Systems. The Systems perspective in Computing	2014-07-24	Paper
Proving theorems by program transformation Fundamenta Informaticae	2013-11-28	Paper
Controlling polyvariance for specialization-based verification Fundamenta Informaticae	2013-07-30	Paper
Generalization strategies for the verification of infinite state systems Theory and Practice of Logic Programming	2013-06-26	Paper
Constraint-based correctness proofs for logic program transformations Formal Aspects of Computing	2013-03-22	Paper
Using real relaxations during program specialization Logic-Based Program Synthesis and Transformation	2013-03-13	Paper
Improving reachability analysis of infinite state systems by specialization Fundamenta Informaticae	2012-10-29	Paper
Modular termination and combinability for superposition modulo counter arithmetic Frontiers of Combining Systems	2011-10-07	Paper
Improving reachability analysis of infinite state systems by specialization Lecture Notes in Computer Science	2011-10-07	Paper
Program specialization for verifying infinite state systems: an experimental evaluation Logic-Based Program Synthesis and Transformation	2011-05-27	Paper
Transformations of logic programs on infinite lists Theory and Practice of Logic Programming	2010-08-19	Paper
The transformational approach to program development Lecture Notes in Computer Science	2010-07-20	Paper
Deciding full branching time logic by program transformation Logic-Based Program Synthesis and Transformation	2010-05-04	Paper
A folding rule for eliminating existential variables from constraint logic programs Fundamenta Informaticae	2010-02-05	Paper
Automatic Correctness Proofs for Logic Program Transformations Logic Programming	2009-03-05	Paper
A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs Logic Programming	2009-01-22	Paper
Transformational Verification of Parameterized Protocols Using Array Formulas Logic Based Program Synthesis and Transformation	2009-01-15	Paper
Proving Properties of Constraint Logic Programs by Eliminating Existential Variables Logic Programming	2008-03-11	Paper

Research outcomes over time

This page was built for person: Valerio Senni