Valerio Senni

Orcid: 0000-0002-1131-0384

According to our database1, Valerio Senni authored at least 37 papers between 2005 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Secure outsourcing of manufacturing compliance checks.
Int. J. Inf. Sec., February, 2024

2022
Homomorphic Encryption in Manufacturing Compliance Checks.
Proceedings of the Trust, Privacy and Security in Digital Business, 2022

Risk-driven Model-based Architecture Design for Secure Information Flows in Manufacturing Infrastructures.
Proceedings of the 19th International Conference on Security and Cryptography, 2022

Sensitive information protection in blockchain-based supply-chain management for aerospace.
Proceedings of the IEEE International Conference on Omni-layer Intelligent Systems, 2022

2021
Secure Remote Maintenance via Workflow-Driven Security Framework.
Proceedings of the 2021 IEEE International Conference on Blockchain, 2021

2019
Challenges and Opportunities for Model-Based Security Risk Assessment of Cyber-Physical Systems.
Proceedings of the Resilience of Cyber-Physical Systems, 2019

2017
An Application of SMC to continuous validation of heterogeneous systems.
EAI Endorsed Trans. Ind. Networks Intell. Syst., 2017

Application of Model-Based Safety Assessment to the Validation of Avionic Electrical Power Systems.
Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

2015
A formalized framework for mobile cloud computing.
Serv. Oriented Comput. Appl., 2015

Efficient generation of test data structures using constraint logic programming and program transformation.
J. Log. Comput., 2015

On StocS: A Stochastic Extension of SCEL.
Proceedings of the Software, 2015

2014
Backwards State-space Reduction for Planning in Dynamic Knowledge Bases.
Proceedings of the Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering, 2014

Stochastically timed predicate-based communication primitives for autonomic computing.
Proceedings of the Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2014

Towards a Formal Approach to Mobile Cloud Computing.
Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

Programming and Verifying Component Ensembles.
Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

2013
Generalization strategies for the verification of infinite state systems.
Theory Pract. Log. Program., 2013

Proving Theorems by Program Transformation.
Fundam. Informaticae, 2013

Controlling Polyvariance for Specialization-based Verification.
Fundam. Informaticae, 2013

2012
Improving Reachability Analysis of Infinite State Systems by Specialization.
Fundam. Informaticae, 2012

Constraint-based correctness proofs for logic program transformations.
Formal Aspects Comput., 2012

Generation of Test Data Structures Using Constraint Logic Programming.
Proceedings of the Tests and Proofs - 6th International Conference, 2012

Applying Mean-Field Approximation to Continuous Time Markov Chains.
Proceedings of the Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, 2012

2011
Program transformation for development, verification, and synthesis of programs.
Intelligenza Artificiale, 2011

Using Real Relaxations during Program Specialization.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

Modular Termination and Combinability for Superposition Modulo Counter Arithmetic.
Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011

2010
Transformations of logic programs on infinite lists.
Theory Pract. Log. Program., 2010

Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2010

A Transformation Strategy for Verifying Logic Programs on Infinite Lists.
Proceedings of the 25th Italian Conference on Computational Logic, 2010

The Transformational Approach to Program Development.
Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010

2009
A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs.
Fundam. Informaticae, 2009

Deciding Full Branching Time Logic by Program Transformation.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2009

2008
A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs.
Proceedings of the Logic Programming, 24th International Conference, 2008

Program Transformation for Development, Verification, and Synthesis of Software.
Proceedings of the Il Milione (i.e. 2^6), 2008

2007
Automatic Correctness Proofs for Logic Program Transformations.
Proceedings of the Logic Programming, 23rd International Conference, 2007

2006
Proving Properties of Constraint Logic Programs by Eliminating Existential Variables.
Proceedings of the Logic Programming, 22nd International Conference, 2006

2005
Transformational Verification of Parameterized Protocols Using Array Formulas.
Proceedings of the Logic Based Program Synthesis and Transformation, 2005

Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs.
Proceedings of the Transformation Techniques in Software Engineering, 17.-22. April 2005, 2005


  Loading...