Valerio Senni
Orcid: 0000-0002-1131-0384
According to our database1,
Valerio Senni
authored at least 37 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Int. J. Inf. Sec., February, 2024
2022
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
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
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
Serv. Oriented Comput. Appl., 2015
Efficient generation of test data structures using constraint logic programming and program transformation.
J. Log. Comput., 2015
2014
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
Proceedings of the 22nd Euromicro International Conference on Parallel, 2014
Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014
2013
Theory Pract. Log. Program., 2013
Fundam. Informaticae, 2013
2012
Fundam. Informaticae, 2012
Formal Aspects Comput., 2012
Proceedings of the Tests and Proofs - 6th International Conference, 2012
Proceedings of the Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, 2012
2011
Intelligenza Artificiale, 2011
Proceedings of the Logic-Based Program Synthesis and Transformation, 2011
Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011
2010
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
Proceedings of the 25th Italian Conference on Computational Logic, 2010
Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010
2009
Fundam. Informaticae, 2009
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
Proceedings of the Il Milione (i.e. 2^6), 2008
2007
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
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