<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>F. Mazzocchetti |</title><link>https://example.com/authors/f.-mazzocchetti/</link><atom:link href="https://example.com/authors/f.-mazzocchetti/index.xml" rel="self" type="application/rss+xml"/><description>F. Mazzocchetti</description><generator>HugoBlox Kit (https://hugoblox.com)</generator><language>en-us</language><lastBuildDate>Sat, 01 Jan 2022 00:00:00 +0000</lastBuildDate><item><title>De-RISC: A Complete RISC-V Based Space-Grade Platform (163812676)</title><link>https://example.com/publications/alcaide-2022-163812676/</link><pubDate>Sat, 01 Jan 2022 00:00:00 +0000</pubDate><guid>https://example.com/publications/alcaide-2022-163812676/</guid><description/></item><item><title>SafeDM: a Hardware Diversity Monitor for Redundant Execution on Non-Lockstepped Cores (163812672)</title><link>https://example.com/publications/alcaide-2022-163812672/</link><pubDate>Sat, 01 Jan 2022 00:00:00 +0000</pubDate><guid>https://example.com/publications/alcaide-2022-163812672/</guid><description/></item><item><title>SAFESOFTDR: A LIBRARY TO ENABLE SOFTWARE-BASED DIVERSE REDUNDANCY FOR SAFETY-CRITICAL TASKS (163812674)</title><link>https://example.com/publications/alcaide-2022-163812674/</link><pubDate>Sat, 01 Jan 2022 00:00:00 +0000</pubDate><guid>https://example.com/publications/alcaide-2022-163812674/</guid><description/></item><item><title>SafeSU-2: a Safe Statistics Unit for Space MPSoCs (163812678)</title><link>https://example.com/publications/alcaide-2022-163812678/</link><pubDate>Sat, 01 Jan 2022 00:00:00 +0000</pubDate><guid>https://example.com/publications/alcaide-2022-163812678/</guid><description/></item><item><title>SafeDE (108230650): a flexible Diversity Enforcement hardware module for light-lockstepping</title><link>https://example.com/publications/bas-2021-108230650/</link><pubDate>Tue, 01 Jun 2021 00:00:00 +0000</pubDate><guid>https://example.com/publications/bas-2021-108230650/</guid><description/></item><item><title>SafeTI (108230568): a Hardware Traffic Injector for MPSoC Functional and Timing Validation</title><link>https://example.com/publications/sala-2021-108230568/</link><pubDate>Tue, 01 Jun 2021 00:00:00 +0000</pubDate><guid>https://example.com/publications/sala-2021-108230568/</guid><description/></item></channel></rss>