Research

Research and publications

Work spanning software engineering for safety-critical systems, scientific computing, and experimental physics.

Research in context

01

proceedingsSept 2025

Zephyr: An Ideal Platform for Introducing the Software Development Processes of Safety-Critical Embedded Systems

Roberto Bagnara et al.

Open publication

02

conferenceJun 2025

High-performance computing for quantum field theory: a case for Rust in Monte Carlo simulations

Luca Ciucci and Serena Bruzzesi

Open publication

03

proceedingsMar 2025

C, Rust, C-rusted and MISRA for Safe and Secure Embedded Software

Roberto Bagnara et al.

embedded world Conference 2025 · WEKA FACHMEDIEN GmbH · pp. 343-364

ISBN 978-3-645-50203-0Open publication

04

reportMar 2025

MISRA C:2025 Addendum 6 - Review contributors (acknowledgement)

The MISRA Consortium

Open publication

05

articleMar 2018

A low-cost Cherenkov detector to be tested in CERN's T9 beam line

P. Francavilla et al.

Open publication