Security-aware design for cyber-physical systems: a platform-based approach

por Lin, Chung-Wei, Sangiovanni-Vincentelli, Alberto
Publicado 2017

Embedded systems development: from functional models to implementations

por Sangiovanni-Vincentelli, Alberto, Zeng, Haibo, Natale, Marco, Marwedel, Peter
Publicado 2014

Synthesis of finite state machines: logic optimization

por Villa, Tiziano, Kam, Timothy, Brayton, Robert K, Sangiovanni-Vincentelli, Alberto L
Publicado 1997

A Model-Based Approach for Bridging Virtual and Physical Sensor Nodes in a Hybrid Simulation Framework

por Mozumdar, Mohammad, Song, Zhen Yu, Lavagno, Luciano, Sangiovanni-Vincentelli, Alberto L.
Publicado 2014

The Unknown Component Problem: Theory and Applications

por Villa, Tiziano, Yevtushenko, Nina, Brayton, Robert K, Mishchenko, Alan, Petrenko, Alexandre, Sangiovanni-Vincentelli, Alberto
Publicado 2012

Contracts for system design

por Benveniste, Albert, Caillaud, Benoît, Nickovic, Dejan, Passerone, Roberto, Raclet, Jean-Baptiste, Reinkemeier, Philipp, Sangiovanni-Vincentelli, Alberto, Damm, Werner, Henzinger, Thomas A, Larsen, Kim G
Publicado 2018

SARS-CoV-2 Inactivation in Aerosol by Means of Radiated Microwaves

por Manna, Antonio, De Forni, Davide, Bartocci, Marco, Pasculli, Nicola, Poddesu, Barbara, Lista, Florigio, De Santis, Riccardo, Amatore, Donatella, Grilli, Giorgia, Molinari, Filippo, Sangiovanni Vincentelli, Alberto, Lori, Franco
Publicado 2023

Reply to Taylor et al. Comment on “Manna et al. SARS-CoV-2 Inactivation in Aerosol by Means of Radiated Microwaves. Viruses 2023, 15, 1443”

por Manna, Antonio, De Forni, Davide, Bartocci, Marco, Pasculli, Nicola, Poddesu, Barbara, Lista, Florigio, De Santis, Riccardo, Amatore, Donatella, Grilli, Giorgia, Molinari, Filippo, Sangiovanni Vincentelli, Alberto, Lori, Franco
Publicado 2023