Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs. - Alberto Pettorossi; Maurizio Proietti; Valerio Senni (Transformation Techniques in Software Engineering, 2005)

Transformational Verification of Parameterized Protocols Using Array Formulas. - Alberto Pettorossi; Maurizio Proietti; Valerio Senni (LOPSTR, 2005)

Proving Properties of Constraint Logic Programs by Eliminating Existential Variables. - Alberto Pettorossi; Maurizio Proietti; Valerio Senni (ICLP, 2006)

Automatic Correctness Proofs for Logic Program Transformations. - Alberto Pettorossi; Maurizio Proietti; Valerio Senni (ICLP, 2007)

Program Transformation for Development, Verification, and Synthesis of Software. - Alberto Pettorossi; Maurizio Proietti; Valerio Senni (Il Milione, 2008)

A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs. - Valerio Senni; Alberto Pettorossi; Maurizio Proietti (ICLP, 2008)

Deciding Full Branching Time Logic by Program Transformation. - Alberto Pettorossi; Maurizio Proietti; Valerio Senni (LOPSTR, 2009)

A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs. - Valerio Senni; Alberto Pettorossi; Maurizio Proietti (Fundam. Informaticae, 2009)

The Transformational Approach to Program Development. - Alberto Pettorossi; Maurizio Proietti; Valerio Senni (25 Years GULP, 2010)

A Transformation Strategy for Verifying Logic Programs on Infinite Lists. - Alberto Pettorossi; Maurizio Proietti; Valerio Senni (CILC, 2010)

Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation. - Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti; Valerio Senni (LOPSTR, 2010)

Transformations of logic programs on infinite lists. - Alberto Pettorossi; Valerio Senni; Maurizio Proietti (Theory Pract. Log. Program., 2010)

Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. - Christophe Ringeissen; Valerio Senni (FroCoS, 2011)

Using Real Relaxations during Program Specialization. - Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti; Valerio Senni (LOPSTR, 2011)

Program transformation for development, verification, and synthesis of programs. - Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti; Valerio Senni (Intelligenza Artificiale, 2011)

Applying Mean-Field Approximation to Continuous Time Markov Chains. - Anna Kolesnichenko; Valerio Senni; Alireza Pourranjbar; Anne Remke (ROCKS, 2012)

Generation of Test Data Structures Using Constraint Logic Programming. - Valerio Senni; Fabio Fioravanti (TAP@TOOLS, 2012)

Constraint-based correctness proofs for logic program transformations. - Alberto Pettorossi; Maurizio Proietti; Valerio Senni (Formal Aspects Comput., 2012)

Improving Reachability Analysis of Infinite State Systems by Specialization. - Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti; Valerio Senni (Fundam. Informaticae, 2012)

Controlling Polyvariance for Specialization-based Verification. - Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti; Valerio Senni (Fundam. Informaticae, 2013)

Proving Theorems by Program Transformation. - Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti; Valerio Senni (Fundam. Informaticae, 2013)

Generalization strategies for the verification of infinite state systems. - Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti; Valerio Senni (Theory Pract. Log. Program., 2013)

Programming and Verifying Component Ensembles. - Rocco De Nicola; Alberto Lluch-Lafuente; Michele Loreti; Andrea Morichetta 001; Rosario Pugliese; Valerio Senni; Francesco Tiezzi 001 (FPS@ETAPS, 2014)

Towards a Formal Approach to Mobile Cloud Computing. - Michele Amoretti; Alessandro Grazioli; Francesco Zanichelli; Valerio Senni; Francesco Tiezzi 001 (PDP, 2014)

Stochastically timed predicate-based communication primitives for autonomic computing. - Diego Latella; Michele Loreti; Mieke Massink; Valerio Senni (QAPL, 2014)

Backwards State-space Reduction for Planning in Dynamic Knowledge Bases. - Valerio Senni; Michele Stawowy (GRAPHITE, 2014)

On StocS: A Stochastic Extension of SCEL. - Diego Latella; Michele Loreti; Mieke Massink; Valerio Senni (Software, Services, and Systems, 2015)

Efficient generation of test data structures using constraint logic programming and program transformation. - Fabio Fioravanti; Maurizio Proietti; Valerio Senni (J. Log. Comput., 2015)

A formalized framework for mobile cloud computing. - Michele Amoretti; Alessandro Grazioli; Valerio Senni; Francesco Tiezzi 001; Francesco Zanichelli (Serv. Oriented Comput. Appl., 2015)

Application of Model-Based Safety Assessment to the Validation of Avionic Electrical Power Systems. - Orlando Ferrante; Luigi Di Guglielmo; Valerio Senni; Alberto Ferrari (IMBSA, 2017)

An Application of SMC to continuous validation of heterogeneous systems. - Alexandre Arnold; Massimo Baleani; Alberto Ferrari; Marco Marazza; Valerio Senni; Axel Legay; Jean Quilbeuf; Christoph Etzien (EAI Endorsed Trans. Ind. Networks Intell. Syst., 2017)

Challenges and Opportunities for Model-Based Security Risk Assessment of Cyber-Physical Systems. - Marco Rocchetto; Alberto Ferrari; Valerio Senni (Resilience of Cyber-Physical Systems, 2019)

Secure Remote Maintenance via Workflow-Driven Security Framework. - Prabhakaran Kasinathan; Davide Martintoni; Benedikt Hofmann; Valerio Senni; Martin Wimmer 001 (Blockchain, 2021)

Sensitive information protection in blockchain-based supply-chain management for aerospace. - Davide Martintoni; Valerio Senni; Ernesto Gómez-Marín; Antonio Javier Cabrera Gutiérrez (COINS, 2022)

Risk-driven Model-based Architecture Design for Secure Information Flows in Manufacturing Infrastructures. - Loris Dal Lago; Fabio Federici; Davide Martintoni; Valerio Senni (SECRYPT, 2022)

Homomorphic Encryption in Manufacturing Compliance Checks. - Aikaterini Triakosia; Panagiotis Rizomiliotis; Konstantinos Tserpes; Cecilia Tonelli; Valerio Senni; Fabio Federici (TrustBus, 2022)

Secure outsourcing of manufacturing compliance checks. - Aikaterini Triakosia; Panagiotis Rizomiliotis; Cecilia Tonelli; Fabio Federici; Valerio Senni (Int. J. Inf. Sec., 2024)