Roberto Passerone

Citado por

	Todos	Desde 2019
Citações	5987	2082
Índice h	42	24
Índice i10	100	47

480

240

120

360

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202424 48 35 34 69 76 54 80 84 125 150 165 228 246 279 424 437 418 379 419 470 318 317 339 335 299

Acesso público

Ver tudo

20 artigos

4 artigos

disponível

não disponível

Com base em autorizações de financiamento

Coautores

Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyEmail confirmado em eecs.berkeley.edu
Luigi PalopoliFull Professor, University of TrentoEmail confirmado em unitn.it
Benoît CaillaudINRIA / IRISA / U. RennesEmail confirmado em inria.fr
Andrey SomovSkolkovo Institute of Science and Technology (SkolTech)Email confirmado em skoltech.ru
Luca RizzonTeam Lead @ Microtel Innovation, University of TrentoEmail confirmado em unitn.it
Jean-Baptiste RacletInstitut de Recherche en Informatique de Toulouse (IRIT)Email confirmado em irit.fr
Davide BrunelliUniversity of TrentoEmail confirmado em unitn.it
Thomas HenzingerIST AustriaEmail confirmado em ist.ac.at
Alessandro PintoNASA Jet Propulsion LaboratoryEmail confirmado em jpl.nasa.gov
Daniele FontanelliProfessor, University of TrentoEmail confirmado em unitn.it
daniela cancilaCEAEmail confirmado em cea.fr
David MaciiAssociate Professor in Electronic Measurement, University of TrentoEmail confirmado em unitn.it
axel legayUCLouvainEmail confirmado em uclouvain.be
Ivan MinakovUniversity of TrentoEmail confirmado em unitn.it
Alberto FerrariUTCEmail confirmado em ales.eu.com
Dejan NickovicAustrian Institute of TechnologyEmail confirmado em ait.ac.at
Luca CarloniProfessor and Chair of Computer Science, Columbia UniversityEmail confirmado em cs.columbia.edu
Kim G. LarsenDirector, Professor Aalborg UniversityEmail confirmado em cs.aau.dk
Maurizio RossiDept. Industrial Engineering - University of TrentoEmail confirmado em unitn.it
Douglas DensmoreTegan Family Distinguished Fellow, Professor of Electrical and Computer Eng., Boston UniversityEmail confirmado em bu.edu

Seguir

Roberto Passerone

Professor of Electrical Engineering and Computer Sciences, University of Trento

Email confirmado em unitn.it - Página inicial

Design methodologies system level design contract-based design model-based design IC design


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
Taming Dr. Frankenstein: Contract-based design for cyber-physical systems A Sangiovanni-Vincentelli, W Damm, R Passerone European journal of control 18 (3), 217-238, 2012	437	2012
Contracts for system design A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ... Foundations and Trends® in Electronic Design Automation 12 (2-3), 124-400, 2018	425	2018
Multiple viewpoint contract-based specification and design A Benveniste, B Caillaud, A Ferrari, L Mangeruca, R Passerone, ... Formal Methods for Components and Objects, 200-225, 2008	277	2008
Languages and tools for hybrid systems design LP Carloni, R Passerone, A Pinto, AL Sangiovanni-Vincentelli Foundations and Trends® in Electronic Design Automation 1 (1–2), 1-193, 2006	254	2006
Automatic synthesis of interfaces between incompatible protocols R Passerone, JA Rowson, A Sangiovanni-Vincentelli Proceedings of the 35th annual Design Automation Conference, 8-13, 1998	249	1998
A platform-based taxonomy for ESL design D Densmore, R Passerone IEEE Design & Test of Computers 23 (5), 359-374, 2006	245	2006
Development of wireless sensor network for combustible gas monitoring A Somov, A Baranov, A Savkin, D Spirjakin, A Spirjakin, R Passerone Sensors and Actuators A: Physical 171 (2), 398-405, 2011	181	2011
Convertibility verification and converter synthesis: Two faces of the same coin R Passerone, L De Alfaro, TA Henzinger, AL Sangiovanni-Vincentelli Proceedings of the 2002 IEEE/ACM international conference on Computer-aided …, 2002	155	2002
Deployment and evaluation of a wireless sensor network for methane leak detection A Somov, A Baranov, D Spirjakin, A Spirjakin, V Sleptsov, R Passerone Sensors and Actuators A: Physical 202, 217-225, 2013	151	2013
A modal interface theory for component-based design JB Raclet, E Badouel, A Benveniste, B Caillaud, A Legay, R Passerone Fundamenta Informaticae 108 (1-2), 119-149, 2011	131	2011
metroII: A design environment for cyber-physical systems A Davare, D Densmore, L Guo, R Passerone, AL Sangiovanni-Vincentelli, ... ACM Transactions on Embedded Computing Systems (TECS) 12 (1s), 1-31, 2013	90	2013
A 33 W 6464 Pixel Vision Sensor Embedding Robust Dynamic Background Subtraction for Event Detection and Scene Interpretation N Cottini, M Gottardi, N Massari, R Passerone, Z Smilansky IEEE Journal of Solid-State Circuits 48 (3), 850-863, 2013	88	2013
Modal interfaces: unifying interface automata and modal specifications JB Raclet, E Badouel, A Benveniste, B Caillaud, A Legay, R Passerone Proceedings of the seventh ACM international conference on Embedded software …, 2009	81	2009
System level design paradigms: Platform-based design and communication synthesis A Pinto, A Bonivento, AL Sangiovanni-Vincentelli, R Passerone, M Sgroi Proceedings of the 41st Annual Design Automation Conference, 537-563, 2004	81	2004
Navigation assistance and guidance of older adults across complex public spaces: the DALi approach L Palopoli, A Argyros, J Birchbauer, A Colombo, D Fontanelli, A Legay, ... Intelligent Service Robotics 8, 77-92, 2015	79	2015
Contracts for systems design: Theory A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ... Inria Rennes Bretagne Atlantique; INRIA, 2015	74	2015
A comparative study of recent wireless sensor network simulators I Minakov, R Passerone, A Rizzardi, S Sicari ACM Transactions on Sensor Networks (TOSN) 12 (3), 1-39, 2016	72	2016
Energy-aware gas sensing using wireless sensor networks A Somov, A Baranov, A Savkin, M Ivanov, L Calliari, R Passerone, ... Wireless Sensor Networks: 9th European Conference, EWSN 2012, Trento, Italy …, 2012	70	2012
Why are modalities good for interface theories? JB Raclet, E Badouel, A Benveniste, B Caillaud, R Passerone 2009 Ninth International Conference on Application of Concurrency to System …, 2009	68	2009
Scalable offline optimization of industrial wireless sensor networks L Palopoli, R Passerone, T Rizano IEEE Transactions on Industrial Informatics 7 (2), 328-339, 2011	65	2011

O sistema não pode efectuar a operação agora. Tente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores