Pubblicazioni

Characterization and model parameters of large commercial supercapacitor cells

2021 - IEEE ACCESS
Morandi, A.; Lampasi, A.; Cocchi, A.; Gherdovich, F.; Melaccio, U.; Ribani P. L., E; Rossi C., E; Soavi, F.

A detailed model of the switched-resistor technique

2021 - IEEE OPEN JOURNAL OF CIRCUITS AND SYSTEMS
Centurelli, Francesco; Fava, Alessandro; Scotti, Giuseppe; Trifiletti, Alessandro

Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification

2021 - IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Mancini, T.; Melatti, I.; Tronci, E.

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma