☰

Roberto Passerone, Ph.D. - Publications

Affiliations: 
2004 University of California, Berkeley, Berkeley, CA, United States 
Area:
Design, Modeling and Analysis (DMA), Embedded System Design; Design methodologies and tools; Control, Intelligent Systems, and Robotics (CIR), Hybrid systems; Design methodologies and tools; Communications & Networking (COMNET), Wireless sensor network de
Tree Info Similar researchers PubMed Report error

59 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2020 Nuzzo P, Bajaj N, Masin M, Kirov D, Passerone R, Sangiovanni-Vincentelli AL. Optimized Selection of Reliable and Cost-Effective Safety-Critical System Architectures Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 1-1. DOI: 10.1109/Tcad.2019.2963255  0.568
2020 Cirillo G, Passerone R. Packet Length Spectral Analysis for IoT Flow Classification Using Ensemble Learning Ieee Access. 8: 138616-138641. DOI: 10.1109/Access.2020.3012203  0.303
2019 Passerone R, Íncer Romeo Í, Sangiovanni-Vincentelli AL. Coherent Extension, Composition, and Merging Operators in Contract Models for System Design Acm Transactions On Embedded Computing Systems. 18: 1-23. DOI: 10.1145/3358216  0.557
2019 Passerone R, Cancila D, Albano M, Mouelhi S, Plosz S, Jantunen E, Ryabokon A, Laarouchi E, Hegedus C, Varga P. A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles Ieee Access. 7: 125022-125037. DOI: 10.1109/Access.2019.2937453  0.425
2018 Benveniste A, Caillaud B, Nickovic D, Passerone R, Raclet J, Reinkemeier P, Sangiovanni-Vincentelli A, Damm W, Henzinger TA, Larsen KG. Contracts for System Design Foundations and Trends® in Electronic Design Automation. 12: 124-400. DOI: 10.1561/1000000053  0.56
2018 Tontini A, Gasparini L, Pancheri L, Passerone R. Design and Characterization of a Low-Cost FPGA-Based TDC Ieee Transactions On Nuclear Science. 65: 680-690. DOI: 10.1109/Tns.2018.2790703  0.312
2018 Lago LD, Ferrante O, Passerone R, Ferrari A. Dependability Assessment of SOA-Based CPS With Contracts and Model-Based Fault Injection Ieee Transactions On Industrial Informatics. 14: 360-369. DOI: 10.1109/Tii.2017.2689337  0.383
2017 Rossi M, Rizzon L, Passerone R, Minakov I, Sartori D, Brunelli D. Non-invasive cyber-physical system for data center management Sustainable Computing: Informatics and Systems. 16: 66-75. DOI: 10.1016/J.Suscom.2017.09.003  0.324
2016 Brunelli D, Passerone R, Rizzon L, Rossi M, Sartori D. Self-Powered WSN for Distributed Data Center Monitoring. Sensors (Basel, Switzerland). 16. PMID 26729135 DOI: 10.3390/S16010057  0.304
2016 Minakov I, Passerone R, Rizzardi A, Sicari S. A comparative study of recent wireless sensor network simulators Acm Transactions On Sensor Networks. 12. DOI: 10.1145/2903144  0.43
2016 Le TTH, Passerone R, Fahrenberg U, Legay A. Contract-based requirement modularization via synthesis of correct decompositions Acm Transactions On Embedded Computing Systems. 15. DOI: 10.1145/2885752  0.451
2016 Minakov I, Passerone R, Rizzardi A, Sicari S. Routing behavior across WSN simulators: The AODV case study Ieee International Workshop On Factory Communication Systems - Proceedings, Wfcs. 2016. DOI: 10.1109/WFCS.2016.7496514  0.337
2016 Le TTH, Passerone R, Fahrenberg U, Legay A. A tag contract framework for modeling heterogeneous systems Science of Computer Programming. 115: 225-246. DOI: 10.1016/J.Scico.2015.06.004  0.453
2016 Rizzon L, Moro F, Passerone R, Macii D, Fontanelli D, Nazemzadeh P, Corrà M, Palopoli L, Prattichizzo D. C-walker: A cyber-physical system for ambient assisted living Lecture Notes in Electrical Engineering. 351: 75-82. DOI: 10.1007/978-3-319-20227-3_10  0.324
2015 Passerone R, Ozhiganov AA. A Methodology For Design Space Exploration Of Real-Time Location Systems Journal Scientific and Technical of Information Technologies, Mechanics and Optics. 15: 551-567. DOI: 10.17586/2226-1494-2015-15-4-551-567  0.489
2015 Törngren M, Passerone R, Bensalem S, Sangiovanni-Vincentelli A, McDermid J, Schätz B. Education and training challenges in the era of cyber-physical systems: Beyond traditional engineering 2015 Workshop On Embedded and Cyber-Physical Systems Education, Wese 2015 - Proceedings. DOI: 10.1145/2832920.2832928  0.416
2015 Cancila D, Zaatiti H, Passerone R. Cyber-physical system and contract-based design: A three dimensional view 2015 Workshop On Embedded and Cyber-Physical Systems Education, Wese 2015 - Proceedings. DOI: 10.1145/2832920.2832924  0.398
2015 Macii D, Dalpez S, Passerone R, Corrà M, Avancini M, Benciolini L. A safety instrumented system for rolling stocks: Methodology, design process and safety analysis Measurement: Journal of the International Measurement Confederation. 67: 164-176. DOI: 10.1016/J.Measurement.2015.01.002  0.417
2014 Guo L, Zhu Q, Nuzzo P, Passerone R, Sangiovanni-Vincentelli A, Lee EA. Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems 2014 International Conference On Hardware/Software Codesign and System Synthesis, Codes+Isss 2014. DOI: 10.1145/2656075.2656093  0.629
2014 Ferrante O, Passerone R, Ferrari A, Mangeruca L, Sofronis C, D'Angelo M. Monitor-based run-time contract verification of distributed systems Proceedings of the 9th Ieee International Symposium On Industrial Embedded Systems, Sies 2014. DOI: 10.1109/SIES.2014.7087332  0.398
2014 Le TTH, Passerone R. Refinement-based synthesis of correct contract model decompositions 12th Acm/Ieee International Conference On Methods and Models For System Design, Memocode 2014. 134-143. DOI: 10.1109/MEMCOD.2014.6961851  0.342
2014 Somov A, Baranov A, Spirjakin D, Passerone R. Circuit design and power consumption analysis of wireless gas sensor nodes: One-sensor versus two-sensor approach Ieee Sensors Journal. 14: 2056-2063. DOI: 10.1109/Jsen.2014.2309001  0.334
2014 Rossi M, Rizzon L, Fait M, Passerone R, Brunelli D. Energy neutral wireless sensing for server farms monitoring Ieee Journal On Emerging and Selected Topics in Circuits and Systems. 4: 324-334. DOI: 10.1109/Jetcas.2014.2337171  0.311
2014 Ferrante O, Passerone R, Ferrari A, Mangeruca L, Sofronis C. BCL: A compositional contract language for embedded systems 19th Ieee International Conference On Emerging Technologies and Factory Automation, Etfa 2014. DOI: 10.1109/ETFA.2014.7005353  0.406
2013 Davare A, Densmore D, Guo L, Passerone R, Sangiovanni-Vincentelli AL, Simalatsar A, Zhu Q. METROII: A design environment for cyber-physical systems Transactions On Embedded Computing Systems. 12. DOI: 10.1145/2435227.2435245  0.752
2013 Minakov I, Passerone R. PASES: An energy-aware design space exploration framework for wireless sensor networks Journal of Systems Architecture. 59: 626-642. DOI: 10.1016/J.Sysarc.2013.05.020  0.458
2013 Le TTH, Palopoli L, Passerone R, Ramadian Y. Timed-automata based schedulability analysis for distributed firm real-time systems: A case study International Journal On Software Tools For Technology Transfer. 15: 211-228. DOI: 10.1007/S10009-012-0245-Y  0.486
2013 Le TTH, Passerone R, Fahrenberg U, Legay A. A Tag Contract Framework for Heterogeneous Systems Communications in Computer and Information Science. 393: 204-217. DOI: 10.1007/978-3-642-45364-9_17  0.402
2012 Sangiovanni-Vincentelli A, Damm W, Passerone R. Taming Dr. Frankenstein: Contract-based design for cyber-physical systems European Journal of Control. 18: 217-238. DOI: 10.3166/Ejc.18.217-238  0.658
2012 Nolte T, Passerone R. Guest editorial special section on real-time and (networked) embedded systems III Ieee Transactions On Industrial Informatics. 8: 321. DOI: 10.1109/Tii.2009.2027059  0.345
2012 Simalatsar A, Guo L, Bozga M, Passerone R. Integration of correct-by-construction BIP models into the MetroII design space exploration flow Proceedings - Ieee International Conference On Computer Design: Vlsi in Computers and Processors. 490-491. DOI: 10.1109/ICCD.2012.6378688  0.43
2011 Raclet JB, Badouel E, Benveniste A, Caillaud B, Legay A, Passerone R. A modal interface theory for component-based design Fundamenta Informaticae. 108: 119-149. DOI: 10.3233/Fi-2011-416  0.382
2011 Simalatsar A, Ramadian Y, Passerone R, Lampka K, Perathoner S, Thiele L. Enabling parametric feasibility analysis in real-time calculus driven performance evaluation Embedded Systems Week 2011, Esweek 2011 - Proceedings of the 14th International Conference On Compilers, Architectures and Synthesis For Embedded Systems, Cases'11. 155-164. DOI: 10.1145/2038698.2038723  0.339
2011 Palopoli L, Passerone R, Rizano T. Scalable offline optimization of industrial wireless sensor networks Ieee Transactions On Industrial Informatics. 7: 328-339. DOI: 10.1109/Tii.2011.2123904  0.334
2011 Rizano T, Passerone R, MacIi D, Palopoli L. Model-based design of embedded control software for hybrid vehicles Sies 2011 - 6th Ieee International Symposium On Industrial Embedded Systems, Conference Proceedings. 75-78. DOI: 10.1109/SIES.2011.5953684  0.323
2010 Cancila D, Passerone R, Vardanega T, Panunzio M. Toward correctness in the specification and handling of non-functional attributes of high-integrity real-time embedded systems Ieee Transactions On Industrial Informatics. 6: 181-194. DOI: 10.1109/Tii.2010.2043741  0.431
2010 Le TTH, Palopoli L, Passerone R, Ramadian Y, Cimatti A. Parametric analysis of distributed firm real-time systems: A case study Proceedings of the 15th Ieee International Conference On Emerging Technologies and Factory Automation, Etfa 2010. DOI: 10.1109/ETFA.2010.5641315  0.376
2009 Passerone R, Damm W, Hafaiedh IB, Graf S, Ferrari A, Mangeruca L, Benveniste A, Josko B, Peikenkamp T, Cancila D, Cuccuru A, Gérard S, Terrier F, Sangiovanni-Vincentelli A. Metamodels in Europe: Languages, tools, and applications Ieee Design and Test of Computers. 26: 38-53. DOI: 10.1109/Mdt.2009.64  0.52
2009 Densmore D, Simalatsar A, Davare A, Passerone R, Sangiovanni-Vincentelli A. UMTS MPSoC design evaluation using a system level design framework Proceedings -Design, Automation and Test in Europe, Date. 478-483.  0.766
2008 Simalatsar A, Passerone R, Densmore D. A methodology for architecture exploration and performance analysis using system level design languages and rapid architecture profiling Sies'2008 - 3rd International Symposium On Industrial Embedded Systems. 95-102. DOI: 10.1109/SIES.2008.4577686  0.419
2008 Benveniste A, Caillaud B, Ferrari A, Mangeruca L, Passerone R, Sofronis C. Multiple viewpoint contract-based specification and design Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5382: 200-225. DOI: 10.1007/978-3-540-92188-2_9  0.384
2008 Passerone R, Sangiovanni-Vincentelli AL. Approximating behaviors in embedded system design Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5065: 721-742. DOI: 10.1007/978-3-540-68679-8_44  0.578
2007 Balarin F, Passerone R. Specification, synthesis, and simulation of transactor processes Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 26: 1749-1762. DOI: 10.1109/Tcad.2007.895792  0.438
2007 Passerone R, Burch JR, Sangiovanni-Vincentelli AL. Refinement preserving approximations for the design and verification of heterogeneous systems Formal Methods in System Design. 31: 1-33. DOI: 10.1007/s10703-006-0024-z  0.549
2006 Carloni LP, Passerone R, Pinto A, Sangiovanni-Vincentelli AL. Languages and tools for hybrid systems design Foundations and Trends in Electronic Design Automation. 1: 1-193. DOI: 10.1561/1000000001  0.716
2006 Pinto A, Bonivento A, Sangiovanni-Vincentelli AL, Passerone R, Sgroi M. System level design paradigms: Platform-Based design and communication synthesis Acm Transactions On Design Automation of Electronic Systems. 11: 537-563. DOI: 10.1145/1142980.1142982  0.756
2006 Densmore D, Passerone R, Sangiovanni-Vincentelli A. A platform-based taxonomy for ESL design Ieee Design and Test of Computers. 23: 359-373. DOI: 10.1109/Mdt.2006.112  0.718
2006 Pinto A, Carloni LP, Passerone R, Sangiovanni-Vincentelli A. Interchange format for hybrid systems: Abstract semantics Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3927: 491-506. DOI: 10.1007/11730637_37  0.62
2006 Balarin F, Passerone R. Functional verification methodology based on formal interface specification and transactor generation Proceedings -Design, Automation and Test in Europe, Date. 1.  0.307
2005 Balarin F, Passerone R, Pinto A, Sangiovanni-Vincentelli AL. A formal approach to system level design: Metamodels and unified design environments Proceedings - Third Acm and Ieee International Conference On Formal Methods and Models For Co-Design, Memocode'05. 2005: 155-164. DOI: 10.1109/MEMCOD.2005.1487909  0.629
2005 Pinto A, Sangiovanni-Vincentelli A, Carloni LP, Passerone R. Interchange formats for hybrid systems: Review and proposal Lecture Notes in Computer Science. 3414: 526-541.  0.61
2004 Passerone R, Burch JR, Sangiovanni-Vincentelli AL. Conservative approximations for heterogeneous design Emsoft 2004 - Fourth Acm International Conference On Embedded Software. 155-164.  0.56
2002 Passerone R, De Alfaro L, Henzinger TA, Sangiovanni-Vincentelli AL. Convertibility verification and converter synthesis: Two faces of the same coin Ieee/Acm International Conference On Computer-Aided Design, Digest of Technical Papers. 132-139. DOI: 10.1145/774572.774592  0.524
2001 Balarin F, Burch J, Lavagno L, Watanabe Y, Passerone R, Sangiovanni-Vincentelli A. Constraints specification at higher levels of abstraction Proceedings - Ieee International High-Level Design Validation and Test Workshop, Hldvt. 2001: 129-133. DOI: 10.1109/HLDVT.2001.972819  0.563
2001 Burch J, Passerone R, Sangiovanni-Vincentelli AL. Overcoming heterophobia: Modeling concurrency in heterogeneous systems Proceedings - International Conference On Application of Concurrency to System Design, Acsd. 2001: 13-32. DOI: 10.1109/CSD.2001.981761  0.538
2001 Burch JR, Passerone R, Sangiovanni-Vincentelli AL. Using multiple levels of abstractions in embedded software design Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2211: 324-343.  0.531
1999 Filippi E, Lavagno L, Licciardi L, Montanaro A, Paolini M, Passerone R, Sangiovanni-Vincentelli A, Sgroi M. Intellectual property re-use in embedded system co-design: an industrial case study | Il riutilizzo di proprieta intelletuale nel co-design di sistemi embedded: un caso di applicazione industriale Cselt Technical Reports. 27: 491-504.  0.64
1998 Passerone C, Sansoe C, Lavagno L, McGeer R, Martin J, Passerone R, Sangiovanni-Vincentelli A. Modeling reactive systems in Java Acm Transactions On Design Automation of Electronic Systems (Todaes). 3: 515-523. DOI: 10.1145/296333.296334  0.528
1998 Broggi A, Conte G, Gregoretti F, Sansoè C, Passerone R, Reyneri LM. Design and Implementation of the PAPRICA Parallel Architecture Journal of Vlsi Signal Processing Systems For Signal, Image, and Video Technology. 19: 5-18.  0.319
Show low-probability matches.