Research Outputs Roberto Passerone


  • Passerone, Roberto; Ferrante, Orlando (edited by), "Dependability Assessment of SOA-based Cyber-Physical Systems with Contracts and Model-Based Fault Injection", by Dal Lago, Loris, Trento, Italy: Università degli Studi di Trento, 2017, 144 p. - (Technical Report DISI)
  • Minakov, Ivan; Passerone, Roberto; Rossi, Maurizio, "Design and energy optimization of a multifunctional IoT solution for connected bikes" in GIoTS 2017 - Global Internet of Things Summit, Proceedings, Piscataway, New Jersey, USA: Institute of Electrical and Electronics Engineers Inc., 2017, p. 1-6. - ISBN: 9781509058730. Proceedings of: 2017 Global Internet of Things Summit, GIoTS 2017, International Conference Centre in Geneva (CICG), che, 2017. - DOI: 10.1109/GIOTS.2017.8016240
  • Rossi, Maurizio; Rizzon, Luca; Passerone, Roberto; Minakov, Ivan; Sartori, Davide; Brunelli, Davide, "Non-invasive cyber-physical system for data center management" in SUSTAINABLE COMPUTING, v. in press, (2017). - URL: http://www.sciencedirect.com/science/article/pii/S2210537916300518 . - DOI: 10.1016/j.suscom.2017.09.003
  • Minakov, Ivan; Passerone, Roberto; Rizzardi, Alessandra; Sicari, Sabrina, "A comparative study of recent wireless sensor network simulators" in ACM TRANSACTIONS ON SENSOR NETWORKS, v. 12, n. 3 (2016), p. 1-39. - URL: http://dl.acm.org/citation.cfm?id=J981 . - DOI: 10.1145/2903144
  • Le, Thi Thieu Hoa; Passerone, Roberto; Fahrenberg, Uli; Legay, Axel, "A tag contract framework for modeling heterogeneous systems" in SCIENCE OF COMPUTER PROGRAMMING, v. 115-116, (2016), p. 225-246. - DOI: 10.1016/j.scico.2015.06.004
  • Le, Thi Thieu Hoa; Passerone, Roberto; Fahrenberg, Uli; Legay, A., "Contract-based requirement modularization via synthesis of correct decompositions" in ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, v. 15, n. 2 (2016), p. 1-26. - URL: http://www.acm.org/tecs/ . - DOI: 10.1145/2885752
  • Rizzon, Luca; Moro, Federico; Passerone, Roberto; Macii, David; Fontanelli, Daniele; Nazemzadeh, Payam; Corrà, Michele; Palopoli, Luigi; Prattichizzo, Domenico, "C-walker: A cyber-physical system for ambient assisted living" in A. De Gloria (edited by), Lecture Notes in Electrical Engineering, Heidelberger Platz 3 14197 Berlin Germany: Springer Verlag, 2016, p. 75-82. - ISBN: 9783319202266. - URL: http://www.springer.com/series/7818 . - DOI: 10.1007/978-3-319-20227-3_10
  • Rizzon, Luca; Passerone, Roberto, "Cyber/physical co-design in practice: Case studies in metroII" in 2016 11th IEEE International Symposium on Industrial Embedded Systems, SIES 2016 - Proceedings, New York, NY, USA: Institute of Electrical and Electronics Engineers Inc., 2016, p. 1-10. - ISBN: 9781509022823. Proceedings of: 11th IEEE International Symposium on Industrial Embedded Systems, SIES 2016, Krakow, Poland, 23-25 May 2016. - DOI: 10.1109/SIES.2016.7509408
  • Baranov, Alexander; Spirjakin, Denis; Akbari, Saba; Somov, Andrey; Passerone, Roberto, "POCO: 'Perpetual' operation of CO wireless sensor node with hybrid power supply" in SENSORS AND ACTUATORS. A, PHYSICAL, v. 238, (2016), p. 112-121. - DOI: 10.1016/j.sna.2015.12.004
  • Minakov, Ivan; Passerone, Roberto; Rizzardi, Alessandra; Sicari, Sabrina, "Routing behavior across WSN simulators: The AODV case study" in IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS, New York, NY, USA: Institute of Electrical and Electronics Engineers Inc., 2016, p. 1-8. - ISBN: 9781509023394. Proceedings of: 12th IEEE World Conference on Factory Communication Systems, WFCS 2016, Aveiro, Portugal, 3-6 May 2016. - DOI: 10.1109/WFCS.2016.7496514
  • Rossi, Maurizio; Rizzon, Luca; Fait, Matteo; Passerone, Roberto; Brunelli, Davide, "Self-powered Active Cooling System for High Performance Processors" in De Gloria, Alessandro (edited by), Applications in Electronics Pervading Industry, Environment and Society, Springer International Publishing AG, Gewerbestrasse 11, 6330 Cham Switzerland: Springer International Publishing, 2016, p. 25-33. - ISBN: 978-3-319-20226-6. - URL: http://link.springer.com/chapter/10.1007%2F978-3-319-20227-3_4 . - DOI: 10.1007/978-3-319-20227-3_4
  • Brunelli, Davide; Passerone, Roberto; Rizzon, Luca; Rossi, Maurizio; Sartori, Davide, "Self-Powered WSN for Distributed Data Center Monitoring" in SENSORS, v. 16, n. 1 (2016), p. 1-15. - URL: http://www.mdpi.com/1424-8220/16/1/57 . - DOI: 10.3390/s16010057
  • Moro, Federico; De Angeli, Antonella; Fontanelli, Daniele; Passerone, Roberto; Prattichizzo, Domenico; Rizzon, Luca; Scheggi, Stefano; Targher, Stefano; Palopoli, Luigi, "Sensory stimulation for human guidance in robot walkers: A comparison between haptic and acoustic solutions" in IEEE 2nd International Smart Cities Conference: Improving the Citizens Quality of Life, ISC2 2016 - Proceedings, IEEE Standards Association, 501 Hoes Lane, 3rd Floor Piscataway, NJ 08855: Institute of Electrical and Electronics Engineers Inc., 2016. - ISBN: 9781509018451. Proceedings of: 2nd IEEE International Smart Cities Conference, ISC2 2016, ita, 2016. - DOI: 10.1109/ISC2.2016.7580811
  • Kirov, Dmitrii; Passerone, Roberto; Donelli, Massimo, "Statistical Characterization of the 2.4 GHz Radio Channel for WSN in Indoor Office Environments" in Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, Berlin, Germany: IEEE, 2016. Proceedings of: ETFA 2016, Berlin, Germany, 6th-9th September 2016. - DOI: 10.1109/ETFA.2016.7733713
  • D. Kirov; R. Passerone; A. A. Ozhiganov, "A methodology for design space exploration of real-time location systems" in NAUCNO-TEHNICESKIJ VESTNIK INFORMACIONNYH TEHNOLOGIJ, MEHANIKI I OPTIKI, v. 15, n. 4 (2015), p. 551-567. - DOI: 10.17586/2226-1494-2015-15-4-551-567
  • Macii, David; Dalpez, Stefano; Passerone, Roberto; Corrà, Michele; Avancini, Manuel; Benciolini, Luigi, "A safety instrumented system for rolling stocks: Methodology, design process and safety analysis" in MEASUREMENT, v. 67, (2015), p. 164-176. - DOI: 10.1016/j.measurement.2015.01.002
  • Aggravi, M.; Colombo, A.; Fontanelli, D.; Giannitrapani, A.; Macii, D.; Moro, F.; Nazemzadeh, P.; Palopoli, L.; Passerone, R.; Prattichizzo, D.; Rizano, T.; Rizzon, L.; Scheggi, S., "A Smart Walking Assistant for Safe Navigation in Complex Indoor Environments" in Andò, B., Siciliano, P., Marletta, V., Monteriù, A. (edited by), Biosystems and Biorobotics, Basel: Springer International Publishing, 2015, p. 487-497. - ISBN: 978-3-319-18374-9. - URL: http://dx.doi.org/10.1007/978-3-319-18374-9_45 . - DOI: 10.1007/978-3-319-18374-9_45
  • Baranov, A.; Spirjakin, D.; Akbari, S.; Somov, A.; Passerone, R., "A Wireless Carbon Monoxide Sensor Node with Hybrid Power Supply" in Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, Pisa: IEEE, 2015. - ISBN: 978-1-4799-6114-6. Proceedings of: I2MTC, Pisa, Italy, 11th May - 14th May 2015. - DOI: 10.1109/I2MTC.2015.7151410
  • Cancila, D.; Zaatiti, H.; Passerone, R., "Cyber-Physical System and Contract-Based Design - A Three Dimensional View" in Proceedings of the Workshop on Embedded and Cyber-PhysicalSystems Education, Amsterdam, The Netherlands: ACM, 2015. Proceedings of: WESE 2015, Amsterdam, The Netherlands, 8th October 2015. - DOI: 10.1145/2832920.2832924
  • Törngren, M.; Bensalem, S.; Mcdermid, J.; Passerone, R.; Sangiovanni-Vincentelli, A.; Schätz, B., "Education and training challenges in the era of Cyber-Physical Systems: beyond traditional engineering" in Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, Amsterdam, The Netherlands: ACM, 2015. - ISBN: 978-1-4503-3897-4. Proceedings of: WESE 2015, Amsterdam, The Netherlands, 8th October 2015. - DOI: 10.1145/2832920.2832928
  • Minakov, I.; Passerone, R., "exIMUs: an Experimental Inertial Measurement Unit for Shock and Impact Detection in Sport Applications" in Proceedings of the 6th EAI International Conference on Sensor Systems and Software, Rome, Italy: EAI, 2015. Proceedings of: S-CUBE 2015, Rome, Italy, 26th October - 27th October 2015
  • Palopoli, Luigi; Argyros, Antonis; Birchbauer, Josef; Colombo, Alessio; Fontanelli, Daniele; Legay, Axel; Garulli, Andrea; Giannitrapani, Antonello; Macii, David; Moro, Federico; Nazemzadeh, Payam; Padeleris, Pashalis; Passerone, Roberto; Poier, Georg; Prattichizzo, Domenico; Rizano, Tizar; Rizzon, Luca; Scheggi, Stefano; Sedwards, Sean, "Navigation assistance and guidance of older adults across complex public spaces: the DALi approach" in INTELLIGENT SERVICE ROBOTICS, v. 8, n. 2 (2015), p. 77-92. - URL: http://www.springer.com/sgw/cda/frontpage/0,11855,4-40109-70-71454808-0,00.html" . - DOI: 10.1007/s11370-015-0169-y
  • Brunelli, D.; Minakov, I.; Passerone, R.; Rossi, M., "Smart monitoring for sustainable and energy-efficient buildings: a case study" in Proceedings of the 2015 IEEE Workshop on Environmental, Energy and Structural Monitoring Systems, Trento, Italy: IEEE, 2015, p. 186-191. - ISBN: 978-1-4799-8214-1. Proceedings of: EESMS 2015, Trento, Italy, 9th July - 10th July 2015. - DOI: 10.1109/EESMS.2015.7175875
  • G. Camellini; M. Felisa; P. Medici; P. Zani; F. Gregoretti; C. Passerone; R. Passerone, "3DV-An Embedded, Dense Stereovision-based Depth Mapping System" in Proceedings of the 2014 IEEE Intelligent Vehicles Symposium, New York, USA: IEEE, 2014, p. 1435-1440. - ISBN: 9781479936373. Proceedings of: IVS2014, Dearborn, MI, 8 June-11 June 2014. - DOI: 10.1109/IVS.2014.6856563
  • Macii D.; Dalpez S.; Avancini M.; Benciolini L.; Corrà M.; Passerone R., "A safety system for zero velocity detection and operator alertness monitoring in rolling stock" in 13th IMEKO TC10 Workshop on Technical Diagnostics 2014: Advanced Measurement Tools in Technical Diagnostics for Systems' Reliability and Safety, Budapest, Hungary: IMEKO, 2014. - ISBN: 9781632669841. Proceedings of: IMEKO TC10 Workshop, Warsaw, Poland, 26-27 June 2014
  • O. Ferrante; R. Passerone; A. Ferrari; L. Mangeruca; C. Sofronis, "BCL: a Compositional Contract Language for Embedded Systems" in Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation, New York, USA: IEEE, 2014, p. 1-6. Proceedings of: ETFA 2014, Barcelona, Spain, 16-19 September 2014. - DOI: 10.1109/ETFA.2014.7005353
  • A. Somov; A. Baranov; D. Spirjakin; R. Passerone, "Circuit design and power consumption analysis of wireless gas sensor nodes: One-sensor versus two-sensor approach" in IEEE SENSORS JOURNAL, v. 14, n. 6 (2014), p. 2056-2063. - DOI: 10.1109/JSEN.2014.2309001
  • S. Graf; R. Passerone; S. Quinton, "Contract-Based Reasoning for Component Systems with Rich Interactions" in L. Alberto Sangiovanni-vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel (edited by), Embedded Systems Development: From Functional Models to Implementations, New York: Springer New York, 2014, p. 139-154. - (Embedded Systems; 20). - ISBN: 9781461438793. - DOI: 10.1007/978-1-4614-3879-3_8
  • D. Macii; M. Avancini; L. Benciolini; S. Dalpez; M. Corrà; R. Passerone, "Design of a Redundant FPGA-based Safety System for Railroad Vehicles" in Proceedings of the 17th Euromicro Conference on Digital System Design, New York, USA: IEEE, 2014, p. 683-686. - ISBN: 978-147995793-4. Proceedings of: DSD 2014, Verona, Italy, 27-29 August 2014. - DOI: 10.1109/DSD.2014.96
  • Davide Brunelli;Alberto Tovazzi;Massimo Gottardi;Michele Benetti;Roberto Passerone;Pamela Abshire, "Energy Autonomous Low Power Vision System" in De Gloria, Alessandro (edited by), Applications in Electronics Pervading Industry, Environment and Society, Basel: Springer International Publishing, 2014, p. 39-50. - (LECTURE NOTES IN ELECTRICAL ENGINEERING). - ISBN: 9783319043692. - URL: http://link.springer.com/chapter/10.1007/978-3-319-04370-8_4 . - DOI: 10.1007/978-3-319-04370-8_4
  • L. Rizzon;M. Rossi;R. Passerone;D. Brunelli, "Energy neutral hybrid cooling system for high performance processors" in Green Computing Conference (IGCC), 2014 International, USA: IEEE, 2014, p. 1-6. Proceedings of: IGCC 2014, Dallas, TX, USA, 3-5 November 2014. - URL: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7039181 . - DOI: 10.1109/igcc.2014.7039181
  • M. Rossi; L. Rizzon; M. Fait; R. Passerone; D. Brunelli, "Energy Neutral Wireless Sensing for Server Farms Monitoring" in IEEE JOURNAL OF EMERGING AND SELECTED TOPICS IN CIRCUITS AND SYSTEMS, v. 4, n. 3 (2014), p. 324-334. - URL: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6866235 . - DOI: 10.1109/JETCAS.2014.2337171
  • D. Cancila; E. Soubiran; R. Passerone, "Feasibility Study in the Use of Contract-Based Approaches to Deal with Safety-Related Properties in CPS" in ADA USER JOURNAL, v. 35, n. 4 (2014), p. 272-277
  • L. Guo; Q. Zhu; P. Nuzzo; R. Passerone; A. L. Sangiovanni-Vincentelli; E. A. Lee, "Metronomy: a Function-Architecture Co-Simulation Framework for Timing Verification of Cyber-Physical Systems" in Proceedings of the 2014 International Conference on Hardware/Software Codesign and System Synthesis, New York, USA: ACM/IEEE, 2014, p. 1-10. - ISBN: 9781450330510. Proceedings of: CODES 2014, New Delhi, India, 12-17 October 2014. - DOI: 10.1145/2656075.2656093
  • O. Ferrante; R. Passerone; A. Ferrari; L. Mengeruca; C. Sofronis; M. D'Angelo, "Monitor-Based Run-Time Contract Verification of Distributed Systems" in Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, New York: IEEE, 2014. Proceedings of: SIES 2014, Pisa, Italy, 18 June - 20 June 2014. - DOI: 10.1109/SIES.2014.7087332
  • D. Brunelli; I. Minakov; R. Passerone; M. Rossi, "POVOMON: An Ad-hoc Wireless Sensor Network for indoor environmental monitoring" in Environmental Energy and Structural Monitoring Systems (EESMS), 2014 IEEE Workshop on, USA: IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC,, 2014, p. 1-6. - ISBN: 9781479949892. Proceedings of: EESMS 2014, Naples, Italy, 17-18 Sept. 2014. - URL: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6923287 . - DOI: 10.1109/EESMS.2014.6923287
  • H. T. T. Le; R. Passerone, "Refinement-based Synthesis of Correct Contract Model Decompositions" in Proceedings of the 12th ACM-IEEE International Conference on Formal Methods and Models for System Design, New York, USA: ACM/IEEE, 2014, p. 134-143. Proceedings of: MEMOCODE 2014, Lausanne, Switzerland, 19-21 October 2014. - DOI: 10.1109/MEMCOD.2014.6961851
  • L. Rizzon; M. Rossi; R. Passerone; D. Brunelli, "Self-powered heat-sink SoC as temperature sensors with wireless interface: Design and validation" in IEEE SENSORS 2014 Proceedings, Piscataway, NJ: IEEE, 2014, p. 1575-1578. - ISBN: 9781479901623. Proceedings of: SENSORS 2014, Valencia, Spain, 2-5 November 2014. - URL: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6985318 . - DOI: 10.1109/ICSENS.2014.6985318
  • L. Rizzon; R. Passerone, "Spatial sound rendering for assisted living on an embedded platform" in A. De Gloria (edited by), Applications in Electronics Pervading Industry, Environment and Society, Basel: Springer International Publishing, 2014, p. 61-73. - (LECTURE NOTES IN ELECTRICAL ENGINEERING). - ISBN: 9783319043692. - DOI: 10.1007/978-3-319-04370-8_6
  • A. Somov; V. Lebedev; A. Baranov; E. Laukhina; V. Laukhin; R. Passerone; C. Rovira; J. Veciana, "Wireless Sensor Node with Ultrasensitive Film Sensors for Emergency Applications" in PROCEDIA ENGINEERING, v. 87, (2014), p. 520-523. - DOI: 10.1016/j.proeng.2014.11.538
  • N. Cottini; M. Gottardi; N. Massari; R. Passerone; Z. Smilansky, "A 33uW 64x64 Pixel Vision Sensor Embedding Robust Dynamic Background Subtraction for Event Detection and Scene Interpretation" in IEEE JOURNAL OF SOLID-STATE CIRCUITS, v. 48, n. 3 (2013), p. 850-863. - DOI: 10.1109/JSSC.2012.2235031
  • N. Cottini; M. Gottardi; N. Massari; R. Passerone, "A Bio-Inspired APS for Selective Visual Attention" in IEEE SENSORS JOURNAL, v. 13, n. 9 (2013), p. 3341-3342. - DOI: 10.1109/JSEN.2013.2263962
  • Thi Thieu Hoa Le; Roberto Passerone;U. Fahrenberg;A. Legay, "A Tag Contract Framework for Heterogeneous Systems" in Proceedings of the 12th International Workshop on Foundations of Coordination Languages and Self Adaptive Systems, Spain: Springer Berlin Heidelberg, 2013, p. 204-217. - ISBN: 9783642453632. Proceedings of: FOCLASA 2013, Malaga, Spain, 11 September 2013. - DOI: 10.1007/978-3-642-45364-9_17
  • A. Somov; A. Baranov; D. Spirjakin; A. Spirjakin; V. Sleptsov; R. Passerone, "Deployment and evaluation of a wireless sensor network for methane leak detection" in SENSORS AND ACTUATORS. A, PHYSICAL, v. 202, (2013), p. 217-225. - DOI: 10.1016/j.sna.2012.11.047
  • L. Rizzon; R. Passerone, "Embedded soundscape rendering for the visually impaired" in 8th IEEE International Symposium on Industrial Embedded Systems (SIES), USA: IEEE, 2013, p. 101-104. - ISBN: 9781479906581. Proceedings of: SIES2013, Porto, Portogallo, 19th-21st June 2013. - DOI: 10.1109/SIES.2013.6601480
  • A. Davare; D. Densmore; L. Guo; R. Passerone; A. L. Sangiovanni-Vincentelli; A. Simalatsar; Q. Zhu, "metroII: A Design Environment for Cyber-Physical Systems" in ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, v. 12, n. 1s (2013), p. 49:1-49:31. - DOI: 10.1145/2435227.2435245
  • I. Minakov; R. Passerone, "PASES: An Energy-Aware Design Space Exploration Framework for Wireless Sensor Networks" in JOURNAL OF SYSTEMS ARCHITECTURE, v. 59, n. 8 (2013), p. 626-642. - DOI: 10.1016/j.sysarc.2013.05.020
  • J. Manica; R. Passerone; L. Rizzon, "Power-aware architectural exploration of the CORDIC algorithm" in Proceedings of the 2013 9th Conference on Ph.D. Research in Microelectronics and Electronics (PRIME), USA: IEEE, 2013, p. 333-336. - ISBN: 9781467345804. Proceedings of: PRIME 2013, Villach, Austria, 24th-27th June 2013. - DOI: 10.1109/PRIME.2013.6603179
  • Thi Thieu Hoa Le; R. Passerone; U. Fahrenberg; A. Legay, "Tag Machines for Modeling Heterogeneous Systems" in Proceedings of the 13th International Conference on Application of Concurrency to System Design, USA: IEEE, 2013, p. 186-195. - ISBN: 9780769550350. Proceedings of: ACSD 2013, Barcelona, Spain, 8th - 10th July 2013. - DOI: 10.1109/ACSD.2013.23
  • Thi Thieu Hoa Le; L. Palopoli; R. Passerone; Y. Ramadian, "Timed-Automata Based Schedulability Analysis for Distributed Firm Real-Time Systems: a Case Study" in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, v. 15, n. 3 (2013), p. 211-228. - DOI: 10.1007/s10009-012-0245-y
  • L. Rizzon; M. Rossi; R. Passerone; D. Brunelli, "Wireless sensor networks for environmental monitoring powered by microprocessors heat dissipation" in Proceedings of the 1st International Workshop on Energy Neutral Sensing Systems, New York, USA: ACM Press, 2013, p. 1-6. - ISBN: 9781450324328. Proceedings of: ENSSys 2013, Roma, 14th November 2013. - URL: http://dl.acm.org/citation.cfm?doid=2534208.2534216 . - DOI: 10.1145/2534208.2534216
  • N. Cottini; M. Gottardi; N. Massari; R. Passerone; Z. Smilansky, "A 33uW 42 GOPS/W 64x64 Pixels Vision Sensor with Dynamic Background Subtraction for Scene Interpretation" in Proceedings of the International Symposium on Low Power Electronics and Design, Redondo Beach, CA: ACM, 2012, p. 315-320. - ISBN: 9781450312493. Proceedings of: ISLPED 2012, Redondo Beach, CA, USA, 30th July - 1st August 2012. - DOI: 10.1145/2333660.2333731
  • S. Dalpez; R. Passerone; A. Penasa; A. Vaccari, "Design of an innovative proximity detection embedded-system for safety application in industrial machinery" in Proocedings on 17th Conference on Emerging Technologies & Factory Automation (ETFA), Krakow, Poland: ACM/IEEE, 2012, p. 1-8. - ISBN: 9781467347372. Proceedings of: ETFA 2012, Krakow, Poland, 17th - 21st September 2012. - DOI: 10.1109/ETFA.2012.6489582
  • A. Somov; A. Baranov; A. Savkin; M. Ivanov; L. Calliari; R. Passerone; E. Karpov; A. Suchkov, "Energy-Aware Gas Sensing Using Wireless Sensor Networks" in Proceedings of the 9th European Conference on Wireless Sensor Networks, Trento, Italy: Springer-Verlag Berlin / Heidelberg, 2012, p. 245-260. - ISBN: 9783642281686. Proceedings of: EWSN 2012, Trento, Italy, 15th - 17th February 2012. - DOI: 10.1007/978-3-642-28169-3_16
  • A. Simalatsar; L. Guo; M. Bozga; R. Passerone, "Integration of Correct-by-Construction BIP models into the MetroII Design Space Exploration Flow" in Proceedings of the 30^th IEEE International Conference on Computer Design, Montreal, Quebec, Canada: ACM/IEEE, 2012. - ISBN: 9781467330503. Proceedings of: ICCD 2012, Montreal, Quebec, Canada, 2012-September 30--October 3,. - DOI: 10.1109/ICCD.2012.6378688
  • A. Somov; C. Ho; R. Passerone; J. W. Evans; P. K. Wright, "Printed Electrochemical Capacitors for Energy Scavenging Sensor Networks" in Proceedings of the International Workshop on Algorithms and Concepts for Networked Sensing Systems Powered by Energy Harvesters, Antwerp, Belgium: ACM/IEEE, 2012, p. 1-6. - ISBN: 9781467317856. Proceedings of: EnHaNSS 2012, Antwerp, Belgium, 11th June 2012. - DOI: 10.1109/INSS.2012.6240577
  • A. Somov; D. Spirjakin; A. Spirjakin; A. Baranov; V. Sleptsov; R. Passerone, "Safe Delivery of Sensed Data in Wireless Sensor Networks for Gas Leak Detection: a Boiler Facility Scenario" in Proceedings of the 26^th European Conference on Solid-State Transducers (EUROSENSORS12), Krakow, Poland: Elsevier, 2012, p. 873-876. Proceedings of: EUROSENSORS 2012, Krakow, Poland, 9th - 12th September 2012. - DOI: 10.1016/j.proeng.2012.09.286
  • A. L. Sangiovanni-Vincentelli; W. Damm; R. Passerone, "Taming Dr. Frankenstein: contract-based design for cyber-physical systems" in EUROPEAN JOURNAL OF CONTROL, v. 18, n. 3 (2012), p. 217-238. - DOI: 10.3166/EJC.18.217-238
  • A. Somov; C. Ho; R. Passerone; J. Evans; P. Wright, "Towards Extending Sensor Node Lifetime with Printed Supercapacitors" in Proceedings of the 9^th European Conference on Wireless Sensor Networks, Berlin; Heidelberg: Springer-Verlag, 2012, p. 212-227. - (LECTURE NOTES IN COMPUTER SCIENCE). - ISBN: 9783642281686. Proceedings of: EWSN 2012, Trento, Italy, 15th - 17th February 2012. - DOI: 10.1007/978-3-642-28169-3_14
  • Raclet, J.; Badouel, E.; Benveniste, A.; Caillaud, B.; Legay, A.; Passerone, R., "A Modal Interface Theory for Component-based Design" in FUNDAMENTA INFORMATICAE, v. 108, n. 1-2 (2011), p. 119-149. - DOI: 10.3233/FI-2011-416
  • Somov, A.; Baranov, A.; Savkin, A.; Spirjakin, D.; Spirjakin, A.; Passerone, R., "Development of Wireless Sensor Network for Combustible Gas Monitoring" in SENSORS AND ACTUATORS. A, PHYSICAL, v. 171, n. 2 (2011), p. 398-405. - DOI: 10.1016/j.sna.2011.07.016
  • Simalatsar, A.; Ramadian, Y.; Lampka, K.; Perathoner, S.; Passerone, R.; Thiele, L., "Enabling Parametric Feasibility Analysis in Real-time Calculus Driven Performance Evaluation" in Proceedings of the International Conference on Compilers, Architectures and Synthesis of Embedded Systems (CASES11), Taipei, Taiwan: IEEE, 2011, p. 155-164. - ISBN: 9781450307130. Proceedings of: Proceedings of the International Conference on Compilers, Architectures and Synthesis of Embedded Systems (CASES11), Taipei, Taiwan, 9-14 October 2011. - DOI: 10.1145/2038698.2038723
  • D. Macii; L. Palopoli; R. Passerone; T. Rizano, "Model-Based Design of Embedded Control Software for Hybrid Vehicles" in International Symposium on Industrial Embedded Systems (SIES), 2011 6th IEEE International Symposium, Västerås, Sweden: IEEE, 2011, p. 75-78. Proceedings of: SIES 2011, Västerås, Sweden, June 15-17, 2011. - DOI: 10.1109/SIES.2011.5953684
  • Hossain, A.; Passerone, R., "Power Adaptive Cognitive Pilot Channel for Spectrum Co-existence in Wireless Networks" in Proceedings of the 25th IEEE International Conference on Advanced Information Networking and Applications, Singapore: IEEE Computer Society, 2011, p. 9-16. - (IEEE. Computer Society, Los Alamitos, CA, USA). Proceedings of: The 25th IEEE International Conference on Advanced Information Networking and Applications, Singapore, 22-25 March 2011. - DOI: 10.1109/AINA.2011.29
  • Albrecht, C.; Chong, P.; Keuhlmann, A.; Passerone, R.; Sentovich, E., "Reducing Critical Cycle Delay in an Integrated Circuit Design through Use of Sequential Slack", US 7,913,210. - Filing date: 2011
  • Palopoli, L.; Passerone, R.; Rizano, T., "Scalable Off-line Optimization of Industrial Wireless Sensor Networks" in IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, v. 7, n. i.e. 2 (2011), p. 328-339. - DOI: 10.1109/TII.2011.2123904
  • D. Cancila; S. Dalpez; R. Passerone; F. Terrier, "An industrial case study using an MBE approach: from architecture to safety analysis" in Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW10), Carmona, Spain: IEEE, 2010, p. 122-166. - (IEEE Computer Society Washington). - ISBN: 9780769540382. Proceedings of: ISORC, Carmona, Spain, 2010-May 4
  • A. Somov; D. Spirjakin; M. Ivanov; I. Khromushin; R. Passerone; A. Baranov; A. Savkin, "Combustible Gases and Early Fire Detection: an Autonomous System for Wireless Sensor Networks" in Proceedings of the First International Conference on Energy-Efficient Computing and Networking, New York, NY, USA: ACM, 2010, p. 85-93. - ISBN: 9781450300421. Proceedings of: e-Energy10, Passau, Germany, 2010-April 13-15. - DOI: 10.1145/1791314.1791327
  • C. Albrecht; P. Chong; A. Keuhlmann; R. Passerone; E. Sentovich, "Optimizing Integrated Circuit Design through Use of Sequential Timing Information", US 7,743,354. - Filing date: 2010
  • H. T. Thieu Le; L. Palopoli; R. Passerone; Y. Ramadian; A. Cimatti, "Parametric Analysis of Distributed Firm Real-Time Systems: A Case Study" in Proceedings of the 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA10), Bilbao, Spain: IEEE, 2010, p. 1-8. - ISBN: 9781424468485. Proceedings of: ETFA10, Bilbao, Spain, 2010-September 13-16,. - DOI: 10.1109/ETFA.2010.5641315
  • H. Espinoza; A. Sangiovanni-Vincentelli; R. Passerone; M. D. Natale; J. J. De Las Heras; D. Cancila (edited by), "Proceedings of the First Workshop on Green and Smart Embedded System Technology: Infrastructures, Methods and Tools (GREEMBED 2010)", Stockholm, Sweden: ArtistDesign, 2010, 52 p. - URL: http://www.artist-embedded.org/docs/Events/2010/GREEMBED/0_GREEMBED_Papers/GREEMBED_Proceedings.pdf
  • T. Nolte; R. Passerone, "Special Section on Real-Time and (Networked) Embedded Systems - II" in IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, v. Vol. 6, n. no. 4 (2010), p. 475-478. - DOI: 10.1109/TII.2010.2078931
  • D. Cancila; R. Passerone; T. Vardanega; M. Panunzio, "Toward Correctness in the Specification and Handling of Non-Functional Attributes of High-Integrity Real-Time Embedded Systems" in IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, v. Vol. 6, n. no. 2 (2010), p. 181-194. - DOI: 10.1109/TII.2010.2043741
  • A. Somov; I. Minakov; A. Simalatsar; G. Fontana; R. Passerone, "A methodology for power consumption evaluation of wireless sensor networks" in 14th IEEE International Conference on Emerging Technologies and Factory Automation: ETFA09 program, USA: IEEE, 2009, p. 1-8. Proceedings of: ETFA09, Mallorca, Spain, 22nd-26th September 2009
  • D. Fontanelli; L. Palopoli; R. Passerone, "Convergence of distributed WSN algorithms: The wake-up scattering problem" in Hybrid Systems: Computation and Control: 12th International Conference HSCC 2009: Proceedings, Berlin: Springer, 2009, p. 180-193. - (LNCS). Proceedings of: HSCC09, San Francisco, 13th-15th April 2009
  • C. Albrecht; P. Chong; A. Keuhlmann; R. Passerone; E. Sentovich, "Data Path and Placement Optimization in an Integrated Circuit through Use of Sequential Timing Information", US 7,624,364. - Filing date: 2009
  • T. Nolte; R. Passerone, "Guest editorial special section on real-time and (networked) embedded systems" in IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, v. 5, (2009), p. 198-201. - DOI: 10.1109/TII.2009.2027059
  • D. Fontanelli; L. Palopoli; R. Passerone; D. Macii; D. Petri, "Lifetime and coverage maximization in wireless sensor networks" in 1st IFAC Workshop on Estimation and Control of Networked Systems, Kidlington, Oxford: IFAC [Elsevier Ltd.], 2009, p. 282-287. Proceedings of: NecSys'09, Venezia, 24th-26th September 2009. - DOI: 10.3182/20090924-3-IT-4005.00048
  • R. Passerone; I Ben Hafaiedh; S. Graf; A.Benveniste; D. Cancila; A. Cuccuru; S. Gèrard; F. Terrier; W. Damm; A. Ferrari; L. Mangeruca; B. Josko; T. Peikenkamp; A. Sangiovanni-Vincentelli, "Metamodels in europe: Languages, tools, and applications" in IEEE DESIGN & TEST OF COMPUTERS, v. 26, n. 3 (2009), p. 38-53
  • J.-B. Raclet; E. Badouel; A. Benveniste; B. Caillaud; A. Legay; R. Passerone, "Modal interfaces: Unifying interface automata and modal specifications" in Seventh ACM International Conference on Embedded Software: EMSOFT09: Proceedings, New York, NY: ACM, 2009, p. 87-96. Proceedings of: EMSOFT09, Grenoble, France, 12th-16th October 2009
  • A. Benveniste; B. Caillaud; R. Passerone, "Multi-viewpoint state machines for rich component models" in Model-Based Design for Embedded Systems, Boca Raton, Fl: CRC Press, Taylor and Francis Group, 2009, p. 487-507
  • D. Fontanelli; L. Palopoli; R. Passerone, "On the global convergence of a class of distributed algorithms for maximizing the coverage of a WSN" in 48th IEEE Conference on Decision and Control held jointly with the 2009 28th Chinese Control Conference: CDC/CCC 2009: Proceedings, Piscataway, NJ: IEEE, 2009, p. 7885-7890. Proceedings of: 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference, Shangai, China, 16th-18th December 2009. - DOI: 10.1109/CDC.2009.5400522
  • F. Balarin; A. Davare; M. D'Angelo; D.Densmore; T. Meyerowitz; R. Passerone; A. Pinto; A.Sangiovanni-Vincentelli; A.Simalatsar; Y. Watanabe; G. Yang; Q. Zhu, "Platform-Based Design and Frameworks: Metropolis and Metro II" in Model-Based Design for Embedded Systems, Boca Raton, Fl: CRC Press, Taylor and Francis Group, 2009, p. 259-289
  • L. Palopoli; R. Passerone; A. Murphy; G. P. Picco; A. Giusti, "Solving the Wake-up Scattering Problem Optimally" in Wireless Sensor Networks: 6th European Conference EWSN 2009: Proceedings, Berlin ; Heidelberg: Springer, 2009, p. 166-182. - (LNCS). - ISBN: 9783642002236. Proceedings of: EWSN09, Cork, Ireland, 11th-13th February 2009
  • D. Densmore; A. Simalatsar; A. Davare; R. Passerone; A. Sangiovanni-Vincentelli, "UMTS MPSoC design evaluation using a system level design framework" in Design Automation and Test in Europe: Proceeding, Piscataway, NJ: IEEE, 2009, p. 478-483. Proceedings of: DATE 2009, Nice, France, 20th-24th April 2009
  • J.-B. Raclet; E. Badouel; A. Benveniste; B. Caillaud; R. Passerone, "Why are modalities good for Interface Theories?" in Ninth International Conference on Application of Concurrency to System Design: ACSD 2009: Proceedings, Augsburg, Germany: IEEE, 2009, p. 119-127. Proceedings of: ACSD09, Augsburg, Germany, 1st-3rd July 2009. - DOI: 10.1109/ACSD.2009.22
  • L. Benvenuti; A. Ferrari; L. Mangeruca; E. Mazzi; R. Passerone; C. Sofronis, "A contract-based formalism for the specification of heterogeneous systems" in Forum on Specification, Verification and Design Languages, Stuttgart, Germany: ACM/IEEE, 2008, p. 142-147. - ISBN: 9781424422654. Proceedings of: FDL 08, Stuttgart, Germany, September 23-25, 2008. - DOI: 10.1109/FDL.2008.4641436
  • D. Densmore; A. Simalatsar; R. Passerone, "A methodology for architecture exploration and performance analysis using system level design languages and rapid architecture profiling" in Proceedings of the Third International Symposium on Industrial Embedded Systems, 2008. SIES 2008, New York, N.Y.: IEEE, 2008, p. 95-102. - (IEEE). - ISBN: 9781424419944. Proceedings of: SIES 2008, Montperllier, France, June 11-13, 2008. - DOI: 10.1109/SIES.2008.4577686
  • A. Somov ; V. Sachidananda ; R. Passerone, "A self-powered module with localization and tracking system for paintball" in Proceedings of the Third International Workshop on Self Organizing Systems, Vienna, Austria: Springer Netherlands, 2008, p. 182-193. - (Lecture Notes in Computer Science; 5343). - ISBN: 9783540921561. Proceedings of: Third International Workshop on Self-Organizing Systems, Wien, December 10-12, 2008. - DOI: 10.1007/978-3-540-92157-8
  • R. Passerone ; A. L. Sangiovanni-Vincentelli, "Approximating behaviors in embedded system design" in P. Degano, R. De Nicola, J. Meseguer (edited by), Concurrency, Graphs and Models, BERLIN / HEIDELBERG: Springer, 2008, p. 721-742. - (Lecture Notes in Computer Science). - ISBN: 9783540686767
  • D. Cancila ; R. Passerone ; T. Vardanega, "Composability for high-integrity real-time embedded systems" in Proceedings of the First Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 08), Barcelona, Spain: ACM/IEEE, 2008. Proceedings of: CRTS 08, Barcelona, Spain, November 30, 2008
  • D. Cancila; R. Passerone, "Functional and structural properties in the Model-Driven Engineering approach" in Proceedings of the 13th IEEE International Conference on Emerging Technologies and Factory Automation, New York, N.Y.: IEEE, 2008, p. 809-816. - ISBN: 9781424415052. Proceedings of: 13 IEEE International Conference on Emerging Technologies and Factory Automation, Hamburg, September 15-18, 2008. - DOI: 10.1109/ETFA.2008.4638491
  • M. R. H. Khan; R. Passerone; D. Macii, "FZepel: RF–level Power Consumption Measurement (RF-PM) for Zigbee Wireless, Sensor Networks – Towards Cross Layer Optimization" in Proceedings of the 13th IEEE International Conference on Emerging Technologies and Factory Automation, Hamburg, Germany: IEEE, 2008, p. 959-966. - ISBN: 9781424415052. Proceedings of: 13 IEEE International Conference on Emerging Technologies and Factory Automation, Hamburg, September 15-18, 2008. - DOI: 10.1109/ETFA.2008.4638510
  • A. Benveniste: B. Caillaud; A. Ferrari; L. Mangeruca; R. Passerone; C. Sofronis, "Multiple viewpoint contract-based specification and design" in F. S. De Boer, M. M. Bonsangue, S. Graf, W.P. De Roever (edited by), Formal Methods for Components and Objects, BERLIN: Springer Verlag, 2008, p. 200-225
  • M. R. H. Khan; R. Passerone, "Performance analysis of energy efficient source coding and interference reduction in wireless sensor network systems" in Proceedings of the 10th International Conference on Computer Modeling and Simulation (UKSIM08), Liverpool, England: IEEE, 2008, p. 342-347. - (IEEE Computer Society Washington). - ISBN: 9780769531144. Proceedings of: UKSIM 2008, Cambridge, UK, April 1st-3rd, 2008. - DOI: 10.1109/UKSIM.2008.82
  • R. Passerone ; J. R. Burch ; A. L. Sangiovanni-Vincentelli, "Refinement Preserving Approximations for the Design and Verification of Heterogeneous Systems" in FORMAL METHODS IN SYSTEM DESIGN, v. 31, n. 1 (2007), p. 1-33
  • F. Balarin; R. Passerone, "Specification, Synthesis and Simulation of Transactor Processes" in IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, v. 26, n. 10 (2007), p. 1749-1762
  • F. Balarin ; R. Passerone, "Functional verification methodology based on formal interface specification and transactor generation" in Proceedings of the Conference on design, automation and test in Europe, Leuven, Belgium: European Design and Automation Association, 2006, p. 1013-1018. Proceedings of: DATE06, Munich, Germany, 6-10, March, 2006
  • A. Pinto; L. P. Carloni; R. Passerone; A. L. Sangiovanni-Vincentelli, "Interchange Formats for Hybrid Systems: Abstract Semantics" in Proceedings of Hybrid Systems: Computation and Control: 9th International Workshop, Berlin: Springer, 2006, p. 491-506. - (Lecture Notes in Computer Science). Proceedings of: HSCC06, Santa Barbara, CA, 29th-31st March 2006
  • A. Pinto ; L. P. Carloni ; R. Passerone ; A. L. Sangiovanni-vincentelli, "Interchange semantics for hybrid system models" in Proceedings of the 5th Vienna International Conference on Mathematical Modelling (MATHMOD06), Vienna, Austria: Mathmod, 2006. Proceedings of: 5th Vienna International Conference on Mathematical Modeling (MATHMOD), Vienna, 7-10, February, 2006
  • R. Passerone, "Interface Specification and Converter Synthesis" in R. Zurawski (edited by), Embedded Systems Handbook, Boca Raton, Fla. [etc.]: CRC press, 2006, p. 23-1-23-20. - (Industrial Information Technology). - ISBN: 9780849328244
  • L. P. Carloni; R. Passerone; A. Pinto; A. L. Sangiovanni-Vincentelli, Languages and Tools for Hybrid Systems Design, Boston, Mass.: Now Publishers, 2006, 178 p. - (Monografia). - ISBN: 193301928X
  • R. Passerone; J. A. Rowson; A. L. Sangiovanni- Vincitelli, "System and Method for Automatically Synthesizing Interfaces between Incompatible Protocols", US 7,136,947 B1. - Filing date: 2006
  • A. Bonivento; R. Passerone; A. Pinto; A. L. Sangiovanni-Vincentelli; M. Sgroi, "System Level Design Paradigms: Platform-Based Design and Communication Synthesis" in ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, v. 11, n. 3 (2006), p. 537-563
  • F. Balarin ; R. Passerone ; A. Pinto ; A. L. Sangiovanni-Vincentelli, "A Formal Approach to System Level Design: Metamodels and Unified Design Environments" in Proceedings of the Third ACM and IEEE International Conference on Formal Methods and Models for Codesign, New York, N.Y.: IEEE Press, 2005, p. 155-166. Proceedings of: MEMOCODE05, Verona, Italy, July 11-14, 2005
  • A. Pinto ; L. P. Carloni ; R. Passerone ; A. L. Sangiovanni-vincentelli, "Interchange Formats for Hybrid Systems: Review and Proposal" in Hybrid Systems: Computation and Control: 8th International Workshop, Zurigo: Springer, 2005, p. 526-541. Proceedings of: HSCC05, Zurich, Switzerland, 9-11, March, 2005
  • R. Passerone ; J. R. Burch ; A. L. Sangiovanni-vincentelli, "Conservative approximations for heterogeneous design" in Proceedings of the Fourth ACM International Conference on Embedded Software, USA: ACM Press, 2004, p. 155-164. Proceedings of: EMSOFT04, Pisa, Italy, 27-29 September 2004
  • J. R. Burch ; R. Passerone ; A. L. Sangiovanni-vincentelli, "Modeling Techniques in Design-by-Refinement Methodologies" in E. Villar, J. P. Mermet (edited by), System Specification and Design Languages, Dordrecht ; Boston ; New York, N.Y.: Kluwer academic, 2003, p. 283-292. - ISBN: 9781402074141
  • R. Passerone;L. . Alfaro;T. A. Henzinger;A. L. Sangiovanni-Vincentelli, "Convertibility Verification and Converter Synthesis: Two Faces of the Same Coin" in Proceedings of the 20th IEEE/ACM International Conference on Computer-Aided Design, San Jose, California: IEEE Computer Society, Los Alamitos, CA, USA, 2002, p. 132-139. - ISBN: 0780376072. Proceedings of: ICCAD 2012, San Jose, California, USA, 10th - 14th November 2002. - DOI: 10.1109/ICCAD.2002.1167525
  • J. R. Burch; R. Passerone; A. L. Sangiovanni-Vincentelli, "Modeling Techniques in Design-by-Refinement Methodologies" in Proceedings of the Sixth Biennial World Conference on Integrated Design and Process Technology, Pasadena, California: Society for Desing and Process Science, 2002, p. 1-20. Proceedings of: IDPT 2002, Pasadena, California, USA, 23rd - 28th June 2002
  • J. R. Burch;R. Passerone;A. L. Sangiovanni-Vincentelli, "Modeling Techniques in Design-by-Refinement Methodologies" in Proceedings of the Forum on Specification and Design Languages, invited paper, Marseille, France: Electronics Chips and Systems Design Initiative, 2002. Proceedings of: FDL 2002, Marseille, France, 24th - 27th September 2002
  • Gregoretti, F.; Passerone, R.; Reyneri, L. M.; Sansoè, C., "A High Speed VLSI Architecture for Handwriting Recognition" in JOURNAL OF VLSI SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, v. 28, n. 3 (2001), p. 259-278
  • F. Balarin; J. R. Burch; L. Lavagno; Y. Watanabe; R. Passerone; A. L. Sangiovanni-Vincentelli, "Constraints Specification at Higher Levels of Abstraction" in Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop, Monterey, CA: IEEE Computer Society, Los Alamitos, CA, USA, 2001, p. 129-133. - ISBN: 0769514111. Proceedings of: HLDVT 2001, Monterey, CA, USA, 2001-November 7--9,. - DOI: 10.1109/HLDVT.2001.972819
  • J. R. Burch; R. Passerone; A. L. Sangiovanni-Vincentelli, "Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems" in Proceedings of the 2nd International Conference on Application of Concurrency to System Design, Newcastle upon Tyne, UK: IEEE Computer Society, Los Alamitos, CA, USA, 2001, p. 13-32. - ISBN: 076951071X. Proceedings of: ACSD 2001, Newcastle upon Tyne, UK, 25th - 29th June 2001. - DOI: 10.1109/CSD.2001.981761
  • J. R. Burch;R. Passerone;A. L. Sangiovanni-Vincentelli, "Using Multiple Levels of Abstractions in Embedded Software Design" in First International Workshop on Embedded Software, Tahoe City, CA, USA: Springer, 2001, p. 324-343. - ISBN: 3540426736. Proceedings of: EMSOFT 2001, Tahoe City, CA, USA, 8th - 10th October 2001
  • F. Gregoretti;R. Passerone;L. M. Reyneri;C. Sansoe, "A Highly Parallel SIMD Processor for Morphological and Neural Image Analysis" in Proceedings of the 2nd IEEE International Workshop on Design, Test and Applications, Dubrovnik, Croatia: ACM/IEEE, 1999. Proceedings of: IWDTA 1999, Dubrovnik, Croatia, 14th - 16th June 1999
  • R. Passerone;J. A. Rowson;A. L. Sangiovanni-Vincentelli, "Automatic Synthesis of Interfaces between Incompatible Protocols" in Proceedings of the 35th Annual Conference on Design Automation, San Francisco, CA, USA: ACM Press, New York, NY, USA, 1998, p. 8-13. - ISBN: 0897919645. Proceedings of: DAC 1998, San Francisco, CA, USA, 15th - 19th June 1998. - DOI: 10.1145/277044.277047
  • A. Broggi ; G. Conte ; F. Gregoretti ; C. SansoÞ ; R. Passerone ; L. M. Reyneri, "Design and Implementation of the PAPRICA Parallel Architecture" in JOURNAL OF VLSI SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, v. 19, (1998), p. 5-18
  • E. Filippi;L. Lavagno;L. Licciardi;A. Montanaro;M. Paolini;R. Passerone;M. Sgroi;A. Sangiovanni-Vincentelli, "Intellectual Property Re-use in Embedded System Co-design: An Industrial Case Study" in Proceedings of the 11th International Symposium on System Synthesis, Hsinchu, Taiwan: IEEE Computer Society, Los Alamitos, CA, USA, 1998, p. 37-42. - ISBN: 0818686235. Proceedings of: ISSS 1998, Hsinchu, Taiwan, 2nd - 3rd December 1998. - DOI: 10.1109/ISSS.1998.730594
  • C. Passerone;R. Passerone;C. Sansoe;J. Martin;A. L. Sangiovanni-Vincentelli;R. McGeer, "Modeling Reactive Systems in Java" in Proceedings of the 6th International Workshop on Hardware/Software Codesign, Seattle, WA, USA: IEEE Computer Society, Los Alamitos, CA, USA, 1998, p. 15-19. - ISBN: 0818684429. Proceedings of: CODES98, Seattle, WA, USA, 1998-March 15--18,. - DOI: 10.1109/HSC.1998.666232
  • C. Passerone ; C. Sansoe ; L. Lavagno ; R. Mcgeer ; J. Martin ; R. Passerone ; A. L. Sangiovanni-vincentelli, "Modeling Reactive Systems in Java" in ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, v. 3, n. 4 (1998), p. 515-523
  • F. Gregoretti; B. Lazzerini; R. Passerone; L. M. Reyneri, "A 32-neurons slice for high speed handwriting recognition" in Proceedings of the 6th International Conference on Microelectronics for Neural Networks, Evolutionary and Fuzzy Systems, Dresden, Germany: ACM/IEEE, 1997, p. 40-49. Proceedings of: MICRONEURO 97, Dresden, Germnay, 24-26 September 1997
  • A. Broggi;M. Bertozzi;G. Conte;F. Gregoretti;R. Passerone;C. Sansoe;L. M. Reyneri, "A Dedicated Image Processor Exploiting both Spatial and Instruction-Level Parallelism" in Proceedings of the Fourth IEEE International Workshop on Computer Architecture for Machine Perception, Boston, MA: IEEE Computer Society, Los Alamitos, CA, USA, 1997, p. 106-115. - ISBN: 0818679875. Proceedings of: CAMP 1997, Boston, MA, USA, 20th - 22th October 1997. - DOI: 10.1109/CAMP.1997.631909
  • C. Passerone;R. Passerone;L. Lavagno;C. Sansoe;A. L. Sangiovanni-Vincentelli, "Modeling Reactive Systems in Java" in Proceedings of the High Level Design Validation and Test Workshop, Oakland, CA, USA: ACM/IEEE, 1997. Proceedings of: HLDVT97, Oakland, CA, USA, 1997-November 14--15,