Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Luciano Putruele
conf.researchr.org general profile
ETAPS 2019 profile
ICSE 2026 profile
Not registered as user
Name:
Luciano Putruele
Contributions
2026
FormaliSE
Author of Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications within the Research Track-track
2019
TACAS
Author of Measuring Masking Fault-Tolerance within the TACAS 2019-track
Share
x
Mon 18 May 08:14