CHASE: Contract-based requirement engineering for cyber-physical system designPierluigi NuzzoMichele Loraet al.2018DATE 2018
Optimized selection of reliable and cost-effective cyber-physical system architecturesNikunj BajajPierluigi Nuzzoet al.2015DATE 2015
Optimized Selection of Reliable and Cost-Effective Safety-Critical System ArchitecturesPierluigi NuzzoNikunj Bajajet al.2020IEEE TCADIS