Specification, Synthesis, and Simulation of Transactor Processes
Balarin, F., Passerone, R.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.10.2007)
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.10.2007)
Get full text
Journal Article
Automatic synthesis of interfaces between incompatible protocols
Passerone, Roberto, Rowson, James A., Sangiovanni-Vincentelli, Alberto
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 35th annual conference on Design automation; 15-19 June 1998 (01.01.1998)
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 35th annual conference on Design automation; 15-19 June 1998 (01.01.1998)
Get full text
Conference Proceeding
PP14.04 HIGH-Z ORGANIC SCINTILLATORS FOR FAST AND FLEXIBLE TOTAL BODY NUCLEAR IMAGING DIAGNOSES: THE reSPECT PROJECT
Quattrini, F., Burattini, A., David, M., de Vincentis, G., Franciosini, G., Frantellizzi, V., Gasparini, L., Garbini, M., Krahi, N., Magi, M., Manuzzato, E., Mattiello, L., Muscato, A., Passerone, R., Patera, V., de Gregorio, A., Rocco, D., Sarti, A., Schiavi, A., Toppi, M., Traini, G., Marafini, M.
Published in Physica medica (01.09.2024)
Published in Physica medica (01.09.2024)
Get full text
Journal Article
Scalable Offline Optimization of Industrial Wireless Sensor Networks
Palopoli, L, Passerone, R, Rizano, T
Published in IEEE transactions on industrial informatics (01.05.2011)
Published in IEEE transactions on industrial informatics (01.05.2011)
Get full text
Journal Article
A 33 \mu W 64 \,\times\, 64 Pixel Vision Sensor Embedding Robust Dynamic Background Subtraction for Event Detection and Scene Interpretation
Cottini, N., Gottardi, M., Massari, N., Passerone, R., Smilansky, Z.
Published in IEEE journal of solid-state circuits (01.03.2013)
Published in IEEE journal of solid-state circuits (01.03.2013)
Get full text
Journal Article
Metamodels in Europe: Languages, Tools, and Applications
Passerone, R., Damm, W., Ben Hafaiedh, I., Graf, S., Ferrari, A., Mangeruca, L., Benveniste, A., Josko, B., Peikenkamp, T., Cancila, D., Cuccuru, A., Gerard, S., Terrier, F., Sangiovanni-Vincentelli, A.
Published in IEEE design & test of computers (01.05.2009)
Published in IEEE design & test of computers (01.05.2009)
Get full text
Journal Article
Wireless Sensor Node with Ultrasensitive Film Sensors for Emergency Applications
Somov, A., Lebedev, V., Baranov, A., Laukhina, E., Laukhin, V., Passerone, R., Rovira, C., Veciana, J.
Published in Procedia engineering (2014)
Published in Procedia engineering (2014)
Get full text
Journal Article
Guest Editorial Special Section on Real-Time and (Networked) Embedded Systems
Nolte, Thomas, Passerone, Roberto
Published in IEEE transactions on industrial informatics (01.08.2009)
Published in IEEE transactions on industrial informatics (01.08.2009)
Get full text
Journal Article
Convertibility verification and converter synthesis: two faces of the same coin [IP block interfaces]
Passerone, R., de Alfaro, L., Henzinger, T.A., Sangiovanni-Vincentelli, A.L.
Published in IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002 (2002)
Published in IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002 (2002)
Get full text
Conference Proceeding
Why Are Modalities Good for Interface Theories?
Raclet, J.-B., Badouel, E., Benveniste, A., Caillaud, B., Passerone, R.
Published in 2009 Ninth International Conference on Application of Concurrency to System Design (01.07.2009)
Published in 2009 Ninth International Conference on Application of Concurrency to System Design (01.07.2009)
Get full text
Conference Proceeding
Design of an innovative proximity detection embedded-system for safety application in industrial machinery
Dalpez, S., Vaccari, A., Passerone, R., Penasa, A.
Published in Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012) (01.09.2012)
Published in Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012) (01.09.2012)
Get full text
Conference Proceeding
A formal approach to system level design: metamodels and unified design environments
Balarin, F., Passerone, R., Pinto, A., Sangiovanni-Vincentelli, A. L.
Published in Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design (11.07.2005)
Published in Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design (11.07.2005)
Get full text
Conference Proceeding
Integration of correct-by-construction BIP models into the MetroII design space exploration flow
Simalatsar, A., Liangpeng Guo, Bozga, M., Passerone, R.
Published in 2012 IEEE 30th International Conference on Computer Design (ICCD) (01.09.2012)
Published in 2012 IEEE 30th International Conference on Computer Design (ICCD) (01.09.2012)
Get full text
Conference Proceeding
A methodology for power consumption evaluation of wireless sensor networks
Somov, A., Minakov, I., Simalatsar, A., Fontana, G., Passerone, R.
Published in 2009 IEEE Conference on Emerging Technologies & Factory Automation (01.09.2009)
Published in 2009 IEEE Conference on Emerging Technologies & Factory Automation (01.09.2009)
Get full text
Conference Proceeding
Parametric analysis of distributed firm real-time systems: A case study
Thi Thieu Hoa Le, Palopoli, L, Passerone, R, Ramadian, Y, Cimatti, A
Published in 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010) (01.09.2010)
Published in 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010) (01.09.2010)
Get full text
Conference Proceeding
Functional and structural properties in the Model-Driven Engineering approach
Cancila, D., Passerone, R.
Published in 2008 IEEE International Conference on Emerging Technologies and Factory Automation (01.09.2008)
Published in 2008 IEEE International Conference on Emerging Technologies and Factory Automation (01.09.2008)
Get full text
Conference Proceeding