LAVAGNO, Luciano
LAVAGNO, Luciano
Dipartimento di Elettronica e Telecomunicazioni
002044
A BMC-Based Formulation for the Scheduling Problem in Highly Constrained Hardware Systems
2003 Cabodi, Gianpiero; A., Kondratiev; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Y., Watanabe
A BMC-Based Formulation for the Scheduling Problem of Hardware Systems
2005 Cabodi, Gianpiero; A., Kondratiev; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Y., Watanabe
A BMC-Formulation for the Scheduling Problem in Highly Constrained Hardware Systems
2003 Cabodi, Gianpiero; Kondratyev, A.; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Watanabe, Y.
A case study in computer-aided co-design of embedded controllers.
1996 Chiodo, M.; Engels, D.; Giusto, P.; Hsieh, H.; Lavagno, Luciano
A Case Study in Embedded System Design: an Engine Control Unit
1998 T., Cuatto; Passerone, Claudio; A., Jurecska; Lavagno, Luciano; Sansoe', Claudio; A., Damiano; A., SANGIOVANNI VINCENTELLI
A Contactless Sensor for Human Body Identification using RF Absorption Signatures
2017 Iqbal, Javed; Arif, Arslan; BIN TARIQ, Osama; Lazarescu, MIHAI TEODOR; Lavagno, Luciano
A DSP shared is a DSP earned: HLS Task-Level Multi-Pumping for High-Performance Low-Resource Designs
In corso di stampa Brignone, Giovanni; Lazarescu, Mihai T.; Lavagno, Luciano
A Framework for Modeling, Simulation and Automatic Code Generation of Sensor Network Application
2008 Mozumdar, MOHAMMAD MOSTAFIZUR RAHMAN; Gregoretti, Francesco; Lavagno, Luciano; L., Vanzago; S., Olivieri
A Fully-automated Desynchronization Flow for Synchronous Circuits
2007 Andrikos, Nikolaos; Lavagno, Luciano; Davide, Pandini; Christos, Sotiriou
A Fully-automated Desynchronization Flow for Synchronous Circuits
2007 Andrikos, Nikolaos; Lavagno, Luciano; Davide, Pandini; Christos, Sotiriou
A Graph Neural Network Model for Fast and Accurate Quality of Result Estimation for High-Level Synthesis
In corso di stampa Jamal, MUHAMMAD USMAN; Li, Zhuowei; Lazarescu, MIHAI T.; Lavagno, Luciano
A Hardware/Software Co-design Flow and IP Library Based on Simulink
2001 Reyneri, Leonardo; F., Cucinotta; Serra, . A.; Lavagno, Luciano
A key management scheme for Content Centric Networking
2013 Khan, S. U; Cholez, T.; Engel, T.; Lavagno, Luciano
A key management scheme supporting node mobility in heterogeneous sensor networks
2010 Khan, Sarmadullah; Lavagno, Luciano; C., Pastrone
A low latency asynchronous arbitration circuit.
1994 A. V., Yakovlev; A. I., Petrov; Lavagno, Luciano
A Model-Based Approach for Bridging Virtual and Physical Sensor Nodes in a Hybrid Simulation Framework
2014 Mohammad, Mozumdar; Zhen, Song; Lavagno, Luciano; Alberto Sangiovanni, Vincentelli
A mutual authentication and key establishment scheme for heterogeneous sensor networks supporting nodes mobility
2012 Khan, SARMAD ULLAH; C., Pastrone; Lavagno, Luciano; M. A., Spirito
A Parameter-based Mapping Scheme for Behavior/Architecture Co-Design
1999 M., Lajolo; Passerone, Claudio; Lavagno, Luciano; A., SANGIOVANNI VINCENTELLI
A reconfigurable processor architecture and software development environment for embedded systems
2003 F., Campi; R., Canegallo; A., Cappelli; Guerrieri, Roberto; LA ROSA, Alberto; Lavagno, Luciano; A., Lodi; Passerone, Claudio; M., Toma
A region-based theory for state assignment in asynchronous circuits.
1997 J., Cortadella; M., Kishinevsky; A., Kondratyev; Lavagno, Luciano; A., Yakovlev
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
A BMC-Based Formulation for the Scheduling Problem in Highly Constrained Hardware Systems / Cabodi, Gianpiero; A., Kondratiev; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Y., Watanabe. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN 1571-0661. - 89:4(2003), pp. 623-638. [10.1016/S1571-0661(05)82547-2] | 1-gen-2003 | CABODI, GianpieroLAVAGNO, LucianoNOCCO, SERGIOQUER, Stefano + | - |
A BMC-Based Formulation for the Scheduling Problem of Hardware Systems / Cabodi, Gianpiero; A., Kondratiev; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Y., Watanabe. - In: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER. - ISSN 1433-2779. - 7:(2005), pp. 102-117. | 1-gen-2005 | CABODI, GianpieroLAVAGNO, LucianoNOCCO, SERGIOQUER, Stefano + | - |
A BMC-Formulation for the Scheduling Problem in Highly Constrained Hardware Systems / Cabodi, Gianpiero; Kondratyev, A.; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Watanabe, Y.. - STAMPA. - (2003). (Intervento presentato al convegno First International Workshop on Bounded Model Checking (BMC 2003) tenutosi a Boulder, Colorado, USA nel July, 2003). | 1-gen-2003 | CABODI, GianpieroLAVAGNO, LucianoNOCCO, SERGIOQUER, Stefano + | - |
A case study in computer-aided co-design of embedded controllers / Chiodo, M.; Engels, D.; Giusto, P.; Hsieh, H.; Lavagno, Luciano. - In: DESIGN AUTOMATION FOR EMBEDDED SYSTEMS. - ISSN 0929-5585. - 1:1-2(1996), pp. 51-67. | 1-gen-1996 | LAVAGNO, Luciano + | - |
A Case Study in Embedded System Design: an Engine Control Unit / T., Cuatto; Passerone, Claudio; A., Jurecska; Lavagno, Luciano; Sansoe', Claudio; A., Damiano; A., SANGIOVANNI VINCENTELLI. - (1998), pp. 804-807. (Intervento presentato al convegno DAC '98, 35th annual Design Automation Conference tenutosi a San Francisco, California, USA nel June 15-19, 1998) [10.1145/277044.277248]. | 1-gen-1998 | PASSERONE, ClaudioLAVAGNO, LucianoSANSOE', Claudio + | - |
A Contactless Sensor for Human Body Identification using RF Absorption Signatures / Iqbal, Javed; Arif, Arslan; BIN TARIQ, Osama; Lazarescu, MIHAI TEODOR; Lavagno, Luciano. - ELETTRONICO. - (2017), pp. 1-6. (Intervento presentato al convegno 2017 IEEE Sensors applications symposium (SAS) tenutosi a Glassboro, NJ, USA nel 13-15 marzo 2017) [10.1109/SAS.2017.7894102]. | 1-gen-2017 | IQBAL, JAVEDARIF, ARSLANBIN TARIQ, OSAMALAZARESCU, MIHAI TEODORLAVAGNO, Luciano | final.pdf; 07894102.pdf |
A DSP shared is a DSP earned: HLS Task-Level Multi-Pumping for High-Performance Low-Resource Designs / Brignone, Giovanni; Lazarescu, Mihai T.; Lavagno, Luciano. - ELETTRONICO. - (In corso di stampa). (Intervento presentato al convegno IEEE International Conference on Computer Design tenutosi a Washington (USA) nel 6/11/2023 - 8/11/2023). | In corso di stampa | Giovanni BrignoneMihai T. LazarescuLuciano Lavagno | paper.pdf |
A Framework for Modeling, Simulation and Automatic Code Generation of Sensor Network Application / Mozumdar, MOHAMMAD MOSTAFIZUR RAHMAN; Gregoretti, Francesco; Lavagno, Luciano; L., Vanzago; S., Olivieri. - (2008), pp. 515-522. (Intervento presentato al convegno Fifth Annual IEEE Communications Society Conference on Sensor, Mesh, and Networks SECON 2008 tenutosi a San Francisco nel 2008) [10.1109/SAHCN.2008.68]. | 1-gen-2008 | MOZUMDAR, MOHAMMAD MOSTAFIZUR RAHMANGREGORETTI, FrancescoLAVAGNO, Luciano + | - |
A Fully-automated Desynchronization Flow for Synchronous Circuits / Andrikos, Nikolaos; Lavagno, Luciano; Davide, Pandini; Christos, Sotiriou. - (2007), pp. 982-985. (Intervento presentato al convegno Design Automation Conference tenutosi a San Diego, CA, USA nel June 4-8, 2007). | 1-gen-2007 | ANDRIKOS, NIKOLAOSLAVAGNO, Luciano + | - |
A Fully-automated Desynchronization Flow for Synchronous Circuits / Andrikos, Nikolaos; Lavagno, Luciano; Davide, Pandini; Christos, Sotiriou. - (2007). (Intervento presentato al convegno GE-2007 tenutosi a Lerici (La Spezia), Italy nel June 20-22 2007). | 1-gen-2007 | ANDRIKOS, NIKOLAOSLAVAGNO, Luciano + | - |
A Graph Neural Network Model for Fast and Accurate Quality of Result Estimation for High-Level Synthesis / Jamal, MUHAMMAD USMAN; Li, Zhuowei; Lazarescu, MIHAI T.; Lavagno, Luciano. - In: IEEE ACCESS. - ISSN 2169-3536. - ELETTRONICO. - (In corso di stampa). | In corso di stampa | MUHAMMAD USMAN JAMALMIHAI T. LAZARESCULUCIANO LAVAGNO + | GNN_HLS.pdf |
A Hardware/Software Co-design Flow and IP Library Based on Simulink / Reyneri, Leonardo; F., Cucinotta; Serra, . A.; Lavagno, Luciano. - (2001), pp. 593-598. (Intervento presentato al convegno DAC 2001, Design Automation Conference nel June). | 1-gen-2001 | REYNERI, LeonardoLAVAGNO, Luciano + | - |
A key management scheme for Content Centric Networking / Khan, S. U; Cholez, T.; Engel, T.; Lavagno, Luciano. - (2013), pp. 828-831. (Intervento presentato al convegno Integrated Network Management (IM 2013), 2013 IFIP/IEEE International Symposium on). | 1-gen-2013 | LAVAGNO, Luciano + | - |
A key management scheme supporting node mobility in heterogeneous sensor networks / Khan, Sarmadullah; Lavagno, Luciano; C., Pastrone. - (2010), pp. 364-369. (Intervento presentato al convegno 6th International Conference on Emerging Technologies (ICET 10), 2010 tenutosi a Islamabad (Pakistan) nel 18-19 Oct. 2010) [10.1109/ICET.2010.5638458]. | 1-gen-2010 | KHAN, SARMADULLAHLAVAGNO, Luciano + | - |
A low latency asynchronous arbitration circuit / A. V., Yakovlev; A. I., Petrov; Lavagno, Luciano. - In: IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS. - ISSN 1063-8210. - (1994). | 1-gen-1994 | LAVAGNO, Luciano + | - |
A Model-Based Approach for Bridging Virtual and Physical Sensor Nodes in a Hybrid Simulation Framework / Mohammad, Mozumdar; Zhen, Song; Lavagno, Luciano; Alberto Sangiovanni, Vincentelli. - In: SENSORS. - ISSN 1424-8220. - 14:(2014), pp. 11070-11096. [10.3390/s140611070] | 1-gen-2014 | LAVAGNO, Luciano + | - |
A mutual authentication and key establishment scheme for heterogeneous sensor networks supporting nodes mobility / Khan, SARMAD ULLAH; C., Pastrone; Lavagno, Luciano; M. A., Spirito. - In: INTERNATIONAL JOURNAL OF INTERNET TECHNOLOGY AND SECURED TRANSACTIONS. - ISSN 1748-569X. - 4:2/3(2012), pp. 139-161. [10.1504/IJITST.2012.047959] | 1-gen-2012 | KHAN, SARMAD ULLAHLAVAGNO, Luciano + | - |
A Parameter-based Mapping Scheme for Behavior/Architecture Co-Design / M., Lajolo; Passerone, Claudio; Lavagno, Luciano; A., SANGIOVANNI VINCENTELLI. - (1999), pp. 37-40. (Intervento presentato al convegno 2nd IEEE International Workshop on Design, Test and Applications tenutosi a Dubrovnik, Croatia nel June 14-16, 1999). | 1-gen-1999 | PASSERONE, ClaudioLAVAGNO, Luciano + | - |
A reconfigurable processor architecture and software development environment for embedded systems / F., Campi; R., Canegallo; A., Cappelli; Guerrieri, Roberto; LA ROSA, Alberto; Lavagno, Luciano; A., Lodi; Passerone, Claudio; M., Toma. - (2003). (Intervento presentato al convegno IEEE Parallel and Distributed Processing Symposium nel April 22-26, 2003). | 1-gen-2003 | GUERRIERI, ROBERTOLA ROSA, AlbertoLAVAGNO, LucianoPASSERONE, Claudio + | - |
A region-based theory for state assignment in asynchronous circuits / J., Cortadella; M., Kishinevsky; A., Kondratyev; Lavagno, Luciano; A., Yakovlev. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - 16(8):(1997). | 1-gen-1997 | LAVAGNO, Luciano + | - |