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
Proceedings ArticleDOI
Convertibility verification and converter synthesis: two faces of the same coin [IP block interfaces]
TL;DR: The notion of adaptability is introduced as the property that two interfaces have when they can be made compatible by communicating through a converter that meets specified requirements, and shows that verifying adaptability and synthesizing an appropriate converter are two faces of the same coin.
Journal ArticleDOI
POCO: ‘Perpetual’ operation of CO wireless sensor node with hybrid power supply
TL;DR: This work proposes a sensor node architecture for a wireless outdoor CO monitoring unit with an emphasis on the energy efficiency of measurements and optimal power supply mechanism, and demonstrates the experience of operating the developed wireless sensor node in real conditions.
Journal ArticleDOI
Toward Correctness in the Specification and Handling of Non-Functional Attributes of High-Integrity Real-Time Embedded Systems
TL;DR: This paper addresses the problem of achieving correct specification and handling of non-functional attributes of a high-integrity system with particular regard to the concurrent structure of the system, the safeness of the interaction protocols engaged in it, and the guarantee that its timing feasibility can be statically verified.
Semantic foundations for heterogeneous systems
TL;DR: This Dissertation proposes one such semantic foundation in the form of an algebraic framework called Agent Algebra, a formal framework that can be used to uniformly present and reason about the characteristics and the properties of the different models of computation used in a design, and about their relationships.
Proceedings ArticleDOI
Metronomy: a function-architecture co-simulation framework for timing verification of cyber-physical systems
Liangpeng Guo,Qi Zhu,Pierluigi Nuzzo,Roberto Passerone,Alberto Sangiovanni-Vincentelli,Edward A. Lee +5 more
TL;DR: Metronomy is presented, a function-architecture co-simulation framework that integrates functional modeling from Ptolemy and architectural modeling from the MetroII environment via a mapping interface that exploits contract theory for timing verification and design space exploration via co-Simulation.