Roberto Passerone - Concepedia

Author

Roberto Passerone

University of Trento ORCID

Also Known As

Passerone R., Passerone Roberto, Passerone, Roberto, R Passerone, R. Passerone, Roberto Passerone, Tullio Facchinetti

212

Publications

4.2K

Citations

H-Index

157

Concepts

All Affiliations

University of Trento University of California, Berkeley Cadence Design Systems (United States)Lawrence Berkeley National Laboratory Institut national de recherche en sciences et technologies du numérique

About

Roberto Passerone is an author at University of Trento specializing in engineering, systems engineering, and computer engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	30	62	2.8K
2	Law	2	2	28
3	Business	1	1	15
4	Education	1	1	26
5	Management	1	1	15

Roberto Passerone

Publications

3.2K

Citations

H-Index

Page 1

	Year	Citations
Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems* Alberto Sangiovanni‐Vincentelli, Werner Damm, Roberto Passerone European Journal of Control Cyber-physical Production SystemCyber Physical SystemsEngineeringDr. FrankensteinDesign	2012	322
Contracts for System Design Albert Benveniste, Benoı̂t Caillaud, Dejan Ničković, Foundations and Trends® in Electronic Design Automation	2018	230
Automatic synthesis of interfaces between incompatible protocols Roberto Passerone, J.A. Rowson, Alberto Sangiovanni‐Vincentelli EngineeringVerificationComputer ArchitectureCommunication InterfaceSystem Synthesis	1998	167
A Platform-Based Taxonomy for ESL Design Douglas Densmore, Roberto Passerone IEEE Design & Test of Computers EngineeringConceptual DesignSoftware EngineeringEsl DesignSemantic Web	2006	152
Development of wireless sensor network for combustible gas monitoring Andrey Somov, Alexander Baranov, Alexey Savkin, Sensors and Actuators A Physical Sensor NetworksEngineeringWireless Sensor SystemWireless Sensor NetworksGas Sensor	2011	125
Deployment and evaluation of a wireless sensor network for methane leak detection Andrey Somov, Alexander Baranov, Denis Spirjakin, Sensors and Actuators A Physical Sensor NetworksEnvironmental MonitoringEngineeringWireless Sensor SystemWireless Sensor Networks	2012	113
Languages and Tools for Hybrid Systems Design Luca P. Carloni, Roberto Passerone, Alessandro Pinto, Foundations and Trends® in Electronic Design Automation	2006	106
A Modal Interface Theory for Component-based Design Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Fundamenta Informaticae EngineeringModal Interface TheoryInterface AutomataInterface (Computing)Modal Logic	2011	99
Convertibility verification and converter synthesis Roberto Passerone, Luca de Alfaro, Thomas A. Henzinger, Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design EngineeringEnergy ConversionConverter SynthesisVerificationComponent Interfaces	2002	95
A 33 $\mu$W 64$\,\times\,$64 Pixel Vision Sensor Embedding Robust Dynamic Background Subtraction for Event Detection and Scene Interpretation Nicola Cottini, M. Gottardi, Nicola Massari, IEEE Journal of Solid-State Circuits Event-based VisionW 64Event CameraEngineeringVideo Processing	2013	74

Page 1