Roberto Passerone

Παρατίθεται από

	Όλα	Από το 2020
Παραθέσεις	6027	1649
h-index	42	21
i10-index	100	37

480

240

120

360

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202524 48 35 34 69 76 54 80 86 125 149 165 228 245 279 426 436 420 379 417 471 320 315 340 337 316 21

Δημόσια πρόσβαση

Προβολή όλων

20 άρθρα

4 άρθρα

διαθέσιμα

μη διαθέσιμα

Σύμφωνα με εντολές χρηματοδότησης

Συν-συγγραφείς

Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα eecs.berkeley.edu
Luigi PalopoliFull Professor, University of TrentoΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα unitn.it
Benoît CaillaudINRIA / IRISA / U. RennesΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα inria.fr
Andrey SomovSkolkovo Institute of Science and Technology (SkolTech)Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα skoltech.ru
Luca RizzonTeam Lead @ Microtel Innovation, University of TrentoΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα unitn.it
Jean-Baptiste RacletInstitut de Recherche en Informatique de Toulouse (IRIT)Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα irit.fr
Davide BrunelliUniversity of TrentoΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα unitn.it
Thomas HenzingerIST AustriaΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ist.ac.at
Alessandro PintoNASA Jet Propulsion LaboratoryΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα jpl.nasa.gov
Daniele FontanelliProfessor, University of TrentoΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα unitn.it
daniela cancilaCEAΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cea.fr
David MaciiAssociate Professor in Electronic Measurement, University of TrentoΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα unitn.it
axel legayUCLouvainΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα uclouvain.be
Ivan MinakovUniversity of TrentoΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα unitn.it
Alberto FerrariUTCΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ales.eu.com
Dejan NickovicAustrian Institute of TechnologyΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ait.ac.at
Luca CarloniProfessor and Chair of Computer Science, Columbia UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.columbia.edu
Kim G. LarsenDirector, Professor Aalborg UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.aau.dk
Maurizio RossiDept. Industrial Engineering - University of TrentoΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα unitn.it
Douglas DensmoreTegan Family Distinguished Fellow, Professor of Electrical and Computer Eng., Boston UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα bu.edu

Παρακολούθηση

Roberto Passerone

Professor of Electrical Engineering and Computer Sciences, University of Trento

Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα unitn.it - Αρχική σελίδα

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


Τίτλος Ταξινόμηση με βάση τις αναφορές Ταξινόμηση κατά έτος Ταξινόμηση κατά τίτλο	Παρατίθεται από Παρατίθεται από	Έτος
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	441	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	429	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	278	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	255	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	246	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	183	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
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	84	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	81	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	79	2015
Contracts for systems design: Theory A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ... Inria Rennes Bretagne Atlantique; INRIA, 2015	75	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	71	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	67	2011

Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.

Άρθρα 1–20

Παραθέσεις ανά έτος

Διπλότυπες αναφορές

Συγχωνευμένες αναφορές

Προσθήκη από κοινού συγγραφέωνΣυν-συγγραφείς

Παρακολούθηση

Παρατίθεται από

Συν-συγγραφείς