Search Results - "Puccetti, Armand"

An end-to-end framework for safe software development by Hussein, Mahmoud, Nouacer, Reda, Radermacher, Ansgar, Puccetti, Armand, Gaston, Christophe, Rapin, Nicolas

“…It is largely recognized that the architectures of embedded systems are becoming more and more complex both at hardware and software levels. Despite the…”
Get full text

The European H2020 project VESSEDIA (Verification Engineering of Safety and SEcurity critical Dynamic Industrial Applications) by Puccetti, Armand

“…This paper presents an overview of the H2020 project VESSEDIA [9] aimed at verifying the security and safety of modern connected systems also called IoT. The…”
Get full text

Verified Value Chains, Innovation and Competition by Weber, Arnd, Guilley, Sylvain, Rathfelder, Rene, Stottinger, Marc, Luth, Christoph, Malenko, Maja, Grawunder, Torsten, Reith, Steffen, Puccetti, Armand, Seifert, Jean-Pierre, Herfurth, Norbert, Sankowski, Hagen, Heiser, Gernot

“…The paper addresses three issues: The first one is vulnerabilities in IT systems, the second is significant market power in hardware production, and the third…”
Get full text

The SINARI project: security analysis and risk assessment applied to the electrical distribution network by McDonald, J, Decroix, H, Caire, R, Sanchez, J, Chollet, S, Oualha, N, Puccetti, A, Hecker, A, Chaudet, C, Piat, H, Georges, D, Planchon, F

“…This paper presents a summary of the key results obtained within the "SINARI" project; a French collaborative research project which focuses on developing…”
Get full text