R
Roberto Passerone
Researcher at University of Trento
Publications - 166
Citations - 4152
Roberto Passerone is an academic researcher from University of Trento. The author has contributed to research in topics: Wireless sensor network & Energy harvesting. The author has an hindex of 33, co-authored 159 publications receiving 3818 citations. Previous affiliations of Roberto Passerone include Columbia University & Polytechnic University of Turin.
Papers
More filters
Modeling Techniques, Programming Languages, and Design Toolsets for Hybrid Systems
Luca P. Carloni,Maria Domenica DiBenedetto,Roberto Passerone,Alessandro Pinto,Alberto Sangiovanni-Vincentelli +4 more
TL;DR: This report is a critical review of existing modeling techniques, programming languages, and design toolsets for hybrid systems that will enable better interaction between groups working on the design of embedded controllers based on hybrid system technology.
Journal ArticleDOI
Design and Characterization of a Low-Cost FPGA-Based TDC
TL;DR: A field-programmable gate array (FPGA) implementation of a time-to-digital converter (TDC) based on a low-cost, low-area Spartan 6 device and a novel comparison between the DNLs obtained with two different methods: statistical code density test and using a finely controlled delay source are presented.
Book ChapterDOI
Characterization, Analysis, and Recommendations for Exploiting the Opportunities of Cyber-Physical Systems
Martin Törngren,Fredrik Asplund,Saddek Bensalem,John McDermid,Roberto Passerone,Holger Pfeifer,Alberto Sangiovanni-Vincentelli,Bernhard Schätz +7 more
TL;DR: Leveraging on a comprehensive analysis of cyber-physical systems in Europe, this chapter presents overall findings focusing on a characterization of CPS and opportunities and challenges.
Proceedings ArticleDOI
Functional Verification Methodology Based on Formal Interface Specification and Transactor Generation
Felice Balarin,Roberto Passerone +1 more
TL;DR: By using the specification, it is shown how the code for all the transactors associated with a pair of interfaces can be automatically generated.
Journal Article
Interchange format for hybrid systems : Abstract semantics
TL;DR: This paper gives a formal definition of the syntax and semantics for the proposed interchange format for hybrid systems and shows how the interchange format can be used to capture the essential information across different modeling approaches and how such information can be use in the translation process.