Research Outputs Roberto Passerone


  • 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 - see details
  • S. Dalpez, R. Passerone, A. Penasa, A. Vaccari, "Design of an innovative proximity detection embedded-system for safety application in industrial machinery" in Proceedings of the 17^th IEEE International Conference on Emerging Technologies and Factory Automation, Krakow, Poland: ACM/IEEE, 2012. Proceedings of: ETFA 2012, Krakow, Poland, 17th - 21st September 2012 - see details
  • 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 - see details
  • 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: 9781467330510. Proceedings of: ICCD 2012, Montreal, Quebec, Canada, 2012-September 30--October 3,. - URL: http://doi.ieeecomputersociety.org/10.1109/ICCD.2012.6378688 . - DOI: 10.1109/ICCD.2012.6378688 - see details
  • 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: 9781467317863. Proceedings of: EnHaNSS 2012, Antwerp, Belgium, 11th June 2012. - DOI: 10.1109/INSS.2012.6240577 - see details
  • 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 - see details
  • 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 - see details
  • 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, Trento, Italy: Springer-Verlag Berlin / Heidelberg, 2012, p. 212-227. Proceedings of: EWSN 2012, Trento, Italy, 15th - 17th February 2012. - DOI: 10.1007/978-3-642-28169-3_14 - see details
  • J. Raclet, E. Badouel, A. Benveniste, B. Caillaud, A. Legay, R. Passerone, "A Modal Interface Theory for Component-based Design" in FUNDAMENTA INFORMATICAE, v. 108 , n. 1-2 (2011), p. 119-149 - see details
  • A. Somov, A. Baranov, A. Savkin, D. Spirjakin, A. Spirjakin, R. Passerone, "Development of Wireless Sensor Network for Combustible Gas Monitoring" in SENSORS AND ACTUATORS. A, PHYSICAL, v. 171, (2011), p. 398-405. - DOI: 10.1016/j.sna.2011.07.016 - see details
  • A. Simalatsar, Y. Ramadian, K. Lampka, S. Perathoner, R. Passerone, L. 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: IEEE, 2011, p. 155-164. 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 - see details
  • 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. - ISBN: 9781612848204. Proceedings of: SIES 2011, Västerås, Sweden, June 15-17, 2011. - DOI: 10.1109/SIES.2011.5953684 - see details
  • A. Hossain, R. 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, Singapore: IEEE Computer Society, 2011, p. 9-16 -(IEEE. Computer Society, Los Alamitos, CA, USA). - ISBN: 9781612843131. Proceedings of: The 25th IEEE International Conference on Advanced Information Networking and Applications, Singapore, 22-25 March 2011. - DOI: 10.1109/AINA.2011.29 - see details
  • C. Albrecht, P. Chong, A. Keuhlmann, R. Passerone, E. Sentovich, "Reducing Critical Cycle Delay in an Integrated Circuit Design through Use of Sequential Slack", US 7,913,210. - Filing date: 2011 - see details
  • L. Palopoli, R. Passerone, T. Rizano, "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 - see details
  • 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. 166-122 -(IEEE Computer Society Washington). - ISBN: 9780769540382. Proceedings of: ISORC, Carmona, Spain, 2010-May 4 - see details
  • 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 - see details
  • S. Quinton, S. Graf, R. Passerone, "Contract-Based Reasoning for Component Systems with Complex Interactions", 2010 - see details
  • H. T. Thieu Le, L. Palopoli, R. Passerone, Y. Ramadian, "Modeling a Distributed Heterogeneous Communication System Using Parametric Timed Automata", 2010 - see details
  • 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 - see details
  • 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 - see details
  • 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 - see details
  • 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 - see details
  • 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 - see details
  • 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 - see details
  • 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; 5469). Proceedings of: HSCC09, San Francisco, 13th-15th April 2009 - see details
  • 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 - see details
  • L. Palopoli, R. Passerone, P. Toldo, "Efficient coverage optimization in energy-constrained Wireless Sensor Networks", 2009 - see details
  • 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 - see details
  • 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: NecSys09, Kidlington, Oxford: IFAC [Elsevier Ltd.], 2009, p. 1-6. Proceedings of: NecSys'09, Venezia, 24th-26th September 2009 - see details
  • 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 - see details
  • 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 - see details
  • 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 - see details
  • 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 - see details
  • 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 - see details
  • 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; 5432). - ISBN: 9783642002236. Proceedings of: EWSN09, Cork, Ireland, 11th-13th February 2009 - see details
  • 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 - see details
  • 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 - see details
  • J. Raclet, E. Badouel, A. Benveniste, B. Caillaud, R. Passerone, "Why are Modalities Good for Interface Theories?", 2009 - see details
  • 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 - see details
  • L. Benvenuti, A. Ferrari, L. Mangeruca, E. Mazzi, R. Passerone, C. Sofronis, "A contract-based formalism for the specification of heterogeneous systems. In Proceedings of the Forum on Specification & Design Languages (FDL’08)" in FDL08, Germania: ECSI, 2008, p. 142-147. Proceedings of: FDL 08, Stuttgart, September 23-25, 2008 - see details
  • 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 - see details
  • 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 - see details
  • R. Passerone, L. Palopoli, "Aligned Schedules are Optimal", 2008 - see details
  • 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; 5065). - ISBN: 9783540686767 - see details
  • 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 - see details
  • 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 - see details
  • H.M. R. 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. - URL: http://www.etfa2008.org/ETFA_2008/Home.html . - DOI: 10.1109/ETFA.2008.4638510 - see details
  • B.A. Benveniste: 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 - see details
  • H.M. R. 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 - see details
  • A. Simalatsar, R. Passerone, "A case study in performance estimation and analysis for SDR: UMTS data-link layer", 2007. - (Technical Report DIT-07-057, Dipartimento di Informatica e Telecomunicazioni, University of Trento) - see details
  • A. Benveniste, B. Caillaud, R. Passerone, "A Generic Model of Contracts for Embedded Systems", 2007. - (Rapport de recherche 6214, Institut National de Recherche ed Informatique et en Automatique) - see details
  • L. Palopoli, R. Passerone, G. P. Picco, A. L. Murphy, A. Giusti, "Maximizing sensing coverage in wireless sensor networks through optimal scattering of wake-up times", 2007. - (Technical Report DIT-07-048, Dipartimento di Informatica e Telecomunicazioni, University of Trento) - see details
  • 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 - see details
  • 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 - see details
  • R. Passerone, D. Densmore, A. L. Sangiovanni-vincentelli, "A platform-based taxonomy for ESL design" in IEEE DESIGN & TEST OF COMPUTERS, v. 23, n. 5 (2006), p. 359-374 - see details
  • 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 - see details
  • 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; 3927). Proceedings of: HSCC06, Santa Barbara, CA, 29th-31st March 2006 - see details
  • 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 - see details
  • 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; 2). - ISBN: 0-8493-2824-1 - see details
  • 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; 1). - ISBN: 193301928X - see details
  • 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 - see details
  • 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 - see details
  • 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 - see details
  • 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: Springer, 2005, p. 526-541. Proceedings of: HSCC05, Zurich, Switzerland, 9-11, March, 2005 - see details
  • R. Passerone, "Interface Specification and Converter Synthesis" in Richard Zurawski (edited by), Embedded Systems Handbook, BOCA RATON, LONDON, NEW YORK: CRC Press, Taylor and Francis Group, 2005. - ISBN: 0-8493-2824-1 - see details
  • 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: ACM Press, 2004, p. 155-164. Proceedings of: EMSOFT04, Pisa, Italy, 27-29 September 2004 - see details
  • 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: 1-4020-7414-X - see details
  • 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 - see details
  • 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 - see details
  • 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 - see details
  • F. Gregoretti, R. Passerone, L. M. Reyneri, C. Sansoè, "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 - see details
  • 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 - see details
  • 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 - see details
  • 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 - see details
  • 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 - see details
  • 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 - see details
  • 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 - see details
  • 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 - see details
  • L. Lavagno, J. Martin, R. Mcgeer, C. Passerone, R. Passerone, A. L. Sangiovanni-vincentelli, C. Sansoè, "Modeling Reactive Systems in Java" in ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, v. 3, (1998), p. 515-523 - see details
  • C. Passerone, C. Sansoþ, 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 - see details
  • 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 - see details
  • 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 - see details
  • 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 - see details
  • 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, - see details