Valerio Senni

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 9

Top Topics

Homomorphic Encryption

Constraint Logic Programming

Information Flows

Heterogeneous Systems

Top Venues

EAI Endorsed Trans. Ind. Networks Intell. Syst.

Publications

Aikaterini Triakosia, Panagiotis Rizomiliotis, Cecilia Tonelli, Fabio Federici, Valerio Senni
Secure outsourcing of manufacturing compliance checks. Int. J. Inf. Sec. 23 (1) (2024)
Davide Martintoni, Valerio Senni, Ernesto Gomez Marin, Antonio Javier Cabrera Gutierrez
Sensitive information protection in blockchain-based supply-chain management for aerospace. COINS (2022)
Loris Dal Lago, Fabio Federici, Davide Martintoni, Valerio Senni
Risk-driven Model-based Architecture Design for Secure Information Flows in Manufacturing Infrastructures. SECRYPT (2022)
Aikaterini Triakosia, Panagiotis Rizomiliotis, Konstantinos Tserpes, Cecilia Tonelli, Valerio Senni, Fabio Federici
Homomorphic Encryption in Manufacturing Compliance Checks. TrustBus (2022)
Prabhakaran Kasinathan, Davide Martintoni, Benedikt Hofmann, Valerio Senni, Martin Wimmer
Secure Remote Maintenance via Workflow-Driven Security Framework. Blockchain (2021)
Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien
An Application of SMC to continuous validation of heterogeneous systems. EAI Endorsed Trans. Ind. Networks Intell. Syst. 4 (10) (2017)
Orlando Ferrante, Luigi Di Guglielmo, Valerio Senni, Alberto Ferrari
Application of Model-Based Safety Assessment to the Validation of Avionic Electrical Power Systems. IMBSA (2017)
Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien
An Application of SMC to continuous validation of heterogeneous systems. EAI Endorsed Trans. Ind. Networks Intell. Syst. 4 (11) (2017)
Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien
An Application of SMC to continuous validation of heterogeneous systems. SimuTools (2016)
Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni
On StocS: A Stochastic Extension of SCEL. Software, Services, and Systems (2015)
Fabio Fioravanti, Maurizio Proietti, Valerio Senni
Efficient generation of test data structures using constraint logic programming and program transformation. J. Log. Comput. 25 (6) (2015)
Michele Amoretti, Alessandro Grazioli, Valerio Senni, Francesco Tiezzi, Francesco Zanichelli
A formalized framework for mobile cloud computing. Serv. Oriented Comput. Appl. 9 (3-4) (2015)
Valerio Senni, Michele Stawowy
Backwards State-space Reduction for Planning in Dynamic Knowledge Bases. GRAPHITE (2014)
Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni
Stochastically timed predicate-based communication primitives for autonomic computing. QAPL (2014)
Rocco De Nicola, Alberto Lluch-Lafuente, Michele Loreti, Andrea Morichetta, Rosario Pugliese, Valerio Senni, Francesco Tiezzi
Programming and Verifying Component Ensembles. FPS@ETAPS (2014)
Michele Amoretti, Alessandro Grazioli, Francesco Zanichelli, Valerio Senni, Francesco Tiezzi
Towards a Formal Approach to Mobile Cloud Computing. PDP (2014)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Proving Theorems by Program Transformation. Fundam. Informaticae 127 (1-4) (2013)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Generalization strategies for the verification of infinite state systems. Theory Pract. Log. Program. 13 (2) (2013)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Controlling Polyvariance for Specialization-based Verification. Fundam. Informaticae 124 (4) (2013)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Improving Reachability Analysis of Infinite State Systems by Specialization. Fundam. Informaticae 119 (3-4) (2012)
Anna Kolesnichenko, Valerio Senni, Alireza Pourranjabar, Anne Remke
Applying Mean-Field Approximation to Continuous Time Markov Chains. ROCKS (2012)
Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Constraint-based correctness proofs for logic program transformations. Formal Aspects Comput. 24 (4-6) (2012)
Valerio Senni, Fabio Fioravanti
Generation of Test Data Structures Using Constraint Logic Programming. TAP@TOOLS (2012)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Improving Reachability Analysis of Infinite State Systems by Specialization. RP (2011)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Program transformation for development, verification, and synthesis of programs. Intelligenza Artificiale 5 (1) (2011)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Generalization Strategies for the Verification of Infinite State Systems CoRR (2011)
Christophe Ringeissen, Valerio Senni
Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. FroCoS (2011)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Using Real Relaxations during Program Specialization. LOPSTR (2011)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Controlling Polyvariance for Specialization-based Verification. CILC (2011)
Christophe Ringeissen, Valerio Senni
Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Transformations of Logic Programs on Infinite Lists CoRR (2010)
Alberto Pettorossi, Valerio Senni, Maurizio Proietti
Transformations of logic programs on infinite lists. Theory Pract. Log. Program. 10 (4-6) (2010)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation. LOPSTR (2010)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Generalization Strategies for the Verification of Infinite State Systems. CILC (2010)
Alberto Pettorossi, Maurizio Proietti, Valerio Senni
A Transformation Strategy for Verifying Logic Programs on Infinite Lists. CILC (2010)
Valerio Senni, Alberto Pettorossi, Maurizio Proietti
A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs. Fundam. Informaticae 96 (3) (2009)
Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Deciding Full Branching Time Logic by Program Transformation. LOPSTR (2009)
Valerio Senni, Alberto Pettorossi, Maurizio Proietti
A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs. ICLP (2008)
Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Program Transformation for Development, Verification, and Synthesis of Software. Il Milione (2008)
Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Automatic Correctness Proofs for Logic Program Transformations. ICLP (2007)
Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Proving Properties of Constraint Logic Programs by Eliminating Existential Variables. ICLP (2006)
Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Transformational Verification of Parameterized Protocols Using Array Formulas. LOPSTR (2005)
Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs. Transformation Techniques in Software Engineering (2005)