Towards Cybersecurity Risk Assessment for Future ATM – First Steps

Authors: Tim, H. Stelkens-Kobsch, Frank, Morlang, Karin, Bernsmed, Per, Hakon Meland, Hilke, Boumann, Davide, Martintoni, Valerio, Senni, Vladimira, Canadyova, Bhavesh, Sharma

Source: 2024 AIAA DATC/IEEE 43rd Digital Avionics Systems Conference (DASC) Digital Avionics Systems Conference (DASC), 2024 AIAA DATC/IEEE 43rd. :1-8 Sep, 2024

Relation: 2024 AIAA DATC/IEEE 43rd Digital Avionics Systems Conference (DASC)

An Innovative Strategy Based on Secure Element for Cyber–Physical Authentication in Safety-Critical Manufacturing Supply Chain

Authors: Ernesto Gómez-Marín, Valerio Senni, Luis Parrilla, Jose L. Tejero López, Encarnación Castillo, Davide Martintoni

Source: Applied Sciences, Vol 13, Iss 18, p 10477 (2023)

Subject Terms: supply chain, Industry 4.0, blockchain, Hardware Security Module (HSM), Near-Field Communication (NFC), information tracking, Technology, Engineering (General). Civil engineering (General), TA1-2040, Biology (General), QH301-705.5, Physics, QC1-999, Chemistry, QD1-999

File Description: electronic resource

Relation: https://www.mdpi.com/2076-3417/13/18/10477; https://doaj.org/toc/2076-3417

Access URL: https://doaj.org/article/1cdee21d04b34e2cbc50e40b29fd3f1a

An Application of SMC to continuous validation of heterogeneous systems

Authors: Alexandre Arnold, Massimo Beleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien

Source: EAI Endorsed Transactions on Industrial Networks and Intelligent Systems, Vol 4, Iss 11 (2017)

Subject Terms: systems of systems, statistical model checking, fmi, tool-chain, simulation., Computer engineering. Computer hardware, TK7885-7895, Systems engineering, TA168

File Description: electronic resource

Relation: https://eudl.eu/pdf/10.4108/eai.21-12-2017.153500; https://doaj.org/toc/2410-0218

Access URL: https://doaj.org/article/ebdbd21cb29640a085a892bcf8e1487a

Backwards State-space Reduction for Planning in Dynamic Knowledge Bases

Authors: Valerio Senni, Michele Stawowy

Source: Electronic Proceedings in Theoretical Computer Science, Vol 159, Iss Proc. GRAPHITE 2014, Pp 84-99 (2014)

Subject Terms: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: http://arxiv.org/pdf/1407.7934v1; https://doaj.org/toc/2075-2180

Access URL: https://doaj.org/article/66b2d19387ff46b5802b3bd24b58a11e

Stochastically timed predicate-based communication primitives for autonomic computing

Authors: Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni

Source: Electronic Proceedings in Theoretical Computer Science, Vol 154, Iss Proc. QAPL 2014, Pp 1-16 (2014)

Subject Terms: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: http://arxiv.org/pdf/1406.2065v1; https://doaj.org/toc/2075-2180

Access URL: https://doaj.org/article/8aee251d3e3045a2b734a7261edbd6e1