Valerio Senni

Int. J. Inf. Sec., February, 2024

2022

Homomorphic Encryption in Manufacturing Compliance Checks.

[BibT_eX]

[DOI]

Aikaterini Triakosia

Panagiotis Rizomiliotis

Proceedings of the Trust, Privacy and Security in Digital Business, 2022

Risk-driven Model-based Architecture Design for Secure Information Flows in Manufacturing Infrastructures.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Security and Cryptography, 2022

Sensitive information protection in blockchain-based supply-chain management for aerospace.

[BibT_eX]

[DOI]

Davide Martintoni

Antonio Javier Cabrera Gutiérrez

Ernesto Gómez-Marín

Proceedings of the IEEE International Conference on Omni-layer Intelligent Systems, 2022

2021

Secure Remote Maintenance via Workflow-Driven Security Framework.

[BibT_eX]

[DOI]

Prabhakaran Kasinathan

Proceedings of the 2021 IEEE International Conference on Blockchain, 2021

2019

Challenges and Opportunities for Model-Based Security Risk Assessment of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Marco Rocchetto

Alberto Ferrari

Proceedings of the Resilience of Cyber-Physical Systems, 2019

2017

An Application of SMC to continuous validation of heterogeneous systems.

[BibT_eX]

[DOI]

EAI Endorsed Trans. Ind. Networks Intell. Syst., 2017

Application of Model-Based Safety Assessment to the Validation of Avionic Electrical Power Systems.

[BibT_eX]

[DOI]

Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

2015

A formalized framework for mobile cloud computing.

[BibT_eX]

[DOI]

Serv. Oriented Comput. Appl., 2015

Efficient generation of test data structures using constraint logic programming and program transformation.

[BibT_eX]

[DOI]

Fabio Fioravanti

J. Log. Comput., 2015

On StocS: A Stochastic Extension of SCEL.

[BibT_eX]

[DOI]

Proceedings of the Software, 2015

2014

Backwards State-space Reduction for Planning in Dynamic Knowledge Bases.

[BibT_eX]

[DOI]

Michele Stawowy

Proceedings of the Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering, 2014

Stochastically timed predicate-based communication primitives for autonomic computing.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2014

Towards a Formal Approach to Mobile Cloud Computing.

[BibT_eX]

[DOI]

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

Programming and Verifying Component Ensembles.

[BibT_eX]

[DOI]

Rocco De Nicola

Alberto Lluch-Lafuente

Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

2013

Generalization strategies for the verification of infinite state systems.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

Proving Theorems by Program Transformation.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2013

Controlling Polyvariance for Specialization-based Verification.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2013

2012

Improving Reachability Analysis of Infinite State Systems by Specialization.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2012

Constraint-based correctness proofs for logic program transformations.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2012

Generation of Test Data Structures Using Constraint Logic Programming.

[BibT_eX]

[DOI]

Fabio Fioravanti

Proceedings of the Tests and Proofs - 6th International Conference, 2012

Applying Mean-Field Approximation to Continuous Time Markov Chains.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2011

Modular Termination and Combinability for Superposition Modulo Counter Arithmetic.

[BibT_eX]

Christophe Ringeissen

Proceedings of the TABLEAUX 2011, 2011

Using Real Relaxations during Program Specialization.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

2010

Transformations of logic programs on infinite lists.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2010

Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2010

A Transformation Strategy for Verifying Logic Programs on Infinite Lists.

[BibT_eX]

[DOI]

Proceedings of the 25th Italian Conference on Computational Logic, 2010

The Transformational Approach to Program Development.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

Deciding Full Branching Time Logic by Program Transformation.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2009

2008

A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

Program Transformation for Development, Verification, and Synthesis of Software.

[BibT_eX]

[DOI]

Proceedings of the Il Milione (i.e. 2^6), 2008

2007

Automatic Correctness Proofs for Logic Program Transformations.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 23rd International Conference, 2007

2006

Proving Properties of Constraint Logic Programs by Eliminating Existential Variables.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 22nd International Conference, 2006

2005

Transformational Verification of Parameterized Protocols Using Array Formulas.

[BibT_eX]

[DOI]

Proceedings of the Logic Based Program Synthesis and Transformation, 2005

Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs.

[BibT_eX]

[DOI]