Roberto Passerone

Citée par

	Toutes	Depuis 2020
Citations	6044	1648
indice h	42	21
indice i10	100	38

480

240

120

360

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202526 48 35 35 68 75 54 79 88 125 149 162 232 251 281 421 447 420 385 420 468 323 312 326 329 322 36

Accès public

Tout afficher

20 articles

4 articles

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyAdresse e-mail validée de eecs.berkeley.edu
Luigi PalopoliFull Professor, University of TrentoAdresse e-mail validée de unitn.it
Benoît CaillaudINRIA / IRISA / U. RennesAdresse e-mail validée de inria.fr
Andrey SomovSkolkovo Institute of Science and Technology (SkolTech)Adresse e-mail validée de skoltech.ru
Luca RizzonTech Lead @ Microtel Innovation, University of TrentoAdresse e-mail validée de unitn.it
Jean-Baptiste RacletInstitut de Recherche en Informatique de Toulouse (IRIT)Adresse e-mail validée de irit.fr
Davide BrunelliUniversity of TrentoAdresse e-mail validée de unitn.it
daniela cancilaCEAAdresse e-mail validée de cea.fr
Thomas HenzingerIST AustriaAdresse e-mail validée de ist.ac.at
Daniele FontanelliProfessor, University of TrentoAdresse e-mail validée de unitn.it
Alessandro PintoNASA Jet Propulsion LaboratoryAdresse e-mail validée de jpl.nasa.gov
David MaciiAssociate Professor in Electronic Measurement, University of TrentoAdresse e-mail validée de unitn.it
axel legayUCLouvainAdresse e-mail validée de uclouvain.be
Ivan MinakovUniversity of TrentoAdresse e-mail validée de unitn.it
Alberto FerrariUTCAdresse e-mail validée de ales.eu.com
Dejan NickovicAustrian Institute of TechnologyAdresse e-mail validée de ait.ac.at
Luca CarloniProfessor and Chair of Computer Science, Columbia UniversityAdresse e-mail validée de cs.columbia.edu
Kim G. LarsenDirector, Professor Aalborg UniversityAdresse e-mail validée de cs.aau.dk
Maurizio RossiDept. Industrial Engineering - University of TrentoAdresse e-mail validée de unitn.it
Douglas DensmoreTegan Family Distinguished Fellow, Professor of Electrical and Computer Eng., Boston UniversityAdresse e-mail validée de bu.edu

Suivre

Roberto Passerone

Professor of Electrical Engineering and Computer Sciences, University of Trento

Adresse e-mail validée de unitn.it - Page d'accueil

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


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	440	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	428	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	279	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
A platform-based taxonomy for ESL design D Densmore, R Passerone IEEE Design & Test of Computers 23 (5), 359-374, 2006	247	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	247	1998
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	187	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	154	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	152	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	134	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	89	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
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	85	2004
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	82	2009
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	80	2015
Contracts for systems design: Theory A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ... Inria Rennes Bretagne Atlantique; INRIA, 2015	76	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	73	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	73	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	71	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	66	2011

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs