Publications

2019

  1. Fabrice Mayran de Chamisso, Daniela Cancila, Laurent Soulier, Roberto Passerone, and Michael Aupetit. Lifelong exploratory navigation: an architecture for safer mobile robots. IEEE Design & Test, 2019. Accepted for publication.
  2. Roberto Passerone, Daniela Cancila, Michele Albano, Sebti Mouelhi, Sandor Plosz, Erkki Jantunen, Anna Ryabokon, Emine Laarouchi, Csaba Hegedűs, and Pal Varga. A methodology for the design of safety-compliant and secure communication of autonomous vehicles. IEEE Access, 7:125022–125037, 2019.
  3. Roberto Passerone, Íñigo Íncer Romeo, and Alberto L. Sangiovanni-Vincentelli. Coherent extension, composition, and merging operators in contract models for system design. ACM Transactions on Embedded Computing Systems, 18(5s):86:1-86:23, October 2019.
  4. Alessandro Tontini, Leonardo Gasparini, Nicola Massari, and Roberto Passerone. SPAD-based quantum random number generator with a Nth-order rank algorithm on FPGA. IEEE Transactions on Circuits and Systems II: Express Briefs, 66(12):2067-2071, December 2019.
  5. Valerio Magnago, Luigi Palopoli, Roberto Passerone, Daniele Fontanelli, and David Macii. Effective landmark placement for robot indoor localization with position uncertainty constraints. IEEE Transactions on Instrumentation and Measurement, 68(11):4443-4455, November 2019.
  6. Gennaro Cirillo, Roberto Passerone, Antonio Posenato, and Luca Rizzon. Statistical flow classification for the IoT. In Applications in Electronics Pervading Industry, Environment and Society, ApplePies 2019, Pisa, Italy, September 11–13, 2019.

2018

  1. Daniela Cancila, Jean-Louis Gerstenmayer, Huascar Espinoza, and Roberto Passerone. Sharpening the scythe of technological change: Socio-technical challenges of autonomous and adaptive cyber-physical systems. Designs, 2(4), November 2018.
  2. Michele Benetti, Massimo Gottardi, Tobias Mayr, and Roberto Passerone. A low-power vision system with adaptive background subtraction and image segmentation for unusual event detection. IEEE Transactions on Circuits and Systems I: Regular Papers, 65(11):3842–3853, November 2018.
  3. Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto L. Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, and Kim G. Larsen. Contracts for system design. Foundations and Trends in Electronic Design Automation. now publishers, 2018. In press.
  4. Giacomo Alberini, Massimo Gottardi, Nicola Massari, and Roberto Passerone. A low-power clock-less PWM architecture for smart imaging. Journal of Low Power Electronics, 14(1):118–128, March 2018.
  5. Alessandro Tontini, Leonardo Gasparini, Lucio Pancheri, and Roberto Passerone. Design and characterization of a low-cost FPGA-based TDC. IEEE Transactions on Nuclear Science, 65(2):680–690, February 2018.
  6. 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, 14(1):360–369, January 2018.
  7. Dmitrii Kirov, Pierluigi Nuzzo, Roberto Passerone, and Alberto L. Sangiovanni-Vincentelli. Optimized Selection of Wireless Network Topologies and Components via Efficient Pruning of Feasible Paths. In Proceedings of the 55th Design Automation Conference, DAC 2018, San Francisco, CA, June 24–28, 2018.
  8. Giorgia Dalpiaz, Alessandro Longo, Matteo Nardello, Roberto Passerone, and Davide Brunelli. A battery-free non-intrusive power meter for low-cost energy monitoring. In Proceedings of the 1st IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2018, Saint Petersburg, Russia, May 15-18, 2018.
  9. Valerio Magnago, Paolo Bevilacqua, Luigi Palopoli, Roberto Passerone, Daniele Fontanelli, and David Macii. Optimal landmark placement for indoor positioning using context information and multi-sensor data. In Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, I2MTC 2018, Houston, TX, USA, May 14–17, 2018.

2017

  1. 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, 16(Supplement C):66-75, 2017.
  2. Nicola Massari, Massimo Gottardi, Giacomo Alberini, and Roberto Passerone. A clock-less PWM architecture for sensor imaging. In Proceedings of the First New Generation of Circuits and Systems Conference, NGCAS 2017, Genova, Italy, September 7–9, 2017.
  3. Vibha Pant, Roberto Passerone, Michele Welponer, Luca Rizzon, and Roberto Lavagnolo. Efficient neural computation on network processors for IoT protocol classification. In Proceedings of the First New Generation of Circuits and Systems Conference, NGCAS 2017, Genova, Italy, September 7–9, 2017.
  4. Valerio Magnago, Luigi Palopoli, Roberto Passerone, Daniele Fontanelli, and David Macii. A nearly optimal landmark deployment for indoor localisation with limited sensing. In Proceedings of the Eighth International Conference on Indoor Positioning and Indoor Navigation, IPIN 2017, Sapporo, Japan, September 18–21, 2017.
  5. 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.
  6. Ivan Minakov, Roberto Passerone, and Maurizio Rossi. Design and energy optimization of a multifunctional IoT solution for connected bikes. In Proceedings of the First Workshop on Internet of Energy Neutral Things, IOENT 2017, Geneva, Switzerland, June 6–9, 2017.

2016

  1. 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.
  2. 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.
  3. Davide Brunelli, Roberto Passerone, Luca Rizzon, Maurizio Rossi, and Davide Sartori. Self-powered WSN for distributed data center monitoring. Sensors, 16(1):57, 2016.
  4. 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.
  5. 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.
  6. Federico Moro, Antonella De Angeli, Daniele Fontanelli, Roberto Passerone, Domenico Prattichizzo, Luca Rizzon, Stefano Scheggi, Stefano Targher, and Luigi Palopoli. Sensory stimulation for human guidance in robot walkers: a comparison between haptic and acoustic solutions. In Proceedings of the Second IEEE International Smart Cities Conference, ISC2 2016, Trento, Italy, September 12–15, 2016.
  7. 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.
  8. 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.
  9. 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.
  10. Martin Törngren, Fredrik Asplund, Saddek Bensalem, John McDermid, Roberto Passerone, Holger Pfeifer, Alberto Sangiovanni-Vincentelli, and Bernhard Schätz. Characterization, analysis, and recommendations for exploiting the opportunities of cyber-physical systems. In Houbing Song, Danda B. Rawat, Sabina Jeschke, and Christian Brecher, editors, Cyber-Physical Systems, Intelligent Data Centric Systems, chapter 1, pages 3–14. Academic Press, Elsevier, September 2016.
  11. Maurizio Rossi, Luca Rizzon, Matteo Fait, Roberto Passerone, and Davide Brunelli. Self-powered active cooling system for high performance processors. In Alessandro De Gloria, editor, Applications in Electronics Pervading Industry, Environment and Society, volume 351 of Lecture Notes in Electrical Engineering, pages 25–33. Springer International Publishing, 2016.
  12. Luca Rizzon, Federico Moro, Roberto Passerone, David Macii, Daniele Fontanelli, Payam Nazemzadeh, Michele Corrà, Luigi Palopoli, and Domenico Prattichizzo. c-Walker: A cyber-physical system for ambient assisted living. In Alessandro De Gloria, editor, Applications in Electronics Pervading Industry, Environment and Society, volume 351 of Lecture Notes in Electrical Engineering, pages 75–82. Springer International Publishing, 2016.

2015

  1. D. A. Kirov, R. Passerone, and A. A. Ozhiganov. A methodology for design space exploration of real-time location systems. Scientific and Technical Journal of Information Technologies, Mechanics and Optics, 15(4):551–567, July-August 2015.
  2. Luigi Palopoli, Antonis Argyros, Josef Birchbauer, Alessio Colombo, Daniele Fontanelli, Axel Legay, Andrea Garulli, Antonello Giannitrapani, David Macii, Federico Moro, Payam Nazemzadeh, Pashalis Padeleris, Roberto Passerone, Georg Poier, Domenico Prattichizzo, Tizar Rizano, Luca Rizzon, Stefano Scheggi, and Sean Sedwards. Navigation assistance and guidance of older adults across complex public spaces: the DALi approach. Intelligent Service Robotics, 8(2):77–92, 2015.
  3. David Macii, Stefano Dalpez, Roberto Passerone, Michele Corrà, Manuel Avancini, and Luigi Benciolini. A safety instrumented system for rolling stocks: Methodology, design process and safety analysis. Measurement, 67:164-176, May 2015.
  4. M. Aggravi, A. Colombo, D. Fontanelli, A. Giannitrapani, D. Macii, F. Moro, P. Nazemzadeh, L. Palopoli, R. Passerone, D. Prattichizzo, T. Rizano, L. Rizzon, and S. Scheggi. A smart walking assistant for safe navigation in complex indoor environments. In B. Andò, P. Siciliano, V. Marletta, and A. Monteriù, editors, Ambient Assisted Living, Biosystems & Biorobotics, pages 487–497. Springer International Publishing, 2015.
  5. Leonardo Gasparini, Davide Mariz, Roberto Passerone, and David Stoppa. A comparison of FPGA architectures to extract gamma arrival times from multiple-timestamp digital SiPM PET detectors. In Proceedings of the 2015 IEEE Nuclear Science Symposium and Medical Imaging Conference, NSS/MIC 2015, San Diego, CA, October 31 – November 7, 2015.
  6. Ivan Minakov and Roberto Passerone. exIMUs: an experimental inertial measurement unit for shock and impact detection in sport applications. In Proceedings of the 6th International Conference on Sensor Systems and Software, S-CUBE 2015, Rome, Italy, October 26–27, 2015.
  7. Martin Törngren, Saddek Bensalem, John McDermid, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, and Bernhard Schätz. 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, WESE 2015, Amsterdam, The Netherlands, October 8, 2015.
  8. Daniela Cancila, Hadi Zaatiti, and Roberto Passerone. Cyber-physical system and contract-based design - a three dimensional view. In Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, WESE 2015, Amsterdam, The Netherlands, October 8, 2015.
  9. Davide Brunelli, Ivan Minakov, Roberto Passerone, and Maurizio Rossi. 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, EESMS15, Trento, Italy, July 9–10, 2015.
  10. Alexander Baranov, Denis Spirjakin, Saba Akbari, Andrey Somov, and Roberto Passerone. A wireless carbon monoxide sensor node with hybrid power supply. In Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, I2MTC 2015, Pisa, Italy, May 11–14, 2015.

2014

  1. Daniela Cancila, Elie Soubiran, and Roberto Passerone. Feasibility study in the use of contract-based approaches to deal with safety-related properties in CPS. Ada User Journal, 35(4):272–277, December 2014.
  2. Maurizio Rossi, Luca Rizzon, Matteo Fait, Roberto Passerone, and Davide Brunelli. Energy neutral wireless sensing for server farms monitoring. IEEE Journal on Emerging and Selected Topics in Circuits and Systems, 4(3):324–334, September 2014.
  3. Andrey Somov, Alexander Baranov, Denis Spirjakin, and Roberto Passerone. Circuit design and power consumption analysis of wireless gas sensor nodes: One-sensor versus two-sensor approach. IEEE Sensors Journal, 14(6):2056–2063, June 2014.
  4. Susanne Graf, Roberto Passerone and Sophie Quinton. Contract-Based Reasoning for Component Systems with Rich Interactions. In Alberto L. Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, and Peter Marwedel, editors, Embedded Systems Development: From Functional Models to Implementations, volume 20 of Embedded Systems, chapter 8, pages 139-154. Springer New York, 2014.
  5. Luca Rizzon, Maurizio Rossi, Roberto Passerone, and Davide Brunelli. Energy neutral hybrid cooling system for high performance processors. In Proceedings of the 5th International Green Computing Conference, IGCC14, Dallas, TX, November 3–5, 2014.
  6. Luca Rizzon, Maurizio Rossi, Roberto Passerone, and Davide Brunelli. Self-powered heat-sink SoC as temperature sensors with wireless interface: Design and validation. In Proceedings of IEEE SENSORS 2014, Valencia, Spain, November 2–5, 2014.
  7. Hoa Thi Thieu Le and Roberto 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, MEMOCODE14, Lausanne, Switzerland, October 19–21, 2014.
  8. Liangpeng Guo, Qi Zhu, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, and Edward A. Lee. Metronomy: a function-architecture co-simulation framework for timing verification of cyber-physical systems. In Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, CODES14, New Delhi, India, October 12–17, 2014.
  9. Davide Brunelli, Ivan Minakov, Roberto Passerone, and Maurizio Rossi. POVOMON: an ad-hoc wireless sensor network for indoor environmental monitoring. In Proceedings of the 2014 IEEE Workshop on Environmental, Energy and Structural Monitoring Systems, EESMS14, pages 1-6, Naples, Italy, September 17–18, 2014.
  10. Orlando Ferrante, Roberto Passerone, Alberto Ferrari, Leonardo Mangeruca, and Christos Sofronis. BCL: a compositional contract language for embedded systems. In Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA14, Barcelona, Spain, September 16–19, 2014.
  11. A. Somov, V. Lebedev, A. Baranov, E. Laukhina, V. Laukhin, R. Passerone, C. Rovira, and J. Veciana. Wireless sensor node with ultrasensitive film sensors for emergency applications. In Proceedings of the 28th European Conference on Solid-State Transducers, EUROSENSORS14, Brescia, Italy, September 7–10, 2014.
  12. David Macii, Manuel Avancini, Luigi Benciolini, Stefano Dalpez, Michele Corrà, and Roberto Passerone. Design of a redundant FPGA-based safety system for railroad vehicles. In Proceedings of the 17th Euromicro Conference on Digital System Design, DSD14, Verona, Italy, August 27–29, 2014.
  13. David Macii, Stefano Dalpez, Manuel Avancini, Luigi Benciolini, Michele Corrà, and Roberto Passerone. A safety system for zero velocity detection and operator alertness monitoring in rolling stock. In Proceedings of the 13th IMEKO TC10 Workshop on Technical Diagnostics, Warsaw, Poland, June 26–27, 2014.
  14. Orlando Ferrante, Roberto Passerone, Alberto Ferrari, Leonardo Mangeruca, Christos Sofronis, and Massimiliano D’Angelo. Monitor-based run-time contract verification of distributed systems. In Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, SIES14, Pisa, Italy, June 18–20, 2014.
  15. Gabriele Camellini, Mirko Felisa, Francesco Gregoretti, Paolo Medici, Claudio Passerone, Roberto Passerone, and Paolo Zani. 3DV – an embedded, dense stereovision-based depth mapping system. In Proceedings of the 2014 IEEE Intelligent Vehicles Symposium, IV14, pages 1435–1440, Dearborn, MI, June 8–11, 2014.
  16. Davide Brunelli, Alberto Tovazzi, Massimo Gottardi, Michele Benetti, Roberto Passerone, and Pamela Abshire. Energy autonomous low power vision system. In Alessandro De Gloria, editor, Applications in Electronics Pervading Industry, Environment and Society, volume 289 of Lecture Notes in Electrical Engineering, chapter 4, pages 39–50. Springer International Publishing, 2014.
  17. Luca Rizzon and Roberto Passerone. Spatial sound rendering for assisted living on an embedded platform. In Alessandro De Gloria, editor, Applications in Electronics Pervading Industry, Environment and Society, volume 289 of Lecture Notes in Electrical Engineering, chapter 6, pages 61–73. Springer International Publishing, 2014.
  18. Marco Di Natale and Roberto Passerone. The Ninth IEEE International Symposium on Industrial Embedded Systems in Tuscany, Italy. IEEE Industrial Electronics Magazine, 8(3):68–68, September 2014.

2013

  1. Andrey Somov, Alexander Baranov, Denis Spirjakin, Andrey Spirjakin, Vladimir Sleptsov and Roberto Passerone. Deployment and Evaluation of a Wireless Sensor Network for Methane Leak Detection. Sensors and Actuators A: Physical, 202:217-225, 2013.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. Nicola Cottini, Massimo Gottardi, Nicola Massari, Roberto Passerone and Zeev Smilansky. A 33μW 64x64 Pixel Vision Sensor Embedding Robust Dynamic Background Subtraction for Event Detection and Scene Interpretation. IEEE Journal of Solid-State Circuits, 48(3):850-863, March 2013.
  7. Maurizio Rossi, Luca Rizzon, Roberto Passerone and Davide Brunelli. Wireless Sensor Networks for Environmental Monitoring Powered by Microprocessors Heat Dissipation. In Proceedings of the 1st International Workshop on Energy Neutral Systems (ENSSYS13), Rome, Italy, November 14, 2013.
  8. Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg and Axel Legay. A Tag Contract Framework for Heterogeneous Systems. In Proceedings of the 12th International Workshop on Foundations of Coordination Languages and Self Adaptive Systems (FOCLASA13), Malaga, Spain, September 11, 2013.
  9. Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg and Axel Legay. Tag Machines for Modeling Heterogeneous Systems. In Proceedings of the 13th International Conference on Application of Concurrency to System Design (ACSD13), Barcelona, Spain, July 8-10, 2013.
  10. Jennifer Manica, Roberto Passerone and Luca Rizzon. Power-Aware Architectural Exploration of the CORDIC Algorithm. In Proceedings of the 9th IEEE Conference on PhD Research in Microelectronics and Electronics (PRIME13), Villach, Austria, June 24-27, 2013.
  11. Luca Rizzon and Roberto Passerone. Embedded Soundscape Rendering for the Visually Impaired. In Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems (SIES13), Porto, Portugal, June 19-21, 2013.

2012

  1. 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.
  2. Alena Simalatsar, Liangpeng Guo, Marius Bozga and Roberto Passerone. Integration of Correct-by-Construction BIP Models into the MetroII Design Space Exploration Flow. In Proceedings of the 30th IEEE International Conference on Computer Design (ICCD12), Montreal, Quebec, Canada, September 30-October 3, 2012.
  3. Stefano Dalpez, Roberto Passerone, Alberto Penasa and Alessandro Vaccari. Design of an Innovative Proximity Detection Embedded-System for Safety Application in Industrial Machinery. In Proceedings of the 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA12), Kraków, Poland, September 17-21, 2012.
  4. Andrey Somov, Denis Spirjakin, Andrey Spirjakin, Alexander Baranov, Vladimir Sleptsov and Roberto Passerone. Safe Delivery of Sensed Data in Wireless Sensor Networks for Gas Leak Detection: a Boiler Facility Scenario. In Proceedings of the 26th European Conference on Solid-State Transducers (EUROSENSORS12), Kraków, Poland, September 9-12, 2012.
  5. Nicola Cottini, Massimo Gottardi, Nicola Massari, Roberto Passerone and Zeev 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 (ISLPED12), Redondo Beach, CA, July 30-August 1, 2012. BEST PAPER AWARD
  6. Andrey Somov, Christine C. Ho, Roberto Passerone, James W. Evans and Paul 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 (EnHaNSS12), Antwerp, Belgium, June 11, 2012.
  7. Andrey Somov, Alexander Baranov, Alexey Savkin, Mikhail Ivanov, Lucia Calliari, Roberto Passerone, Evgeny Karpov and Alexey Suchkov. Energy-Aware Gas Sensing Using Wireless Sensor Networks. In G. P. Picco and W. Heinzelmann, editors, Proceedings of the 9th European Conference on Wireless Sensor Networks (EWSN12), volume 7158 of Lecture Notes in Computer Science, pages 245-260, Trento, Italy, February 15-17, 2012. Springer-Verlag Berlin / Heidelberg.
  8. Andrey Somov, Christine C. Ho, Roberto Passerone, James W. Evans and Paul K. Wright. Towards Extending Sensor Node Lifetime with Printed Supercapacitors. In G. P. Picco and W. Heinzelmann, editors, Proceedings of the 9th European Conference on Wireless Sensor Networks (EWSN12), volume 7158 of Lecture Notes in Computer Science, pages 212-227, Trento, Italy, February 15-17, 2012. Springer-Verlag Berlin / Heidelberg.

2011

  1. Andrey Somov, Alexander Baranov, Alexey Savkin, Denis Spirjakin, Andrey Spirjakin and Roberto Passerone. Development of Wireless Sensor Network for Combustible Gas Monitoring. Sensors and Actuators A: Physical, 171(2):398-405, November 2011.
  2. Luigi Palopoli, Roberto Passerone and Tizar Rizano. Scalable Off-line Optimization of Industrial Wireless Sensor Networks. IEEE Transactions on Industrial Informatics, 7(2):328-339, May 2011.
  3. Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay and Roberto Passerone. A Modal Interface Theory for Component-based Design. Fundamenta Informaticae, 108(1-2):119-149, 2011.
  4. Alena Simalatsar, Yusi Ramadian, Roberto Passerone, Kai Lampka, Simon Perathoner and Lothar Thiele. 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, October 9-14, 2011.
  5. Tizar Rizano, Roberto Passerone, David Macii and Luigi Palopoli, Model-Based Design of Embedded Control Software for Hybrid Vehicles. In Proceedings of the 6th IEEE International Symposium on Industrial Embedded Systems (SIES11), Västerås, Sweden, June 15-17, 2011.
  6. Md. Akbar Hossain and Roberto Passerone. 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 (AINA11), Singapore, March 22-25, 2011.

2010

  1. Daniela Cancila, Roberto Passerone, Tullio Vardanega and Marco Panunzio. Toward Correctness in the Specification and Handling of Non-Functional Attributes of High-Integrity Real-Time Embedded Systems. IEEE Transactions on Industrial Informatics, 6(2):181-194, May 2010.
  2. Thi Thieu Hoa Le, Luigi Palopoli, Roberto Passerone, Yusi Ramadian and Alessandro 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, September 13-16, 2010.
  3. Daniela Cancila, Stefano Dalpez, Roberto Passerone and Francois Terrier. An Industrial Case Study Using an MBE Approach: from Architecture to Safety Analysis. In Proceedings of the First IEEE International Workshop on Model-Based Engineering for Real-Time Embedded Systems Design (MoBE-RTES10), Carmona, Spain, May 4, 2010.
  4. Andrey Somov, D. Spirjakin, M. Ivanov, I. Khromushin, Roberto Passerone, A. Baranov and 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 (EECN10), Passau, Germany, April 13-15, 2010.

2009

  1. Roberto Passerone, Imene Ben Hafaiedh, Susanne Graf, Albert Benveniste, Daniela Cancila, Arnaud Cuccuru, Sèebastien Gèerard, Francois Terrier, Werner Damm, Alberto Ferrari, Leonardo Mangeruca, Bernhard Josko, Thomas Peikenkamp, and Alberto Sangiovanni-Vincentelli. Metamodels in Europe: Languages, Tools, and Applications. IEEE Design and Test of Computers, 26(3):38-53, May/June 2009.
  2. Felice Balarin, Abhijit Davare, Massimiliano D'Angelo, Douglas Densmore, Trevor Meyerowitz, Roberto Passerone, Alessandro Pinto, Alberto Sangiovanni-Vincentelli, Alena Simalatsar, Yoshinori Watanabe, Guang Yang and Qi Zhu. Platform-Based Design and Frameworks: Metropolis and Metro II. In Model-Based Design for Embedded Systems, chapter 10, page 259. CRC Press, Taylor and Francis Group, Boca Raton, London, New York, November 2009.
  3. Albert Benveniste, Benoît Caillaud, and Roberto Passerone. Multi-Viewpoint State Machines for Rich Component Models. In Model-Based Design for Embedded Systems, chapter 15, page 487. CRC Press, Taylor and Francis Group, Boca Raton, London, New York, November 2009.
  4. Daniele Fontanelli, Luigi Palopoli, and Roberto Passerone. On the Global Convergence of a Class of Distributed Algorithms for Maximizing the Coverage of a WSN. In Proceedings of the 48th IEEE Conference on Decision and Control (CDC09), Shanghai, P.R. China, December 16-18, 2009.
  5. Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, and Roberto Passerone. Modal Interfaces: Unifying Interface Automata and Modal Specifications. In Proceedings of the Ninth International Conference on Embedded Software (EMSOFT09), Grenoble, France, October 12-16, 2009.
  6. Daniele Fontanelli, Luigi Palopoli, Roberto Passerone, David Macii, and Dario Petri. Lifetime and Coverage Maximization in Wireless Sensor Networks. In Proceedings of the 1st IFAC Workshop on Estimation and Control of Networked Systems (NecSys09), Venice, Italy, September 24-26, 2009.
  7. Andrey Somov, Ivan Minakov, Alena Simalatsar, Giorgio Fontana, and Roberto Passerone. A Methodology for Power Consumption Evaluation of Wireless Sensor Networks. In Proceedings of the 14th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA09), Mallorca, Spain, September 22- 26, 2009.
  8. Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, and Roberto Passerone. Why are Modalities Good for Interface Theories? In Proceedings of the Ninth International Conference on Application of Concurrency to System Design (ACSD09), Augsburg, Germany, July 1-3, 2009.
  9. Daniele Fontanelli, Luigi Palopoli, and Roberto Passerone. Convergence of Distributed WSN Algorithms: The Wake-up Scattering Problem. In R. Majumdar and P. Tabuada, editors, Hybrid Systems: Computation and Control, 12th International Conference, HSCC09, volume 5469 of Lecture Notes in Computer Science, pages 180-193, San Francisco, CA, USA, April 13-15, 2009. Springer Berlin / Heidelberg.
  10. Douglas Densmore, Alena Simalatsar, Abhijit Davare, Roberto Passerone, and Alberto Sangiovanni-Vincentelli. UMTS MPSoC Design Evaluation Using a System Level Design Framework. In Proceedings of the Conference on Design, Automation and Test in Europe (DATE09), Nice, France, April 20-24, 2009.
  11. Luigi Palopoli, Roberto Passerone, Amy Murphy, Gian Pietro Picco and Alessandro Giusti. Solving the Wake-up Scattering Problem Optimally. In Proceedings of the Sixth European Conference on Wireless Sensor Networks (EWSN09), Cork, Ireland, February 11-13, 2009.

2008

  1. Roberto Passerone and Alberto L. Sangiovanni-Vincentelli. Approximating Behaviors in Embedded System Design. In Pierpaolo Degano, Rocco De Nicola, and José Meseguer, editors, Concurrency, Graphs and Models, volume 5065 of Lecture Notes in Computer Sciences, pages 721-742. Springer-Verlag, Berlin, Heidelberg, 2008.
  2. Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, and Christos Sofronis. Multiple Viewpoint Contract-Based Specification and Design. In Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem-Paul de Roever, editors, Formal Methods for Components and Objects, 6th International Symposium (FMCO 2007), Amsterdam, The Netherlands, October 24-26, 2007, Revised Papers, volume 5382 of Lecture Notes in Computer Science, pages 200-225. Springer Verlag Berlin Heidelberg, 2008.
  3. Daniela Cancila, Roberto Passerone and Tullio 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, November 30, 2008.
  4. Andrey Somov, Vinay Sachidananda, and Roberto 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, December 10-12, 2008.
  5. Luca Benvenuti, Alberto Ferrari, Leonardo Mangeruca, Emanuele Mazzi, Roberto Passerone, and Christos Sofronis. A contract-based formalism for the specification of heterogeneous systems. In Proceedings of the Forum on Specification & Design Languages (FDL'08), Stuttgart, Germany, September 23-25, 2008.
  6. Md. Rezaul Hoque Khan, Roberto Passerone, and David 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, September 15-18, 2008.
  7. Daniela Cancila and Roberto 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, Hamburg, Germany, September 15-18, 2008.
  8. Douglas Densmore, Alena Simalatsar, and Roberto 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 (SIES08), Montpellier, France, June 11-13, 2008.
  9. Khan Md. Rezaul Hoque and Roberto 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), Cambridge, UK, April 1-3, 2008.

2007

  1. Felice Balarin and Roberto Passerone. Specification, Synthesis and Simulation of Transactor Processes. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 26(10):1749-1762, October 2007.
  2. Roberto Passerone, Jerry R. Burch, and Alberto L. Sangiovanni-Vincentelli. Refinement Preserving Approximations for the Design and Verification of Heterogeneous Systems. Formal Methods in System Design, 31(1):1-33, August 2007.

2006

  1. Luca P. Carloni, Roberto Passerone, Alessandro Pinto and Alberto L. Sangiovanni-Vincentelli. Languages and Tools for Hybrid Systems Design, Foundations and Trends in Electronic Design Automation, 1(1/2):1-193, Now Publishers, 2006.
  2. Douglas Densmore, Roberto Passerone, and Alberto L. Sangiovanni-Vincentelli. A Platform-Based Taxonomy for ESL Design. IEEE Design and Test of Computers, 23(5):359-374, May 2006.
  3. Alessandro Pinto, Alvise Bonivento, Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, and Marco Sgroi. System Level Design Paradigms: Platform-Based Design and Communication Synthesis. ACM Transactions on Design Automation of Electronic Systems, 11(3):537--563, July 2006.
  4. Alessandro Pinto, Luca P. Carloni, Roberto Passerone, and Alberto L. Sangiovanni-Vincentelli. Interchange formats for hybrid systems: Abstract semantics. In João P. Hespanha and Ashish Tiwari, editors, Hybrid Systems: Computation and Control, 9th International Workshop, HSCC 2006, volume 3927 of Lecture Notes in Computer Sciences, pages 491-506, Santa Barbara, CA, USA, March 29-31, 2006. Springer.
  5. Felice Balarin and Roberto Passerone. Functional verification methodology based on formal interface specification and transactor generation. In Proceedings of the Conference on Design, Automation and Test in Europe (DATE06), pages 1013-1018, Munich, Germany, March 6-10, 2006.
  6. Alessandro Pinto, Luca P. Carloni, Roberto Passerone, and Alberto L. Sangiovanni-Vincentelli. Interchange semantics for hybrid system models. In Proceedings of the 5th Vienna International Conference on Mathematical Modelling (MATHMOD06), Vienna, Austria, February 7-10, 2006.

2005

  1. Roberto Passerone. Interface Specification and Converter Synthesis. In Richard Zurawski, editor, Embedded Systems Handbook, Chapter 23. CRC Press, Taylor and Francis Group, Boca Raton, London, New York, 2005.
  2. Felice Balarin, Roberto Passerone, Alessandro Pinto and Alberto 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 Co-Design (MEMOCODE '05), pages 155-163, Verona, Italy, July 11-14, 2005.
  3. Alessandro Pinto, Luca P. Carloni, Roberto Passerone, and Alberto L. Sangiovanni-Vincentelli. Interchange formats for hybrid systems: Review and proposal. In Manfred Morari and Lothar Thiele, editors, Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, volume 3414 of Lecture Notes in Computer Sciences, pages 526-541, Zurich, Switzerland, March 9-11, 2005. Springer.

2004

  1. Roberto Passerone, Jerry R. Burch and Alberto L. Sangiovanni-Vincentelli. Conservative Approximations for Heterogeneous Design. In Proceedings of the Fourth ACM International Conference on Embedded Software (EMSOFT '04), pages 155-164, Pisa, Italy, September 27--29, 2004.

2003

  1. Jerry R. Burch, Roberto Passerone, and Alberto L. Sangiovanni-Vincentelli. Modeling Techniques in Design-by-Refinement Methodologies. In Eugenio Villar and Jean P. Mermet, editors, System Specification and Design Languages, Chapter 23, pages 283-292. Kluwer Academic Publishers, Boston, MA, 2003.

2002

  1. Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli. Modeling Techniques in Design-by-Refinement Methodologies. In Proceedings of the Forum on Specification and Design Languages (FDL02), Marseille, France, September 24-27, 2002.
  2. Roberto Passerone, Luca de Alfaro, Thomas A. Henzinger, Alberto 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 (ICCAD02), San Jose, California, November 10-14, 2002.
  3. Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli. Modeling Techniques in Design-by-Refinement Methodologies. In Proceedings of the Sixth Biennial World Conference on Integrated Design and Process Technology (IDPT02), Pasadena, California, June 23-28, 2002.

2001

  1. Francesco Gregoretti, Roberto Passerone, Leonardo Maria Reyneri, and Claudio Sansoè. A High Speed VLSI Architecture for Handwriting Recognition. Journal of VLSI Signal Processing Systems for Signal, Image and Video Technology, 28(3):259--278, July 2001.
  2. Felice Balarin, Jerry R. Burch, Luciano Lavagno, Yosinori Watanabe, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli. Constraints Specification at Higher Levels of Abstraction. In Proceedings of the IEEE International High Level Design Validation and Test Workshop (HLDVT01), Monterey, California, November 7-9, 2001.
  3. Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli. Using Multiple Levels of Abstraction in Embedded Software Design. In Proceedings of the First International Workshop on Embedded Software (EMSOFT01), Tahoe City, California, October 8-10, 2001.
  4. Jerry Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli. Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems. In Proceedings of the Second International Conference on Application of Concurrency to System Design (ACSD01), Newcastle upon Tyne, UK, June 25-29, 2001.

2000

1999

  1. F. Gregoretti, R. Passerone, L. M. Reyneri, C. Sansoè. A Highly Parallel SIMD Processor for Morphological and Neural Image Analysis. In Proceedings of the 2nd IEEE International Workshop on Design, Test and Applications (WDTA99), Dubrovnik, Croatia, June 14-16, 1999, pp. 5-8.

1998

  1. Claudio Passerone, Claudio Sansoè, Luciano Lavagno, Rick McGeer, Jonhatan Martin, Roberto Passerone, and Alberto L. Sangiovanni-Vincentelli. Modeling Reactive Systems in Java. ACM Transactions on Design Automation of Electronic Systems, 3(4):515--523, October 1998.
  2. Alberto Broggi, Gianni Conte, Francesco Gregoretti, Roberto Passerone, and Leonardo M. Reyneri, Claudio Sansoè. Design and Implementation of the PAPRICA Parallel Architecture. Journal of VLSI Signal Processing Systems for Signal, Image and Video Technology, 19(1):5--18, May 1998.
  3. E. Filippi, L. Lavagno, L. Licciardi, A. Montanaro, M. Paolini, R. Passerone, M. Sgroi, A. L. 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 (ISSS98), Hsinchu (Taiwan), December 2-3, 1998.
  4. Roberto Passerone, James A. Rowson, Alberto L. Sangiovanni-Vincentelli. Automatic Synthesis of Interfaces between Incompatible Protocols. In Proceedings of the 35th Design Automation Conference (DAC98), San Francisco, California, June 1998.
  5. C. Passerone, R. Passerone, J. Martin, C. Sansoè, R. McGeer, A. L. Sangiovanni-Vincentelli. Modeling Reactive Systems in Java. In Proceedings of the 6th International Workshop on Hardware/Software Co-Design (CODES98), Seattle, Washington, March 15-18, 1998.

1997

  1. C. Passerone, R. Passerone, L. Lavagno, C. Sansoè, A. L. Sangiovanni-Vincentelli. Modeling Reactive Systems in Java. In Proceedings of the High Level Design Validation and Test Workshop (HLDVT97), Oakland, California, November 14-15, 1997.
  2. A. Broggi, M. Bertozzi, G. Conte, F. Gregoretti, R. Passerone, L. M. Reyneri, C. Sansoè. A Dedicated Image Processor Exploiting Both Spatial and Instruction-Level Parallelism. In Proceedings of the 1997 International Workshop on Computer Architecture for Machine Perception (CAMP97), Boston, Massachusetts, October 20-22, 1997.
  3. L. M. Reyneri, F. Gregoretti, B. Lazzerini, R. Passerone. A 32 neurons slice for High Speed Handwriting Recognition. In Proceedings of the 6th International Conference on Microelectronics for Neural Networks (ICMNN97), Dresden, Germany, September 1997.

1996

  1. F. Gregoretti, R. Passerone, L. M. Reyneri, C. Sansoè. The Implementation of the PAPRICA-3 Parallel Architecture. In Proceedings of the Second International Conference on Massively Parallel Computing Systems (MPCS96), Ischia, Italy, May 6-9, 1996.
  2. F. Gregoretti, R. Passerone, C. Sansoè, A. Broggi. The PAPRICA-3 massively Parallel System. In Proceedings of the 19th Annual International Conference MIPRO 96, Opatja, Croatia, May 1996.
  3. F. Gregoretti, F. Intini, L. Lavagno, R. Passerone, L. M. Reyneri. Design and Implementation of the Control Structure of the PAPRICA-3 Processor. In Proceedings of the Fourth Euromicro Workshop on Parallel and Distributed Processing (PDP96), Braga, Portugal, January 24-26, 1996.

1995

  1. A. Broggi, G. Conte, F. Gregoretti, R. Passerone, C. Sansoè, L. M. Reyneri. Massively Parallel Hardware Support for the MOB-LAB. In Proceedings of the Fourth International Conference on Applications of Advanced Technologies in Transportation Engineering (AATTE95), Capri, Italy, June 27-30, 1995.
  2. F. Gregoretti, L. Lavagno, R. Passerone, C. Sansoè, A. Broggi, G. Conte, L. M. Reyneri. A Parallel Vision System for Vehicle Driving Assistance. In Proceedings of the Fifth International Congress of the European Automobile Engineers Cooperation, Strasbourg, France, June 21-23, 1995.
  3. F. Gregoretti, R. Passerone, C. Sansoè, L. M. Reyneri, A. Broggi, G. Conte. Supporto hardware massivamente parallelo per il Mob-Lab. In Secondo Convegno Nazionale del Progetto Finalizzato Trasporti 2, Genova, Italy, May 29-31, 1995.

Patents

  1. Christoph Albrecht, Philip Chong, Andreas Keuhlmann, Roberto Passerone, and Ellen Sentovich. Reducing critical cycle delay in an integrated circuit design through use of sequential slack. United States Patent US 7,913,210, Cadence Design Systems, Inc., March 22, 2011.
  2. Christoph Albrecht, Philip Chong, Andreas Keuhlmann, Roberto Passerone and Ellen Sentovich. Optimizing Integrated Circuit Design through Use of Sequential Timing Information. United States Patent US 7,743,354, Cadence Design Systems, Inc., June 22, 2010.
  3. Christoph Albrecht, Philip Chong, Andreas Keuhlmann, Roberto Passerone and Ellen Sentovich. Data Path and Placement Optimization in an Integrated Circuit through Use of Sequential Timing Information. United States Patent US 7,624,364, Cadence Design Systems, Inc., November 24, 2009.
  4. Roberto Passerone, James A. Rowson and Alberto L. Sangiovanni-Vincentelli. System and Method for Automatically Synthesizing Interfaces between Incompatible Protocols. United States Patent US 7,136,947 B1, Cadence Design Systems, Inc., November 14, 2006.

Editorials

  1. Thomas Nolte and Roberto Passerone. Guest editorial special section on real-time and (networked) embedded systems - III. IEEE Transactions on Industrial Informatics, 8(2):321-321, May 2012.
  2. Thomas Nolte and Roberto Passerone. Guest editorial special section on real-time and (networked) embedded systems - II. IEEE Transactions on Industrial Informatics, 6(4):475-478, November 2010.
  3. Huascar Espinoza, Alberto Sangiovanni-Vincentelli, Roberto Passerone, Marco Di Natale, José Javier De Las Heras and Daniela Cancila. Proceedings of the First Workshop on Green and Smart Embedded System Technology: Infrastructures, Methods and Tools (GREEMBED 2010). Stockholm, Sweden, April 12, 2010.
  4. Thomas Nolte and Roberto Passerone. Guest editorial special section on real-time and (networked) embedded systems. IEEE Transactions on Industrial Informatics, 5(3):198-201, August 2009.

Technical Reports

  1. Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto L. Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, and Kim G. Larsen. Contracts for Systems Design. Rapport de recherche RR-8147, Institut National de Recherche en Informatique et en Automatique (INRIA), November 2012.
  2. Thi Thieu Hoa Le, Uli Fahrenberg, Axel Legay and Roberto Passerone. An Operational Contract Framework for Heterogeneous Systems. Technical Report DISI-12-029, Dipartimento di Ingegneria e Scienza dell'Informazione, University of Trento, August 2012.
  3. Sophie Quinton, Susanne Graf and Roberto Passerone. Contract-Based Reasoning for Component Systems with Complex Interactions. Verimag Research Report n. TR-2010-12, May 2010.
  4. Thi Thieu Hoa Le, Luigi Palopoli, Roberto Passerone and Yusi Ramadian. Modeling a Distributed Heterogeneous Communication System Using Parametric Timed Automata. Technical Report DISI-10-031, Dipartimento di Ingegneria e Scienza dell'Informazione, University of Trento, April 2010.
  5. Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, and Roberto Passerone. Why are Modalities Good for Interface Theories? Rapport de recherche n. 6899, Institut National de Recherche en Informatique et en Automatique (INRIA), April 2009.
  6. Luigi Palopoli, Roberto Passerone and Paolo Toldo. Efficient coverage optimization in energy-constrained Wireless Sensor Networks. Technical Report DISI-09-023, Dipartimento di Ingegneria e Scienza dell'Informazione, University of Trento, April 2009.
  7. Roberto Passerone and Luigi Palopoli. Aligned schedules are optimal. Technical Report DISI-08-044, Dipartimento di Ingegneria e Scienza dell'Informazione, University of Trento, August 2008.
  8. Alena Simalatsar and Roberto Passerone. A case study in performance estimation and analsysi for SDR: UMTS data-link layer. Technical Report DIT-07-057, Dipartimento di Informatica e Telecomunicazioni, University of Trento, August 2007.
  9. Luigi Palopoli, Roberto Passerone, Amy L. Murphy, Gian Pietro Picco, and Alessandro Giusti. Maximizing sensing coverage in wireless sensor networks through optimal scattering of wake-up times. Technical Report DIT-07-048, Dipartimento di Informatica e Telecomunicazioni, University of Trento, July 2007.
  10. Albert Benveniste, Benoît Caillaud, and Roberto Passerone. A Generic Model of Contracts for Embedded Systems. Rapport de recherche n. 6214, Institut National de Recherche en Informatique et en Automatique (INRIA), June 2007.
  11. R. Passerone. Semantic Foundations for Heterogeneous Systems, PhD Thesis, Department of EECS, University of California, Berkeley, May 2004.
  12. Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli. Notes on Agent Algebras, ERL Technical Report, Memorandum No. UCB/ERL M03/38, Berkeley, California, November 4, 2003.

Misc

  1. R. Passerone and C. Passerone. Overlaying techniques on Texas TI 99/4A Extended Basic. In MC Microcomputer number 36, December 1984, pp. 184-186.