Home

Contact Information

Dipartimento di Ingegneria e Scienza dell'Informazione
Universita' degli Studi di Trento
via Sommarive 5
38123, Trento
Italy
Tel: +39 0461 283971
e-mail: roberto.passerone@unitn.it
See my schedule

Recent publications (see the full list)

  1. Dmitrii Kirov, Pierluigi Nuzzo, Roberto Passerone, and Alberto L. Sangiovanni-Vincentelli. An extensible framework for the exploration of cyber-physical system architectures. In Proceedings of the 54th Design Automation Conference, DAC 2017, Austin, TX, June 18–22, 2017.
  2. Davide Brunelli, Ivan Minakov, Roberto Passerone, Luca Rizzon, Maurizio Rossi, and Davide Sartori. Non-invasive cyber-physical system for data center management. Sustainable Computing: Informatics and Systems, 2017, in press.
  3. Loris Dal Lago, Orlando Ferrante, Roberto Passerone, and Alberto Ferrari. Dependability assessment of SOA-based CPS with contracts and model-based fault injection. IEEE Transactions on Industrial Informatics, 2017, in press.
  4. Ivan Minakov, Roberto Passerone, Alessandra Rizzardi, and Sabrina Sicari. A comparative study of recent wireless sensor network simulators. ACM Transactions on Sensor Networks, 12(3):20:1-20-39, 2016.
  5. Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, and Axel Legay. Contract-based requirement modularization via synthesis of correct decompositions. ACM Transactions on Embedded Computing Systems, 15(2):33:1-33:26, 2016.
  6. Davide Brunelli, Roberto Passerone, Luca Rizzon, Maurizio Rossi, and Davide Sartori. Self-powered WSN for distributed data center monitoring. Sensors, 16(1):57, 2016.
  7. Alexander Baranov, Denis Spirjakin, Saba Akbari, Andrey Somov and Roberto Passerone. POCO: ‘Perpetual’ Operation of CO Sensor Node with Hybrid Power Supply. Sensors and Actuators A: Physical, 238:112-121, 2016.
  8. Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, and Axel Legay. A tag contract framework for modeling heterogeneous systems. Science of Computer Programming, 115-116:225-246, 2016.
  9. Dmitrii Kirov, Roberto Passerone, and Massimo Donelli. 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, ETFA16, Berlin, Germany, September 6–9, 2016.
  10. Luca Rizzon and Roberto Passerone. Cyber/physical co-design in practice: Case studies in metroII. In Proceedings of the 11th IEEE International Symposium on Industrial Embedded Systems, SIES16, Krakow, Poland, May 23–25, 2016.
  11. Ivan Minakov, Roberto Passerone, Alessandra Rizzardi, and Sabrina Sicari. Routing behavior across WSN simulators: the AODV case study. In Proceedings of the 12th IEEE World Conference on Factory Communication Systems, WFCS 2016, Aveiro, Portugal, May 3–6, 2016.
  12. Ivan Minakov and Roberto Passerone. PASES: An Energy-Aware Design Space Exploration Framework for Wireless Sensor Networks. Journal of Systems Architecture, 59(8):626-642, September 2013.
  13. Nicola Cottini, Massimo Gottardi, Nicola Massari and Roberto Passerone. A Bio-Inspired APS for Selective Visual Attention. IEEE Sensors Journal, 13(9):3341-3342, September 2013.
  14. Thi Thieu Hoa Le, Luigi Palopoli, Roberto Passerone and Yusi Ramadian. Timed-Automata Based Schedulability Analysis for Distributed Firm Real-Time Systems: a Case Study. International Journal on Software Tools for Technology Transfer, 15(3):221-228, June 2013.
  15. Abhijit Davare, Douglas Densmore, Liangpeng Guo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Alena Simalatsar and Qi Zhu. metroII: A Design Environment for Cyber-Physical Systems. ACM Transactions on Embedded Computing Systems, 12(1s):49:1-49:31, March 2013.
  16. Alberto Sangiovanni-Vincentelli, Werner Damm and Roberto Passerone. Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems. European Journal of Control, 18(3):217-238, 2012.

Upcoming events

Software downloads

  • PASES
  • Genie (coming soon)