Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Luciano Lavagno
@article{DBLP:journals/access/MinnellaCCLL23,
author = {Filippo Minnella and
Jordi Cortadella and
Mario R. Casu and
Mihai T. Lazarescu and
Luciano Lavagno},
title = {Mix {\&} Latch: An Optimization Flow for High-Performance Designs
With Single-Clock Mixed-Polarity Latches and Flip-Flops},
journal = {{IEEE} Access},
volume = {11},
pages = {35830--35840},
year = {2023},
url = {https://doi.org/10.1109/ACCESS.2023.3265809},
doi = {10.1109/ACCESS.2023.3265809},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/MinnellaCCLL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/JamalLLL23,
author = {M. Usman Jamal and
Zhuowei Li and
Mihai T. Lazarescu and
Luciano Lavagno},
title = {A Graph Neural Network Model for Fast and Accurate Quality of Result
Estimation for High-Level Synthesis},
journal = {{IEEE} Access},
volume = {11},
pages = {85785--85798},
year = {2023},
url = {https://doi.org/10.1109/ACCESS.2023.3303840},
doi = {10.1109/ACCESS.2023.3303840},
timestamp = {Thu, 31 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/JamalLLL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/esticas/OttatiGCBCEL23,
author = {Fabrizio Ottati and
Chang Gao and
Qinyu Chen and
Giovanni Brignone and
Mario R. Casu and
Jason K. Eshraghian and
Luciano Lavagno},
title = {To Spike or Not to Spike: {A} Digital Hardware Perspective on Deep
Learning Acceleration},
journal = {{IEEE} J. Emerg. Sel. Topics Circuits Syst.},
volume = {13},
number = {4},
pages = {1015--1025},
year = {2023},
url = {https://doi.org/10.1109/JETCAS.2023.3330432},
doi = {10.1109/JETCAS.2023.3330432},
timestamp = {Thu, 22 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/esticas/OttatiGCBCEL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/BrignoneLL23,
author = {Giovanni Brignone and
Mihai T. Lazarescu and
Luciano Lavagno},
title = {A {DSP} shared is a {DSP} earned: {HLS} Task-Level Multi-Pumping for
High-Performance Low-Resource Designs},
booktitle = {41st {IEEE} International Conference on Computer Design, {ICCD} 2023,
Washington, DC, USA, November 6-8, 2023},
pages = {551--557},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICCD58817.2023.00089},
doi = {10.1109/ICCD58817.2023.00089},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/BrignoneLL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwasi/SubbiciniLL23,
author = {Giorgia Subbicini and
Luciano Lavagno and
Mihai T. Lazarescu},
title = {Enhanced Exploration of Neural Network Models for Indoor Human Monitoring},
booktitle = {9th International Workshop on Advances in Sensors and Interfaces,
{IWASI} 2023, Monopoli, Bari, Italy, June 8-9, 2023},
pages = {109--114},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/IWASI58316.2023.10164436},
doi = {10.1109/IWASI58316.2023.10164436},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwasi/SubbiciniLL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-15552,
author = {Cristina Silvano and
Daniele Ielmini and
Fabrizio Ferrandi and
Leandro Fiorin and
Serena Curzel and
Luca Benini and
Francesco Conti and
Angelo Garofalo and
Cristian Zambelli and
Enrico Calore and
Sebastiano Fabio Schifano and
Maurizio Palesi and
Giuseppe Ascia and
Davide Patti and
Stefania Perri and
Nicola Petra and
Davide De Caro and
Luciano Lavagno and
Teodoro Urso and
Valeria Cardellini and
Gian Carlo Cardarilli and
Robert Birke},
title = {A Survey on Deep Learning Hardware Accelerators for Heterogeneous
{HPC} Platforms},
journal = {CoRR},
volume = {abs/2306.15552},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.15552},
doi = {10.48550/ARXIV.2306.15552},
eprinttype = {arXiv},
eprint = {2306.15552},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-15552.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-15749,
author = {Fabrizio Ottati and
Chang Gao and
Qinyu Chen and
Giovanni Brignone and
Mario R. Casu and
Jason K. Eshraghian and
Luciano Lavagno},
title = {To Spike or Not To Spike: {A} Digital Hardware Perspective on Deep
Learning Acceleration},
journal = {CoRR},
volume = {abs/2306.15749},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.15749},
doi = {10.48550/ARXIV.2306.15749},
eprinttype = {arXiv},
eprint = {2306.15749},
timestamp = {Thu, 22 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-15749.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-15631,
author = {Filippo Minnella and
Teodoro Urso and
Mihai T. Lazarescu and
Luciano Lavagno},
title = {Design and Optimization of Residual Neural Network Accelerators for
Low-Power FPGAs Using High-Level Synthesis},
journal = {CoRR},
volume = {abs/2309.15631},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.15631},
doi = {10.48550/ARXIV.2309.15631},
eprinttype = {arXiv},
eprint = {2309.15631},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-15631.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-00330,
author = {Giovanni Brignone and
Mihai T. Lazarescu and
Luciano Lavagno},
title = {A {DSP} shared is a {DSP} earned: {HLS} Task-Level Multi-Pumping for
High-Performance Low-Resource Designs},
journal = {CoRR},
volume = {abs/2310.00330},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.00330},
doi = {10.48550/ARXIV.2310.00330},
eprinttype = {arXiv},
eprint = {2310.00330},
timestamp = {Wed, 18 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-00330.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-17815,
author = {Fabrizio Ferrandi and
Serena Curzel and
Leandro Fiorin and
Daniele Ielmini and
Cristina Silvano and
Francesco Conti and
Alessio Burrello and
Francesco Barchi and
Luca Benini and
Luciano Lavagno and
Teodoro Urso and
Enrico Calore and
Sebastiano Fabio Schifano and
Cristian Zambelli and
Maurizio Palesi and
Giuseppe Ascia and
Enrico Russo and
Nicola Petra and
Davide De Caro and
Gennaro Di Meo and
Valeria Cardellini and
Salvatore Filippone and
Francesco Lo Presti and
Francesco Silvestri and
Paolo Palazzari and
Stefania Perri},
title = {A Survey on Design Methodologies for Accelerating Deep Learning on
Heterogeneous Architectures},
journal = {CoRR},
volume = {abs/2311.17815},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.17815},
doi = {10.48550/ARXIV.2311.17815},
eprinttype = {arXiv},
eprint = {2311.17815},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-17815.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/BrignoneJLL22,
author = {Giovanni Brignone and
M. Usman Jamal and
Mihai T. Lazarescu and
Luciano Lavagno},
title = {Array-Specific Dataflow Caches for High-Level Synthesis of Memory-Intensive
Algorithms on FPGAs},
journal = {{IEEE} Access},
volume = {10},
pages = {118858--118877},
year = {2022},
url = {https://doi.org/10.1109/ACCESS.2022.3219868},
doi = {10.1109/ACCESS.2022.3219868},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/BrignoneJLL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/ShahLQSL22,
author = {Nasir Ali Shah and
Mihai T. Lazarescu and
Roberto Quasso and
Salvatore Scarpina and
Luciano Lavagno},
title = {{FPGA} Acceleration of 3GPP Channel Model Emulator for 5G New Radio},
journal = {{IEEE} Access},
volume = {10},
pages = {119386--119401},
year = {2022},
url = {https://doi.org/10.1109/ACCESS.2022.3221124},
doi = {10.1109/ACCESS.2022.3221124},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/ShahLQSL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/ShanLCLC22,
author = {Junnan Shan and
Mihai T. Lazarescu and
Jordi Cortadella and
Luciano Lavagno and
Mario R. Casu},
title = {Fast Energy-Optimal Multikernel DNN-Like Application Allocation on
Multi-FPGA Platforms},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {41},
number = {4},
pages = {1186--1190},
year = {2022},
url = {https://doi.org/10.1109/TCAD.2021.3076958},
doi = {10.1109/TCAD.2021.3076958},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/ShanLCLC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/TariqSFSCLL21,
author = {Osama Bin Tariq and
Junnan Shan and
Georgios Floros and
Christos P. Sotiriou and
Mario R. Casu and
Mihai Teodor Lazarescu and
Luciano Lavagno},
title = {High-Level Annotation of Routing Congestion for Xilinx Vivado {HLS}
Designs},
journal = {{IEEE} Access},
volume = {9},
pages = {54286--54297},
year = {2021},
url = {https://doi.org/10.1109/ACCESS.2021.3067453},
doi = {10.1109/ACCESS.2021.3067453},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/TariqSFSCLL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/ShanLCLC21,
author = {Junnan Shan and
Mihai T. Lazarescu and
Jordi Cortadella and
Luciano Lavagno and
Mario R. Casu},
title = {CNN-on-AWS: Efficient Allocation of Multikernel Applications on Multi-FPGA
Platforms},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {40},
number = {2},
pages = {301--314},
year = {2021},
url = {https://doi.org/10.1109/TCAD.2020.2994256},
doi = {10.1109/TCAD.2020.2994256},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/ShanLCLC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jrtip/ArifBGILLMPS20,
author = {Arslan Arif and
Felipe A. Barrigon and
Francesco Gregoretti and
Javed Iqbal and
Luciano Lavagno and
Mihai Teodor Lazarescu and
Liang Ma and
Manuel Palomino and
Javier L. L. Segura},
title = {Performance and energy-efficient implementation of a smart city application
on FPGAs},
journal = {J. Real Time Image Process.},
volume = {17},
number = {3},
pages = {729--743},
year = {2020},
url = {https://doi.org/10.1007/s11554-018-0792-x},
doi = {10.1007/S11554-018-0792-X},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jrtip/ArifBGILLMPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcas/ShanLCLC20,
author = {Junnan Shan and
Mihai T. Lazarescu and
Jordi Cortadella and
Luciano Lavagno and
Mario R. Casu},
title = {Power-Optimal Mapping of {CNN} Applications to Cloud-Based Multi-FPGA
Platforms},
journal = {{IEEE} Trans. Circuits Syst.},
volume = {67-II},
number = {12},
pages = {3073--3077},
year = {2020},
url = {https://doi.org/10.1109/TCSII.2020.2998284},
doi = {10.1109/TCSII.2020.2998284},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcas/ShanLCLC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ShanCCLL19,
author = {Junnan Shan and
Mario R. Casu and
Jordi Cortadella and
Luciano Lavagno and
Mihai T. Lazarescu},
title = {Exact and Heuristic Allocation of Multi-kernel Applications to Multi-FPGA
Platforms},
booktitle = {Proceedings of the 56th Annual Design Automation Conference 2019,
{DAC} 2019, Las Vegas, NV, USA, June 02-06, 2019},
pages = {3},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3316781.3317821},
doi = {10.1145/3316781.3317821},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/ShanCCLL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpga/YangHWZ0GBLVWK19,
author = {Yifan Yang and
Qijing Huang and
Bichen Wu and
Tianjun Zhang and
Liang Ma and
Giulio Gambardella and
Michaela Blott and
Luciano Lavagno and
Kees A. Vissers and
John Wawrzynek and
Kurt Keutzer},
editor = {Kia Bazargan and
Stephen Neuendorffer},
title = {Synetgy: Algorithm-hardware Co-design for ConvNet Accelerators on
Embedded FPGAs},
booktitle = {Proceedings of the 2019 {ACM/SIGDA} International Symposium on Field-Programmable
Gate Arrays, {FPGA} 2019, Seaside, CA, USA, February 24-26, 2019},
pages = {23--32},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3289602.3293902},
doi = {10.1145/3289602.3293902},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpga/YangHWZ0GBLVWK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/huc/TariqLL19,
author = {Osama Bin Tariq and
Mihai Teodor Lazarescu and
Luciano Lavagno},
editor = {Robert Harle and
Katayoun Farrahi and
Nicholas D. Lane},
title = {Neural network-based indoor tag-less localization using capacitive
sensors},
booktitle = {Proceedings of the 2019 {ACM} International Joint Conference on Pervasive
and Ubiquitous Computing and Proceedings of the 2019 {ACM} International
Symposium on Wearable Computers, UbiComp/ISWC 2019 Adjunct, London,
UK, September 9-13, 2019},
pages = {9--12},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3341162.3343838},
doi = {10.1145/3341162.3343838},
timestamp = {Thu, 09 Jul 2020 09:13:39 +0200},
biburl = {https://dblp.org/rec/conf/huc/TariqLL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/RoozmehL18,
author = {Mehdi Roozmeh and
Luciano Lavagno},
title = {Design space exploration of multi-core {RTL} via high level synthesis
from OpenCL models},
journal = {Microprocess. Microsystems},
volume = {63},
pages = {199--208},
year = {2018},
url = {https://doi.org/10.1016/j.micpro.2018.09.009},
doi = {10.1016/J.MICPRO.2018.09.009},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/RoozmehL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tim/IqbalLTAL18,
author = {Javed Iqbal and
Mihai Teodor Lazarescu and
Osama Bin Tariq and
Arslan Arif and
Luciano Lavagno},
title = {Capacitive Sensor for Tagless Remote Human Identification Using Body
Frequency Absorption Signatures},
journal = {{IEEE} Trans. Instrum. Meas.},
volume = {67},
number = {4},
pages = {789--797},
year = {2018},
url = {https://doi.org/10.1109/TIM.2017.2789078},
doi = {10.1109/TIM.2017.2789078},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tim/IqbalLTAL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arc/MalakonakisGILP18,
author = {Pavlos Malakonakis and
Konstantinos Georgopoulos and
Aggelos Ioannou and
Luciano Lavagno and
Ioannis Papaefstathiou and
Iakovos Mavroidis},
editor = {Nikolaos S. Voros and
Michael H{\"{u}}bner and
Georgios Keramidas and
Diana Goehringer and
Christos P. Antonopoulos and
Pedro C. Diniz},
title = {{HLS} Algorithmic Explorations for {HPC} Execution on Reconfigurable
Hardware - {ECOSCALE}},
booktitle = {Applied Reconfigurable Computing. Architectures, Tools, and Applications
- 14th International Symposium, {ARC} 2018, Santorini, Greece, May
2-4, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10824},
pages = {724--736},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-78890-6\_58},
doi = {10.1007/978-3-319-78890-6\_58},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arc/MalakonakisGILP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpec/PalmieroGLC18,
author = {Christian Palmiero and
Giuseppe Di Guglielmo and
Luciano Lavagno and
Luca P. Carloni},
title = {Design and Implementation of a Dynamic Information Flow Tracking Architecture
to Secure a {RISC-V} Core for IoT Applications},
booktitle = {2018 {IEEE} High Performance Extreme Computing Conference, {HPEC}
2018, Waltham, MA, USA, September 25-27, 2018},
pages = {1--7},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/HPEC.2018.8547578},
doi = {10.1109/HPEC.2018.8547578},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/hpec/PalmieroGLC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-08634,
author = {Yifan Yang and
Qijing Huang and
Bichen Wu and
Tianjun Zhang and
Liang Ma and
Giulio Gambardella and
Michaela Blott and
Luciano Lavagno and
Kees A. Vissers and
John Wawrzynek and
Kurt Keutzer},
title = {Synetgy: Algorithm-hardware Co-design for ConvNet Accelerators on
Embedded FPGAs},
journal = {CoRR},
volume = {abs/1811.08634},
year = {2018},
url = {http://arxiv.org/abs/1811.08634},
eprinttype = {arXiv},
eprint = {1811.08634},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-08634.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/MuslimMRL17,
author = {Fahad Bin Muslim and
Liang Ma and
Mehdi Roozmeh and
Luciano Lavagno},
title = {Efficient {FPGA} Implementation of OpenCL High-Performance Computing
Applications via High-Level Synthesis},
journal = {{IEEE} Access},
volume = {5},
pages = {2747--2762},
year = {2017},
url = {https://doi.org/10.1109/ACCESS.2017.2671881},
doi = {10.1109/ACCESS.2017.2671881},
timestamp = {Wed, 15 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/MuslimMRL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/QamarMGLL17,
author = {Affaq Qamar and
Fahad Bin Muslim and
Francesco Gregoretti and
Luciano Lavagno and
Mihai Teodor Lazarescu},
title = {High-Level Synthesis for Semi-Global Matching: Is the Juice Worth
the Squeeze?},
journal = {{IEEE} Access},
volume = {5},
pages = {8419--8432},
year = {2017},
url = {https://doi.org/10.1109/ACCESS.2016.2635378},
doi = {10.1109/ACCESS.2016.2635378},
timestamp = {Wed, 04 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/QamarMGLL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/TariqLIL17,
author = {Osama Bin Tariq and
Mihai Teodor Lazarescu and
Javed Iqbal and
Luciano Lavagno},
title = {Performance of Machine Learning Classifiers for Indoor Person Localization
With Capacitive Sensors},
journal = {{IEEE} Access},
volume = {5},
pages = {12913--12926},
year = {2017},
url = {https://doi.org/10.1109/ACCESS.2017.2721538},
doi = {10.1109/ACCESS.2017.2721538},
timestamp = {Tue, 24 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/TariqLIL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/MaLLA17,
author = {Liang Ma and
Luciano Lavagno and
Mihai Teodor Lazarescu and
Arslan Arif},
title = {Acceleration by Inline Cache for Memory-Intensive Algorithms on {FPGA}
via High-Level Synthesis},
journal = {{IEEE} Access},
volume = {5},
pages = {18953--18974},
year = {2017},
url = {https://doi.org/10.1109/ACCESS.2017.2750923},
doi = {10.1109/ACCESS.2017.2750923},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/MaLLA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/QamarMIL17,
author = {Affaq Qamar and
Fahad Bin Muslim and
Javed Iqbal and
Luciano Lavagno},
title = {{LP-HLS:} Automatic power-intent generation for high-level synthesis
based hardware implementation flow},
journal = {Microprocess. Microsystems},
volume = {50},
pages = {26--38},
year = {2017},
url = {https://doi.org/10.1016/j.micpro.2017.02.002},
doi = {10.1016/J.MICPRO.2017.02.002},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/QamarMIL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwasi/IqbalLTL17,
author = {Javed Iqbal and
Mihai Teodor Lazarescu and
Osama Bin Tariq and
Luciano Lavagno},
title = {Long range, high sensitivity, low noise capacitive sensor for tagless
indoor human localization},
booktitle = {7th {IEEE} International Workshop on Advances in Sensors and Interfaces,
{IWASI} 2017, Vieste, Italy, June 15-16, 2017},
pages = {189--194},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/IWASI.2017.7974248},
doi = {10.1109/IWASI.2017.7974248},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwasi/IqbalLTL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/norchip/RoozmehL17,
author = {Mehdi Roozmeh and
Luciano Lavagno},
title = {Implementation of a performance optimized database join operation
on {FPGA-GPU} platforms using OpenCL},
booktitle = {{IEEE} Nordic Circuits and Systems Conference, {NORCAS} 2017: {NORCHIP}
and International Symposium of System-on-Chip (SoC), Link{\"{o}}ping,
Sweden, October 23-25, 2017},
pages = {1--6},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/NORCHIP.2017.8124981},
doi = {10.1109/NORCHIP.2017.8124981},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/norchip/RoozmehL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtsi/IqbalLAL17,
author = {Javed Iqbal and
Mihai Teodor Lazarescu and
Arslan Arif and
Luciano Lavagno},
title = {High sensitivity, low noise front-end for long range capacitive sensors
for tagless indoor human localization},
booktitle = {3rd {IEEE} International Forum on Research and Technologies for Society
and Industry, {RTSI} 2017, Modena, Italy, September 11-13, 2017},
pages = {1--6},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/RTSI.2017.8065966},
doi = {10.1109/RTSI.2017.8065966},
timestamp = {Wed, 13 Nov 2019 12:01:04 +0100},
biburl = {https://dblp.org/rec/conf/rtsi/IqbalLAL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/hwswco/LazarescuL17,
author = {Mihai Teodor Lazarescu and
Luciano Lavagno},
editor = {Soonhoi Ha and
J{\"{u}}rgen Teich},
title = {Wireless Sensor Networks},
booktitle = {Handbook of Hardware/Software Codesign},
pages = {1261--1302},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-94-017-7267-9\_38},
doi = {10.1007/978-94-017-7267-9\_38},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/hwswco/LazarescuL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/AntonopoulosACD16,
author = {Christos P. Antonopoulos and
Katerina Asimogloy and
Sarah Chiti and
Luca D'Onofrio and
Simone Gianfranceschi and
Danping He and
Antonio Iodice and
Stavros A. Koubias and
Christos Koulamas and
Luciano Lavagno and
Mihai T. Lazarescu and
Gabriel Mujica and
George D. Papadopoulos and
Jorge Portilla and
Luis M. Redondo and
Daniele Riccio and
Teresa Riesgo and
Daniel Rodr{\'{\i}}guez and
Giuseppe Ruello and
Vasilis Samoladas and
Tsenka Stoyanova and
Gerasimos Touliatos and
Angela Valvo and
Georgia Vlahoy},
title = {Integrated Toolset for {WSN} Application Planning, Development, Commissioning
and Maintenance: The {WSN-DPCM} {ARTEMIS-JU} Project},
journal = {Sensors},
volume = {16},
number = {6},
pages = {804},
year = {2016},
url = {https://doi.org/10.3390/s16060804},
doi = {10.3390/S16060804},
timestamp = {Wed, 22 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/AntonopoulosACD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/AkhmarehLTL16,
author = {Alireza Ramezani Akhmareh and
Mihai Teodor Lazarescu and
Osama Bin Tariq and
Luciano Lavagno},
title = {A Tagless Indoor Localization System Based on Capacitive Sensing Technology},
journal = {Sensors},
volume = {16},
number = {9},
pages = {1448},
year = {2016},
url = {https://doi.org/10.3390/s16091448},
doi = {10.3390/S16091448},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/AkhmarehLTL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/ButtRL16,
author = {Shahzad Ahmad Butt and
Mehdi Roozmeh and
Luciano Lavagno},
title = {Designing Parameterizable Hardware IPs in a Model-Based Design Environment
for High-Level Synthesis},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {15},
number = {2},
pages = {32:1--32:28},
year = {2016},
url = {https://doi.org/10.1145/2871737},
doi = {10.1145/2871737},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/ButtRL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/MavroidisPLNKGS16,
author = {Iakovos Mavroidis and
Ioannis Papaefstathiou and
Luciano Lavagno and
Dimitrios S. Nikolopoulos and
Dirk Koch and
John Goodacre and
Ioannis Sourdis and
Vassilis Papaefstathiou and
Marcello Coppola and
Manuel Palomino},
editor = {Luca Fanucci and
J{\"{u}}rgen Teich},
title = {{ECOSCALE:} Reconfigurable computing and runtime system for future
exascale systems},
booktitle = {2016 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2016, Dresden, Germany, March 14-18, 2016},
pages = {696--701},
publisher = {{IEEE}},
year = {2016},
url = {https://ieeexplore.ieee.org/document/7459398/},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/MavroidisPLNKGS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ems/MaML16,
author = {Liang Ma and
Fahad Bin Muslim and
Luciano Lavagno},
title = {High Performance and Low Power Monte Carlo Methods to Option Pricing
Models via High Level Design and Synthesis},
booktitle = {2016 European Modelling Symposium, {EMS} 2016, Pisa, Italy, November
28-30, 2016},
pages = {157--162},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/EMS.2016.036},
doi = {10.1109/EMS.2016.036},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ems/MaML16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/MuslimDMLQ16,
author = {Fahad Bin Muslim and
Alexandros Demian and
Liang Ma and
Luciano Lavagno and
Affaq Qamar},
editor = {Maria Ganzha and
Leszek A. Maciaszek and
Marcin Paprzycki},
title = {Energy-efficient {FPGA} Implementation of the k-Nearest Neighbors
Algorithm Using OpenCL},
booktitle = {Position Papers of the 2016 Federated Conference on Computer Science
and Information Systems, FedCSIS 2016, Gda{\'{n}}sk, Poland,
September 11-14, 2016},
series = {Annals of Computer Science and Information Systems},
volume = {9},
pages = {141--145},
year = {2016},
url = {https://doi.org/10.15439/2016F327},
doi = {10.15439/2016F327},
timestamp = {Tue, 23 Apr 2024 09:56:38 +0200},
biburl = {https://dblp.org/rec/conf/fedcsis/MuslimDMLQ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sj/PuggelliMLS15,
author = {Alberto Puggelli and
Mohammad Mostafizur Rahman Mozumdar and
Luciano Lavagno and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Routing-Aware Design of Indoor Wireless Sensor Networks Using an Interactive
Tool},
journal = {{IEEE} Syst. J.},
volume = {9},
number = {3},
pages = {714--727},
year = {2015},
url = {https://doi.org/10.1109/JSYST.2013.2287460},
doi = {10.1109/JSYST.2013.2287460},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sj/PuggelliMLS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcas/CannizzaroBCGL15,
author = {Marco Cannizzaro and
Salomon Beer and
Jordi Cortadella and
Ran Ginosar and
Luciano Lavagno},
title = {SafeRazor: Metastability-Robust Adaptive Clocking in Resilient Circuits},
journal = {{IEEE} Trans. Circuits Syst. {I} Regul. Pap.},
volume = {62-I},
number = {9},
pages = {2238--2247},
year = {2015},
url = {https://doi.org/10.1109/TCSI.2014.2365878},
doi = {10.1109/TCSI.2014.2365878},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcas/CannizzaroBCGL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/LazarescuL15,
author = {Mihai T. Lazarescu and
Luciano Lavagno},
title = {Interactive Trace-Based Analysis Toolset for Manual Parallelization
of {C} Programs},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {14},
number = {1},
pages = {13:1--13:20},
year = {2015},
url = {https://doi.org/10.1145/2638556},
doi = {10.1145/2638556},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/LazarescuL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/SayyahLBEPQRL15,
author = {Parinaz Sayyah and
Mihai T. Lazarescu and
Sara Bocchio and
Emad Samuel Malki Ebeid and
Gianluca Palermo and
Davide Quaglia and
Alberto Rosti and
Luciano Lavagno},
title = {Virtual Platform-Based Design Space Exploration of Power-Efficient
Distributed Embedded Applications},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {14},
number = {3},
pages = {49:1--49:25},
year = {2015},
url = {https://doi.org/10.1145/2723161},
doi = {10.1145/2723161},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/SayyahLBEPQRL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/CortadellaLLLMR15,
author = {Jordi Cortadella and
Luciano Lavagno and
Pedro Lopez and
Marc Lupon and
Alberto Moreno and
Antoni Roca and
Sachin S. Sapatnekar},
title = {Reactive clocks with variability-tracking jitter},
booktitle = {33rd {IEEE} International Conference on Computer Design, {ICCD} 2015,
New York City, NY, USA, October 18-21, 2015},
pages = {511--518},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICCD.2015.7357159},
doi = {10.1109/ICCD.2015.7357159},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccd/CortadellaLLLMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/softcom/MuslimQL15,
author = {Fahad Bin Muslim and
Affaq Qamar and
Luciano Lavagno},
editor = {Nikola Rozic and
Dinko Begusic and
Matko Saric and
Petar Solic},
title = {Low power methodology for an {ASIC} design flow based on high-level
synthesis},
booktitle = {23rd International Conference on Software, Telecommunications and
Computer Networks, SoftCOM 2015, Split, Croatia, September 16-18,
2015},
pages = {11--15},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/SOFTCOM.2015.7314103},
doi = {10.1109/SOFTCOM.2015.7314103},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/softcom/MuslimQL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/QamarML15,
author = {Affaq Qamar and
Fahad Bin Muslim and
Luciano Lavagno},
title = {Analysis and Implementation of the Semi-Global Matching 3D Vision
Algorithm Using Code Transformations and High-Level Synthesis},
booktitle = {{IEEE} 81st Vehicular Technology Conference, {VTC} Spring 2015, Glasgow,
United Kingdom, 11-14 May, 2015},
pages = {1--5},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/VTCSpring.2015.7145693},
doi = {10.1109/VTCSPRING.2015.7145693},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vtc/QamarML15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijdsn/KhanLPS14,
author = {Sarmad Ullah Khan and
Luciano Lavagno and
Claudio Pastrone and
Maurizio A. Spirito},
title = {Online Authentication and Key Establishment Scheme for Heterogeneous
Sensor Networks},
journal = {Int. J. Distributed Sens. Networks},
volume = {10},
year = {2014},
url = {https://doi.org/10.1155/2014/718286},
doi = {10.1155/2014/718286},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijdsn/KhanLPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijdsn/KhanPLS14,
author = {Sarmad Ullah Khan and
Claudio Pastrone and
Luciano Lavagno and
Maurizio A. Spirito},
title = {A Secure Online Key Establishment Scheme for Mobile Heterogeneous
Sensor Networks},
journal = {Int. J. Distributed Sens. Networks},
volume = {10},
year = {2014},
url = {https://doi.org/10.1155/2014/925479},
doi = {10.1155/2014/925479},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijdsn/KhanPLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jei/ButtMRL14,
author = {Shahzad Ahmad Butt and
St{\'{e}}phane Mancini and
Fr{\'{e}}d{\'{e}}ric Rousseau and
Luciano Lavagno},
title = {Design of a pseudo-log image transform hardware accelerator in a high-level
synthesis-based memory management framework},
journal = {J. Electronic Imaging},
volume = {23},
number = {5},
pages = {053012},
year = {2014},
url = {https://doi.org/10.1117/1.JEI.23.5.053012},
doi = {10.1117/1.JEI.23.5.053012},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jei/ButtMRL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/PosadasNPVBBCLLTGP14,
author = {H{\'{e}}ctor Posadas and
Alejandro Nicol{\'{a}}s and
Pablo Pe{\~{n}}il and
Eugenio Villar and
Florian Broekaert and
Michel Bourdell{\`{e}}s and
Albert Cohen and
Mihai T. Lazarescu and
Luciano Lavagno and
Andrei Sergeevich Terechko and
Miguel Glassee and
Manuel Prieto},
title = {Improving the design flow for parallel and heterogeneous architectures
running real-time applications: The {PHARAON} {FP7} project},
journal = {Microprocess. Microsystems},
volume = {38},
number = {8},
pages = {960--975},
year = {2014},
url = {https://doi.org/10.1016/j.micpro.2014.05.003},
doi = {10.1016/J.MICPRO.2014.05.003},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mam/PosadasNPVBBCLLTGP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/MozumdarSLS14,
author = {Mohammad Mozumdar and
Zhen Yu Song and
Luciano Lavagno and
Alberto L. Sangiovanni{-}Vincentelli},
title = {A Model-Based Approach for Bridging Virtual and Physical Sensor Nodes
in a Hybrid Simulation Framework},
journal = {Sensors},
volume = {14},
number = {6},
pages = {11070--11096},
year = {2014},
url = {https://doi.org/10.3390/s140611070},
doi = {10.3390/S140611070},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/MozumdarSLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/BeerCCGL14,
author = {Salomon Beer and
Marco Cannizzaro and
Jordi Cortadella and
Ran Ginosar and
Luciano Lavagno},
title = {Metastability in Better-Than-Worst-Case Designs},
booktitle = {20th {IEEE} International Symposium on Asynchronous Circuits and Systems,
{ASYNC} 2014, Potsdam, Germany, May 12-14, 2014},
pages = {101--102},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ASYNC.2014.21},
doi = {10.1109/ASYNC.2014.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/async/BeerCCGL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scopes/LazarescuCGLLPPTS14,
author = {Mihai T. Lazarescu and
Albert Cohen and
Adrien Guatto and
Nhat Minh L{\^{e}} and
Luciano Lavagno and
Antoniu Pop and
Manuel Prieto and
Andrei Sergeevich Terechko and
Alexandru Sutii},
editor = {Henk Corporaal and
Sander Stuijk},
title = {Energy-aware parallelization flow and toolset for {C} code},
booktitle = {17th International Workshop on Software and Compilers for Embedded
Systems, {SCOPES} '14, Sankt Goar, Germany, June 10-11, 2014},
pages = {79--88},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2609248.2609264},
doi = {10.1145/2609248.2609264},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scopes/LazarescuCGLLPPTS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/LavagnoLPBWKS13,
author = {Luciano Lavagno and
Mihai T. Lazarescu and
Ioannis Papaefstathiou and
Andreas Brokalakis and
Johan Walters and
Bart Kienhuis and
Florian Sch{\"{a}}fer},
title = {{HEAP:} {A} Highly Efficient Adaptive multi-Processor framework},
journal = {Microprocess. Microsystems},
volume = {37},
number = {8-C},
pages = {1050--1062},
year = {2013},
url = {https://doi.org/10.1016/j.micpro.2013.07.003},
doi = {10.1016/J.MICPRO.2013.07.003},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/LavagnoLPBWKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/KondratyevLMW13,
author = {Alex Kondratyev and
Luciano Lavagno and
Mike Meyer and
Yosinori Watanabe},
editor = {Enrico Macii},
title = {Share with care: a quantitative evaluation of sharing approaches in
high-level synthesis},
booktitle = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
March 18-22, 2013},
pages = {1547--1552},
publisher = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}},
year = {2013},
url = {https://doi.org/10.7873/DATE.2013.315},
doi = {10.7873/DATE.2013.315},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/KondratyevLMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/PosadasVBBCPLGLLTGCH13,
author = {Hector Posadas and
Eugenio Villar and
Florian Broekaert and
Michel Bourdell{\`{e}}s and
Albert Cohen and
Antoniu Pop and
Nhat Minh L{\^{e}} and
Adrien Guatto and
Mihai T. Lazarescu and
Luciano Lavagno and
Andrei Sergeevich Terechko and
Miguel Glassee and
Daniel Calvo and
Eduardo de las Heras},
title = {{EU} {FP7-288307} Pharaon Project: Parallel and Heterogeneous Architecture
for Real-Time Applications},
booktitle = {2013 Euromicro Conference on Digital System Design, {DSD} 2013, Los
Alamitos, CA, USA, September 4-6, 2013},
pages = {371--378},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/DSD.2013.47},
doi = {10.1109/DSD.2013.47},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/PosadasVBBCPLGLLTGCH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idt/ButtL13,
author = {Shahzad Ahmad Butt and
Luciano Lavagno},
title = {Design space exploration and synthesis for digital signal processing
algorithms from Simulink models},
booktitle = {8th International Design and Test Symposium, {IDT} 2013, Marrakesh,
Morocco, 16-18 December, 2013},
pages = {1--6},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/IDT.2013.6727109},
doi = {10.1109/IDT.2013.6727109},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/idt/ButtL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/im/KhanCEL13,
author = {Sarmad Ullah Khan and
Thibault Cholez and
Thomas Engel and
Luciano Lavagno},
editor = {Filip De Turck and
Yixin Diao and
Choong Seon Hong and
Deep Medhi and
Ramin Sadre},
title = {A key management scheme for Content Centric Networking},
booktitle = {2013 {IFIP/IEEE} International Symposium on Integrated Network Management
{(IM} 2013), Ghent, Belgium, May 27-31, 2013},
pages = {828--831},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6573089/},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/im/KhanCEL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rivp/ButtMRL13,
author = {Shahzad Ahmad Butt and
St{\'{e}}phane Mancini and
Fr{\'{e}}d{\'{e}}ric Rousseau and
Luciano Lavagno},
editor = {Nasser Kehtarnavaz and
Matthias F. Carlsohn},
title = {Design of a pseudo-log image transform {IP} in an HLS-based memory
management framework},
booktitle = {Real-Time Image and Video Processing 2013, Burlingame, CA, USA, February
6-7, 2013},
series = {{SPIE} Proceedings},
volume = {8656},
pages = {86560B},
publisher = {{SPIE}},
year = {2013},
url = {https://doi.org/10.1117/12.2004272},
doi = {10.1117/12.2004272},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rivp/ButtMRL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socc/SayyedLKR13,
author = {Ali Sayyed and
Luciano Lavagno and
Shah Khalid and
Najeeb Ur Rahman},
editor = {Norbert Schuhmann and
Kaijian Shi and
Nagi Naganathan},
title = {Implementation and performance analysis of variable latency adders},
booktitle = {2013 {IEEE} International {SOC} Conference, Erlangen, Germany, September
4-6, 2013},
pages = {267--272},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/SOCC.2013.6749699},
doi = {10.1109/SOCC.2013.6749699},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/socc/SayyedLKR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolpe/LavagnoH12,
author = {Luciano Lavagno and
Patrick Haspel},
title = {Selected Articles from the CDNLive! {EMEA} 2012 Conference},
journal = {J. Low Power Electron.},
volume = {8},
number = {5},
pages = {725},
year = {2012},
url = {https://doi.org/10.1166/jolpe.2012.1231},
doi = {10.1166/JOLPE.2012.1231},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolpe/LavagnoH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/CannizzaroL12,
author = {Marco Cannizzaro and
Luciano Lavagno},
editor = {Jens Spars{\o} and
Montek Singh and
Pascal Vivet},
title = {{PID} (Partial Inversion Data): An M-of-N Level-Encoded Transition
Signaling Protocol for Asynchronous Global Communication},
booktitle = {18th {IEEE} International Symposium on Asynchronous Circuits and Systems,
{ASYNC} 2012, Kgs. Lyngby, Denmark, May 7-9, 2012},
pages = {134--141},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ASYNC.2012.11},
doi = {10.1109/ASYNC.2012.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/async/CannizzaroL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/ButtL12,
author = {Shahzad Ahmad Butt and
Luciano Lavagno},
editor = {Ahmed Jerraya and
Luca P. Carloni and
Naehyuck Chang and
Franco Fummi},
title = {Designing parameterized signal processing ips for high level synthesis
in a model based design environment},
booktitle = {Proceedings of the 10th International Conference on Hardware/Software
Codesign and System Synthesis, {CODES+ISSS} 2012, part of ESWeek '12
Eighth Embedded Systems Week, Tampere, Finland, October 7-12, 2012},
pages = {295--304},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2380445.2380493},
doi = {10.1145/2380445.2380493},
timestamp = {Mon, 26 Nov 2018 12:14:45 +0100},
biburl = {https://dblp.org/rec/conf/codes/ButtL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/KondratyevLMW12,
author = {Alex Kondratyev and
Luciano Lavagno and
Mike Meyer and
Yosinori Watanabe},
editor = {Wolfgang Rosenstiel and
Lothar Thiele},
title = {Exploiting area/delay tradeoffs in high-level synthesis},
booktitle = {2012 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2012, Dresden, Germany, March 12-16, 2012},
pages = {1024--1029},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/DATE.2012.6176646},
doi = {10.1109/DATE.2012.6176646},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/KondratyevLMW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/MavroidisMPLLTS12,
author = {Iakovos Mavroidis and
Ioannis Mavroidis and
Ioannis Papaefstathiou and
Luciano Lavagno and
Mihai T. Lazarescu and
Eduardo de la Torre and
Florian Sch{\"{a}}fer},
title = {{FASTCUDA:} Open Source {FPGA} Accelerator {\&} Hardware-Software
Codesign Toolset for {CUDA} Kernels},
booktitle = {15th Euromicro Conference on Digital System Design, {DSD} 2012, Cesme,
Izmir, Turkey, September 5-8, 2012},
pages = {343--348},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/DSD.2012.58},
doi = {10.1109/DSD.2012.58},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/MavroidisMPLLTS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/LavagnoLPBWKS12,
author = {Luciano Lavagno and
Mihai T. Lazarescu and
Ioannis Papaefstathiou and
Andreas Brokalakis and
Johan Walters and
Bart Kienhuis and
Florian Sch{\"{a}}fer},
title = {{HEAP:} {A} Highly Efficient Adaptive Multi-processor Framework},
booktitle = {15th Euromicro Conference on Digital System Design, {DSD} 2012, Cesme,
Izmir, Turkey, September 5-8, 2012},
pages = {509--516},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/DSD.2012.71},
doi = {10.1109/DSD.2012.71},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/LavagnoLPBWKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccnc/PuggelliMSL12,
author = {Alberto Puggelli and
Mohammad Mostafizur Rahman Mozumdar and
Alberto L. Sangiovanni{-}Vincentelli and
Luciano Lavagno},
title = {A routing-algorithm-aware design tool for indoor wireless sensor networks},
booktitle = {International Conference on Computing, Networking and Communications,
{ICNC} 2012, Maui, HI, USA, January 30 - February 2, 2012},
pages = {964--969},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICCNC.2012.6167569},
doi = {10.1109/ICCNC.2012.6167569},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/iccnc/PuggelliMSL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/peccs/SongLTS12,
author = {Zhen Yu Song and
Luciano Lavagno and
Riccardo Tomasi and
Maurizio A. Spirito},
editor = {C{\'{e}}sar Benavente{-}Peces and
Falah H. Ali and
Joaquim Filipe},
title = {A Service-driven Development Tool for Wireless Sensor Network},
booktitle = {{PECCS} 2012 - Proceedings of the 2nd International Conference on
Pervasive Embedded Computing and Communication Systems, Rome, Italy,
24-26 February, 2012},
pages = {87--95},
publisher = {SciTePress},
year = {2012},
timestamp = {Sun, 06 May 2012 14:26:10 +0200},
biburl = {https://dblp.org/rec/conf/peccs/SongLTS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/LazarescuL12,
author = {Mihai T. Lazarescu and
Luciano Lavagno},
title = {Dynamic Trace-Based Data Dependency Analysis for Parallelization of
{C} Programs},
booktitle = {12th {IEEE} International Working Conference on Source Code Analysis
and Manipulation, {SCAM} 2012, Riva del Garda, Italy, September 23-24,
2012},
pages = {126--131},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SCAM.2012.15},
doi = {10.1109/SCAM.2012.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/LazarescuL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/procedia/KhanPLS12,
author = {Sarmad Ullah Khan and
Claudio Pastrone and
Luciano Lavagno and
Maurizio A. Spirito},
editor = {Elhadi M. Shakshuki and
Muhammad Younas},
title = {An Authentication and Key Establishment Scheme for the IP-Based Wireless
Sensor Networks},
booktitle = {Proceedings of the 3rd International Conference on Ambient Systems,
Networks and Technologies {(ANT} 2012), the 9th International Conference
on Mobile Web Information Systems (MobiWIS-2012), Niagara Falls, Ontario,
Canada, August 27-29, 2012},
series = {Procedia Computer Science},
volume = {10},
pages = {1039--1045},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.procs.2012.06.144},
doi = {10.1016/J.PROCS.2012.06.144},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/procedia/KhanPLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/LavagnoS11,
author = {Luciano Lavagno and
Montek Singh},
title = {Guest Editors' Introduction: Asynchronous Design Is Here to Stay (and
Is More Mainstream Than You Thought)},
journal = {{IEEE} Des. Test Comput.},
volume = {28},
number = {5},
pages = {4--6},
year = {2011},
url = {https://doi.org/10.1109/MDT.2011.110},
doi = {10.1109/MDT.2011.110},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/LavagnoS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/AndrikosL11,
author = {Nikolaos Andrikos and
Luciano Lavagno},
title = {Optimal and Heuristic Scheduling Algorithms for Asynchronous High-Level
Synthesis},
booktitle = {17th {IEEE} International Symposium on Asynchronous Circuits and Systems,
{ASYNC} 2011, Cornell University, Ithaca, New York, USA, 27-29 April
2011},
pages = {13--21},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASYNC.2011.18},
doi = {10.1109/ASYNC.2011.18},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/async/AndrikosL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccnc/PomanteSMOL11,
author = {Luigi Pomante and
Antonio Spinosi and
Mohammad Mostafizur Rahman Mozumdar and
Stefano Olivieri and
Luciano Lavagno},
title = {An extended framework for {WSN} applications},
booktitle = {2011 {IEEE} Consumer Communications and Networking Conference, {CCNC}
2011, Las Vegas, NV, 9-12 January, 2011},
pages = {965--966},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/CCNC.2011.5766651},
doi = {10.1109/CCNC.2011.5766651},
timestamp = {Mon, 15 Jun 2020 13:19:39 +0200},
biburl = {https://dblp.org/rec/conf/ccnc/PomanteSMOL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crisis/KhanPLS11,
author = {Sarmad Ullah Khan and
Claudio Pastrone and
Luciano Lavagno and
Maurizio A. Spirito},
editor = {Fr{\'{e}}d{\'{e}}ric Cuppens and
Simon N. Foley and
Bogdan Groza and
Marius Minea},
title = {An Energy and Memory-Efficient Key Management Scheme for Mobile Heterogeneous
Sensor Networks},
booktitle = {CRiSIS 2011, Proceedings of the Sixth International Conference on
Risks and Security of Internet and Systems, Timi{\c{s}}oara, Romania,
September 26-28, 2011},
pages = {25--32},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/CRiSIS.2011.6061832},
doi = {10.1109/CRISIS.2011.6061832},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/crisis/KhanPLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/KondratyevLMW11,
author = {Alex Kondratyev and
Luciano Lavagno and
Mike Meyer and
Yosinori Watanabe},
title = {Realistic performance-constrained pipelining in high-level synthesis},
booktitle = {Design, Automation and Test in Europe, {DATE} 2011, Grenoble, France,
March 14-18, 2011},
pages = {1382--1387},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/DATE.2011.5763223},
doi = {10.1109/DATE.2011.5763223},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/KondratyevLMW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/norchip/ButtL11,
author = {Shahzad Ahmad Butt and
Luciano Lavagno},
title = {Model-based rapid prototyping of multirate digital signal processing
algorithms},
booktitle = {2011 NORCHIP, Lund, Sweden, November 14-15, 2011},
pages = {1--4},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/NORCHP.2011.6126736},
doi = {10.1109/NORCHP.2011.6126736},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/norchip/ButtL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolpe/AndrikosLCP10,
author = {Nikolaos Andrikos and
Luciano Lavagno and
Fabio Campi and
Davide Pandini},
title = {Improving Electro-Magnetic Interference of Embedded Systems Through
Jittered-Delay Desynchronization},
journal = {J. Low Power Electron.},
volume = {6},
number = {4},
pages = {607--615},
year = {2010},
url = {https://doi.org/10.1166/jolpe.2010.1110},
doi = {10.1166/JOLPE.2010.1110},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolpe/AndrikosLCP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/CabodiLMKW10,
author = {Gianpiero Cabodi and
Luciano Lavagno and
Marco Murciano and
Alex Kondratyev and
Yosinori Watanabe},
title = {Speeding-up heuristic allocation, scheduling and binding with SAT-based
abstraction/refinement techniques},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {15},
number = {2},
pages = {12:1--12:34},
year = {2010},
url = {https://doi.org/10.1145/1698759.1698762},
doi = {10.1145/1698759.1698762},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/todaes/CabodiLMKW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/LavagnoKWZFTN10,
author = {Luciano Lavagno and
Alex Kondratyev and
Yosinori Watanabe and
Qiang Zhu and
Mototsugu Fujii and
Mitsuru Tatesawa and
Noriyasu Nakayama},
title = {Incremental high-level synthesis},
booktitle = {Proceedings of the 15th Asia South Pacific Design Automation Conference,
{ASP-DAC} 2010, Taipei, Taiwan, January 18-21, 2010},
pages = {701--706},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ASPDAC.2010.5419798},
doi = {10.1109/ASPDAC.2010.5419798},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/LavagnoKWZFTN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csndsp/AnwarL10,
author = {Anwar Al{-}Khateeb and
Luciano Lavagno},
editor = {Zabih Ghassemlooy and
Wai Pang Ng},
title = {Energy and throughput optimization of a Zigbee-compatible {MAC} protocol
for wireless sensor networks},
booktitle = {Proceedings of the 7th International Symposium on Communication Systems
Networks and Digital Signal Processing, {CSNDSP} 2010, University
of Northumbria at Newcastle, UK, 21-23 July 2010},
pages = {305--310},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/CSNDSP16145.2010.5580414},
doi = {10.1109/CSNDSP16145.2010.5580414},
timestamp = {Sun, 08 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csndsp/AnwarL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/AnwarKLL10,
author = {Anwar Al{-}Khateeb and
Jun Kyoung Kim and
Luciano Lavagno and
Mihai T. Lazarescu},
title = {Energy optimization at the {MAC} layer for a forest fire monitoring
wireless sensor network},
booktitle = {Proceedings of 15th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2010, September 13-16, 2010, Bilbao,
Spain},
pages = {1--4},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ETFA.2010.5641130},
doi = {10.1109/ETFA.2010.5641130},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/AnwarKLL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icumt/PomanteSMOL10,
author = {Luigi Pomante and
Antonio Spinosi and
Mohammad Mostafizur Rahman Mozumdar and
Stefano Olivieri and
Luciano Lavagno},
title = {An extended framework for the development of {WSN} applications},
booktitle = {Proceedings of the International Conference on Ultra Modern Telecommunications,
{ICUMT} 2010, 18-20 October 2010, Moscow, Russia},
pages = {745--749},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ICUMT.2010.5676553},
doi = {10.1109/ICUMT.2010.5676553},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/icumt/PomanteSMOL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipsn/AnwarL10,
author = {Anwar Al{-}Khateeb and
Luciano Lavagno},
editor = {Tarek F. Abdelzaher and
Thiemo Voigt and
Adam Wolisz},
title = {Energy optimization framework for {WSN} design},
booktitle = {Proceedings of the 9th International Conference on Information Processing
in Sensor Networks, {IPSN} 2010, April 12-16, 2010, Stockholm, Sweden},
pages = {368--369},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1791212.1791258},
doi = {10.1145/1791212.1791258},
timestamp = {Tue, 06 Nov 2018 16:59:08 +0100},
biburl = {https://dblp.org/rec/conf/ipsn/AnwarL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcn/AnwarL10,
author = {Anwar Al{-}Khateeb and
Luciano Lavagno},
title = {{MEOW:} Model-based design of an energy-optimized protocol stack for
wireless sensor networks},
booktitle = {The 35th Annual {IEEE} Conference on Local Computer Networks, {LCN}
2010, 10-14 October 2010, Denver, Colorado, USA, Proceedings},
pages = {590--597},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LCN.2010.5735778},
doi = {10.1109/LCN.2010.5735778},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lcn/AnwarL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/MozumdarLVS10,
author = {Mohammad Mostafizur Rahman Mozumdar and
Luciano Lavagno and
Laura Vanzago and
Alberto L. Sangiovanni{-}Vincentelli},
title = {{HILAC:} {A} framework for Hardware In the Loop simulation and multi-platform
Automatic Code Generation of {WSN} Applications},
booktitle = {{IEEE} Fifth International Symposium on Industrial Embedded Systems,
{SIES} 2010, University of Trento, Italy, July 7-9, 2010},
pages = {88--97},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/SIES.2010.5551370},
doi = {10.1109/SIES.2010.5551370},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/MozumdarLVS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simutools/SongMTLTO10,
author = {Zhen Yu Song and
Mohammad Mostafizur Rahman Mozumdar and
Maurizio Tranchero and
Luciano Lavagno and
Riccardo Tomasi and
Stefano Olivieri},
editor = {L. Felipe Perrone and
Giovanni Stea and
Jason Liu and
Adelinde M. Uhrmacher and
Manuel Vill{\'{e}}n{-}Altamirano},
title = {Hy-Sim: model based hybrid simulation framework for {WSN} application
development},
booktitle = {3rd International Conference on Simulation Tools and Techniques, SIMUTools
'10, Malaga, Spain - March 16 - 18, 2010},
pages = {87},
publisher = {{ICST/ACM}},
year = {2010},
url = {https://doi.org/10.4108/ICST.SIMUTOOLS2010.8662},
doi = {10.4108/ICST.SIMUTOOLS2010.8662},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/simutools/SongMTLTO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jnw/MozumdarNGLV09,
author = {Mohammad Mostafizur Rahman Mozumdar and
Guofang Nan and
Francesco Gregoretti and
Luciano Lavagno and
Laura Vanzago},
title = {An Efficient Data Aggregation Algorithm for Cluster-based Sensor Network},
journal = {J. Networks},
volume = {4},
number = {7},
pages = {598--606},
year = {2009},
url = {https://doi.org/10.4304/jnw.4.7.598-606},
doi = {10.4304/JNW.4.7.598-606},
timestamp = {Tue, 15 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jnw/MozumdarNGLV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/MozumdarLV09,
author = {Mohammad Mostafizur Rahman Mozumdar and
Luciano Lavagno and
Laura Vanzago},
title = {A comparison of software platforms for wireless sensor networks: MANTIS,
TinyOS, and ZigBee},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {8},
number = {2},
pages = {12:1--12:23},
year = {2009},
url = {https://doi.org/10.1145/1457255.1457264},
doi = {10.1145/1457255.1457264},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/MozumdarLV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/TuncerCL09,
author = {Emre Tuncer and
Jordi Cortadella and
Luciano Lavagno},
title = {Enabling adaptability through elastic clocks},
booktitle = {Proceedings of the 46th Design Automation Conference, {DAC} 2009,
San Francisco, CA, USA, July 26-31, 2009},
pages = {8--10},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1629911.1629916},
doi = {10.1145/1629911.1629916},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/TuncerCL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wd/Al-KhateebBL09,
author = {Anwar Al{-}Khateeb and
Noureddine Boujnah and
Luciano Lavagno},
title = {Efficient energy consumption and node distribution algorithm of 802.15.4
physical layer for {WSN}},
booktitle = {2nd {IFIP} Wireless Days, {WD} 2009, Paris, France, December 15-17,
2009},
pages = {1--6},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/WD.2009.5449673},
doi = {10.1109/WD.2009.5449673},
timestamp = {Mon, 09 Aug 2021 14:54:04 +0200},
biburl = {https://dblp.org/rec/conf/wd/Al-KhateebBL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/zurawski2009/LavagnoP09,
author = {Luciano Lavagno and
Claudio Passerone},
editor = {Richard Zurawski},
title = {Design of Embedded Systems},
booktitle = {Embedded Systems Design and Verification - Volume 1 of the Embedded
Systems Handbook},
pages = {2},
publisher = {{CRC} Press},
year = {2009},
url = {https://doi.org/10.1201/9781439807637.ch2},
doi = {10.1201/9781439807637.CH2},
timestamp = {Tue, 16 May 2017 14:01:47 +0200},
biburl = {https://dblp.org/rec/books/crc/zurawski2009/LavagnoP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CarmonaCKKLY08,
author = {Josep Carmona and
Jordi Cortadella and
Michael Kishinevsky and
Alex Kondratyev and
Luciano Lavagno and
Alexandre Yakovlev},
editor = {Kees M. van Hee and
R{\"{u}}diger Valk},
title = {A Symbolic Algorithm for the Synthesis of Bounded Petri Nets},
booktitle = {Applications and Theory of Petri Nets, 29th International Conference,
{PETRI} {NETS} 2008, Xi'an, China, June 23-27, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5062},
pages = {92--111},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68746-7\_10},
doi = {10.1007/978-3-540-68746-7\_10},
timestamp = {Thu, 09 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/CarmonaCKKLY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/MozumdarGLV08,
author = {Mohammad Mostafizur Rahman Mozumdar and
Francesco Gregoretti and
Luciano Lavagno and
Laura Vanzago},
title = {Porting application between wireless sensor network software platforms:
TinyOS, {MANTIS} and ZigBee},
booktitle = {Proceedings of 13th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2008, September 15-18, 2008, Hamburg,
Germany},
pages = {1145--1148},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ETFA.2008.4638541},
doi = {10.1109/ETFA.2008.4638541},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/MozumdarGLV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsnc/MozumdarGLV08,
author = {Mohammad Mostafizur Rahman Mozumdar and
Francesco Gregoretti and
Luciano Lavagno and
Laura Vanzago},
title = {An Algorithm for Selecting the Cluster Leader in a Partially Connected
Sensor Network},
booktitle = {3rd International Conference on Systems and Networks Communications,
{ICSNC} 2008, Sliema, Malta, October 26-31, 2008},
pages = {133--138},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICSNC.2008.50},
doi = {10.1109/ICSNC.2008.50},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsnc/MozumdarGLV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secon/MozumdarGLVO08,
author = {Mohammad Mostafizur Rahman Mozumdar and
Francesco Gregoretti and
Luciano Lavagno and
Laura Vanzago and
Stefano Olivieri},
title = {A Framework for Modeling, Simulation and Automatic Code Generation
of Sensor Network Application},
booktitle = {Proceedings of the Fifth Annual {IEEE} Communications Society Conference
on Sensor, Mesh and Ad Hoc Communications and Networks, {SECON} 2008,
June 16-20, 2008, Crowne Plaza, San Francisco International Airport,
California, {USA}},
pages = {515--522},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/SAHCN.2008.68},
doi = {10.1109/SAHCN.2008.68},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/secon/MozumdarGLVO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fteda/TaubinCLLKP07,
author = {Alexander Taubin and
Jordi Cortadella and
Luciano Lavagno and
Alex Kondratyev and
Ad M. G. Peeters},
title = {Design Automation of Real-Life Asynchronous Devices and Systems},
journal = {Found. Trends Electron. Des. Autom.},
volume = {2},
number = {1},
pages = {1--133},
year = {2007},
url = {https://doi.org/10.1561/1000000006},
doi = {10.1561/1000000006},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fteda/TaubinCLLKP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AndrikosLPS07,
author = {Nikolaos Andrikos and
Luciano Lavagno and
Davide Pandini and
Christos P. Sotiriou},
title = {A Fully-Automated Desynchronization Flow for Synchronous Circuits},
booktitle = {Proceedings of the 44th Design Automation Conference, {DAC} 2007,
San Diego, CA, USA, June 4-8, 2007},
pages = {982--985},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1145/1278480.1278722},
doi = {10.1145/1278480.1278722},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/AndrikosLPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcnc/NecchiBLSV07,
author = {Luca Necchi and
Alvise Bonivento and
Luciano Lavagno and
Alberto L. Sangiovanni{-}Vincentelli and
Laura Vanzago},
title = {{E2RINA:} an Energy Efficient and Reliable In-Network Aggregation
for Clustered Wireless Sensor Networks},
booktitle = {{IEEE} Wireless Communications and Networking Conference, {WCNC} 2007,
Hong Kong, China, 11-15 March, 2007},
pages = {3364--3369},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/WCNC.2007.619},
doi = {10.1109/WCNC.2007.619},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/wcnc/NecchiBLSV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/CortadellaKLS06,
author = {Jordi Cortadella and
Alex Kondratyev and
Luciano Lavagno and
Christos P. Sotiriou},
title = {Desynchronization: Synthesis of Asynchronous Circuits From Synchronous
Specifications},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {25},
number = {10},
pages = {1904--1921},
year = {2006},
url = {https://doi.org/10.1109/TCAD.2005.860958},
doi = {10.1109/TCAD.2005.860958},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/CortadellaKLS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/NecchiLPV06,
author = {Luca Necchi and
Luciano Lavagno and
Davide Pandini and
Laura Vanzago},
title = {An ultra-low energy asynchronous processor for Wireless Sensor Networks},
booktitle = {12th {IEEE} International Symposium on Asynchronous Circuits and Systems
{(ASYNC} 2006), 13-15 March 2006, Grenoble, France},
pages = {78--85},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ASYNC.2006.9},
doi = {10.1109/ASYNC.2006.9},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/async/NecchiLPV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/RosaLP05,
author = {Alberto La Rosa and
Luciano Lavagno and
Claudio Passerone},
title = {Software Development for High-Performance, Reconfigurable, Embedded
Multimedia Systems},
journal = {{IEEE} Des. Test Comput.},
volume = {22},
number = {1},
pages = {28--38},
year = {2005},
url = {https://doi.org/10.1109/MDT.2005.20},
doi = {10.1109/MDT.2005.20},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/RosaLP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/CabodiKLNQW05,
author = {Gianpiero Cabodi and
Alex Kondratyev and
Luciano Lavagno and
Sergio Nocco and
Stefano Quer and
Yosinori Watanabe},
title = {A BMC-based formulation for the scheduling problem of hardware systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {2},
pages = {102--117},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0170-9},
doi = {10.1007/S10009-004-0170-9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/CabodiKLNQW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/RosaLP05,
author = {Alberto La Rosa and
Luciano Lavagno and
Claudio Passerone},
title = {Implementation of a {UMTS} turbo decoder on a dynamically reconfigurable
platform},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {24},
number = {1},
pages = {100--106},
year = {2005},
url = {https://doi.org/10.1109/TCAD.2004.839466},
doi = {10.1109/TCAD.2004.839466},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/RosaLP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/CortadellaKLPW05,
author = {Jordi Cortadella and
Alex Kondratyev and
Luciano Lavagno and
Claudio Passerone and
Yosinori Watanabe},
title = {Quasi-static scheduling of independent tasks for reactive systems},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {24},
number = {10},
pages = {1492--1514},
year = {2005},
url = {https://doi.org/10.1109/TCAD.2005.852038},
doi = {10.1109/TCAD.2005.852038},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/CortadellaKLPW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/CaspiSABBBCDEFGKLLLLMPPSSSTVWWWY05,
author = {Paul Caspi and
Alberto L. Sangiovanni{-}Vincentelli and
Lu{\'{\i}}s Almeida and
Albert Benveniste and
Bruno Bouyssounouse and
Giorgio C. Buttazzo and
Ivica Crnkovic and
Werner Damm and
Jakob Engblom and
Gerhard Fohler and
Marisol Garc{\'{\i}}a{-}Valls and
Hermann Kopetz and
Yassine Lakhnech and
Fran{\c{c}}ois Laroussinie and
Luciano Lavagno and
Giuseppe Lipari and
Florence Maraninchi and
Philipp Peti and
Juan Antonio de la Puente and
Norman Scaife and
Joseph Sifakis and
Robert de Simone and
Martin T{\"{o}}rngren and
Paulo Ver{\'{\i}}ssimo and
Andy J. Wellings and
Reinhard Wilhelm and
Tim A. C. Willemse and
Wang Yi},
title = {Guidelines for a graduate curriculum on embedded software and systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {3},
pages = {587--611},
year = {2005},
url = {https://doi.org/10.1145/1086519.1086526},
doi = {10.1145/1086519.1086526},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/CaspiSABBBCDEFGKLLLLMPPSSSTVWWWY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/LavagnoPSW05,
author = {Luciano Lavagno and
Claudio Passerone and
Vishal Shah and
Yosinori Watanabe},
title = {A Time Slice Based Scheduler Model for System Level Design},
booktitle = {2005 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2005), 7-11 March 2005, Munich, Germany},
pages = {378--383},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/DATE.2005.41},
doi = {10.1109/DATE.2005.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/LavagnoPSW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/IIR2005/LavagnoP05,
author = {Luciano Lavagno and
Claudio Passerone},
editor = {Richard Zurawski},
title = {Design of Embedded Systems},
booktitle = {The Industrial Information Technology Handbook},
pages = {1--14},
publisher = {{CRC} Press},
year = {2005},
timestamp = {Fri, 04 Mar 2005 13:41:15 +0100},
biburl = {https://dblp.org/rec/books/crc/IIR2005/LavagnoP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/crc/LavagnoP05,
author = {Luciano Lavagno and
Claudio Passerone},
editor = {Richard Zurawski},
title = {Design of Embedded Systems},
booktitle = {Embedded Systems Handbook},
publisher = {{CRC} Press},
year = {2005},
url = {https://doi.org/10.1201/9781420038163.ch3},
doi = {10.1201/9781420038163.CH3},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/crc/LavagnoP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/crc/LavagnoPKW05,
author = {Luciano Lavagno and
Claudio Passerone and
Alex Kondratyev and
Yosinori Watanabe},
editor = {Richard Zurawski},
title = {Quasi-Static Scheduling of Concurrent Specifications},
booktitle = {Embedded Systems Handbook},
publisher = {{CRC} Press},
year = {2005},
url = {https://doi.org/10.1201/9781420038163.ch13},
doi = {10.1201/9781420038163.CH13},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/crc/LavagnoPKW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/crc/LavagnoZ05,
author = {Luciano Lavagno and
Richard Zurawski},
editor = {Richard Zurawski},
title = {Embedded Systems},
booktitle = {Embedded Systems Handbook},
publisher = {{CRC} Press},
year = {2005},
url = {https://doi.org/10.1201/9781420038163.ch1},
doi = {10.1201/9781420038163.CH1},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/crc/LavagnoZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/Lavagno04,
author = {Luciano Lavagno},
title = {{DAC} Highlights},
journal = {{IEEE} Des. Test Comput.},
volume = {21},
number = {3},
pages = {259--260},
year = {2004},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/Lavagno04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CortadellaKLTW04,
author = {Jordi Cortadella and
Alex Kondratyev and
Luciano Lavagno and
Alexander Taubin and
Yosinori Watanabe},
title = {Quasi-static Scheduling for Concurrent Architectures},
journal = {Fundam. Informaticae},
volume = {62},
number = {2},
pages = {171--196},
year = {2004},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi62-2-03},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CortadellaKLTW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvlsi/BlunnoL04,
author = {Ivan Blunno and
Luciano Lavagno},
title = {Designing an asynchronous microcontroller using Pipefitter},
journal = {{IEEE} Trans. Very Large Scale Integr. Syst.},
volume = {12},
number = {7},
pages = {696--699},
year = {2004},
url = {https://doi.org/10.1109/TVLSI.2004.830924},
doi = {10.1109/TVLSI.2004.830924},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tvlsi/BlunnoL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/BlunnoCKLLS04,
author = {Ivan Blunno and
Jordi Cortadella and
Alex Kondratyev and
Luciano Lavagno and
Kelvin Lwin and
Christos P. Sotiriou},
title = {Handshake Protocols for De-Synchronization},
booktitle = {10th International Symposium on Advanced Research in Asynchronous
Circuits and Systems {(ASYNC} 2004), 19-23 April 2004, Crete, Greece},
pages = {149--158},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ASYNC.2004.1299296},
doi = {10.1109/ASYNC.2004.1299296},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/async/BlunnoCKLLS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/BrunelNFGL04,
author = {Jean{-}Yves Brunel and
Marco Di Natale and
Alberto Ferrari and
Paolo Giusto and
Luciano Lavagno},
title = {SoftContract: an Assertion-Based Software Development Process that
Enables Design-by-Contract},
booktitle = {2004 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2004), 16-20 February 2004, Paris, France},
pages = {358--363},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/DATE.2004.1268873},
doi = {10.1109/DATE.2004.1268873},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/BrunelNFGL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/RosaPGL04,
author = {Alberto La Rosa and
Claudio Passerone and
Francesco Gregoretti and
Luciano Lavagno},
title = {Implementation of a {UMTS} Turbo-Decoder on a Dynamically Reconfigurable
Platform},
booktitle = {2004 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2004), 16-20 February 2004, Paris, France},
pages = {1218--1223},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/DATE.2004.1269062},
doi = {10.1109/DATE.2004.1269062},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/RosaPGL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CortadellaKLLS04,
author = {Jordi Cortadella and
Alex Kondratyev and
Luciano Lavagno and
Kelvin Lwin and
Christos P. Sotiriou},
title = {From Synchronous to Asynchronous: An Automatic Approach},
booktitle = {2004 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2004), 16-20 February 2004, Paris, France},
pages = {1368--1369},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/DATE.2004.1269092},
doi = {10.1109/DATE.2004.1269092},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/CortadellaKLLS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/CortadellaKLS04,
author = {Jordi Cortadella and
Alex Kondratyev and
Luciano Lavagno and
Christos P. Sotiriou},
title = {Coping with The Variability of Combinational Logic Delays},
booktitle = {22nd {IEEE} International Conference on Computer Design: {VLSI} in
Computers {\&} Processors {(ICCD} 2004), 11-13 October 2004, San
Jose, CA, USA, Proceedings},
pages = {505--508},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICCD.2004.1347969},
doi = {10.1109/ICCD.2004.1347969},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/CortadellaKLS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/LavagnoNFG04,
author = {Luciano Lavagno and
Marco Di Natale and
Alberto Ferrari and
Paolo Giusto},
editor = {Nuno Jardim Nunes and
Bran Selic and
Alberto Rodrigues da Silva and
Jos{\'{e}} Ambrosio Toval {\'{A}}lvarez},
title = {SoftContract: Model-Based Design of Error-Checking Code and Property
Monitors},
booktitle = {{UML} Modeling Languages and Applications, {\guillemotleft}UML{\guillemotright}
2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3297},
pages = {150--162},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31797-5\_16},
doi = {10.1007/978-3-540-31797-5\_16},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/uml/LavagnoNFG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cases/2004,
editor = {Mary Jane Irwin and
Wei Zhao and
Luciano Lavagno and
Scott A. Mahlke},
title = {Proceedings of the 2004 International Conference on Compilers, Architecture,
and Synthesis for Embedded Systems, {CASES} 2004, Washington DC, USA,
September 22 - 25, 2004},
publisher = {{ACM}},
year = {2004},
isbn = {1-58113-890-3},
timestamp = {Wed, 15 Feb 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cases/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BalarinWHLPS03,
author = {Felice Balarin and
Yosinori Watanabe and
Harry Hsieh and
Luciano Lavagno and
Claudio Passerone and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Metropolis: An Integrated Electronic System Design Environment},
journal = {Computer},
volume = {36},
number = {4},
pages = {45--52},
year = {2003},
url = {https://doi.org/10.1109/MC.2003.1193228},
doi = {10.1109/MC.2003.1193228},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BalarinWHLPS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/LavagnoF03,
author = {Luciano Lavagno and
Limor Fix},
title = {{DAC} Highlights},
journal = {{IEEE} Des. Test Comput.},
volume = {20},
number = {3},
pages = {88--89},
year = {2003},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/LavagnoF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/Sangiovanni-VincentelliL03,
author = {Alberto L. Sangiovanni{-}Vincentelli and
Luciano Lavagno},
title = {Guest Editors' Introduction: Trends and Directions in Microelectronics},
journal = {{IEEE} Micro},
volume = {23},
number = {3},
pages = {6--7},
year = {2003},
url = {https://doi.org/10.1109/MM.2003.1209461},
doi = {10.1109/MM.2003.1209461},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/micro/Sangiovanni-VincentelliL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/BlaauwL03,
author = {David T. Blaauw and
Luciano Lavagno},
title = {Guest Editorial},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {22},
number = {8},
pages = {962--963},
year = {2003},
url = {https://doi.org/10.1109/TCAD.2003.816086},
doi = {10.1109/TCAD.2003.816086},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/BlaauwL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/CortadellaKLW03,
author = {Jordi Cortadella and
Alex Kondratyev and
Luciano Lavagno and
Yosinori Watanabe},
title = {Quasi-Static Scheduling for Concurrent Architectures},
booktitle = {3rd International Conference on Application of Concurrency to System
Design {(ACSD} 2003), 18-20 June 2003, Guimaraes, Portugal},
pages = {29--40},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/CSD.2003.1207697},
doi = {10.1109/CSD.2003.1207697},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/CortadellaKLW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/RosaLP03,
author = {Alberto La Rosa and
Luciano Lavagno and
Claudio Passerone},
title = {Hardware/Software Design Space Exploration for a Reconfigurable Processor},
booktitle = {2003 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2003), 3-7 March 2003, Munich, Germany},
pages = {10570--10575},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.ieeecomputersociety.org/10.1109/DATE.2003.10210},
doi = {10.1109/DATE.2003.10210},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/RosaLP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/VanzagoBCL03,
author = {Laura Vanzago and
Bishnupriya Bhattacharya and
Joel Cambonie and
Luciano Lavagno},
title = {Design Space Exploration for a Wireless Protocol on a Reconfigurable
Platform},
booktitle = {2003 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2003), 3-7 March 2003, Munich, Germany},
pages = {10662--10667},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.ieeecomputersociety.org/10.1109/DATE.2003.10139},
doi = {10.1109/DATE.2003.10139},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/VanzagoBCL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/CampiCGLTRLPC03,
author = {Fabio Campi and
Andrea Cappelli and
Roberto Guerrieri and
Andrea Lodi and
Mario Toma and
Alberto La Rosa and
Luciano Lavagno and
Claudio Passerone and
Roberto Canegallo},
title = {A Reconfigurable Processor Architecture and Software Development Environment
for Embedded Systems},
booktitle = {17th International Parallel and Distributed Processing Symposium {(IPDPS}
2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings},
pages = {171},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/IPDPS.2003.1213314},
doi = {10.1109/IPDPS.2003.1213314},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/CampiCGLTRLPC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CabodiNQKLW03,
author = {Gianpiero Cabodi and
Sergio Nocco and
Stefano Quer and
Alex Kondratyev and
Luciano Lavagno and
Yosinori Watanabe},
editor = {Ofer Strichman and
Armin Biere},
title = {A BMC-formulation for the scheduling problem in highly constrained
hardware Systems},
booktitle = {First International Workshop on Bounded Model Checking, BMC@CAV 2003,
Boulder, Colorado, USA, July 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {4},
pages = {623--638},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82547-2},
doi = {10.1016/S1571-0661(05)82547-2},
timestamp = {Tue, 13 Dec 2022 11:40:46 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CabodiNQKLW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/03/ChenSLMSR03,
author = {Rong Chen and
Marco Sgroi and
Luciano Lavagno and
Grant Martin and
Alberto L. Sangiovanni{-}Vincentelli and
Jan M. Rabaey},
editor = {Luciano Lavagno and
Grant Martin and
Bran Selic},
title = {{UML} and Platform-based Design},
booktitle = {{UML} for Real - Design of Embedded Real-Time Systems},
pages = {107--126},
publisher = {Kluwer},
year = {2003},
url = {https://doi.org/10.1007/0-306-48738-1\_5},
doi = {10.1007/0-306-48738-1\_5},
timestamp = {Tue, 20 Aug 2019 14:51:08 +0200},
biburl = {https://dblp.org/rec/books/sp/03/ChenSLMSR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/03/LMS2003,
editor = {Luciano Lavagno and
Grant Martin and
Bran Selic},
title = {{UML} for Real - Design of Embedded Real-Time Systems},
publisher = {Kluwer},
year = {2003},
url = {https://doi.org/10.1007/b105972},
doi = {10.1007/B105972},
isbn = {978-1-4020-7501-8},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/03/LMS2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/BlaauwL02,
author = {David T. Blaauw and
Luciano Lavagno},
title = {Guest Editors' Introduction: Hot Topics at This Year's Design Automation
Conference},
journal = {{IEEE} Des. Test Comput.},
volume = {19},
number = {4},
pages = {72--73},
year = {2002},
url = {https://doi.org/10.1109/MDT.2002.1018135},
doi = {10.1109/MDT.2002.1018135},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/BlaauwL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieiceta/SaitoKCLYN02,
author = {Hiroshi Saito and
Alex Kondratyev and
Jordi Cortadella and
Luciano Lavagno and
Alex Yakovlev and
Takashi Nanya},
title = {Design of Asynchronous Controllers with Delay Insensitive Interface},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {85-A},
number = {12},
pages = {2577--2585},
year = {2002},
url = {http://search.ieice.org/bin/summary.php?id=e85-a\_12\_2577},
timestamp = {Wed, 09 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieiceta/SaitoKCLYN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/Lavagno02,
author = {Luciano Lavagno},
title = {Guest Editor?s Introduction: Systems on a Chip--The Next Electronic
Frontier},
journal = {{IEEE} Micro},
volume = {22},
number = {5},
pages = {14--15},
year = {2002},
url = {https://doi.org/10.1109/MM.2002.1044295},
doi = {10.1109/MM.2002.1044295},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/micro/Lavagno02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/CortadellaKBKLSTY02,
author = {Jordi Cortadella and
Michael Kishinevsky and
Steven M. Burns and
Alex Kondratyev and
Luciano Lavagno and
Ken S. Stevens and
Alexander Taubin and
Alexandre Yakovlev},
title = {Lazy transition systems and asynchronous circuit synthesis withrelative
timing assumptions},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {21},
number = {2},
pages = {109--130},
year = {2002},
url = {https://doi.org/10.1109/43.980253},
doi = {10.1109/43.980253},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/CortadellaKBKLSTY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvlsi/LajoloRDL02,
author = {Marcello Lajolo and
Anand Raghunathan and
Sujit Dey and
Luciano Lavagno},
title = {Cosimulation-based power estimation for system-on-chip design},
journal = {{IEEE} Trans. Very Large Scale Integr. Syst.},
volume = {10},
number = {3},
pages = {253--266},
year = {2002},
url = {https://doi.org/10.1109/TVLSI.2002.1043328},
doi = {10.1109/TVLSI.2002.1043328},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tvlsi/LajoloRDL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/BalarinLPSSW02,
author = {Felice Balarin and
Luciano Lavagno and
Claudio Passerone and
Alberto L. Sangiovanni{-}Vincentelli and
Marco Sgroi and
Yosinori Watanabe},
editor = {Jordi Cortadella and
Alexandre Yakovlev and
Grzegorz Rozenberg},
title = {Modeling and Designing Heterogeneous Systems},
booktitle = {Concurrency and Hardware Design, Advances in Petri Nets},
series = {Lecture Notes in Computer Science},
volume = {2549},
pages = {228--273},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36190-1\_7},
doi = {10.1007/3-540-36190-1\_7},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/BalarinLPSSW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CortadellaKLPW02,
author = {Jordi Cortadella and
Alex Kondratyev and
Luciano Lavagno and
Claudio Passerone and
Yosinori Watanabe},
editor = {Javier Esparza and
Charles Lakos},
title = {Quasi-Static Scheduling of Independent Tasksfor Reactive Systems},
booktitle = {Applications and Theory of Petri Nets 2002, 23rd International Conference,
{ICATPN} 2002, Adelaide, Australia, June 24-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2360},
pages = {80--100},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-48068-4\_7},
doi = {10.1007/3-540-48068-4\_7},
timestamp = {Fri, 09 Apr 2021 18:41:09 +0200},
biburl = {https://dblp.org/rec/conf/apn/CortadellaKLPW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/BalarinLPSWY02,
author = {Felice Balarin and
Luciano Lavagno and
Claudio Passerone and
Alberto L. Sangiovanni{-}Vincentelli and
Yosinori Watanabe and
Guang Yang},
editor = {J{\"{o}}rg Henkel and
Xiaobo Sharon Hu and
Rajesh Gupta and
Sri Parameswaran},
title = {Concurrent execution semantics and sequential simulation algorithms
for the metropolis meta-model},
booktitle = {Proceedings of the Tenth International Symposium on Hardware/Software
Codesign, {CODES} 2002, Estes Park, Colorado, USA, May 6-8, 2002},
pages = {13--18},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/774789.774793},
doi = {10.1145/774789.774793},
timestamp = {Mon, 09 Aug 2021 14:54:01 +0200},
biburl = {https://dblp.org/rec/conf/codes/BalarinLPSWY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ArrigoniDPLW02,
author = {G. Arrigoni and
L. Duchini and
Claudio Passerone and
Luciano Lavagno and
Yosinori Watanabe},
title = {False Path Elimination in Quasi-Static Scheduling},
booktitle = {2002 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2002), 4-8 March 2002, Paris, France},
pages = {964--970},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/DATE.2002.998416},
doi = {10.1109/DATE.2002.998416},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/ArrigoniDPLW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BalarinLPW02,
author = {Felice Balarin and
Luciano Lavagno and
Claudio Passerone and
Yosinori Watanabe},
editor = {Alberto L. Sangiovanni{-}Vincentelli and
Joseph Sifakis},
title = {Processes, Interfaces and Platforms. Embedded Software Modeling in
Metropolis},
booktitle = {Embedded Software, Second International Conference, {EMSOFT} 2002,
Grenoble, France, October 7-9, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2491},
pages = {407--416},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45828-X\_30},
doi = {10.1007/3-540-45828-X\_30},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/BalarinLPW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/GiustoBFFLS02,
author = {Paolo Giusto and
Jean{-}Yves Brunel and
Alberto Ferrari and
Eliane Fourgeau and
Luciano Lavagno and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Automotive Virtual Integration Platforms: Why's, What's, and How's},
booktitle = {20th International Conference on Computer Design {(ICCD} 2002), {VLSI}
in Computers and Processors, 16-18 September 2002, Freiburg, Germany,
Proceedings},
pages = {370--378},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ICCD.2002.1106796},
doi = {10.1109/ICCD.2002.1106796},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/GiustoBFFLS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/GiustoBFFLOSG02,
author = {Paolo Giusto and
Jean{-}Yves Brunel and
Alberto Ferrari and
Eliane Fourgeau and
Luciano Lavagno and
Barry O'Rourke and
Alberto L. Sangiovanni{-}Vincentelli and
Emanuele Guasto},
title = {Models of IP's for Automotive Virtual Integration Platforms},
booktitle = {20th International Conference on Computer Design {(ICCD} 2002), {VLSI}
in Computers and Processors, 16-18 September 2002, Freiburg, Germany,
Proceedings},
pages = {379},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ICCD.2002.1106797},
doi = {10.1109/ICCD.2002.1106797},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/GiustoBFFLOSG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/BlunnoL02,
author = {Ivan Blunno and
Luciano Lavagno},
title = {Designing an Asynchronous Microcontroller Using Pipefitter},
booktitle = {20th International Conference on Computer Design {(ICCD} 2002), {VLSI}
in Computers and Processors, 16-18 September 2002, Freiburg, Germany,
Proceedings},
pages = {488--493},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ICCD.2002.1106818},
doi = {10.1109/ICCD.2002.1106818},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/BlunnoL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isss/LavagnoLQNPC02,
author = {Luciano Lavagno and
Mihai T. Lazarescu and
Stefano Quer and
Sergio Nocco and
Claudio Passerone and
Gianpiero Cabodi},
editor = {El Mostapha Aboulhamid and
Yukihiro Nakamura},
title = {A Symbolic Approach for the Combined Solution of Scheduling and Allocation},
booktitle = {Proceedings of the 15th International Symposium on System Synthesis
{(ISSS} 2002), October 2-4, 2002, Kyoto, Japan},
pages = {237--242},
publisher = {{ACM} / {IEEE} Computer Society},
year = {2002},
url = {https://doi.ieeecomputersociety.org/10.1109/ISSS.2002.1227184},
doi = {10.1109/ISSS.2002.1227184},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isss/LavagnoLQNPC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/LavagnoDG02,
author = {Luciano Lavagno and
Sujit Dey and
Rajesh K. Gupta},
title = {Specification, Modeling and Design Tools for System-on-Chip (Tutorial
Abstract)},
booktitle = {Proceedings of the 7th Asia and South Pacific Design Automation Conference
{(ASP-DAC} 2002), and the 15th International Conference on {VLSI}
Design {(VLSI} Design 2002), Bangalore, India, January 7-11, 2002},
pages = {21--23},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ASPDAC.2002.994878},
doi = {10.1109/ASPDAC.2002.994878},
timestamp = {Mon, 14 Nov 2022 15:28:09 +0100},
biburl = {https://dblp.org/rec/conf/vlsid/LavagnoDG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/HsiehBLS01,
author = {Harry Hsieh and
Felice Balarin and
Luciano Lavagno and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Synchronous approach to the functional equivalence of embeddedsystem
implementations},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {20},
number = {8},
pages = {1016--1033},
year = {2001},
url = {https://doi.org/10.1109/43.936382},
doi = {10.1109/43.936382},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/HsiehBLS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cases/RosaLP01,
author = {Alberto La Rosa and
Luciano Lavagno and
Claudio Passerone},
editor = {Guang R. Gao and
Trevor N. Mudge and
Krishna V. Palem},
title = {A software development tool chain for a reconfigurable processor},
booktitle = {Proceedings of the 2001 International Conference on Compilers, Architectures
and Synthesis for Embedded Systems, {CASES} 2001, Atlanta, Georgia,
USA, November 16-17, 2001},
pages = {93--98},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/502217.502232},
doi = {10.1145/502217.502232},
timestamp = {Tue, 06 Nov 2018 11:07:42 +0100},
biburl = {https://dblp.org/rec/conf/cases/RosaLP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/AntoniottiFLSS01,
author = {Marco Antoniotti and
Alberto Ferrari and
Luciano Lavagno and
Alberto L. Sangiovanni{-}Vincentelli and
Ellen Sentovich},
title = {Embedded system design specification: merging reactive control and
data computation},
booktitle = {40th {IEEE} Conference on Decision and Control, {CDC} 2001, Orlando,
FL, USA, 4-7 Dec., 2001},
pages = {3302--3307},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/.2001.980331},
doi = {10.1109/.2001.980331},
timestamp = {Thu, 13 Oct 2022 17:08:41 +0200},
biburl = {https://dblp.org/rec/conf/cdc/AntoniottiFLSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/MartinLL01,
author = {Grant Martin and
Luciano Lavagno and
Jean Louis{-}Guerin},
editor = {Jan Madsen and
J{\"{o}}rg Henkel and
Xiaobo Sharon Hu},
title = {Embedded {UML:} a merger of real-time {UML} and co-design},
booktitle = {Proceedings of the Ninth International Symposium on Hardware/Software
Codesign, {CODES} 2001, Copenhagen, Denmark, 2001},
pages = {23--28},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/371636.371660},
doi = {10.1145/371636.371660},
timestamp = {Mon, 09 Aug 2021 14:54:01 +0200},
biburl = {https://dblp.org/rec/conf/codes/MartinLL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/ChatelainMPRL01,
author = {Andr{\'{e}} Ch{\'{a}}telain and
Yves Mathys and
Giovanni Placido and
Alberto La Rosa and
Luciano Lavagno},
editor = {Jan Madsen and
J{\"{o}}rg Henkel and
Xiaobo Sharon Hu},
title = {High-level architectural co-simulation using Esterel and {C}},
booktitle = {Proceedings of the Ninth International Symposium on Hardware/Software
Codesign, {CODES} 2001, Copenhagen, Denmark, 2001},
pages = {189--194},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/371636.371719},
doi = {10.1145/371636.371719},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/codes/ChatelainMPRL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ReyneriCSL01,
author = {Leonardo Maria Reyneri and
Franceso Cucinotta and
Alessandro Serra and
Luciano Lavagno},
title = {A Hardware/Software Co-design Flow and {IP} Library Based of Simulink\({}^{\mbox{TM}}\)},
booktitle = {Proceedings of the 38th Design Automation Conference, {DAC} 2001,
Las Vegas, NV, USA, June 18-22, 2001},
pages = {593--598},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/378239.379030},
doi = {10.1145/378239.379030},
timestamp = {Thu, 15 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/ReyneriCSL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/PasseroneWL01,
author = {Claudio Passerone and
Yosinori Watanabe and
Luciano Lavagno},
editor = {Wolfgang Nebel and
Ahmed Jerraya},
title = {Generation of minimal size code for scheduling graphs},
booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe,
{DATE} 2001, Munich, Germany, March 12-16, 2001},
pages = {668--673},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/DATE.2001.915096},
doi = {10.1109/DATE.2001.915096},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/PasseroneWL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/BalarinBLWPS01,
author = {Felice Balarin and
Jerry R. Burch and
Luciano Lavagno and
Yosinori Watanabe and
Roberto Passerone and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Constraints specification at higher levels of abstraction},
booktitle = {Proceedings of the Sixth {IEEE} International High-Level Design Validation
and Test Workshop 2001, Monterey, California, USA, November 7-9, 2001},
pages = {129--133},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/HLDVT.2001.972819},
doi = {10.1109/HLDVT.2001.972819},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/BalarinBLWPS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/MarculescuNLS01,
author = {Radu Marculescu and
Amit Nandi and
Luciano Lavagno and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Rolf Ernst},
title = {System-Level Power/Performance Analysis of Portable Multimedia Systems
Communicating over Wireless Channels},
booktitle = {Proceedings of the 2001 {IEEE/ACM} International Conference on Computer-Aided
Design, {ICCAD} 2001, San Jose, CA, USA, November 4-8, 2001},
pages = {207},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ICCAD.2001.968620},
doi = {10.1109/ICCAD.2001.968620},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/MarculescuNLS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/SgroiLL00,
author = {Marco Sgroi and
Luciano Lavagno and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Formal Models for Embedded System Design},
journal = {{IEEE} Des. Test Comput.},
volume = {17},
number = {2},
pages = {14--27},
year = {2000},
url = {https://doi.org/10.1109/54.844330},
doi = {10.1109/54.844330},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/SgroiLL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/QuerCCLSB00,
author = {Stefano Quer and
Gianpiero Cabodi and
Paolo Camurati and
Luciano Lavagno and
Ellen Sentovich and
Robert K. Brayton},
title = {Verification of Similar FSMs by Mixing Incremental Re-encoding, Reachability
Analysis, and Combinational Checks},
journal = {Formal Methods Syst. Des.},
volume = {17},
number = {2},
pages = {107--134},
year = {2000},
url = {https://doi.org/10.1023/A:1008748802907},
doi = {10.1023/A:1008748802907},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/QuerCCLSB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijns/ReyneriCLPM00,
author = {Leonardo Maria Reyneri and
Marcello Chiaberge and
Luciano Lavagno and
Bego{\~{n}}a Pino and
E. Miranda},
title = {Simulink-Based {HW/SW} Codesign of Embedded Neuro-Fuzzy Systems},
journal = {Int. J. Neural Syst.},
volume = {10},
number = {3},
pages = {211--226},
year = {2000},
url = {https://doi.org/10.1142/S0129065700000193},
doi = {10.1142/S0129065700000193},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijns/ReyneriCLPM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CortadellaKKLY00,
author = {Jordi Cortadella and
Michael Kishinevsky and
Alex Kondratyev and
Luciano Lavagno and
Alexandre Yakovlev},
editor = {Mogens Nielsen and
Dan Simpson},
title = {Hardware and Petri Nets: Application to Asynchronous Circuit Design},
booktitle = {Application and Theory of Petri Nets 2000, 21st International Conference,
{ICATPN} 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding},
series = {Lecture Notes in Computer Science},
volume = {1825},
pages = {1--15},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44988-4\_1},
doi = {10.1007/3-540-44988-4\_1},
timestamp = {Sat, 07 Sep 2019 11:59:23 +0200},
biburl = {https://dblp.org/rec/conf/apn/CortadellaKKLY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/BlunnoL00,
author = {Ivan Blunno and
Luciano Lavagno},
title = {Automated Synthesis of Micro-Pipelines from Behavioral Verilog {HDL}},
booktitle = {6th International Symposium on Advanced Research in Asynchronous Circuits
and Systems {(ASYNC} 2000), 2-6 April 2000, Eilat, Israel},
pages = {84--92},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ASYNC.2000.836967},
doi = {10.1109/ASYNC.2000.836967},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/async/BlunnoL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/BammiKLHL00,
author = {Jwahar R. Bammi and
Wido Kruijtzer and
Luciano Lavagno and
Edwin A. Harcourt and
Mihai T. Lazarescu},
editor = {Frank Vahid and
Jan Madsen},
title = {Software performance estimation strategies in a system-level design
tool},
booktitle = {Proceedings of the Eighth International Workshop on Hardware/Software
Codesign, {CODES} 2000, San Diego, California, USA, 2000},
pages = {82--86},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/334012.334028},
doi = {10.1145/334012.334028},
timestamp = {Mon, 09 Aug 2021 14:54:01 +0200},
biburl = {https://dblp.org/rec/conf/codes/BammiKLHL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/LajoloLRRV00,
author = {Marcello Lajolo and
Luciano Lavagno and
Maurizio Rebaudengo and
Matteo Sonza Reorda and
Massimo Violante},
editor = {Frank Vahid and
Jan Madsen},
title = {Automatic test bench generation for simulation-based validation},
booktitle = {Proceedings of the Eighth International Workshop on Hardware/Software
Codesign, {CODES} 2000, San Diego, California, USA, 2000},
pages = {136--140},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/334012.334038},
doi = {10.1145/334012.334038},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/codes/LajoloLRRV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Sangiovanni-VincentelliSL00,
author = {Alberto L. Sangiovanni{-}Vincentelli and
Marco Sgroi and
Luciano Lavagno},
editor = {Catuscia Palamidessi},
title = {Formal Models for Communication-Based Design},
booktitle = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference,
University Park, PA, USA, August 22-25, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1877},
pages = {29--47},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44618-4\_4},
doi = {10.1007/3-540-44618-4\_4},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Sangiovanni-VincentelliSL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/CortadellaKLMMPWS00,
author = {Jordi Cortadella and
Alex Kondratyev and
Luciano Lavagno and
Marc Massot and
Sandra Moral and
Claudio Passerone and
Yosinori Watanabe and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Giovanni De Micheli},
title = {Task generation and compile-time scheduling for mixed data-control
embedded software},
booktitle = {Proceedings of the 37th Conference on Design Automation, Los Angeles,
CA, USA, June 5-9, 2000},
pages = {489--494},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/337292.337553},
doi = {10.1145/337292.337553},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/CortadellaKLMMPWS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HsiehBLS00,
author = {Harry Hsieh and
Felice Balarin and
Luciano Lavagno and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Giovanni De Micheli},
title = {Efficient methods for embedded system design space exploration},
booktitle = {Proceedings of the 37th Conference on Design Automation, Los Angeles,
CA, USA, June 5-9, 2000},
pages = {607--612},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/337292.337593},
doi = {10.1145/337292.337593},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/HsiehBLS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/KimLS00,
author = {Chunghee Kim and
Luciano Lavagno and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Ivo Bolsens},
title = {Free MDD-Based Software Optimization Techniques for Embedded Systems},
booktitle = {2000 Design, Automation and Test in Europe {(DATE} 2000), 27-30 March
2000, Paris, France},
pages = {14--18},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2000},
url = {https://doi.org/10.1109/DATE.2000.840009},
doi = {10.1109/DATE.2000.840009},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/KimLS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/LajoloRDL00,
author = {Marcello Lajolo and
Anand Raghunathan and
Sujit Dey and
Luciano Lavagno},
editor = {Ivo Bolsens},
title = {Efficient Power Co-Estimation Techniques for System-on-Chip Design},
booktitle = {2000 Design, Automation and Test in Europe {(DATE} 2000), 27-30 March
2000, Paris, France},
pages = {27--34},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2000},
url = {https://doi.org/10.1109/DATE.2000.840011},
doi = {10.1109/DATE.2000.840011},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/LajoloRDL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/LajoloRRVL00,
author = {Marcello Lajolo and
Maurizio Rebaudengo and
Matteo Sonza Reorda and
Massimo Violante and
Luciano Lavagno},
editor = {Ivo Bolsens},
title = {Evaluating System Dependability in a Co-Design Framework},
booktitle = {2000 Design, Automation and Test in Europe {(DATE} 2000), 27-30 March
2000, Paris, France},
pages = {586--590},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2000},
url = {https://doi.org/10.1109/DATE.2000.840844},
doi = {10.1109/DATE.2000.840844},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/LajoloRRVL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ets/LajoloRRVL00,
author = {Marcello Lajolo and
Maurizio Rebaudengo and
Matteo Sonza Reorda and
Massimo Violante and
Luciano Lavagno},
title = {System-level test bench generation in a co-design framework},
booktitle = {5th European Test Workshop, {ETW} 2000, Cascais, Portugal, May 23-26,
2000},
pages = {25--30},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ETW.2000.873775},
doi = {10.1109/ETW.2000.873775},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ets/LajoloRRVL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/LavagnoPRS00,
author = {Luciano Lavagno and
Bego{\~{n}}a Pino and
Leonardo Maria Reyneri and
A. Serra},
title = {A Simulink(c)-Based Approach to System Level Design and Architecture
Selection},
booktitle = {26th {EUROMICRO} 2000 Conference, Informatics: Inventing the Future,
5-7 September 2000, Maastricht, The Netherlands},
pages = {1076--1083},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/EURMIC.2000.874618},
doi = {10.1109/EURMIC.2000.874618},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/LavagnoPRS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/LajoloRRVL00,
author = {Marcello Lajolo and
Maurizio Rebaudengo and
Matteo Sonza Reorda and
Massimo Violante and
Luciano Lavagno},
title = {Behavioral-level test vector generation for system-on-chip designs},
booktitle = {Proceedings of the {IEEE} International High-Level Design Validation
and Test Workshop 2000, Berkeley, California, USA, November 8-10,
2000},
pages = {21--26},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/HLDVT.2000.889554},
doi = {10.1109/HLDVT.2000.889554},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/LajoloRRVL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/LazarescuBHLL00,
author = {Mihai T. Lazarescu and
Jwahar R. Bammi and
Edwin A. Harcourt and
Luciano Lavagno and
Marcello Lajolo},
title = {Compilation-based software performance estimation for system level
design},
booktitle = {Proceedings of the {IEEE} International High-Level Design Validation
and Test Workshop 2000, Berkeley, California, USA, November 8-10,
2000},
pages = {167--172},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/HLDVT.2000.889579},
doi = {10.1109/HLDVT.2000.889579},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/LazarescuBHLL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/patmos/LajoloLRV00,
author = {Marcello Lajolo and
Luciano Lavagno and
Matteo Sonza Reorda and
Massimo Violante},
editor = {Dimitrios Soudris and
Peter Pirsch and
Erich Barke},
title = {Early Power Estimation for System-on-Chip Designs},
booktitle = {Integrated Circuit Design, Power and Timing Modeling, Optimization
and Simulation, 10th International Workshop, {PATMOS} 2000, G{\"{o}}ttingen,
Germany, September 13-15, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1918},
pages = {108--117},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45373-3\_11},
doi = {10.1007/3-540-45373-3\_11},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/patmos/LajoloLRV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/KondratyevCKLY99,
author = {Alex Kondratyev and
Jordi Cortadella and
Michael Kishinevsky and
Luciano Lavagno and
Alexandre Yakovlev},
title = {Logic decomposition of speed-independent circuits},
journal = {Proc. {IEEE}},
volume = {87},
number = {2},
pages = {347--362},
year = {1999},
url = {https://doi.org/10.1109/5.740027},
doi = {10.1109/5.740027},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/KondratyevCKLY99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/BalarinCGHJLSSS99,
author = {Felice Balarin and
Massimiliano Chiodo and
Paolo Giusto and
Harry Hsieh and
Attila Jurecska and
Luciano Lavagno and
Alberto L. Sangiovanni{-}Vincentelli and
Ellen Sentovich and
Kei Suzuki},
title = {Synthesis of software programs for embedded control applications},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {18},
number = {6},
pages = {834--849},
year = {1999},
url = {https://doi.org/10.1109/43.766731},
doi = {10.1109/43.766731},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/BalarinCGHJLSSS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/CortadellaKKLPY99,
author = {Jordi Cortadella and
Michael Kishinevsky and
Alex Kondratyev and
Luciano Lavagno and
Enric Pastor and
Alexandre Yakovlev},
title = {Decomposition and technology mapping of speed-independent circuits
using Boolean relations},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {18},
number = {9},
pages = {1221--1236},
year = {1999},
url = {https://doi.org/10.1109/43.784116},
doi = {10.1109/43.784116},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/CortadellaKKLPY99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/SgroiLWS99,
author = {Marco Sgroi and
Luciano Lavagno and
Yosinori Watanabe and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Susanna Donatelli and
H. C. M. Kleijn},
title = {Quasi-Static Scheduling of Embedded Software Using Equal Conflict
Nets},
booktitle = {Application and Theory of Petri Nets 1999, 20th International Conference,
{ICATPN} '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1639},
pages = {208--227},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48745-X\_13},
doi = {10.1007/3-540-48745-X\_13},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/SgroiLWS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/LajoloLS99,
author = {Marcello Lajolo and
Luciano Lavagno and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Fast Instruction Cache Simulation Strategies in a Hardware/Software
Co-Design Environment},
booktitle = {Proceedings of the 1999 Conference on Asia South Pacific Design Automation,
Wanchai, Hong Kong, China, January 18-21, 1999},
pages = {347},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ASPDAC.1999.760030},
doi = {10.1109/ASPDAC.1999.760030},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aspdac/LajoloLS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/TaubinKCL99,
author = {Alexander Taubin and
Alex Kondratyev and
Jordi Cortadella and
Luciano Lavagno},
title = {Behavioral Transformations to Increase Noise Immunity in Asynchronous
Specifications},
booktitle = {5th International Symposium on Advanced Research in Asynchronous Circuits
and Systems {(ASYNC} '99), 19-22 April 1999, Barcelona, Spain},
pages = {36},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ASYNC.1999.761521},
doi = {10.1109/ASYNC.1999.761521},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/async/TaubinKCL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KondratyevCKLY99,
author = {Alex Kondratyev and
Jordi Cortadella and
Michael Kishinevsky and
Luciano Lavagno and
Alexandre Yakovlev},
editor = {Mary Jane Irwin},
title = {Automatic Synthesis and Optimization of Partially Specified Asynchronous
Systems},
booktitle = {Proceedings of the 36th Conference on Design Automation, New Orleans,
LA, USA, June 21-25, 1999},
pages = {110--115},
publisher = {{ACM} Press},
year = {1999},
url = {https://doi.org/10.1145/309847.309891},
doi = {10.1145/309847.309891},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/KondratyevCKLY99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LavagnoS99,
author = {Luciano Lavagno and
Ellen Sentovich},
editor = {Mary Jane Irwin},
title = {{ECL:} {A} Specification Environment for System-Level Design},
booktitle = {Proceedings of the 36th Conference on Design Automation, New Orleans,
LA, USA, June 21-25, 1999},
pages = {511--516},
publisher = {{ACM} Press},
year = {1999},
url = {https://doi.org/10.1145/309847.309989},
doi = {10.1145/309847.309989},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/LavagnoS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SgroiL99,
author = {Marco Sgroi and
Luciano Lavagno},
editor = {Mary Jane Irwin},
title = {Synthesis of Embedded Software Using Free-Choice Petri Nets},
booktitle = {Proceedings of the 36th Conference on Design Automation, New Orleans,
LA, USA, June 21-25, 1999},
pages = {805--810},
publisher = {{ACM} Press},
year = {1999},
url = {https://doi.org/10.1145/309847.310073},
doi = {10.1145/309847.310073},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/SgroiL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/TabbaraSSFL99,
author = {Bassam Tabbara and
Marco Sgroi and
Alberto L. Sangiovanni{-}Vincentelli and
Enrica Filippi and
Luciano Lavagno},
title = {Fast Hardware-Software Co-simulation Using {VHDL} Models},
booktitle = {1999 Design, Automation and Test in Europe {(DATE} '99), 9-12 March
1999, Munich, Germany},
pages = {309},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1999},
url = {https://doi.org/10.1109/DATE.1999.761139},
doi = {10.1109/DATE.1999.761139},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/TabbaraSSFL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/SaitoKCLY99,
author = {Hiroshi Saito and
Alex Kondratyev and
Jordi Cortadella and
Luciano Lavagno and
Alexandre Yakovlev},
editor = {Jacob K. White and
Ellen Sentovich},
title = {What is the cost of delay insensitivity?},
booktitle = {Proceedings of the 1999 {IEEE/ACM} International Conference on Computer-Aided
Design, 1999, San Jose, California, USA, November 7-11, 1999},
pages = {316--323},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ICCAD.1999.810668},
doi = {10.1109/ICCAD.1999.810668},
timestamp = {Mon, 08 May 2023 21:43:38 +0200},
biburl = {https://dblp.org/rec/conf/iccad/SaitoKCLY99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/Sangiovanni-VincentelliRLCL99,
author = {Alberto L. Sangiovanni{-}Vincentelli and
Marco Re and
Luciano Lavagno and
Gian Carlo Cardarilli and
Roberto Lojacono},
title = {Analysis of the quantization noise effects on the {SQNR} behaviour
in analog to digital conversion},
booktitle = {Proceedings of the 1999 International Symposium on Circuits and Systems,
{ISCAS} 1999, Orlando, Florida, USA, May 30 - June 2, 1999},
pages = {334--338},
publisher = {{IEEE}},
year = {1999},
url = {https://doi.org/10.1109/ISCAS.1999.780727},
doi = {10.1109/ISCAS.1999.780727},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iscas/Sangiovanni-VincentelliRLCL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/DevadasMML99,
author = {Srinivas Devadas and
Sharad Malik and
Jos{\'{e}} Monteiro and
Luciano Lavagno},
title = {{CAD} Techniques for Embedded System Design},
booktitle = {12th International Conference on {VLSI} Design {(VLSI} Design 1999),
10-13 January 1999, Goa, India},
pages = {608},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.ieeecomputersociety.org/10.1109/VLSID.1999.10016},
doi = {10.1109/VLSID.1999.10016},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vlsid/DevadasMML99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/codes/1999,
editor = {Ahmed Amine Jerraya and
Luciano Lavagno and
Frank Vahid},
title = {Proceedings of the Seventh International Workshop on Hardware/Software
Codesign, {CODES} 1999, Rome, Italy, 1999},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/301177},
doi = {10.1145/301177},
isbn = {1-58113-132-1},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/codes/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dafes/CardelliCGJLSS98,
author = {Stefano Cardelli and
Massimiliano Chiodo and
Paolo Giusto and
Attila Jurecska and
Luciano Lavagno and
Claudio Sanso{\`{e}} and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Rapid-Prototyping of Embedded Systems via Reprogrammable Devices},
journal = {Des. Autom. Embed. Syst.},
volume = {3},
number = {2-3},
pages = {149--161},
year = {1998},
url = {https://doi.org/10.1023/A:1008890323570},
doi = {10.1023/A:1008890323570},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dafes/CardelliCGJLSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/BalarinLMS98,
author = {Felice Balarin and
Luciano Lavagno and
Praveen K. Murthy and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Scheduling for Embedded Real-Time Systems},
journal = {{IEEE} Des. Test Comput.},
volume = {15},
number = {1},
pages = {71--82},
year = {1998},
url = {https://doi.org/10.1109/54.655185},
doi = {10.1109/54.655185},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/BalarinLMS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcsc/KondratyevKTCL98,
author = {Alex Kondratyev and
Michael Kishinevsky and
Alexander Taubin and
Jordi Cortadella and
Luciano Lavagno},
title = {The Use of Petri Nets for the Design and Verification of Asynchronous
Circuits and Systems},
journal = {J. Circuits Syst. Comput.},
volume = {8},
number = {1},
pages = {67--118},
year = {1998},
url = {https://doi.org/10.1142/S0218126698000055},
doi = {10.1142/S0218126698000055},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcsc/KondratyevKTCL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/CortadellaKLY98,
author = {Jordi Cortadella and
Michael Kishinevsky and
Luciano Lavagno and
Alexandre Yakovlev},
title = {Deriving Petri Nets for Finite Transition Systems},
journal = {{IEEE} Trans. Computers},
volume = {47},
number = {8},
pages = {859--882},
year = {1998},
url = {https://doi.org/10.1109/12.707587},
doi = {10.1109/12.707587},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tc/CortadellaKLY98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/KishinevskyKLST98,
author = {Michael Kishinevsky and
Alex Kondratyev and
Luciano Lavagno and
Alexander Saldanha and
Alexander Taubin},
title = {Partial-scan delay fault testing of asynchronous circuits},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {17},
number = {11},
pages = {1184--1199},
year = {1998},
url = {https://doi.org/10.1109/43.736191},
doi = {10.1109/43.736191},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/KishinevskyKLST98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/PasseroneSLMMPS98,
author = {Claudio Passerone and
Claudio Sanso{\`{e}} and
Luciano Lavagno and
Patrick C. McGeer and
Jonathan Martin and
Roberto Passerone and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Modeling reactive systems in Java},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {3},
number = {4},
pages = {515--523},
year = {1998},
url = {https://doi.org/10.1145/296333.296334},
doi = {10.1145/296333.296334},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/todaes/PasseroneSLMMPS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/Lavagno98,
author = {Luciano Lavagno},
title = {System-Level Design Models and Implementation Techniques},
booktitle = {1st International Conference on Application of Concurrency to System
Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
pages = {24--32},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/CSD.1998.657536},
doi = {10.1109/CSD.1998.657536},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/Lavagno98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/KondratyevCKLTY98,
author = {Alex Kondratyev and
Jordi Cortadella and
Michael Kishinevsky and
Luciano Lavagno and
Alexander Taubin and
Alexandre Yakovlev},
title = {Identifying State Coding Conflicts in Asynchronous System Specifications
Using Petri Net Unfoldings},
booktitle = {1st International Conference on Application of Concurrency to System
Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
pages = {152--163},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/CSD.1998.657548},
doi = {10.1109/CSD.1998.657548},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/KondratyevCKLTY98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/LajoloRDLS98,
author = {Marcello Lajolo and
Anand Raghunathan and
Sujit Dey and
Luciano Lavagno and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Gaetano Borriello and
Ahmed Amine Jerraya and
Luciano Lavagno},
title = {A case study on modeling shared memory access effects during performance
analysis of {HW/SW} systems},
booktitle = {Proceedings of the Sixth International Workshop on Hardware/Software
Codesign, {CODES} 1998, Seattle, Washington, USA, March 15-18, 1998},
pages = {117--121},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1145/278241.278317},
doi = {10.1145/278241.278317},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/codes/LajoloRDLS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HongBLS98,
author = {Youpyo Hong and
Peter A. Beerel and
Luciano Lavagno and
Ellen Sentovich},
editor = {Basant R. Chawla and
Randal E. Bryant and
Jan M. Rabaey},
title = {Don't Care-Based {BDD} Minimization for Embedded Software},
booktitle = {Proceedings of the 35th Conference on Design Automation, Moscone center,
San Francico, California, USA, June 15-19, 1998},
pages = {506--509},
publisher = {{ACM} Press},
year = {1998},
url = {https://doi.org/10.1145/277044.277183},
doi = {10.1145/277044.277183},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/HongBLS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/CuattoPLJDSS98,
author = {Tullio Cuatto and
Claudio Passerone and
Luciano Lavagno and
Attila Jurecska and
Antonino Damiano and
Claudio Sanso{\`{e}} and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Basant R. Chawla and
Randal E. Bryant and
Jan M. Rabaey},
title = {A Case Study in Embedded System Design: An Engine Control Unit},
booktitle = {Proceedings of the 35th Conference on Design Automation, Moscone center,
San Francico, California, USA, June 15-19, 1998},
pages = {804--807},
publisher = {{ACM} Press},
year = {1998},
url = {https://doi.org/10.1145/277044.277248},
doi = {10.1145/277044.277248},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/CuattoPLJDSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/CortadellaKKLTY98,
author = {Jordi Cortadella and
Michael Kishinevsky and
Alex Kondratyev and
Luciano Lavagno and
Alexander Taubin and
Alexandre Yakovlev},
editor = {Hiroto Yasuura},
title = {Lazy transition systems: application to timing optimization of asynchronous
circuits},
booktitle = {Proceedings of the 1998 {IEEE/ACM} International Conference on Computer-Aided
Design, {ICCAD} 1998, San Jose, CA, USA, November 8-12, 1998},
pages = {324--331},
publisher = {{ACM} / {IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1145/288548.288633},
doi = {10.1145/288548.288633},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/CortadellaKKLTY98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/BorrielloLO98,
author = {Gaetano Borriello and
Luciano Lavagno and
Ross B. Ortega},
editor = {Hiroto Yasuura},
title = {Interface synthesis: a vertical slice from digital logic to software
components},
booktitle = {Proceedings of the 1998 {IEEE/ACM} International Conference on Computer-Aided
Design, {ICCAD} 1998, San Jose, CA, USA, November 8-12, 1998},
pages = {693--695},
publisher = {{ACM} / {IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1145/288548.289119},
doi = {10.1145/288548.289119},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/BorrielloLO98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isss/FilippiLLMPPSS98,
author = {Enrica Filippi and
Luciano Lavagno and
L. Licciardi and
Archille Montanaro and
Maurizio Paolini and
Roberto Passerone and
Marco Sgroi and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Francky Catthoor},
title = {Intellectual Property Re-use in Embedded System Co-design: An Industrial
Case Study},
booktitle = {Proceedings of the 11th International Symposium on System Synthesis,
{ISSS} '98, Hsinchu, Taiwan, December 2-4, 1998},
pages = {37--42},
publisher = {{ACM} / {IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ISSS.1998.730594},
doi = {10.1109/ISSS.1998.730594},
timestamp = {Thu, 06 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isss/FilippiLLMPPSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/codes/1998,
editor = {Gaetano Borriello and
Ahmed Amine Jerraya and
Luciano Lavagno},
title = {Proceedings of the Sixth International Workshop on Hardware/Software
Codesign, {CODES} 1998, Seattle, Washington, USA, March 15-18, 1998},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1145/278241},
doi = {10.1145/278241},
isbn = {0-8186-8442-9},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/codes/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/LavagnoC97,
author = {Luciano Lavagno and
Nanette Collins},
title = {{DAC} 97 Panel: Next-Generation HDLs},
journal = {{IEEE} Des. Test Comput.},
volume = {14},
number = {3},
pages = {7--8},
year = {1997},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/LavagnoC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/EdwardsLLS97,
author = {Stephen A. Edwards and
Luciano Lavagno and
Edward A. Lee and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Design of embedded systems: formal models, validation, and synthesis},
journal = {Proc. {IEEE}},
volume = {85},
number = {3},
pages = {366--390},
year = {1997},
url = {https://doi.org/10.1109/5.558710},
doi = {10.1109/5.558710},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/EdwardsLLS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/CortadellaKKLY97,
author = {Jordi Cortadella and
Michael Kishinevsky and
Alex Kondratyev and
Luciano Lavagno and
Alexandre Yakovlev},
title = {A region-based theory for state assignment in speed-independent circuits},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {16},
number = {8},
pages = {793--812},
year = {1997},
url = {https://doi.org/10.1109/43.644602},
doi = {10.1109/43.644602},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/CortadellaKKLY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KishinevskyCKLTY97,
author = {Michael Kishinevsky and
Jordi Cortadella and
Alex Kondratyev and
Luciano Lavagno and
Alexander Taubin and
Alexandre Yakovlev},
editor = {Pierre Az{\'{e}}ma and
Gianfranco Balbo},
title = {Coupling Asynchrony and Interrupts: Place Chart Nets},
booktitle = {Application and Theory of Petri Nets 1997, 18th International Conference,
{ICATPN} '97, Toulouse, France, June 23-27, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1248},
pages = {328--347},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63139-9\_44},
doi = {10.1007/3-540-63139-9\_44},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/KishinevskyCKLTY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/PasseroneLSCS97,
author = {Claudio Passerone and
Luciano Lavagno and
Claudio Sanso{\`{e}} and
Massimiliano Chiodo and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Trade-off evaluation in embedded system design via co-simulation},
booktitle = {Proceedings of the {ASP-DAC} '97 Asia and South Pacific Design Automation
Conference, Nippon Convention Center, Chiba, Japan, January 28-31,
1997},
pages = {291--297},
publisher = {{IEEE}},
year = {1997},
url = {https://doi.org/10.1109/ASPDAC.1997.600159},
doi = {10.1109/ASPDAC.1997.600159},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/PasseroneLSCS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/KondratyevKCLY97,
author = {Alex Kondratyev and
Michael Kishinevsky and
Jordi Cortadella and
Luciano Lavagno and
Alexandre Yakovlev},
title = {Technology Mapping for Speed-Independent Circuits: Decomposition and
Resynthesis},
booktitle = {3rd International Symposium on Advanced Research in Asynchronous Circuits
and Systems {(ASYNC} '97), 7-10 April 1997, Eindhoven, The Netherlands},
pages = {240--253},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASYNC.1997.587178},
doi = {10.1109/ASYNC.1997.587178},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/async/KondratyevKCLY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/SemenovYPPCL97,
author = {Alexei L. Semenov and
Alexandre Yakovlev and
Enric Pastor and
Marco A. Pe{\~{n}}a and
Jordi Cortadella and
Luciano Lavagno},
title = {Partial order based approach to synthesis of speed-independent circuits},
booktitle = {3rd International Symposium on Advanced Research in Asynchronous Circuits
and Systems {(ASYNC} '97), 7-10 April 1997, Eindhoven, The Netherlands},
pages = {254},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASYNC.1997.587179},
doi = {10.1109/ASYNC.1997.587179},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/async/SemenovYPPCL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/BalarinCJLTS97,
author = {Felice Balarin and
Massimiliano Chiodo and
Attila Jurecska and
Luciano Lavagno and
Bassam Tabbara and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Automatic Generation of a Real-Time Operating System for Embedded
Systems},
booktitle = {Proceedings of the Fifth International Workshop on Hardware/Software
Codesign, {CODES/CASHE} 1997, March 24-26, 1997, Braunschweig, Germany},
pages = {95--100},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {http://dl.acm.org/citation.cfm?id=793505},
timestamp = {Mon, 09 Aug 2021 14:54:01 +0200},
biburl = {https://dblp.org/rec/conf/codes/BalarinCJLTS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/PasseroneLCS97,
author = {Claudio Passerone and
Luciano Lavagno and
Massimiliano Chiodo and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Ellen J. Yoffa and
Giovanni De Micheli and
Jan M. Rabaey},
title = {Fast Hardware/Software Co-Simulation for Virtual Prototyping and Trade-Off
Analysis},
booktitle = {Proceedings of the 34st Conference on Design Automation, Anaheim,
California, USA, Anaheim Convention Center, June 9-13, 1997},
pages = {389--394},
publisher = {{ACM} Press},
year = {1997},
url = {https://doi.org/10.1145/266021.266177},
doi = {10.1145/266021.266177},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/PasseroneLCS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/CabodiCLQ97,
author = {Gianpiero Cabodi and
Paolo Camurati and
Luciano Lavagno and
Stefano Quer},
editor = {Ellen J. Yoffa and
Giovanni De Micheli and
Jan M. Rabaey},
title = {Disjunctive Partitioning and Partial Iterative Squaring: An Effective
Approach for Symbolic Traversal of Large Circuits},
booktitle = {Proceedings of the 34st Conference on Design Automation, Anaheim,
California, USA, Anaheim Convention Center, June 9-13, 1997},
pages = {728--733},
publisher = {{ACM} Press},
year = {1997},
url = {https://doi.org/10.1145/266021.266355},
doi = {10.1145/266021.266355},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/CabodiCLQ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CortadellaKKLY97,
author = {Jordi Cortadella and
Michael Kishinevsky and
Alex Kondratyev and
Luciano Lavagno and
Alexandre Yakovlev},
title = {Technology mapping of speed-independent circuits based on combinational
decomposition and resynthesis},
booktitle = {European Design and Test Conference, ED{\&}TC '97, Paris, France,
17-20 March 1997},
pages = {98--105},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/EDTC.1997.582340},
doi = {10.1109/EDTC.1997.582340},
timestamp = {Fri, 20 May 2022 15:59:03 +0200},
biburl = {https://dblp.org/rec/conf/date/CortadellaKKLY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CabodiCLQ97,
author = {Gianpiero Cabodi and
Paolo Camurati and
Luciano Lavagno and
Stefano Quer},
title = {Verification and synthesis of counters based on symbolic techniques},
booktitle = {European Design and Test Conference, ED{\&}TC '97, Paris, France,
17-20 March 1997},
pages = {176--181},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/EDTC.1997.582355},
doi = {10.1109/EDTC.1997.582355},
timestamp = {Fri, 20 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/CabodiCLQ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/CortadellaKKLPY97,
author = {Jordi Cortadella and
Michael Kishinevsky and
Alex Kondratyev and
Luciano Lavagno and
Enric Pastor and
Alexandre Yakovlev},
editor = {Ralph H. J. M. Otten and
Hiroto Yasuura},
title = {Decomposition and technology mapping of speed-independent circuits
using Boolean relations},
booktitle = {Proceedings of the 1997 {IEEE/ACM} International Conference on Computer-Aided
Design, {ICCAD} 1997, San Jose, CA, USA, November 9-13, 1997},
pages = {220--227},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1997},
url = {https://doi.org/10.1109/ICCAD.1997.643524},
doi = {10.1109/ICCAD.1997.643524},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/CortadellaKKLPY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/KishinevskyKLST97,
author = {Michael Kishinevsky and
Alex Kondratyev and
Luciano Lavagno and
Alexander Saldanha and
Alexander Taubin},
editor = {Ralph H. J. M. Otten and
Hiroto Yasuura},
title = {Partial scan delay fault testing of asynchronous circuits},
booktitle = {Proceedings of the 1997 {IEEE/ACM} International Conference on Computer-Aided
Design, {ICCAD} 1997, San Jose, CA, USA, November 9-13, 1997},
pages = {728--735},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1997},
url = {https://doi.org/10.1109/ICCAD.1997.643619},
doi = {10.1109/ICCAD.1997.643619},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/KishinevskyKLST97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/MitraBL97,
author = {Raj S. Mitra and
Bishnupriya Bhattacharya and
Luciano Lavagno},
title = {Asynchronous Implementation of Synchronous Esterel Specifications},
booktitle = {10th International Conference on {VLSI} Design {(VLSI} Design 1997),
4-7 January 1997, Hyderabad, India},
pages = {348--355},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ICVD.1997.568106},
doi = {10.1109/ICVD.1997.568106},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vlsid/MitraBL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dafes/ChiodoEGHJLSS96,
author = {Massimiliano Chiodo and
Daniel W. Engels and
Paolo Giusto and
Harry Hsieh and
Attila Jurecska and
Luciano Lavagno and
Kei Suzuki and
Alberto L. Sangiovanni{-}Vincentelli},
title = {A case study in computer-aided co-design of embedded controllers},
journal = {Des. Autom. Embed. Syst.},
volume = {1},
number = {1-2},
pages = {51--67},
year = {1996},
url = {https://doi.org/10.1007/BF00134683},
doi = {10.1007/BF00134683},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dafes/ChiodoEGHJLSS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/YakovlevLS96,
author = {Alexandre Yakovlev and
Luciano Lavagno and
Alberto L. Sangiovanni{-}Vincentelli},
title = {A Unified Signal Transition Graph Model for Asynchronous Control Circuit
Synthesis},
journal = {Formal Methods Syst. Des.},
volume = {9},
number = {3},
pages = {139--188},
year = {1996},
url = {https://doi.org/10.1007/BF00122081},
doi = {10.1007/BF00122081},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/YakovlevLS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/YakovlevKKLP96,
author = {Alexandre Yakovlev and
Michael Kishinevsky and
Alex Kondratyev and
Luciano Lavagno and
Marta Pietkiewicz{-}Koutny},
title = {On the Models for Asynchronous Circuit Behaviour with {OR} Causality},
journal = {Formal Methods Syst. Des.},
volume = {9},
number = {3},
pages = {189--233},
year = {1996},
url = {https://doi.org/10.1007/BF00122082},
doi = {10.1007/BF00122082},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/YakovlevKKLP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/CortadellaKKLY96,
author = {Jordi Cortadella and
Michael Kishinevsky and
Alex Kondratyev and
Luciano Lavagno and
Alex Yakovlev},
title = {Complete state encoding based on the theory of regions},
booktitle = {2nd International Symposium on Advanced Research in Asynchronous Circuits
and Systems {(ASYNC} '96), March 18-21, 1996, Aizu-Wakamatsu, Fukushima,
Japan},
pages = {36--47},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ASYNC.1996.494436},
doi = {10.1109/ASYNC.1996.494436},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/async/CortadellaKKLY96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/CortadellaKKLY96,
author = {Jordi Cortadella and
Michael Kishinevsky and
Alex Kondratyev and
Luciano Lavagno and
Alexandre Yakovlev},
editor = {Thomas Pennino and
Ellen J. Yoffa},
title = {Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis},
booktitle = {Proceedings of the 33st Conference on Design Automation, Las Vegas,
Nevada, USA, Las Vegas Convention Center, June 3-7, 1996},
pages = {63--66},
publisher = {{ACM} Press},
year = {1996},
url = {https://doi.org/10.1145/240518.240531},
doi = {10.1145/240518.240531},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/CortadellaKKLY96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BalarinHJLS96,
author = {Felice Balarin and
Harry Hsieh and
Attila Jurecska and
Luciano Lavagno and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Thomas Pennino and
Ellen J. Yoffa},
title = {Formal Verification of Embedded Systems based on {CFSM} Networks},
booktitle = {Proceedings of the 33st Conference on Design Automation, Las Vegas,
Nevada, USA, Las Vegas Convention Center, June 3-7, 1996},
pages = {568--571},
publisher = {{ACM} Press},
year = {1996},
url = {https://doi.org/10.1145/240518.240626},
doi = {10.1145/240518.240626},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/BalarinHJLS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/CabodiCLQBS96,
author = {Gianpiero Cabodi and
Paolo Camurati and
Luciano Lavagno and
Stefano Quer and
Robert K. Brayton and
Ellen Sentovich},
editor = {Graham Symonds and
Wolfgang Nebel},
title = {Incremental re-encoding for symbolic traversal of product machines},
booktitle = {Proceedings of the conference on European design automation, {EURO-DAC}
'96/EURO-VHDL '96, Geneva, Switzerland, September 16-20, 1996},
pages = {158--163},
publisher = {{IEEE} Computer Society Press},
year = {1996},
url = {https://doi.org/10.1109/EURDAC.1996.558199},
doi = {10.1109/EURDAC.1996.558199},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurodac/CabodiCLQBS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/AgrawalSLS96,
author = {Alok Agrawal and
Alexander Saldanha and
Luciano Lavagno and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Rob A. Rutenbar and
Ralph H. J. M. Otten},
title = {Compact and complete test set generation for multiple stuck-faults},
booktitle = {Proceedings of the 1996 {IEEE/ACM} International Conference on Computer-Aided
Design, {ICCAD} 1996, San Jose, CA, USA, November 10-14, 1996},
pages = {212--219},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1996},
url = {https://doi.org/10.1109/ICCAD.1996.569601},
doi = {10.1109/ICCAD.1996.569601},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/AgrawalSLS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/CabodiLMPQCS96,
author = {Gianpiero Cabodi and
Luciano Lavagno and
Enrico Macii and
Massimo Poncino and
Stefano Quer and
Paolo Camurati and
Ellen Sentovich},
title = {Enhancing {FSM} Traversal by Temporary Re-Encoding},
booktitle = {1996 International Conference on Computer Design {(ICCD} '96), {VLSI}
in Computers and Processors, October 7-9, 1996, Austin, TX, USA, Proceedings},
pages = {6--11},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ICCD.1996.563524},
doi = {10.1109/ICCD.1996.563524},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/CabodiLMPQCS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/GregorettiILPR96,
author = {Francesco Gregoretti and
F. Intini and
Luciano Lavagno and
Roberto Passerone and
Leonardo Maria Reyneri},
title = {Design and Implementation of the Control Structure of the {PAPRICA-3}
Processor},
booktitle = {4th Euromicro Workshop on Parallel and Distributed Processing {(PDP}
'96), January 24-26, 1996, Portugal},
pages = {290--296},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/EMPDP.1996.500599},
doi = {10.1109/EMPDP.1996.500599},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/GregorettiILPR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/CardelliCGJLS96,
author = {Stefano Cardelli and
Massimiliano Chiodo and
Paolo Giusto and
Attila Jurecska and
Luciano Lavagno and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Rapid-Prototyping of Embedded Systems via Reprogrammable Devices},
booktitle = {Seventh {IEEE} International Workshop on Rapid System Prototyping
{(RSP} '96), Thessaloniki, Greece, June 19-21, 1996},
pages = {133--139},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/IWRSP.1996.506740},
doi = {10.1109/IWRSP.1996.506740},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rsp/CardelliCGJLS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/YakovlevKL95,
author = {Alexandre Yakovlev and
Albert Koelmans and
Luciano Lavagno},
title = {High-Level Modeling and Design of Asynchronous Interface Logic},
journal = {{IEEE} Des. Test Comput.},
volume = {12},
number = {1},
pages = {32--40},
year = {1995},
url = {https://doi.org/10.1109/54.350688},
doi = {10.1109/54.350688},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/YakovlevKL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/LavagnoMBS95,
author = {Luciano Lavagno and
Cho W. Moon and
Robert K. Brayton and
Alberto L. Sangiovanni{-}Vincentelli},
title = {An efficient heuristic procedure for solving the state assignment
problem for event-based specifications},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {14},
number = {1},
pages = {45--60},
year = {1995},
url = {https://doi.org/10.1109/43.363124},
doi = {10.1109/43.363124},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/LavagnoMBS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/LavagnoKS95,
author = {Luciano Lavagno and
Kurt Keutzer and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Synthesis of hazard-free asynchronous circuits with bounded wire delays},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {14},
number = {1},
pages = {61--86},
year = {1995},
url = {https://doi.org/10.1109/43.363123},
doi = {10.1109/43.363123},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/LavagnoKS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/KeutzerLS95,
author = {Kurt Keutzer and
Luciano Lavagno and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Synthesis for testability techniques for asynchronous circuits},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {14},
number = {12},
pages = {1569--1577},
year = {1995},
url = {https://doi.org/10.1109/43.476586},
doi = {10.1109/43.476586},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/KeutzerLS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LavagnoMSS95,
author = {Luciano Lavagno and
Patrick C. McGeer and
Alexander Saldanha and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Bryan Preas},
title = {Timed Shannon Circuits: {A} Power-Efficient Design Style and Synthesis
Tool},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {254--260},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217538},
doi = {10.1145/217474.217538},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/LavagnoMSS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ChiodoGJLHSSS95,
author = {Massimiliano Chiodo and
Paolo Giusto and
Attila Jurecska and
Luciano Lavagno and
Harry Hsieh and
Kei Suzuki and
Alberto L. Sangiovanni{-}Vincentelli and
Ellen Sentovich},
editor = {Bryan Preas},
title = {Synthesis of Software Programs for Embedded Control Applications},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {587--592},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217594},
doi = {10.1145/217474.217594},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/ChiodoGJLHSSS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/CortadellaKLY95,
author = {Jordi Cortadella and
Michael Kishinevsky and
Luciano Lavagno and
Alexandre Yakovlev},
editor = {Richard L. Rudell},
title = {Synthesizing Petri nets from state-based models},
booktitle = {Proceedings of the 1995 {IEEE/ACM} International Conference on Computer-Aided
Design, {ICCAD} 1995, San Jose, California, USA, November 5-9, 1995},
pages = {164--171},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1995},
url = {https://doi.org/10.1109/ICCAD.1995.480008},
doi = {10.1109/ICCAD.1995.480008},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/CortadellaKLY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/ChiodoGJHSL94,
author = {Massimiliano Chiodo and
Paolo Giusto and
Attila Jurecska and
Harry Hsieh and
Alberto L. Sangiovanni{-}Vincentelli and
Luciano Lavagno},
title = {Hardware-software codesign of embedded systems},
journal = {{IEEE} Micro},
volume = {14},
number = {4},
pages = {26--36},
year = {1994},
url = {https://doi.org/10.1109/40.296155},
doi = {10.1109/40.296155},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/micro/ChiodoGJHSL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvlsi/YakovlevPL94,
author = {Alexandre Yakovlev and
A. Petrov and
Luciano Lavagno},
title = {A low latency asynchronous arbitration circuit},
journal = {{IEEE} Trans. Very Large Scale Integr. Syst.},
volume = {2},
number = {3},
pages = {372--377},
year = {1994},
url = {https://doi.org/10.1109/92.311648},
doi = {10.1109/92.311648},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tvlsi/YakovlevPL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsisp/LavagnoSS94,
author = {Luciano Lavagno and
Narendra V. Shenoy and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Linear programming for hazard elimination in asynchronous circuits},
journal = {J. {VLSI} Signal Process.},
volume = {7},
number = {1-2},
pages = {137--160},
year = {1994},
url = {https://doi.org/10.1007/BF02108194},
doi = {10.1007/BF02108194},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlsisp/LavagnoSS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/YakovlevKKL94,
author = {Alexandre Yakovlev and
Michael Kishinevsky and
Alex Kondratyev and
Luciano Lavagno},
editor = {Robert Valette},
title = {{OR} Causality: Modelling and Hardware Implementation},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {568--587},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_31},
doi = {10.1007/3-540-58152-9\_31},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/YakovlevKKL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/CortadellaLVY94,
author = {Jordi Cortadella and
Luciano Lavagno and
Peter Vanbekbergen and
Alex Yakovlev},
title = {Designing asynchronous circuits from behavioural specifications with
internal conflicts},
booktitle = {Proceedings of the International Symposium on Advanced Research in
Asynchronous Circuits and Systems, {ASYNC} 1994, Salt Lake City, UT,
USA, November 3-5, 1994},
pages = {106--115},
publisher = {{IEEE}},
year = {1994},
url = {https://doi.org/10.1109/ASYNC.1994.656296},
doi = {10.1109/ASYNC.1994.656296},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/async/CortadellaLVY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/LavagnoCGJHYSS94,
author = {Luciano Lavagno and
Massimiliano Chiodo and
Paolo Giusto and
Attila Jurecska and
Harry Hsieh and
S. Yee and
Alberto L. Sangiovanni{-}Vincentelli and
Kei Suzuki},
title = {A case study in computer-aided codesign of embedded controllers},
booktitle = {Proceedings of the Third International Workshop on Hardware/Software
Codesign, {CODES} 1994, Grenoble, France, September 22-24, 1994},
pages = {220--224},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/HSC.1994.336703},
doi = {10.1109/HSC.1994.336703},
timestamp = {Mon, 09 Aug 2021 14:54:01 +0200},
biburl = {https://dblp.org/rec/conf/codes/LavagnoCGJHYSS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/LavagnoLK94,
author = {Luciano Lavagno and
Antonio Lioy and
Michael Kishinevsky},
editor = {Jean Mermet},
title = {Testing redundant asynchronous circuits by variable phase splitting},
booktitle = {Proceedings EURO-DAC'94, European Design Automation Conference, Grenoble,
France, September 19-22, 1994},
pages = {328--333},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {http://dl.acm.org/citation.cfm?id=198278},
timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
biburl = {https://dblp.org/rec/conf/eurodac/LavagnoLK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icip/BroggiCBLGSR94,
author = {Alberto Broggi and
Gianni Conte and
G. Burzio and
Luciano Lavagno and
Francesco Gregoretti and
Claudio Sanso{\`{e}} and
Leonardo Maria Reyneri},
title = {{PAPRICA-3:} {A} Real-Time Morhphological Image Processor},
booktitle = {Proceedings 1994 International Conference on Image Processing, Austin,
Texas, USA, November 13-16, 1994},
pages = {654--658},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/ICIP.1994.413808},
doi = {10.1109/ICIP.1994.413808},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icip/BroggiCBLGSR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/LavagnoS93,
author = {Luciano Lavagno and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Automated synthesis of asynchronous interface circuits},
journal = {Microprocess. Microsystems},
volume = {17},
number = {4},
pages = {232--242},
year = {1993},
url = {https://doi.org/10.1016/0141-9331(93)90021-X},
doi = {10.1016/0141-9331(93)90021-X},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/LavagnoS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-5/LavagnoS93,
author = {Luciano Lavagno and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Stephen B. Furber and
Martyn Edwards},
title = {Automated Synthesis of Asynchronous Interface Circuits},
booktitle = {Asynchronous Design Methodologies, Proceedings of the {IFIP} {WG10.5}
Working Conference on Asynchronous Design Methodologies, Manchester,
UK, 31 March - 2 April, 1993},
series = {{IFIP} Transactions},
volume = {{A-28}},
pages = {107--121},
publisher = {North-Holland},
year = {1993},
timestamp = {Wed, 17 Sep 2003 08:17:25 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-5/LavagnoS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/MalikLBS92,
author = {Sharad Malik and
Luciano Lavagno and
Robert K. Brayton and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Symbolic minimization of multilevel logic and the input encoding problem},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {11},
number = {7},
pages = {825--843},
year = {1992},
url = {https://doi.org/10.1109/43.144847},
doi = {10.1109/43.144847},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/MalikLBS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LavagnoMBS92,
author = {Luciano Lavagno and
Cho W. Moon and
Robert K. Brayton and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Daniel G. Schweikert},
title = {Solving the State Assignment Problem for Signal Transition Graphs},
booktitle = {Proceedings of the 29th Design Automation Conference, Anaheim, California,
USA, June 8-12, 1992},
pages = {568--572},
publisher = {{IEEE} Computer Society Press},
year = {1992},
url = {http://portal.acm.org/citation.cfm?id=113938.149631},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/LavagnoMBS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/YakovlevLS92,
author = {Alexandre Yakovlev and
Luciano Lavagno and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Louise Trevillyan and
Michael R. Lightner},
title = {A unified signal transition graph model for asynchronous control circuit
synthesis},
booktitle = {1992 {IEEE/ACM} International Conference on Computer-Aided Design,
{ICCAD} 1992, Santa Clara, CA, USA, November 8-12, 1992. Digest of
Technical Papers},
pages = {104--111},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1992},
url = {https://doi.org/10.1109/ICCAD.1992.279390},
doi = {10.1109/ICCAD.1992.279390},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/YakovlevLS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/LavagnoS92,
author = {Luciano Lavagno and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Linear Programming for Optimum Hazard Elimination in Asynchronous
Circuits},
booktitle = {Proceedings 1992 {IEEE} International Conference on Computer Design:
{VLSI} in Computer {\&} Processors, {ICCD} '92, Cambridge, MA,
USA, October 11-14, 1992},
pages = {275--278},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/ICCD.1992.276268},
doi = {10.1109/ICCD.1992.276268},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/LavagnoS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LavagnoKS91,
author = {Luciano Lavagno and
Kurt Keutzer and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {A. Richard Newton},
title = {Algorithms for Synthesis of Hazard-Free Asynchronous Circuits},
booktitle = {Proceedings of the 28th Design Automation Conference, San Francisco,
California, USA, June 17-21, 1991},
pages = {302--308},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/127601.127685},
doi = {10.1145/127601.127685},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/LavagnoKS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/KeutzerLS91,
author = {Kurt Keutzer and
Luciano Lavagno and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Synthesis for Testability Techniques for Asynchronous Circuits},
booktitle = {1991 {IEEE/ACM} International Conference on Computer-Aided Design,
{ICCAD} 1993, Santa Clara, CA, USA, November 11-14, 1991. Digest of
Technical Papers},
pages = {326--329},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/ICCAD.1991.185266},
doi = {10.1109/ICCAD.1991.185266},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/KeutzerLS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/LavagnoMBS90,
author = {Luciano Lavagno and
Sharad Malik and
Robert K. Brayton and
Alberto L. Sangiovanni{-}Vincentelli},
title = {{MIS-MV:} Optimization of Multi-Level Logic with Multiple-Valued Inputs},
booktitle = {{IEEE/ACM} International Conference on Computer-Aided Design, {ICCAD}
1990, Santa Clara, CA, USA, November 11-15, 1990. Digest of Technical
Papers},
pages = {560--563},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/ICCAD.1990.129981},
doi = {10.1109/ICCAD.1990.129981},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/LavagnoMBS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-23 16:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
