Følg
Roberto Passerone
Roberto Passerone
Professor of Electrical Engineering and Computer Sciences, University of Trento
Verifisert e-postadresse på unitn.it - Startside
Tittel
Sitert av
Sitert av
År
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
4412012
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
4302018
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
2782008
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
2552006
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
2491998
A platform-based taxonomy for ESL design
D Densmore, R Passerone
IEEE Design & Test of Computers 23 (5), 359-374, 2006
2462006
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
1832011
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
1552002
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
1512013
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
1312011
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
902013
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
882013
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
842004
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
812009
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
792015
Contracts for systems design: Theory
A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ...
Inria Rennes Bretagne Atlantique; INRIA, 2015
752015
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
742016
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
712012
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
682009
Scalable offline optimization of industrial wireless sensor networks
L Palopoli, R Passerone, T Rizano
IEEE Transactions on Industrial Informatics 7 (2), 328-339, 2011
672011
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20