Archivio Istituzionale della RicercaLAVAGNO, Luciano
LAVAGNO, Luciano
Dipartimento di Elettronica e Telecomunicazioni
002044
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 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 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 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 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 routing-algorithm-aware design tool for indoor wireless sensor networks
2012 Puggelli, A.; Mozumdar, M.; Sangiovanni Vincentelli, A. L.; Lavagno, Luciano
A Simulink(c)-based approach to system level design and architecture selectionProceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future
2000 Lavagno, Luciano; B., Pino; Reyneri, Leonardo; A., Serra
A Simulink-based Approach to System Level Design and Architecture Selection
2000 Lavagno, Luciano; B., Pino; A., Serra; Reyneri, Leonardo
A Software Development Tool Chain for a Reconfigurable Processor
2001 A., LA ROSA; Lavagno, Luciano; Passerone, Claudio
A Symbolic Approach for the Combined Solution of Scheduling and Allocation
2002 Cabodi, Gianpiero; Lavagno, Luciano; Lazarescu, MIHAI TEODOR; Nocco, Sergio; Passerone, Claudio; Quer, Stefano
A time-slice based scheduler model for System Level Design
2005 V., Shah; Passerone, Claudio; Lavagno, Luciano; Y., Watanabe
Algorithms for synthesis of hazard-free asynchronous circuits
1991 Lavagno, Luciano; Keutzer, K.; Sangicivanni Vincentelli, A.
An algorithm for selecting the cluster leader in a partially connected sensor network
2008 Mozumdar, MOHAMMAD MOSTAFIZUR RAHMAN; Gregoretti, Francesco; Lavagno, Luciano; L., Vanzago
An Authentication and Key Establishment Scheme for the IP-Based Wireless Sensor Networks
2012 Khan, SARMAD ULLAH; Pastrone, C.; Lavagno, Luciano; Spirito, M. A.
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| 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 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 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). ((Intervento presentato al convegno GE-2007 tenutosi a Lerici (La Spezia), Italy nel June 20-22 2007. | 1-gen-2007 | ANDRIKOS, NIKOLAOSLAVAGNO, 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 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 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 routing-algorithm-aware design tool for indoor wireless sensor networks / Puggelli, A.; Mozumdar, M.; Sangiovanni Vincentelli, A. L.; Lavagno, Luciano. - (2012), pp. 964-969. ((Intervento presentato al convegno Computing, Networking and Communications (ICNC), 2012 International Conference on [10.1109/ICCNC.2012.6167569]. | 1-gen-2012 | LAVAGNO, Luciano + | icnc.pdf |
| A Simulink(c)-based approach to system level design and architecture selectionProceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future / Lavagno, Luciano; B., Pino; Reyneri, Leonardo; A., Serra. - 1:(2000), pp. 76-83. ((Intervento presentato al convegno Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future [10.1109/EURMIC.2000.874618]. | 1-gen-2000 | LAVAGNO, LucianoREYNERI, Leonardo + | - |
| A Simulink-based Approach to System Level Design and Architecture Selection / Lavagno, Luciano; B., Pino; A., Serra; Reyneri, Leonardo. - (2000), pp. 76-83. ((Intervento presentato al convegno Proc. of DSD'2000 - EUROMICRO 2000 Workshop on Digital System Design nel 01-JAN-00-. | 1-gen-2000 | LAVAGNO, LucianoREYNERI, Leonardo + | - |
| A Software Development Tool Chain for a Reconfigurable Processor / A., LA ROSA; Lavagno, Luciano; Passerone, Claudio. - (2001), pp. 93-98. ((Intervento presentato al convegno ACM International Conference on Compilers, Architectures and Synthesis for Embedded Systems tenutosi a Atlanta, Georgia, USA nel November 16-17, 2001. | 1-gen-2001 | LAVAGNO, LucianoPASSERONE, Claudio + | - |
| A Symbolic Approach for the Combined Solution of Scheduling and Allocation / Cabodi, Gianpiero; Lavagno, Luciano; Lazarescu, MIHAI TEODOR; Nocco, Sergio; Passerone, Claudio; Quer, Stefano. - ELETTRONICO. - (2002), pp. 237-242. ((Intervento presentato al convegno ISSS'02: ACM/IEEE International Symposium of System Synthesis tenutosi a Kyoto, Japan nel 2-4 ottobre 2002 [10.1145/581199.581252]. | 1-gen-2002 | CABODI, GianpieroLAVAGNO, LucianoLAZARESCU, MIHAI TEODORNOCCO, SERGIOPASSERONE, ClaudioQUER, Stefano | scheduling.pdf |
| A time-slice based scheduler model for System Level Design / V., Shah; Passerone, Claudio; Lavagno, Luciano; Y., Watanabe. - (2005), pp. 378-383. ((Intervento presentato al convegno IEEE Design, Automation and Test in Europe nel March 7-11. | 1-gen-2005 | PASSERONE, ClaudioLAVAGNO, Luciano + | - |
| Algorithms for synthesis of hazard-free asynchronous circuits / Lavagno, Luciano; Keutzer, K.; Sangicivanni Vincentelli, A.. - (1991), pp. 302-308. ((Intervento presentato al convegno Design Automation Conference, 1991. 28th ACM/IEEE. | 1-gen-1991 | LAVAGNO, Luciano + | - |
| An algorithm for selecting the cluster leader in a partially connected sensor network / Mozumdar, MOHAMMAD MOSTAFIZUR RAHMAN; Gregoretti, Francesco; Lavagno, Luciano; L., Vanzago. - (2008), pp. 133-138. ((Intervento presentato al convegno The Third International Conference on Systems and Networks Communications tenutosi a Malta nel OCTOBER 26-31, 2008 [10.1109/ICSNC.2008.50]. | 1-gen-2008 | MOZUMDAR, MOHAMMAD MOSTAFIZUR RAHMANGREGORETTI, FrancescoLAVAGNO, Luciano + | - |
| An Authentication and Key Establishment Scheme for the IP-Based Wireless Sensor Networks / Khan, SARMAD ULLAH; Pastrone, C.; Lavagno, Luciano; Spirito, M. A.. - In: PROCEDIA COMPUTER SCIENCE. - ISSN 1877-0509. - 10C:(2012), pp. 1039-1045. ((Intervento presentato al convegno The 7th International Symposium on Intelligent Systems Techniques for Ad hoc and Wireless Sensor Networks (IST-AWSN) tenutosi a Niagara Falls, Canada nel August 27-29, 2012 [10.1016/j.procs.2012.06.144]. | 1-gen-2012 | KHAN, SARMAD ULLAHLAVAGNO, Luciano + | 1-s2.0-S1877050912005017-main.pdf |