An Innovative Strategy Based on Secure Element for Cyber–Physical Authentication in Safety-Critical Manufacturing Supply Chain von Gómez-Marín, Ernesto, Senni, Valerio, Parrilla, Luis, Tejero López, Jose L., Castillo, Encarnación, Martintoni, Davide

Volltext

Stochastically timed predicate-based communication primitives for autonomic computing von Latella, Diego, Loreti, Michele, Massink, Mieke, Senni, Valerio

Volltext

Backwards State-space Reduction for Planning in Dynamic Knowledge Bases von Senni, Valerio, Stawowy, Michele

Volltext

A Zero-Trust Architecture for Remote Access in Industrial IoT Infrastructures von Federici, Fabio, Martintoni, Davide, Senni, Valerio

Volltext

An Application of SMC to continuous validation of heterogeneous systems von Arnold, Alexandre, Beleani, Massimo, Ferrari, Alberto, Marazza, Marco, Senni, Valerio, Legay, Axel, Quilbeuf, Jean, Etzien, Christoph

Volltext

Secure outsourcing of manufacturing compliance checks von Triakosia, Aikaterini, Rizomiliotis, Panagiotis, Tonelli, Cecilia, Federici, Fabio, Senni, Valerio

Volltext

An Application of SMC to continuous validation of heterogeneous systems von Arnold, Alexandre, Baleani, Massimo, Ferrari, Alberto, Marazza, Marco, Senni, Valerio, Legay, Axel, Quilbeuf, Jean, Etzien, Christoph

Volltext

Fine-Grained Access Control with User Revocation in Smart Manufacturing von Gómez-Marín, Ernesto, Martintoni, Davide, Senni, Valerio, Castillo, Encarnación, Parrilla, Luis

Volltext

Generalization strategies for the verification of infinite state systems von FIORAVANTI, FABIO, PETTOROSSI, ALBERTO, PROIETTI, MAURIZIO, SENNI, VALERIO

Volltext

Efficient generation of test data structures using constraint logic programming and program transformation von Fioravanti, F., Proietti, M., Senni, V.

Volltext

A formalized framework for mobile cloud computing von Amoretti, Michele, Grazioli, Alessandro, Senni, Valerio, Tiezzi, Francesco, Zanichelli, Francesco

Volltext

Homomorphic Encryption in Manufacturing Compliance Checks von Triakosia, Aikaterini, Rizomiliotis, Panagiotis, Tserpes, Konstantinos, Tonelli, Cecilia, Senni, Valerio, Federici, Fabio

Volltext

Applying Mean-Field Approximation to Continuous Time Markov Chains von Kolesnichenko, Anna, Senni, Valerio, Pourranjabar, Alireza, Remke, Anne

Volltext

On StocS: A Stochastic Extension of SCEL von Latella, Diego, Loreti, Michele, Massink, Mieke, Senni, Valerio

Volltext

Constraint-based correctness proofs for logic program transformations von Pettorossi, Alberto, Proietti, Maurizio, Senni, Valerio

Volltext

Application of Model-Based Safety Assessment to the Validation of Avionic Electrical Power Systems von Ferrante, Orlando, Di Guglielmo, Luigi, Senni, Valerio, Ferrari, Alberto

Volltext

Modular Termination and Combinability for Superposition Modulo Counter Arithmetic von Ringeissen, Christophe, Senni, Valerio

Volltext

Transformations of logic programs on infinite lists von PETTOROSSI, ALBERTO, PROIETTI, MAURIZIO, SENNI, VALERIO

Volltext

Proceedings First Workshop on Horn Clauses for Verification and Synthesis: Preface von Bjørner, Nikolaj, Fioravanti, Fabio, Rybalchenko, Andrey, Senni, Valerio

Volltext

Generation of Test Data Structures Using Constraint Logic Programming von Senni, Valerio, Fioravanti, Fabio

Volltext