BibTeX records: Francesco Bruschi

download as .bib file

@article{DBLP:journals/sigmetrics/BruschiRGS18,
  author    = {Francesco Bruschi and
               Vincenzo Rana and
               Lorenzo Gentile and
               Donatella Sciuto},
  title     = {Mine with it or sell it: the superhashing power dilemma},
  journal   = {{SIGMETRICS} Performance Evaluation Review},
  volume    = {46},
  number    = {3},
  pages     = {127--130},
  year      = {2018},
  url       = {https://doi.org/10.1145/3308897.3308954},
  doi       = {10.1145/3308897.3308954},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sigmetrics/BruschiRGS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/PaganiBR17,
  author    = {Alessio Pagani and
               Francesco Bruschi and
               Vincenzo Rana},
  title     = {Time of arrival cumulative probability in public transportation travel
               assistance},
  booktitle = {20th {IEEE} International Conference on Intelligent Transportation
               Systems, {ITSC} 2017, Yokohama, Japan, October 16-19, 2017},
  pages     = {1--6},
  year      = {2017},
  crossref  = {DBLP:conf/itsc/2017},
  url       = {https://doi.org/10.1109/ITSC.2017.8317863},
  doi       = {10.1109/ITSC.2017.8317863},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/itsc/PaganiBR17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/PaganiBRR17,
  author    = {Alessio Pagani and
               Francesco Bruschi and
               Vincenzo Rana and
               Marcello Restelli},
  title     = {User context estimation for public travel assistance and intelligent
               service scheduling},
  booktitle = {20th {IEEE} International Conference on Intelligent Transportation
               Systems, {ITSC} 2017, Yokohama, Japan, October 16-19, 2017},
  pages     = {1--8},
  year      = {2017},
  crossref  = {DBLP:conf/itsc/2017},
  url       = {https://doi.org/10.1109/ITSC.2017.8317695},
  doi       = {10.1109/ITSC.2017.8317695},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/itsc/PaganiBRR17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/RanaBBNAS16,
  author    = {Vincenzo Rana and
               Ivan Beretta and
               Francesco Bruschi and
               Alessandro Antonio Nacci and
               David Atienza and
               Donatella Sciuto},
  title     = {Efficient Hardware Design of Iterative Stencil Loops},
  journal   = {{IEEE} Trans. on {CAD} of Integrated Circuits and Systems},
  volume    = {35},
  number    = {12},
  pages     = {2018--2031},
  year      = {2016},
  url       = {https://doi.org/10.1109/TCAD.2016.2545408},
  doi       = {10.1109/TCAD.2016.2545408},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcad/RanaBBNAS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/PaganiBRR16,
  author    = {Alessio Pagani and
               Francesco Bruschi and
               Vincenzo Rana and
               Marcello Restelli},
  title     = {Reconstruction of public transport state},
  booktitle = {19th {IEEE} International Conference on Intelligent Transportation
               Systems, {ITSC} 2016, Rio de Janeiro, Brazil, November 1-4, 2016},
  pages     = {2285--2292},
  year      = {2016},
  crossref  = {DBLP:conf/itsc/2016},
  url       = {https://doi.org/10.1109/ITSC.2016.7795925},
  doi       = {10.1109/ITSC.2016.7795925},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/itsc/PaganiBRR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euc/RanaBPSS14,
  author    = {Vincenzo Rana and
               Francesco Bruschi and
               Marco Paolieri and
               Donatella Sciuto and
               Marco Domenico Santambrogio},
  title     = {On How to Efficiently Implement Regular Expression Matching on FPGA-Based
               Systems},
  booktitle = {12th {IEEE} International Conference on Embedded and Ubiquitous Computing,
               {EUC} 2014, Milano, Italy, August 26-28, 2014},
  pages     = {304--309},
  year      = {2014},
  crossref  = {DBLP:conf/euc/2014},
  url       = {https://doi.org/10.1109/EUC.2014.52},
  doi       = {10.1109/EUC.2014.52},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/euc/RanaBPSS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/NacciRBSBA13,
  author    = {Alessandro Antonio Nacci and
               Vincenzo Rana and
               Francesco Bruschi and
               Donatella Sciuto and
               Ivan Beretta and
               David Atienza},
  title     = {A high-level synthesis flow for the implementation of iterative stencil
               loop algorithms on {FPGA} devices},
  booktitle = {The 50th Annual Design Automation Conference 2013, {DAC} '13, Austin,
               TX, USA, May 29 - June 07, 2013},
  pages     = {52:1--52:6},
  year      = {2013},
  crossref  = {DBLP:conf/dac/2013},
  url       = {https://doi.org/10.1145/2463209.2488797},
  doi       = {10.1145/2463209.2488797},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dac/NacciRBSBA13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensornets/FerranteCBM13,
  author    = {Alberto Ferrante and
               Massimo Chelodi and
               Francesco Bruschi and
               Valeria Mozzetti},
  title     = {An Algorithm for Extended Dynamic Range Video in Embedded Systems},
  booktitle = {{SENSORNETS} 2013 - Proceedings of the 2nd International Conference
               on Sensor Networks, Barcelona, Spain, 19-21 February, 2013},
  pages     = {181--186},
  year      = {2013},
  crossref  = {DBLP:conf/sensornets/2013},
  timestamp = {Sun, 14 Jul 2013 12:39:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sensornets/FerranteCBM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/BhandariSPCBSG12,
  author    = {Sheetal Bhandari and
               Shaila Subbaraman and
               Shashank Pujari and
               Fabio Cancare and
               Francesco Bruschi and
               Marco D. Santambrogio and
               Paolo Roberto Grassi},
  title     = {High Speed Dynamic Partial Reconfiguration for Real Time Multimedia
               Signal Processing},
  booktitle = {15th Euromicro Conference on Digital System Design, {DSD} 2012, Cesme,
               Izmir, Turkey, September 5-8, 2012},
  pages     = {319--326},
  year      = {2012},
  crossref  = {DBLP:conf/dsd/2012},
  url       = {https://doi.org/10.1109/DSD.2012.74},
  doi       = {10.1109/DSD.2012.74},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dsd/BhandariSPCBSG12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/BruschiPRS11,
  author    = {Francesco Bruschi and
               Francesco Perini and
               Vincenzo Rana and
               Donatella Sciuto},
  title     = {An efficient Quantum-Dot Cellular Automata adder},
  booktitle = {Design, Automation and Test in Europe, {DATE} 2011, Grenoble, France,
               March 14-18, 2011},
  pages     = {1220--1223},
  year      = {2011},
  crossref  = {DBLP:conf/date/2011},
  url       = {https://doi.org/10.1109/DATE.2011.5763318},
  doi       = {10.1109/DATE.2011.5763318},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/BruschiPRS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/samos/BruschiMR11,
  author    = {Francesco Bruschi and
               Antonio Miele and
               Vincenzo Rana},
  title     = {On-chip network resource management design and validation},
  booktitle = {2011 International Conference on Embedded Computer Systems: Architectures,
               Modeling, and Simulation, {SAMOS} XI, Samos, Greece, July 18-21, 2011},
  pages     = {249--254},
  year      = {2011},
  crossref  = {DBLP:conf/samos/2011ic},
  url       = {https://doi.org/10.1109/SAMOS.2011.6045468},
  doi       = {10.1109/SAMOS.2011.6045468},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/samos/BruschiMR11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/BruschiPR10,
  author    = {Francesco Bruschi and
               Marco Paolieri and
               Vincenzo Rana},
  title     = {A Reconfigurable System Based on a Parallel and Pipelined Solution
               for Regular Expression Matching},
  booktitle = {International Conference on Field Programmable Logic and Applications,
               {FPL} 2010, August 31 2010 - September 2, 2010, Milano, Italy},
  pages     = {44--49},
  year      = {2010},
  crossref  = {DBLP:conf/fpl/2010},
  url       = {https://doi.org/10.1109/FPL.2010.20},
  doi       = {10.1109/FPL.2010.20},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fpl/BruschiPR10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/samos/ArlatiBS10,
  author    = {Fabio Arlati and
               Francesco Bruschi and
               Donatella Sciuto},
  title     = {Designing and validating access policies to reconfigurable resources
               in Multiprocessor Systems on chip},
  booktitle = {Proceedings of the 2010 International Conference on Embedded Computer
               Systems: Architectures, Modeling and Simulation {(IC-SAMOS} 2010),
               Samos, Greece, July 19-22, 2010},
  pages     = {365--371},
  year      = {2010},
  crossref  = {DBLP:conf/samos/2010ic},
  url       = {https://doi.org/10.1109/ICSAMOS.2010.5642044},
  doi       = {10.1109/ICSAMOS.2010.5642044},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/samos/ArlatiBS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/AgostaBPS09,
  author    = {Giovanni Agosta and
               Francesco Bruschi and
               Gerardo Pelosi and
               Donatella Sciuto},
  title     = {A Transform-Parametric Approach to Boolean Matching},
  journal   = {{IEEE} Trans. on {CAD} of Integrated Circuits and Systems},
  volume    = {28},
  number    = {6},
  pages     = {805--817},
  year      = {2009},
  url       = {https://doi.org/10.1109/TCAD.2009.2016547},
  doi       = {10.1109/TCAD.2009.2016547},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tcad/AgostaBPS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/AgostaBS08,
  author    = {Giovanni Agosta and
               Francesco Bruschi and
               Donatella Sciuto},
  title     = {Static Analysis of Transaction-Level Communication Models},
  journal   = {{IEEE} Trans. on {CAD} of Integrated Circuits and Systems},
  volume    = {27},
  number    = {8},
  pages     = {1412--1424},
  year      = {2008},
  url       = {https://doi.org/10.1109/TCAD.2008.925791},
  doi       = {10.1109/TCAD.2008.925791},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tcad/AgostaBS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/estimedia/BruschiRS08,
  author    = {Francesco Bruschi and
               Vincenzo Rana and
               Donatella Sciuto},
  title     = {An architecture for dynamically reconfigurable real time audio processing
               systems},
  booktitle = {Proceedings of the 6th {IEEE/ACM/IFIP} Workshop on Embedded Systems
               for Real-Time Multimedia, ESTIMedia 2008, Atlanta, Georgia, USA, 23-24
               October 2008},
  pages     = {81--86},
  year      = {2008},
  crossref  = {DBLP:conf/estimedia/2008},
  url       = {https://doi.org/10.1109/ESTMED.2008.4697001},
  doi       = {10.1109/ESTMED.2008.4697001},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/estimedia/BruschiRS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/MeroniRSB08,
  author    = {Alessandro Meroni and
               Vincenzo Rana and
               Marco D. Santambrogio and
               Francesco Bruschi},
  title     = {A Requirements-Driven Simulation Framework for Communication Infrastructures
               Design},
  booktitle = {Forum on specification and Design Languages, {FDL} 2008, September
               23-25, 2008, Stuttgart, Germany, Proceedings},
  pages     = {111--117},
  year      = {2008},
  crossref  = {DBLP:conf/fdl/2008},
  url       = {https://doi.org/10.1109/FDL.2008.4641431},
  doi       = {10.1109/FDL.2008.4641431},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fdl/MeroniRSB08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/MeroniRSB08a,
  author    = {Alessandro Meroni and
               Vincenzo Rana and
               Marco D. Santambrogio and
               Francesco Bruschi},
  title     = {Design of Communication Infrastructures for Reconfigurable Systems},
  booktitle = {Languages for Embedded Systems and their Applications - Selected Contributions
               on Specification, Design, and Verification from FDL'08, September
               23-25, 2008, Stuttgart, Germany},
  pages     = {291--307},
  year      = {2008},
  crossref  = {DBLP:conf/fdl/2008s},
  url       = {https://doi.org/10.1007/978-1-4020-9714-0\_19},
  doi       = {10.1007/978-1-4020-9714-0\_19},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fdl/MeroniRSB08a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AgostaBPS07,
  author    = {Giovanni Agosta and
               Francesco Bruschi and
               Gerardo Pelosi and
               Donatella Sciuto},
  title     = {A Unified Approach to Canonical Form-based Boolean Matching},
  booktitle = {Proceedings of the 44th Design Automation Conference, {DAC} 2007,
               San Diego, CA, USA, June 4-8, 2007},
  pages     = {841--846},
  year      = {2007},
  crossref  = {DBLP:conf/dac/2007},
  url       = {https://doi.org/10.1145/1278480.1278689},
  doi       = {10.1145/1278480.1278689},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/AgostaBPS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/AgostaBS07,
  author    = {Giovanni Agosta and
               Francesco Bruschi and
               Donatella Sciuto},
  title     = {An efficient cost-based canonical form for Boolean matching},
  booktitle = {Proceedings of the 17th {ACM} Great Lakes Symposium on {VLSI} 2007,
               Stresa, Lago Maggiore, Italy, March 11-13, 2007},
  pages     = {445--448},
  year      = {2007},
  crossref  = {DBLP:conf/glvlsi/2007},
  url       = {https://doi.org/10.1145/1228784.1228889},
  doi       = {10.1145/1228784.1228889},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/glvlsi/AgostaBS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ersa/AgostaBSS06,
  author    = {Giovanni Agosta and
               Francesco Bruschi and
               Marco D. Santambrogio and
               Donatella Sciuto},
  title     = {Synthesis of Object Oriented Models on Reconfigurable Hardware},
  booktitle = {Proceedings of the 2006 International Conference on Engineering of
               Reconfigurable Systems {\&} Algorithms, {ERSA} 2006, Las Vegas,
               Nevada, USA, June 26-29, 2006},
  pages     = {249--250},
  year      = {2006},
  crossref  = {DBLP:conf/ersa/2006},
  timestamp = {Mon, 14 May 2007 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ersa/AgostaBSS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/BruschiF06,
  author    = {Francesco Bruschi and
               Fabrizio Ferrandi},
  title     = {A SystemC-based Framework of Communication Architecture},
  booktitle = {Forum on specification and Design Languages, {FDL} 2006, September
               19-22, 2006, Darmstadt, Germany, Proceedings},
  pages     = {319--327},
  year      = {2006},
  crossref  = {DBLP:conf/fdl/2006},
  url       = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=391},
  timestamp = {Wed, 04 Mar 2009 14:23:41 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fdl/BruschiF06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/BruschiFS05,
  author    = {Francesco Bruschi and
               Fabrizio Ferrandi and
               Donatella Sciuto},
  title     = {A Framework for the Functional Verification of SystemC Models},
  journal   = {International Journal of Parallel Programming},
  volume    = {33},
  number    = {6},
  pages     = {667--695},
  year      = {2005},
  url       = {https://doi.org/10.1007/s10766-005-8908-x},
  doi       = {10.1007/s10766-005-8908-x},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ijpp/BruschiFS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/estimedia/AgostaBSS05,
  author    = {Giovanni Agosta and
               Francesco Bruschi and
               Marco D. Santambrogio and
               Donatella Sciuto},
  title     = {A Data Oriented Approach to the Design of Reconfigurable Stream Decoders},
  booktitle = {Proceedings of the 2005 3rd Workshop on Embedded Systems for Real-Time
               Multimedia, ESTImedia 2005, September 22-23, 2005, New York Metropolitan
               Area, {USA}},
  pages     = {107--112},
  year      = {2005},
  crossref  = {DBLP:conf/estimedia/2005},
  url       = {https://doi.org/10.1109/ESTMED.2005.1518084},
  doi       = {10.1109/ESTMED.2005.1518084},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/estimedia/AgostaBSS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/BruschiMS05,
  author    = {Francesco Bruschi and
               Federico Moro and
               Donatella Sciuto},
  title     = {Mapping Interface Method Calls over {OCP} Buses},
  booktitle = {Forum on specification and Design Languages, {FDL} 2005, September
               27-30, 2005, Lausanne, Switzerland, Proceedings},
  pages     = {279--283},
  year      = {2005},
  crossref  = {DBLP:conf/fdl/2005},
  url       = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=463},
  timestamp = {Thu, 05 Mar 2009 15:09:02 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fdl/BruschiMS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/AgostaBS05,
  author    = {Giovanni Agosta and
               Francesco Bruschi and
               Donatella Sciuto},
  title     = {Aspect Orientation in System Level Design},
  booktitle = {Forum on specification and Design Languages, {FDL} 2005, September
               27-30, 2005, Lausanne, Switzerland, Proceedings},
  pages     = {397--401},
  year      = {2005},
  crossref  = {DBLP:conf/fdl/2005},
  url       = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=496},
  timestamp = {Thu, 05 Mar 2009 15:09:02 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fdl/AgostaBS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/BruschiB04,
  author    = {Francesco Bruschi and
               Massimo Bombana},
  title     = {A Design Methodology for the Exploitation of High Level Communication
               Synthesis},
  booktitle = {2004 Design, Automation and Test in Europe Conference and Exposition
               {(DATE} 2004), 16-20 February 2004, Paris, France},
  pages     = {180--185},
  year      = {2004},
  crossref  = {DBLP:conf/date/2004},
  url       = {https://doi.org/10.1109/DATE.2004.1269227},
  doi       = {10.1109/DATE.2004.1269227},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/BruschiB04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/delta/AgostaBS04,
  author    = {Giovanni Agosta and
               Francesco Bruschi and
               Donatella Sciuto},
  title     = {Synthesis of Dynamic Class Loading Specifications on Reconfigurable
               Hardware},
  booktitle = {2nd {IEEE} International Workshop on Electronic Design, Test and Applications
               {(DELTA} 2004), 28-30 January 2004, Perth, Australia},
  pages     = {431--433},
  year      = {2004},
  crossref  = {DBLP:conf/delta/2004},
  url       = {https://doi.org/10.1109/DELTA.2004.10069},
  doi       = {10.1109/DELTA.2004.10069},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/delta/AgostaBS04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-5/BruschiFHMRS04,
  author    = {Francesco Bruschi and
               Paolo Faverio and
               R. Hodges and
               L. Mari and
               D. Restelli and
               Donatella Sciuto},
  title     = {Virtual Community in the Classroom: An Innovating Tool for Elearning},
  booktitle = {EDUTECH, Computer-Aided Design Meets Computer-Aided Learning, {IFIP}
               18th World Computer Congress, {TC10} / {WG10.5} EduTech Workshop,
               22-27 August 2004, Toulouse, France},
  pages     = {123--132},
  year      = {2004},
  crossref  = {DBLP:conf/ifip10-5/2004},
  url       = {https://doi.org/10.1007/1-4020-8162-6\_14},
  doi       = {10.1007/1-4020-8162-6\_14},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifip10-5/BruschiFHMRS04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AgostaBS03,
  author    = {Giovanni Agosta and
               Francesco Bruschi and
               Donatella Sciuto},
  title     = {Static analysis of transaction-level models},
  booktitle = {Proceedings of the 40th Design Automation Conference, {DAC} 2003,
               Anaheim, CA, USA, June 2-6, 2003},
  pages     = {448--453},
  year      = {2003},
  crossref  = {DBLP:conf/dac/2003},
  url       = {https://doi.org/10.1145/775832.775950},
  doi       = {10.1145/775832.775950},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/AgostaBS03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/BombanaB03,
  author    = {Massimo Bombana and
               Francesco Bruschi},
  title     = {SystemC-VHDL Co-Simulation and Synthesis in the {HW} Domain},
  booktitle = {2003 Design, Automation and Test in Europe Conference and Exposition
               {(DATE} 2003), 3-7 March 2003, Munich, Germany},
  pages     = {20101--20105},
  year      = {2003},
  crossref  = {DBLP:conf/date/2003},
  url       = {https://doi.org/10.1109/DATE.2003.1186679},
  doi       = {10.1109/DATE.2003.1186679},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/BombanaB03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/BruschiF03,
  author    = {Francesco Bruschi and
               Fabrizio Ferrandi},
  title     = {Synthesis of Complex Control Structures from Behavioral SystemC Models},
  booktitle = {2003 Design, Automation and Test in Europe Conference and Exposition
               {(DATE} 2003), 3-7 March 2003, Munich, Germany},
  pages     = {20112--20119},
  year      = {2003},
  crossref  = {DBLP:conf/date/2003},
  url       = {https://doi.org/10.1109/DATE.2003.1186681},
  doi       = {10.1109/DATE.2003.1186681},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/BruschiF03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/BruschiCFS02,
  author    = {Francesco Bruschi and
               Michele Chiamenti and
               Fabrizio Ferrandi and
               Donatella Sciuto},
  title     = {Error Simulation Based on the SystemC Design Description Language},
  booktitle = {2002 Design, Automation and Test in Europe Conference and Exposition
               {(DATE} 2002), 4-8 March 2002, Paris, France},
  pages     = {1135},
  year      = {2002},
  crossref  = {DBLP:conf/date/2002},
  url       = {https://doi.org/10.1109/DATE.2002.998493},
  doi       = {10.1109/DATE.2002.998493},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/BruschiCFS02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/BeardoBFS00,
  author    = {M. Beardo and
               Francesco Bruschi and
               Fabrizio Ferrandi and
               Donatella Sciuto},
  title     = {An approach to functional testing of {VLIW} architectures},
  booktitle = {Proceedings of the {IEEE} International High-Level Design Validation
               and Test Workshop 2000, Berkeley, California, USA, November 8-10,
               2000},
  pages     = {29--33},
  year      = {2000},
  crossref  = {DBLP:conf/hldvt/2000},
  url       = {https://doi.org/10.1109/HLDVT.2000.889555},
  doi       = {10.1109/HLDVT.2000.889555},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hldvt/BeardoBFS00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/itsc/2017,
  title     = {20th {IEEE} International Conference on Intelligent Transportation
               Systems, {ITSC} 2017, Yokohama, Japan, October 16-19, 2017},
  publisher = {{IEEE}},
  year      = {2017},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8307147/proceeding},
  isbn      = {978-1-5386-1526-3},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/itsc/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/itsc/2016,
  title     = {19th {IEEE} International Conference on Intelligent Transportation
               Systems, {ITSC} 2016, Rio de Janeiro, Brazil, November 1-4, 2016},
  publisher = {{IEEE}},
  year      = {2016},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7784515/proceeding},
  isbn      = {978-1-5090-1889-5},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/itsc/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/euc/2014,
  title     = {12th {IEEE} International Conference on Embedded and Ubiquitous Computing,
               {EUC} 2014, Milano, Italy, August 26-28, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6960146/proceeding},
  isbn      = {978-0-7695-5249-1},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/euc/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/2013,
  title     = {The 50th Annual Design Automation Conference 2013, {DAC} '13, Austin,
               TX, USA, May 29 - June 07, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2463209},
  isbn      = {978-1-4503-2071-9},
  timestamp = {Mon, 27 May 2013 21:33:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dac/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sensornets/2013,
  editor    = {Marten van Sinderen and
               Octavian Postolache and
               C{\'{e}}sar Benavente{-}Peces},
  title     = {{SENSORNETS} 2013 - Proceedings of the 2nd International Conference
               on Sensor Networks, Barcelona, Spain, 19-21 February, 2013},
  publisher = {SciTePress},
  year      = {2013},
  isbn      = {978-989-8565-45-7},
  timestamp = {Sun, 14 Jul 2013 12:39:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sensornets/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dsd/2012,
  title     = {15th Euromicro Conference on Digital System Design, {DSD} 2012, Cesme,
               Izmir, Turkey, September 5-8, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6384916/proceeding},
  isbn      = {978-1-4673-2498-4},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dsd/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/date/2011,
  title     = {Design, Automation and Test in Europe, {DATE} 2011, Grenoble, France,
               March 14-18, 2011},
  publisher = {{IEEE}},
  year      = {2011},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/5754459/proceeding},
  isbn      = {978-1-61284-208-0},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/samos/2011ic,
  editor    = {Luigi Carro and
               Andy D. Pimentel},
  title     = {2011 International Conference on Embedded Computer Systems: Architectures,
               Modeling, and Simulation, {SAMOS} XI, Samos, Greece, July 18-21, 2011},
  publisher = {{IEEE}},
  year      = {2011},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6036614/proceeding},
  isbn      = {978-1-4577-0802-2},
  timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/samos/2011ic},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fpl/2010,
  title     = {International Conference on Field Programmable Logic and Applications,
               {FPL} 2010, August 31 2010 - September 2, 2010, Milano, Italy},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/5690273/proceeding},
  isbn      = {978-0-7695-4179-2},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fpl/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/samos/2010ic,
  editor    = {Fadi J. Kurdahi and
               Jarmo Takala},
  title     = {Proceedings of the 2010 International Conference on Embedded Computer
               Systems: Architectures, Modeling and Simulation {(IC-SAMOS} 2010),
               Samos, Greece, July 19-22, 2010},
  publisher = {{IEEE}},
  year      = {2010},
  isbn      = {978-1-4244-7937-5},
  timestamp = {Wed, 24 Nov 2010 11:40:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/samos/2010ic},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/estimedia/2008,
  editor    = {Petru Eles and
               Andy D. Pimentel},
  title     = {Proceedings of the 6th {IEEE/ACM/IFIP} Workshop on Embedded Systems
               for Real-Time Multimedia, ESTIMedia 2008, Atlanta, Georgia, USA, 23-24
               October 2008},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/4686746/proceeding},
  isbn      = {978-1-4244-2612-6},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/estimedia/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fdl/2008,
  title     = {Forum on specification and Design Languages, {FDL} 2008, September
               23-25, 2008, Stuttgart, Germany, Proceedings},
  publisher = {{IEEE}},
  year      = {2008},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/4636106/proceeding},
  isbn      = {978-1-4244-2265-4},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fdl/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fdl/2008s,
  editor    = {Martin Radetzki},
  title     = {Languages for Embedded Systems and their Applications - Selected Contributions
               on Specification, Design, and Verification from FDL'08, September
               23-25, 2008, Stuttgart, Germany},
  series    = {Lecture Notes in Electrical Engineering},
  volume    = {36},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-1-4020-9714-0},
  doi       = {10.1007/978-1-4020-9714-0},
  timestamp = {Sat, 23 Feb 2019 16:10:55 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fdl/2008s},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/2007,
  title     = {Proceedings of the 44th Design Automation Conference, {DAC} 2007,
               San Diego, CA, USA, June 4-8, 2007},
  publisher = {{IEEE}},
  year      = {2007},
  url       = {http://dl.acm.org/citation.cfm?id=1278480},
  timestamp = {Wed, 30 Nov 2011 16:28:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/glvlsi/2007,
  editor    = {Hai Zhou and
               Enrico Macii and
               Zhiyuan Yan and
               Yehia Massoud},
  title     = {Proceedings of the 17th {ACM} Great Lakes Symposium on {VLSI} 2007,
               Stresa, Lago Maggiore, Italy, March 11-13, 2007},
  publisher = {{ACM}},
  year      = {2007},
  url       = {https://doi.org/10.1145/1228784},
  doi       = {10.1145/1228784},
  isbn      = {978-1-59593-605-9},
  timestamp = {Wed, 24 May 2017 08:28:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/glvlsi/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ersa/2006,
  editor    = {Toomas P. Plaks},
  title     = {Proceedings of the 2006 International Conference on Engineering of
               Reconfigurable Systems {\&} Algorithms, {ERSA} 2006, Las Vegas,
               Nevada, USA, June 26-29, 2006},
  publisher = {{CSREA} Press},
  year      = {2006},
  isbn      = {1-60132-011-6},
  timestamp = {Mon, 11 Dec 2006 15:00:43 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ersa/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fdl/2006,
  title     = {Forum on specification and Design Languages, {FDL} 2006, September
               19-22, 2006, Darmstadt, Germany, Proceedings},
  publisher = {{ECSI}},
  year      = {2006},
  isbn      = {978-3-00-019710-9},
  timestamp = {Wed, 04 Mar 2009 14:23:41 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fdl/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/estimedia/2005,
  editor    = {Miguel Miranda and
               Soonhoi Ha},
  title     = {Proceedings of the 2005 3rd Workshop on Embedded Systems for Real-Time
               Multimedia, ESTImedia 2005, September 22-23, 2005, New York Metropolitan
               Area, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/10172/proceeding},
  isbn      = {0-7803-9347-3},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/estimedia/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fdl/2005,
  title     = {Forum on specification and Design Languages, {FDL} 2005, September
               27-30, 2005, Lausanne, Switzerland, Proceedings},
  publisher = {{ECSI}},
  year      = {2005},
  timestamp = {Thu, 05 Mar 2009 15:09:02 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fdl/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/date/2004,
  title     = {2004 Design, Automation and Test in Europe Conference and Exposition
               {(DATE} 2004), 16-20 February 2004, Paris, France},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://www.computer.org/csdl/proceedings/date/2004/index.html},
  isbn      = {0-7695-2085-5},
  timestamp = {Tue, 05 Apr 2016 18:04:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/delta/2004,
  title     = {2nd {IEEE} International Workshop on Electronic Design, Test and Applications
               {(DELTA} 2004), 28-30 January 2004, Perth, Australia},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/9676/proceeding},
  isbn      = {0-7695-2081-2},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/delta/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip10-5/2004,
  editor    = {Carlos Delgado Kloos and
               Abelardo Pardo},
  title     = {EDUTECH, Computer-Aided Design Meets Computer-Aided Learning, {IFIP}
               18th World Computer Congress, {TC10} / {WG10.5} EduTech Workshop,
               22-27 August 2004, Toulouse, France},
  series    = {{IFIP}},
  volume    = {151},
  publisher = {Kluwer/Springer},
  year      = {2004},
  isbn      = {1-4020-8161-8},
  timestamp = {Wed, 16 Jul 2014 08:45:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifip10-5/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/2003,
  title     = {Proceedings of the 40th Design Automation Conference, {DAC} 2003,
               Anaheim, CA, USA, June 2-6, 2003},
  publisher = {{ACM}},
  year      = {2003},
  url       = {http://dl.acm.org/citation.cfm?id=775832},
  isbn      = {1-58113-688-9},
  timestamp = {Wed, 30 Nov 2011 16:28:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/date/2003,
  title     = {2003 Design, Automation and Test in Europe Conference and Exposition
               {(DATE} 2003), 3-7 March 2003, Munich, Germany},
  publisher = {{IEEE} Computer Society},
  year      = {2003},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8443/proceeding},
  isbn      = {0-7695-1870-2},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/date/2002,
  title     = {2002 Design, Automation and Test in Europe Conference and Exposition
               {(DATE} 2002), 4-8 March 2002, Paris, France},
  publisher = {{IEEE} Computer Society},
  year      = {2002},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7834/proceeding},
  isbn      = {0-7695-1471-5},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hldvt/2000,
  title     = {Proceedings of the {IEEE} International High-Level Design Validation
               and Test Workshop 2000, Berkeley, California, USA, November 8-10,
               2000},
  publisher = {{IEEE} Computer Society},
  year      = {2000},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7154/proceeding},
  isbn      = {0-7695-0786-7},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hldvt/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics