Valerio Senni

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