BibTeX records: El Mostapha Aboulhamid

download as .bib file

@article{DBLP:journals/ijpp/AnaneA15,
  author    = {Amine Anane and
               El Mostapha Aboulhamid},
  title     = {A Transaction-Based Environment for System Modeling and Parallel Simulation},
  journal   = {International Journal of Parallel Programming},
  volume    = {43},
  number    = {1},
  pages     = {24--58},
  year      = {2015},
  url       = {https://doi.org/10.1007/s10766-013-0303-4},
  doi       = {10.1007/s10766-013-0303-4},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijpp/AnaneA15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/IvanA13,
  author    = {Teodor Ivan and
               El Mostapha Aboulhamid},
  title     = {An Efficient Hardware Implementation of a {SAT} Problem Solver on
               {FPGA}},
  booktitle = {2013 Euromicro Conference on Digital System Design, {DSD} 2013, Los
               Alamitos, CA, USA, September 4-6, 2013},
  pages     = {209--216},
  year      = {2013},
  crossref  = {DBLP:conf/dsd/2013},
  url       = {https://doi.org/10.1109/DSD.2013.31},
  doi       = {10.1109/DSD.2013.31},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dsd/IvanA13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/GirodiasIBNALP12,
  author    = {Bruno Girodias and
               Luiza Gheorghe Iugan and
               Youcef Bouchebaba and
               Gabriela Nicolescu and
               El Mostapha Aboulhamid and
               Michel Langevin and
               Pierre G. Paulin},
  title     = {Integrating Memory Optimization with Mapping Algorithms for Multi-Processors
               System-on-Chip},
  journal   = {{ACM} Trans. Embedded Comput. Syst.},
  volume    = {11},
  number    = {3},
  pages     = {64:1--64:26},
  year      = {2012},
  url       = {https://doi.org/10.1145/2345770.2345776},
  doi       = {10.1145/2345770.2345776},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tecs/GirodiasIBNALP12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/samos/AnaneAS12,
  author    = {Amine Anane and
               El Mostapha Aboulhamid and
               Yvon Savaria},
  title     = {System modeling and multicore simulation using transactions},
  booktitle = {2012 International Conference on Embedded Computer Systems: Architectures,
               Modeling, and Simulation, {SAMOS} XII, Samos, Greece, July 16-19,
               2012},
  pages     = {41--50},
  year      = {2012},
  crossref  = {DBLP:conf/samos/2012ic},
  url       = {https://doi.org/10.1109/SAMOS.2012.6404156},
  doi       = {10.1109/SAMOS.2012.6404156},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/samos/AnaneAS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/FourmigueBNA11,
  author    = {Alain Fourmigue and
               Giovanni Beltrame and
               Gabriela Nicolescu and
               El Mostapha Aboulhamid},
  title     = {A linear-time approach for the transient thermal simulation of liquid-cooled
               3d ics},
  booktitle = {Proceedings of the 9th International Conference on Hardware/Software
               Codesign and System Synthesis, {CODES+ISSS} 2011, part of ESWeek '11
               Seventh Embedded Systems Week, Taipei, Taiwan, 9-14 October, 2011},
  pages     = {197--206},
  year      = {2011},
  crossref  = {DBLP:conf/codes/2011},
  url       = {https://doi.org/10.1145/2039370.2039402},
  doi       = {10.1145/2039370.2039402},
  timestamp = {Mon, 26 Nov 2018 12:14:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/codes/FourmigueBNA11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/FourmigueBNAO11,
  author    = {Alain Fourmigue and
               Giovanni Beltrame and
               Gabriela Nicolescu and
               El Mostapha Aboulhamid and
               Ian O'Connor},
  title     = {Multi-granularity thermal evaluation of 3D MPSoC architectures},
  booktitle = {Design, Automation and Test in Europe, {DATE} 2011, Grenoble, France,
               March 14-18, 2011},
  pages     = {575--578},
  year      = {2011},
  crossref  = {DBLP:conf/date/2011},
  url       = {https://doi.org/10.1109/DATE.2011.5763287},
  doi       = {10.1109/DATE.2011.5763287},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/FourmigueBNAO11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsisp/BrownA10,
  author    = {Geoffrey Brown and
               El Mostapha Aboulhamid},
  title     = {Guest Editorial},
  journal   = {Signal Processing Systems},
  volume    = {58},
  number    = {1},
  pages     = {1--2},
  year      = {2010},
  url       = {https://doi.org/10.1007/s11265-008-0335-y},
  doi       = {10.1007/s11265-008-0335-y},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/vlsisp/BrownA10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icecsys/AzzabiAN10,
  author    = {Ahmed Azzabi and
               El Mostapha Aboulhamid and
               Gabriela Nicolescu},
  title     = {Timing verification of cyclic systems based on temporal constraint
               analysis},
  booktitle = {17th {IEEE} International Conference on Electronics, Circuits, and
               Systems, {ICECS} 2010, Athens, Greece, 12-15 December, 2010},
  pages     = {659--662},
  year      = {2010},
  crossref  = {DBLP:conf/icecsys/2010},
  url       = {https://doi.org/10.1109/ICECS.2010.5724598},
  doi       = {10.1109/ICECS.2010.5724598},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icecsys/AzzabiAN10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/GirodiasGBNALP10,
  author    = {Bruno Girodias and
               Luiza Gheorghe and
               Youcef Bouchebaba and
               Gabriela Nicolescu and
               El Mostapha Aboulhamid and
               Michel Langevin and
               Pierre G. Paulin},
  title     = {Combining memory optimization with mapping of multimedia applications
               for multi-processors system-on-chip},
  booktitle = {Proceedings of the 21st {IEEE} International Symposium on Rapid System
               Prototyping, {RSP} 2010, Fairfax, VA, USA, 8-11 June, 2010},
  pages     = {1--9},
  year      = {2010},
  crossref  = {DBLP:conf/rsp/2010},
  url       = {https://doi.org/10.1109/RSP.2010.5656435},
  doi       = {10.1109/RSP.2010.5656435},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rsp/GirodiasGBNALP10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mj/MetzgerARVA09,
  author    = {Michel Metzger and
               Amine Anane and
               Fr{\'{e}}d{\'{e}}ric Rousseau and
               Julie Vachon and
               El Mostapha Aboulhamid},
  title     = {Introspection mechanisms for runtime verification in a system-level
               design environment},
  journal   = {Microelectronics Journal},
  volume    = {40},
  number    = {7},
  pages     = {1124--1134},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.mejo.2008.04.010},
  doi       = {10.1016/j.mejo.2008.04.010},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mj/MetzgerARVA09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsisp/GirodiasBNAPL09,
  author    = {Bruno Girodias and
               Youcef Bouchebaba and
               Gabriela Nicolescu and
               El Mostapha Aboulhamid and
               Pierre G. Paulin and
               Bruno Lavigueur},
  title     = {Multiprocessor, Multithreading and Memory Optimization for On-Chip
               Multimedia Applications},
  journal   = {Signal Processing Systems},
  volume    = {57},
  number    = {2},
  pages     = {263--283},
  year      = {2009},
  url       = {https://doi.org/10.1007/s11265-008-0293-4},
  doi       = {10.1007/s11265-008-0293-4},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/vlsisp/GirodiasBNAPL09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/FourmigueGNA09,
  author    = {Alain Fourmigue and
               Bruno Girodias and
               Gabriela Nicolescu and
               El Mostapha Aboulhamid},
  title     = {Co-simulation based platform for wireless protocols design explorations},
  booktitle = {Design, Automation and Test in Europe, {DATE} 2009, Nice, France,
               April 20-24, 2009},
  pages     = {874--877},
  year      = {2009},
  crossref  = {DBLP:conf/date/2009},
  url       = {https://doi.org/10.1109/DATE.2009.5090785},
  doi       = {10.1109/DATE.2009.5090785},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/FourmigueGNA09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiccsa/2009,
  editor    = {El Mostapha Aboulhamid and
               Jos{\'{e}} Luis Sevillano},
  title     = {The 7th {IEEE/ACS} International Conference on Computer Systems and
               Applications, {AICCSA} 2009, Rabat, Morocco, May 10-13, 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5010318},
  isbn      = {978-1-4244-3807-5},
  timestamp = {Tue, 25 Nov 2014 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aiccsa/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/AnaneAVS08,
  author    = {Amine Anane and
               El Mostapha Aboulhamid and
               Julie Vachon and
               Yvon Savaria},
  title     = {Modeling and simulation of complex heterogeneous systems},
  booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2008), 18-21
               May 2008, Sheraton Seattle Hotel, Seattle, Washington, {USA}},
  pages     = {2873--2876},
  year      = {2008},
  crossref  = {DBLP:conf/iscas/2008},
  url       = {https://doi.org/10.1109/ISCAS.2008.4542057},
  doi       = {10.1109/ISCAS.2008.4542057},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iscas/AnaneAVS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/MossCBA08,
  author    = {Laurent Moss and
               Marc{-}Andr{\'{e}} Cantin and
               Guy Bois and
               El Mostapha Aboulhamid},
  title     = {Automation of Communication Refinement and Hardware Synthesis within
               a System-Level Design Methodology},
  booktitle = {The 19th {IEEE/IFIP} International Symposium on Rapid System Prototyping:
               {RSP} 2009, Shortening the Path from Specification to Prototype, 2-5
               June 2008, Monterey, California, {USA}},
  pages     = {75--81},
  year      = {2008},
  crossref  = {DBLP:conf/rsp/2008},
  url       = {https://doi.org/10.1109/RSP.2008.17},
  doi       = {10.1109/RSP.2008.17},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rsp/MossCBA08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cee/GorseBCAS07,
  author    = {N. Gorse and
               P. B{\'{e}}langer and
               Alexandre Chureau and
               El Mostapha Aboulhamid and
               Yvon Savaria},
  title     = {A high-level requirements engineering methodology for electronic system-level
               design},
  journal   = {Computers {\&} Electrical Engineering},
  volume    = {33},
  number    = {4},
  pages     = {249--268},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.compeleceng.2007.02.004},
  doi       = {10.1016/j.compeleceng.2007.02.004},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cee/GorseBCAS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mj/BouchhimaNAA07,
  author    = {Faouzi Bouchhima and
               Gabriela Nicolescu and
               El Mostapha Aboulhamid and
               Mohamed Abid},
  title     = {Generic discrete-continuous simulation model for accurate validation
               in heterogeneous systems design},
  journal   = {Microelectronics Journal},
  volume    = {38},
  number    = {6-7},
  pages     = {805--815},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.mejo.2007.04.001},
  doi       = {10.1016/j.mejo.2007.04.001},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mj/BouchhimaNAA07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/BouchebabaGNALP07,
  author    = {Youcef Bouchebaba and
               Bruno Girodias and
               Gabriela Nicolescu and
               El Mostapha Aboulhamid and
               Bruno Lavigueur and
               Pierre G. Paulin},
  title     = {MPSoC memory optimization using program transformation},
  journal   = {{ACM} Trans. Design Autom. Electr. Syst.},
  volume    = {12},
  number    = {4},
  pages     = {43},
  year      = {2007},
  url       = {https://doi.org/10.1145/1278349.1278356},
  doi       = {10.1145/1278349.1278356},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/todaes/BouchebabaGNALP07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsisp/BouchebabaGCNA07,
  author    = {Youcef Bouchebaba and
               Bruno Girodias and
               Fabien Coelho and
               Gabriela Nicolescu and
               El Mostapha Aboulhamid},
  title     = {Buffer and Register Allocation for Memory Space Optimization},
  journal   = {{VLSI} Signal Processing},
  volume    = {49},
  number    = {1},
  pages     = {123--138},
  year      = {2007},
  url       = {https://doi.org/10.1007/s11265-006-0001-1},
  doi       = {10.1007/s11265-006-0001-1},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/vlsisp/BouchebabaGCNA07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/MossNFFBA07,
  author    = {Laurent Moss and
               Maxime de Nanclas and
               Luc Filion and
               Sebastien Fontaine and
               Guy Bois and
               El Mostapha Aboulhamid},
  title     = {Seamless hardware/software performance co-monitoring in a codesign
               simulation environment with {RTOS} support},
  booktitle = {2007 Design, Automation and Test in Europe Conference and Exposition,
               {DATE} 2007, Nice, France, April 16-20, 2007},
  pages     = {876--881},
  year      = {2007},
  crossref  = {DBLP:conf/date/2007},
  url       = {https://doi.org/10.1109/DATE.2007.364403},
  doi       = {10.1109/DATE.2007.364403},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/MossNFFBA07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icecsys/BouamiAEZ07,
  author    = {Driss Bouami and
               El Mostapha Aboulhamid and
               Mohsine Eleuldj and
               Mark Zwolinski},
  title     = {General and Technical Program Chairs' Message},
  booktitle = {14th {IEEE} International Conference on Electronics, Circuits, and
               Systems, {ICECS} 2007, Marrakech, Morocco, December 11-14, 2007},
  pages     = {1},
  year      = {2007},
  crossref  = {DBLP:conf/icecsys/2007},
  url       = {https://doi.org/10.1109/ICECS.2007.4510895},
  doi       = {10.1109/ICECS.2007.4510895},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icecsys/BouamiAEZ07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icecsys/DuboisAR07,
  author    = {Mathieu Dubois and
               El Mostapha Aboulhamid and
               Fr{\'{e}}d{\'{e}}ric Rousseau},
  title     = {Acceleration for Heterogeneous Systems Cosimulation},
  booktitle = {14th {IEEE} International Conference on Electronics, Circuits, and
               Systems, {ICECS} 2007, Marrakech, Morocco, December 11-14, 2007},
  pages     = {294--297},
  year      = {2007},
  crossref  = {DBLP:conf/icecsys/2007},
  url       = {https://doi.org/10.1109/ICECS.2007.4510988},
  doi       = {10.1109/ICECS.2007.4510988},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icecsys/DuboisAR07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icecsys/TsikhanovichAB07,
  author    = {Alena Tsikhanovich and
               El Mostapha Aboulhamid and
               Guy Bois},
  title     = {Communication Structure Refinement using Temporal Constraints Analysis},
  booktitle = {14th {IEEE} International Conference on Electronics, Circuits, and
               Systems, {ICECS} 2007, Marrakech, Morocco, December 11-14, 2007},
  pages     = {1284--1287},
  year      = {2007},
  crossref  = {DBLP:conf/icecsys/2007},
  url       = {https://doi.org/10.1109/ICECS.2007.4511232},
  doi       = {10.1109/ICECS.2007.4511232},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icecsys/TsikhanovichAB07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/ChevalierNFBRBA06,
  author    = {J{\'{e}}r{\^{o}}me Chevalier and
               Maxime de Nanclas and
               Luc Filion and
               Olivier Benny and
               Mathieu Rondonneau and
               Guy Bois and
               El Mostapha Aboulhamid},
  title     = {A SystemC Refinement Methodology for Embedded Software},
  journal   = {{IEEE} Design {\&} Test of Computers},
  volume    = {23},
  number    = {2},
  pages     = {148--158},
  year      = {2006},
  url       = {https://doi.org/10.1109/MDT.2006.27},
  doi       = {10.1109/MDT.2006.27},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dt/ChevalierNFBRBA06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/LapalmeAN06,
  author    = {James Lapalme and
               El Mostapha Aboulhamid and
               Gabriela Nicolescu},
  title     = {A new efficient {EDA} tool design methodology},
  journal   = {{ACM} Trans. Embedded Comput. Syst.},
  volume    = {5},
  number    = {2},
  pages     = {408--430},
  year      = {2006},
  url       = {https://doi.org/10.1145/1151074.1151082},
  doi       = {10.1145/1151074.1151082},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tecs/LapalmeAN06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ahs/Abdel-HamidTA06,
  author    = {Amr T. Abdel{-}Hamid and
               Sofi{\`{e}}ne Tahar and
               El Mostapha Aboulhamid},
  title     = {Finite State Machine {IP} Watermarking: {A} Tutorial},
  booktitle = {First {NASA/ESA} Conference on Adaptive Hardware and Systems {(AHS}
               2006), 15-18 June 2006, Istanbul, Turkey},
  pages     = {457--464},
  year      = {2006},
  crossref  = {DBLP:conf/ahs/2006},
  url       = {https://doi.org/10.1109/AHS.2006.40},
  doi       = {10.1109/AHS.2006.40},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ahs/Abdel-HamidTA06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apccas/DuboisAR06,
  author    = {Mathieu Dubois and
               El Mostapha Aboulhamid and
               Fr{\'{e}}d{\'{e}}ric Rousseau},
  title     = {Towards an Efficient Simulation of Multi-Language Descriptions of
               Heterogeneous Systems},
  booktitle = {{IEEE} Asia Pacific Conference on Circuits and Systems 2006, {APCCAS}
               2006, Singapore, 4-7 December 2006},
  pages     = {538--541},
  year      = {2006},
  crossref  = {DBLP:conf/apccas/2006},
  url       = {https://doi.org/10.1109/APCCAS.2006.342527},
  doi       = {10.1109/APCCAS.2006.342527},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apccas/DuboisAR06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asap/BouchebabaNAC06,
  author    = {Youcef Bouchebaba and
               Gabriela Nicolescu and
               El Mostapha Aboulhamid and
               Fabien Coelho},
  title     = {Buffer and register allocation for memory space optimization},
  booktitle = {2006 {IEEE} International Conference on Application-Specific Systems,
               Architecture and Processors {(ASAP} 2006), 11-13 September 2006, Steamboat
               Springs, Colorado, {USA}},
  pages     = {283--290},
  year      = {2006},
  crossref  = {DBLP:conf/asap/2006},
  url       = {https://doi.org/10.1109/ASAP.2006.20},
  doi       = {10.1109/ASAP.2006.20},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asap/BouchebabaNAC06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccece/TsikhanovichRAB06,
  author    = {Alena Tsikhanovich and
               Fr{\'{e}}d{\'{e}}ric Rousseau and
               El Mostapha Aboulhamid and
               Guy Bois},
  title     = {Transaction Level Modeling in Hardware/Software System Design using
               .Net Framework},
  booktitle = {Proceedings of the Canadian Conference on Electrical and Computer
               Engineering, {CCECE} 2006, May 7-10, 2006, Ottawa Congress Centre,
               Ottawa, Canada},
  pages     = {140--143},
  year      = {2006},
  crossref  = {DBLP:conf/ccece/2006},
  url       = {https://doi.org/10.1109/CCECE.2006.277692},
  doi       = {10.1109/CCECE.2006.277692},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ccece/TsikhanovichRAB06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/delta/GirodiasAN06,
  author    = {Bruno Girodias and
               El Mostapha Aboulhamid and
               Gabriela Nicolescu},
  title     = {A Platform for Refinement of {OS} Services for Embedded Systems},
  booktitle = {Third {IEEE} International Workshop on Electronic Design, Test and
               Applications {(DELTA} 2006), 17-19 January 2006, Kuala Lumpur, Malaysia},
  pages     = {227--236},
  year      = {2006},
  crossref  = {DBLP:conf/delta/2006},
  url       = {https://doi.org/10.1109/DELTA.2006.97},
  doi       = {10.1109/DELTA.2006.97},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/delta/GirodiasAN06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/MetzgerBRVA06,
  author    = {Michel Metzger and
               Frederic Bastien and
               Fr{\'{e}}d{\'{e}}ric Rousseau and
               Julie Vachon and
               El Mostapha Aboulhamid},
  title     = {A Verification Tool Implementation using Introspection Mechanism},
  booktitle = {Forum on specification and Design Languages, {FDL} 2006, September
               19-22, 2006, Darmstadt, Germany, Proceedings},
  pages     = {265--272},
  year      = {2006},
  crossref  = {DBLP:conf/fdl/2006},
  url       = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=370},
  timestamp = {Wed, 04 Mar 2009 14:23:41 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fdl/MetzgerBRVA06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icecsys/DuboisAR06,
  author    = {Mathieu Dubois and
               El Mostapha Aboulhamid and
               Fr{\'{e}}d{\'{e}}ric Rousseau},
  title     = {Acceleration for a compiled Transaction Level Modeling simulation},
  booktitle = {13th {IEEE} International Conference on Electronics, Circuits, and
               Systems, {ICECS} 2006, Nice, France, December 10-13, 2006},
  pages     = {1176--1179},
  year      = {2006},
  crossref  = {DBLP:conf/icecsys/2006},
  url       = {https://doi.org/10.1109/ICECS.2006.379650},
  doi       = {10.1109/ICECS.2006.379650},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icecsys/DuboisAR06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/MetzgerBRVA06,
  author    = {Michel Metzger and
               Frederic Bastien and
               Fr{\'{e}}d{\'{e}}ric Rousseau and
               Julie Vachon and
               El Mostapha Aboulhamid},
  title     = {Introspection Mechanisms for Semi-Formal Verification in a System-Level
               Design Environment},
  booktitle = {17th {IEEE} International Workshop on Rapid System Prototyping {(RSP}
               2006), 14-16 June 2006, Chania, Crete, Greece},
  pages     = {91--97},
  year      = {2006},
  crossref  = {DBLP:conf/rsp/2006},
  url       = {https://doi.org/10.1109/RSP.2006.22},
  doi       = {10.1109/RSP.2006.22},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rsp/MetzgerBRVA06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/GirodiasBNAPL06,
  author    = {Bruno Girodias and
               Youcef Bouchebaba and
               Gabriela Nicolescu and
               El Mostapha Aboulhamid and
               Pierre G. Paulin and
               Bruno Lavigueur},
  title     = {Application-Level Memory Optimization for MPSoC},
  booktitle = {17th {IEEE} International Workshop on Rapid System Prototyping {(RSP}
               2006), 14-16 June 2006, Chania, Crete, Greece},
  pages     = {169--178},
  year      = {2006},
  crossref  = {DBLP:conf/rsp/2006},
  url       = {https://doi.org/10.1109/RSP.2006.8},
  doi       = {10.1109/RSP.2006.8},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rsp/GirodiasBNAPL06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/ChabiniACS05,
  author    = {Noureddine Chabini and
               El Mostapha Aboulhamid and
               Isma{\"{\i}}l Chabini and
               Yvon Savaria},
  title     = {Scheduling and optimal register placement for synchronous circuits
               derived using software pipelining techniques},
  journal   = {{ACM} Trans. Design Autom. Electr. Syst.},
  volume    = {10},
  number    = {2},
  pages     = {187--204},
  year      = {2005},
  url       = {https://doi.org/10.1145/1059876.1059877},
  doi       = {10.1145/1059876.1059877},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/todaes/ChabiniACS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/Abdel-HamidTA05,
  author    = {Amr T. Abdel{-}Hamid and
               Sofi{\`{e}}ne Tahar and
               El Mostapha Aboulhamid},
  title     = {A Public-Key Watermarking Technique for {IP} Designs},
  booktitle = {2005 Design, Automation and Test in Europe Conference and Exposition
               {(DATE} 2005), 7-11 March 2005, Munich, Germany},
  pages     = {330--335},
  year      = {2005},
  crossref  = {DBLP:conf/date/2005},
  url       = {https://doi.org/10.1109/DATE.2005.32},
  doi       = {10.1109/DATE.2005.32},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/Abdel-HamidTA05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ChureauSA05,
  author    = {Alexandre Chureau and
               Yvon Savaria and
               El Mostapha Aboulhamid},
  title     = {The Role of Model-Level Transactors and {UML} in Functional Prototyping
               of Systems-on-Chip: {A} Software-Radio Application},
  booktitle = {2005 Design, Automation and Test in Europe Conference and Exposition
               {(DATE} 2005), 7-11 March 2005, Munich, Germany},
  pages     = {698--703},
  year      = {2005},
  crossref  = {DBLP:conf/date/2005},
  url       = {https://doi.org/10.1109/DATE.2005.309},
  doi       = {10.1109/DATE.2005.309},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/ChureauSA05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icecsys/DuboisA05,
  author    = {Mathieu Dubois and
               El Mostapha Aboulhamid},
  title     = {Techniques to improve cosimulation and interoperability of heterogeneous
               models},
  booktitle = {12th {IEEE} International Conference on Electronics, Circuits, and
               Systems, {ICECS} 2005, Gammarth, Tunisia, December 11-14, 2005},
  pages     = {1--4},
  year      = {2005},
  crossref  = {DBLP:conf/icecsys/2005},
  url       = {https://doi.org/10.1109/ICECS.2005.4633510},
  doi       = {10.1109/ICECS.2005.4633510},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icecsys/DuboisA05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/BoukadoumTBSA05,
  author    = {Mounir Boukadoum and
               Karima Tabari and
               Abdelhak Bensaoula and
               David Starikov and
               El Mostapha Aboulhamid},
  title     = {{FPGA} implementation of a {CDMA} source coding and modulation subsystem
               for a multiband fluorometer with pattern recognition capabilities},
  booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2005), 23-26
               May 2005, Kobe, Japan},
  pages     = {4767--4770},
  year      = {2005},
  crossref  = {DBLP:conf/iscas/2005},
  url       = {https://doi.org/10.1109/ISCAS.2005.1465698},
  doi       = {10.1109/ISCAS.2005.1465698},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iscas/BoukadoumTBSA05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsoc/TsikhanovichAB05,
  author    = {Alena Tsikhanovich and
               El Mostapha Aboulhamid and
               Guy Bois},
  title     = {A Methodology for Hw/Sw Specification and Simulation at Multiple Levels
               of Abstraction},
  booktitle = {Proceedings of the 5th {IEEE} International Workshop on System-on-Chip
               for Real-Time Applications {(IWSOC} 2005), 20-24 July 2004, Banff,
               Alberta, Canada},
  pages     = {24--29},
  year      = {2005},
  crossref  = {DBLP:conf/iwsoc/2005},
  url       = {https://doi.org/10.1109/IWSOC.2005.16},
  doi       = {10.1109/IWSOC.2005.16},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwsoc/TsikhanovichAB05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/LapalmeAN05,
  author    = {James Lapalme and
               El Mostapha Aboulhamid and
               Gabriela Nicolescu},
  title     = {Leveraging Model Representations for System Level Design Tools},
  booktitle = {16th {IEEE} International Workshop on Rapid System Prototyping {(RSP}
               2005), 8-10 June 2005, Montreal, Canada},
  pages     = {33--39},
  year      = {2005},
  crossref  = {DBLP:conf/rsp/2005},
  url       = {https://doi.org/10.1109/RSP.2005.28},
  doi       = {10.1109/RSP.2005.28},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rsp/LapalmeAN05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/BouchhimaNAA05,
  author    = {Faouzi Bouchhima and
               Gabriela Nicolescu and
               El Mostapha Aboulhamid and
               Mohamed Abid},
  title     = {Discrete-Continuous Simulation Model for Accurate Validation in Component-Based
               Heterogeneous SoC Design},
  booktitle = {16th {IEEE} International Workshop on Rapid System Prototyping {(RSP}
               2005), 8-10 June 2005, Montreal, Canada},
  pages     = {181--187},
  year      = {2005},
  crossref  = {DBLP:conf/rsp/2005},
  url       = {https://doi.org/10.1109/RSP.2005.22},
  doi       = {10.1109/RSP.2005.22},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rsp/BouchhimaNAA05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dafes/Abdel-HamidTA04,
  author    = {Amr T. Abdel{-}Hamid and
               Sofi{\`{e}}ne Tahar and
               El Mostapha Aboulhamid},
  title     = {A Survey on {IP} Watermarking Techniques},
  journal   = {Design Autom. for Emb. Sys.},
  volume    = {9},
  number    = {3},
  pages     = {211--227},
  year      = {2004},
  url       = {https://doi.org/10.1007/s10617-005-1395-x},
  doi       = {10.1007/s10617-005-1395-x},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dafes/Abdel-HamidTA04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/HungSAKC04,
  author    = {William N. N. Hung and
               Xiaoyu Song and
               El Mostapha Aboulhamid and
               Andrew A. Kennings and
               Alan J. Coppola},
  title     = {Segmented channel routability via satisfiability},
  journal   = {{ACM} Trans. Design Autom. Electr. Syst.},
  volume    = {9},
  number    = {4},
  pages     = {517--528},
  year      = {2004},
  url       = {https://doi.org/10.1145/1027084.1027090},
  doi       = {10.1145/1027084.1027090},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/todaes/HungSAKC04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/QuinnLBA04,
  author    = {D. Quinn and
               Bruno Lavigueur and
               Guy Bois and
               El Mostapha Aboulhamid},
  title     = {A System Level Exploration Platform and Methodology for Network Applications
               Based on Configurable Processors},
  booktitle = {2004 Design, Automation and Test in Europe Conference and Exposition
               {(DATE} 2004), 16-20 February 2004, Paris, France},
  pages     = {364--371},
  year      = {2004},
  crossref  = {DBLP:conf/date/2004},
  url       = {https://doi.org/10.1109/DATE.2004.1268874},
  doi       = {10.1109/DATE.2004.1268874},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/QuinnLBA04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/LapalmeANCBDB04,
  author    = {James Lapalme and
               El Mostapha Aboulhamid and
               Gabriela Nicolescu and
               Luc Charest and
               Fran{\c{c}}ois R. Boyer and
               J. P. David and
               Guy Bois},
  title     = {.NET Framework - {A} Solution for the Next Generation Tools for System-Level
               Modeling and Simulation},
  booktitle = {2004 Design, Automation and Test in Europe Conference and Exposition
               {(DATE} 2004), 16-20 February 2004, Paris, France},
  pages     = {732--733},
  year      = {2004},
  crossref  = {DBLP:conf/date/2004},
  url       = {https://doi.org/10.1109/DATE.2004.1268952},
  doi       = {10.1109/DATE.2004.1268952},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/LapalmeANCBDB04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsoc/ChureauSA04,
  author    = {Alexandre Chureau and
               Yvon Savaria and
               El Mostapha Aboulhamid},
  title     = {Interface-based Design of Systems-on-Chip using {UML-RT}},
  booktitle = {Proceedings of the 4th {IEEE} International Workshop on System-on-Chip
               for Real-Time Applications (IWSOC'04), 19-21 July 2004, Banff, Alberta,
               Canada},
  pages     = {39--44},
  year      = {2004},
  crossref  = {DBLP:conf/iwsoc/2004},
  url       = {https://doi.org/10.1109/IWSOC.2004.1319846},
  doi       = {10.1109/IWSOC.2004.1319846},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwsoc/ChureauSA04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsoc/CharestAB04,
  author    = {Luc Charest and
               El Mostapha Aboulhamid and
               Guy Bois},
  title     = {Using Design Patterns for Type Unification and Introspection in SystemC},
  booktitle = {Proceedings of the 4th {IEEE} International Workshop on System-on-Chip
               for Real-Time Applications (IWSOC'04), 19-21 July 2004, Banff, Alberta,
               Canada},
  pages     = {45--50},
  year      = {2004},
  crossref  = {DBLP:conf/iwsoc/2004},
  url       = {https://doi.org/10.1109/IWSOC.2004.1319847},
  doi       = {10.1109/IWSOC.2004.1319847},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwsoc/CharestAB04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/LapalmeANCBDB04,
  author    = {James Lapalme and
               El Mostapha Aboulhamid and
               Gabriela Nicolescu and
               Luc Charest and
               Fran{\c{c}}ois R. Boyer and
               J. P. David and
               Guy Bois},
  title     = {ESys.Net: a new solution for embedded systems modeling and simulation},
  booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN/SIGBED} Conference on Languages,
               Compilers, and Tools for Embedded Systems (LCTES'04), Washington,
               DC, USA, June 11-13, 2004},
  pages     = {107--114},
  year      = {2004},
  crossref  = {DBLP:conf/lctrts/2004},
  url       = {https://doi.org/10.1145/997163.997179},
  doi       = {10.1145/997163.997179},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lctrts/LapalmeANCBDB04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/noms/TruongCERA04,
  author    = {T. Dieu Linh Truong and
               Omar Cherkaoui and
               Halima Elbiaze and
               Nathalie Rico and
               El Mostapha Aboulhamid},
  title     = {A policy-based approach for user controlled lightpath provisioning},
  booktitle = {Managing Next Generation Convergence Networks and Services, {IEEE/IFIP}
               Network Operations and Management Symposium, {NOMS} 2004, Seoul, Korea,
               19-23 April 2004, Proceedings},
  pages     = {859--872},
  year      = {2004},
  crossref  = {DBLP:conf/noms/2004},
  url       = {https://doi.org/10.1109/NOMS.2004.1317773},
  doi       = {10.1109/NOMS.2004.1317773},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/noms/TruongCERA04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/ChabiniCAS03,
  author    = {Noureddine Chabini and
               Isma{\"{\i}}l Chabini and
               El Mostapha Aboulhamid and
               Yvon Savaria},
  title     = {Methods for minimizing dynamic power consumption in synchronous designs
               with multiple supply voltages},
  journal   = {{IEEE} Trans. on {CAD} of Integrated Circuits and Systems},
  volume    = {22},
  number    = {3},
  pages     = {346--351},
  year      = {2003},
  url       = {https://doi.org/10.1109/TCAD.2002.807894},
  doi       = {10.1109/TCAD.2002.807894},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcad/ChabiniCAS03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/ChevalierRBBAB03,
  author    = {J{\'{e}}r{\^{o}}me Chevalier and
               Mathieu Rondonneau and
               Olivier Benny and
               Guy Bois and
               El Mostapha Aboulhamid and
               Fran{\c{c}}ois R. Boyer},
  title     = {{SPACE:} {A} Hardware/Software SystemC Modeling Platform Including
               an {RTOS}},
  booktitle = {Forum on specification and Design Languages, {FDL} 2003, September
               23-26, 2003, Frankfurt, Germany, Proceedings},
  pages     = {704--716},
  year      = {2003},
  crossref  = {DBLP:conf/fdl/2003},
  url       = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=797},
  timestamp = {Fri, 08 May 2009 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fdl/ChevalierRBBAB03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/ChabiniCAS03,
  author    = {Noureddine Chabini and
               Isma{\"{\i}}l Chabini and
               El Mostapha Aboulhamid and
               Yvon Savaria},
  title     = {Unification of basic retiming and supply voltage scaling to minimize
               dynamic power consumption for synchronous digital designs},
  booktitle = {Proceedings of the 13th {ACM} Great Lakes Symposium on {VLSI} 2003,
               Washington, DC, USA, April 28-29, 2003},
  pages     = {221--224},
  year      = {2003},
  crossref  = {DBLP:conf/glvlsi/2003},
  url       = {https://doi.org/10.1145/764808.764865},
  doi       = {10.1145/764808.764865},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/glvlsi/ChabiniCAS03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsoc/Abdel-HamidTA03,
  author    = {Amr T. Abdel{-}Hamid and
               Sofi{\`{e}}ne Tahar and
               El Mostapha Aboulhamid},
  title     = {{IP} Watermarking Techniques: Survey and Comparison},
  booktitle = {Proceedings of the 3rd {IEEE} International Workshop on System-on-Chip
               for Real-Time Applications (IWSOC'03), 30 June - 2 July 2003, Calgary,
               Alberta, Canada},
  pages     = {60--65},
  year      = {2003},
  crossref  = {DBLP:conf/iwsoc/2003},
  url       = {https://doi.org/10.1109/IWSOC.2003.1213006},
  doi       = {10.1109/IWSOC.2003.1213006},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwsoc/Abdel-HamidTA03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsoc/RegimbalLSBAB03,
  author    = {S. Regimbal and
               Jean{-}Francois Lemire and
               Yvon Savaria and
               Guy Bois and
               El Mostapha Aboulhamid and
               A. Baron},
  title     = {Automating Functional Coverage Analysis Based on an Executable Specification},
  booktitle = {Proceedings of the 3rd {IEEE} International Workshop on System-on-Chip
               for Real-Time Applications (IWSOC'03), 30 June - 2 July 2003, Calgary,
               Alberta, Canada},
  pages     = {228--234},
  year      = {2003},
  crossref  = {DBLP:conf/iwsoc/2003},
  url       = {https://doi.org/10.1109/IWSOC.2003.1213040},
  doi       = {10.1109/IWSOC.2003.1213040},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwsoc/RegimbalLSBAB03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/HungSAD02,
  author    = {William N. N. Hung and
               Xiaoyu Song and
               El Mostapha Aboulhamid and
               Michael A. Driscoll},
  title     = {{BDD} minimization by scatter search},
  journal   = {{IEEE} Trans. on {CAD} of Integrated Circuits and Systems},
  volume    = {21},
  number    = {8},
  pages     = {974--979},
  year      = {2002},
  url       = {https://doi.org/10.1109/TCAD.2002.800452},
  doi       = {10.1109/TCAD.2002.800452},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcad/HungSAD02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsp/WangSAS02,
  author    = {Yuke Wang and
               Xiaoyu Song and
               El Mostapha Aboulhamid and
               Hong Shen},
  title     = {Adder based residue to binary number converters for (2\({}^{\mbox{n}}\)-1,
               2\({}^{\mbox{n}}\), 2\({}^{\mbox{n}}\)+1)},
  journal   = {{IEEE} Trans. Signal Processing},
  volume    = {50},
  number    = {7},
  pages     = {1772--1779},
  year      = {2002},
  url       = {https://doi.org/10.1109/TSP.2002.1011216},
  doi       = {10.1109/TSP.2002.1011216},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tsp/WangSAS02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isss/2002,
  editor    = {El Mostapha Aboulhamid and
               Yukihiro Nakamura},
  title     = {Proceedings of the 15th International Symposium on System Synthesis
               {(ISSS} 2002), October 2-4, 2002, Kyoto, Japan},
  publisher = {{ACM} / {IEEE} Computer Society},
  year      = {2002},
  url       = {https://doi.org/10.1145/581199},
  doi       = {10.1145/581199},
  isbn      = {1-58113-576-9},
  timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isss/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/BourhfirAKD01,
  author    = {C. Bourhfir and
               El Mostapha Aboulhamid and
               Ferhat Khendek and
               Rachida Dssouli},
  title     = {Test cases selection from {SDL} specifications},
  journal   = {Computer Networks},
  volume    = {35},
  number    = {6},
  pages     = {693--708},
  year      = {2001},
  url       = {https://doi.org/10.1016/S1389-1286(00)00203-6},
  doi       = {10.1016/S1389-1286(00)00203-6},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cn/BourhfirAKD01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/BourhfirADR01,
  author    = {C. Bourhfir and
               El Mostapha Aboulhamid and
               Rachida Dssouli and
               Nathalie Rico},
  title     = {A test case generation approach for conformance testing of {SDL} systems},
  journal   = {Computer Communications},
  volume    = {24},
  number    = {3-4},
  pages     = {319--333},
  year      = {2001},
  url       = {https://doi.org/10.1016/S0140-3664(00)00220-6},
  doi       = {10.1016/S0140-3664(00)00220-6},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/comcom/BourhfirADR01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/BoyerASB01,
  author    = {Fran{\c{c}}ois R. Boyer and
               El Mostapha Aboulhamid and
               Yvon Savaria and
               Michel Boyer},
  title     = {Optimal design of synchronous circuits using software pipelining techniques},
  journal   = {{ACM} Trans. Design Autom. Electr. Syst.},
  volume    = {6},
  number    = {4},
  pages     = {516--532},
  year      = {2001},
  url       = {https://doi.org/10.1145/502175.502180},
  doi       = {10.1145/502175.502180},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/todaes/BoyerASB01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CharestRAB01,
  author    = {Luc Charest and
               Michel Reid and
               El Mostapha Aboulhamid and
               Guy Bois},
  title     = {A methodology for interfacing open source systemC with a third party
               software},
  booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe,
               {DATE} 2001, Munich, Germany, March 12-16, 2001},
  pages     = {16},
  year      = {2001},
  crossref  = {DBLP:conf/date/2001},
  url       = {https://doi.org/10.1109/DATE.2001.914994},
  doi       = {10.1109/DATE.2001.914994},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/CharestRAB01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/ChabiniAS01,
  author    = {Noureddine Chabini and
               El Mostapha Aboulhamid and
               Yvon Savaria},
  title     = {Determining Schedules for Reducing Power Consumption Using Multiple
               Supply Voltages},
  booktitle = {19th International Conference on Computer Design {(ICCD} 2001), {VLSI}
               in Computers and Processors, 23-26 September 2001, Austin, TX, USA,
               Proceedings},
  pages     = {546--552},
  year      = {2001},
  crossref  = {DBLP:conf/iccd/2001},
  url       = {https://doi.org/10.1109/ICCD.2001.955089},
  doi       = {10.1109/ICCD.2001.955089},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccd/ChabiniAS01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isss/2001,
  editor    = {Rom{\'{a}}n Hermida and
               El Mostapha Aboulhamid},
  title     = {Proceedings of the 14th International Symposium on Systems Synthesis,
               {ISSS} 2001, Montr{\'{e}}l, Qu{\'{e}}bec, Canada, September
               30 - October 3, 2001},
  publisher = {{ACM} / {IEEE} Computer Society},
  year      = {2001},
  url       = {https://doi.org/10.1145/500001},
  doi       = {10.1145/500001},
  isbn      = {1-58113-418-5},
  timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isss/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parelec/AziziAT00,
  author    = {Mostafa Azizi and
               El Mostapha Aboulhamid and
               Sofi{\`{e}}ne Tahar},
  title     = {Sequential and Distributed Simulations Using Java Threads},
  booktitle = {2000 International Conference on Parallel Computing in Electrical
               Engineering {(PARELEC} 2000), 27-30 August 2000, Quebec, Canada},
  pages     = {237--243},
  year      = {2000},
  crossref  = {DBLP:conf/parelec/2000},
  url       = {https://doi.org/10.1109/PCEE.2000.873636},
  doi       = {10.1109/PCEE.2000.873636},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/parelec/AziziAT00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/DssouliSAEB99,
  author    = {Rachida Dssouli and
               Kassem Saleh and
               El Mostapha Aboulhamid and
               Abdeslam En{-}Nouaary and
               C. Bourhfir},
  title     = {Test development for communication protocols: towards automation},
  journal   = {Computer Networks},
  volume    = {31},
  number    = {17},
  pages     = {1835--1872},
  year      = {1999},
  url       = {https://doi.org/10.1016/S1389-1286(99)00063-8},
  doi       = {10.1016/S1389-1286(99)00063-8},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cn/DssouliSAEB99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/WangSA99,
  author    = {Yuke Wang and
               Xiaoyu Song and
               El Mostapha Aboulhamid},
  title     = {A New Algorithm for {RNS} Magnitude Comparison Based on New Chinese
               Remainder Theorem {II}},
  booktitle = {9th Great Lakes Symposium on {VLSI} {(GLS-VLSI} '99), 4-6 March 1999,
               Ann Arbor, MI, {USA}},
  pages     = {362},
  year      = {1999},
  crossref  = {DBLP:conf/glvlsi/1999},
  url       = {https://doi.org/10.1109/GLSV.1999.757457},
  doi       = {10.1109/GLSV.1999.757457},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/glvlsi/WangSA99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/El-AboudiA99,
  author    = {A. El{-}Aboudi and
               El Mostapha Aboulhamid},
  title     = {An algorithm for the verification of timing diagrams realizability},
  booktitle = {Proceedings of the 1999 International Symposium on Circuits and Systems,
               {ISCAS} 1999, Orlando, Florida, USA, May 30 - June 2, 1999},
  pages     = {314--317},
  year      = {1999},
  crossref  = {DBLP:conf/iscas/1999},
  url       = {https://doi.org/10.1109/ISCAS.1999.777866},
  doi       = {10.1109/ISCAS.1999.777866},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iscas/El-AboudiA99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/AziziAT99,
  author    = {Mostafa Azizi and
               El Mostapha Aboulhamid and
               Sofi{\`{e}}ne Tahar},
  title     = {Multithreading-based Coverification Technique of {HW/SW} Systems},
  booktitle = {Proceedings of the International Conference on Parallel and Distributed
               Processing Techniques and Applications, {PDPTA} 1999, June 28 - Junlly
               1, 1999, Las Vegas, Nevada, {USA}},
  pages     = {1999--2005},
  year      = {1999},
  crossref  = {DBLP:conf/pdpta/1999},
  timestamp = {Tue, 20 Apr 2004 14:47:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pdpta/AziziAT99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/BourhfirDAR99,
  author    = {C. Bourhfir and
               Rachida Dssouli and
               El Mostapha Aboulhamid and
               Nathalie Rico},
  title     = {A test case generation tool for conformance testing of {SDL} systems},
  booktitle = {{SDL} Forum},
  pages     = {405},
  year      = {1999},
  timestamp = {Fri, 17 Oct 2003 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sdl/BourhfirDAR99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/WangSA98,
  author    = {Yuke Wang and
               Xiaoyu Song and
               El Mostapha Aboulhamid},
  title     = {Residue to Binary Number Converters for (2\({}^{\mbox{n}}\)-1, 2\({}^{\mbox{n}}\),
               2\({}^{\mbox{n}}\)+1)},
  booktitle = {8th Great Lakes Symposium on {VLSI} {(GLS-VLSI} '98), 19-21 February
               1998, Lafayette, LA, {USA}},
  pages     = {174--178},
  year      = {1998},
  crossref  = {DBLP:conf/glvlsi/1998},
  url       = {https://doi.org/10.1109/GLSV.1998.665221},
  doi       = {10.1109/GLSV.1998.665221},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/glvlsi/WangSA98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/BoyerASB98,
  author    = {Fran{\c{c}}ois R. Boyer and
               El Mostapha Aboulhamid and
               Yvon Savaria and
               Imed Eddine Bennour},
  title     = {Optimal design of synchronous circuits using software pipelining techniques},
  booktitle = {International Conference on Computer Design: {VLSI} in Computers and
               Processors, {ICCD} 1998, Proceedings, 5-7 October, 1998, Austin, TX,
               {USA}},
  pages     = {62--67},
  year      = {1998},
  crossref  = {DBLP:conf/iccd/1998},
  url       = {https://doi.org/10.1109/ICCD.1998.727024},
  doi       = {10.1109/ICCD.1998.727024},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccd/BoyerASB98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/BourhfirDAR98,
  author    = {C. Bourhfir and
               Rachida Dssouli and
               El Mostapha Aboulhamid and
               Nathalie Rico},
  title     = {A Guided Incremental Test Case Generation Procedure for Conformance
               Testing for {CEFSM} Specified Protocols},
  booktitle = {Testing of Communicating Systems, {IFIP} {TC6} 11th International
               Workshop on Testing Communicating Systems (IWTCS), August 31 - September
               2, 1998, Tomsk, Russia},
  pages     = {275--290},
  year      = {1998},
  crossref  = {DBLP:conf/pts/1998},
  timestamp = {Mon, 09 Feb 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pts/BourhfirDAR98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/KarkouriACV94,
  author    = {Youn{\`{e}}s Karkouri and
               El Mostapha Aboulhamid and
               Eduard Cerny and
               Alain Verreault},
  title     = {Use of Fault Dropping for Multiple Fault Analysis},
  journal   = {{IEEE} Trans. Computers},
  volume    = {43},
  number    = {1},
  pages     = {98--103},
  year      = {1994},
  url       = {https://doi.org/10.1109/12.250613},
  doi       = {10.1109/12.250613},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tc/KarkouriACV94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/et/AboulhamidKC93,
  author    = {El Mostapha Aboulhamid and
               Youn{\`{e}}s Karkouri and
               Eduard Cerny},
  title     = {On the generation of test patterns for multiple faults},
  journal   = {J. Electronic Testing},
  volume    = {4},
  number    = {3},
  pages     = {237--253},
  year      = {1993},
  url       = {https://doi.org/10.1007/BF00971973},
  doi       = {10.1007/BF00971973},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/et/AboulhamidKC93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cad/MeknassiAC92,
  author    = {Mohamed Meknassi and
               El Mostapha Aboulhamid and
               Eduard Cerny},
  title     = {Algorithm for the graph-partitioning problem using a problem transformation
               method},
  journal   = {Computer-Aided Design},
  volume    = {24},
  number    = {7},
  pages     = {397--398},
  year      = {1992},
  url       = {https://doi.org/10.1016/0010-4485(92)90066-J},
  doi       = {10.1016/0010-4485(92)90066-J},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cad/MeknassiAC92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/VerreaultAK91,
  author    = {Alain Verreault and
               El Mostapha Aboulhamid and
               Youn{\`{e}}s Karkouri},
  title     = {Multiple Fault Analysis Using a Fault Dropping Technique},
  booktitle = {Proceedings of the 1991 International Symposium on Fault-Tolerant
               Computing, Montreal, Canada},
  pages     = {162--169},
  year      = {1991},
  crossref  = {DBLP:conf/ftcs/1991},
  url       = {https://doi.org/10.1109/FTCS.1991.146656},
  doi       = {10.1109/FTCS.1991.146656},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ftcs/VerreaultAK91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/AboulhamidC84,
  author    = {El Mostapha Aboulhamid and
               Eduard Cerny},
  title     = {Built-In Testing of One-Dimensional Unilateral Iterative Arrays},
  journal   = {{IEEE} Trans. Computers},
  volume    = {33},
  number    = {6},
  pages     = {560--564},
  year      = {1984},
  url       = {https://doi.org/10.1109/TC.1984.1676481},
  doi       = {10.1109/TC.1984.1676481},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tc/AboulhamidC84},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/AboulhamidC83,
  author    = {El Mostapha Aboulhamid and
               Eduard Cerny},
  title     = {A Class of Test Generators for Built-In Testing},
  journal   = {{IEEE} Trans. Computers},
  volume    = {32},
  number    = {10},
  pages     = {957--959},
  year      = {1983},
  url       = {https://doi.org/10.1109/TC.1983.1676141},
  doi       = {10.1109/TC.1983.1676141},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tc/AboulhamidC83},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dsd/2013,
  title     = {2013 Euromicro Conference on Digital System Design, {DSD} 2013, Los
               Alamitos, CA, USA, September 4-6, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6627885},
  isbn      = {978-1-4799-2978-8},
  timestamp = {Fri, 16 Jan 2015 15:08:28 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dsd/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/samos/2012ic,
  title     = {2012 International Conference on Embedded Computer Systems: Architectures,
               Modeling, and Simulation, {SAMOS} XII, Samos, Greece, July 16-19,
               2012},
  publisher = {{IEEE}},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6389877},
  isbn      = {978-1-4673-2295-9},
  timestamp = {Mon, 14 Jan 2013 20:14:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/samos/2012ic},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/codes/2011,
  editor    = {Robert P. Dick and
               Jan Madsen},
  title     = {Proceedings of the 9th International Conference on Hardware/Software
               Codesign and System Synthesis, {CODES+ISSS} 2011, part of ESWeek '11
               Seventh Embedded Systems Week, Taipei, Taiwan, 9-14 October, 2011},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/2039370},
  doi       = {10.1145/2039370},
  isbn      = {978-1-4503-0715-4},
  timestamp = {Mon, 26 Nov 2018 12:14:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/codes/2011},
  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       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5754459},
  isbn      = {978-1-61284-208-0},
  timestamp = {Wed, 11 Nov 2015 10:09:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/date/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icecsys/2010,
  title     = {17th {IEEE} International Conference on Electronics, Circuits, and
               Systems, {ICECS} 2010, Athens, Greece, 12-15 December, 2010},
  publisher = {{IEEE}},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5720492},
  isbn      = {978-1-4244-8155-2},
  timestamp = {Tue, 29 Nov 2011 15:56:51 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icecsys/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rsp/2010,
  title     = {Proceedings of the 21st {IEEE} International Symposium on Rapid System
               Prototyping, {RSP} 2010, Fairfax, VA, USA, 8-11 June, 2010},
  publisher = {{IEEE}},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5633873},
  isbn      = {978-1-4244-7073-0},
  timestamp = {Wed, 29 Mar 2017 16:45:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rsp/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/date/2009,
  editor    = {Luca Benini and
               Giovanni De Micheli and
               Bashir M. Al{-}Hashimi and
               Wolfgang M{\"{u}}ller},
  title     = {Design, Automation and Test in Europe, {DATE} 2009, Nice, France,
               April 20-24, 2009},
  publisher = {{IEEE}},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4926138},
  isbn      = {978-1-4244-3781-8},
  timestamp = {Tue, 10 Nov 2015 12:54:15 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/date/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iscas/2008,
  title     = {International Symposium on Circuits and Systems {(ISCAS} 2008), 18-21
               May 2008, Sheraton Seattle Hotel, Seattle, Washington, {USA}},
  publisher = {{IEEE}},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4534149},
  isbn      = {978-1-4244-1683-7},
  timestamp = {Fri, 20 May 2016 09:40:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iscas/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rsp/2008,
  title     = {The 19th {IEEE/IFIP} International Symposium on Rapid System Prototyping:
               {RSP} 2009, Shortening the Path from Specification to Prototype, 2-5
               June 2008, Monterey, California, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4550866},
  isbn      = {978-0-7695-3180-9},
  timestamp = {Tue, 19 May 2015 17:01:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rsp/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/date/2007,
  editor    = {Rudy Lauwereins and
               Jan Madsen},
  title     = {2007 Design, Automation and Test in Europe Conference and Exposition,
               {DATE} 2007, Nice, France, April 16-20, 2007},
  publisher = {{EDA} Consortium, San Jose, CA, {USA}},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4211748},
  isbn      = {978-3-9810801-2-4},
  timestamp = {Tue, 10 Nov 2015 11:56:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/date/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icecsys/2007,
  title     = {14th {IEEE} International Conference on Electronics, Circuits, and
               Systems, {ICECS} 2007, Marrakech, Morocco, December 11-14, 2007},
  publisher = {{IEEE}},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4456901},
  isbn      = {978-1-4244-1377-5},
  timestamp = {Tue, 26 Nov 2013 20:43:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icecsys/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ahs/2006,
  editor    = {Adrian Stoica and
               Tughrul Arslan and
               Martin Suess and
               Senay Yal{\c{c}}in and
               Didier Keymeulen and
               Tetsuya Higuchi and
               Ricardo Salem Zebulum and
               Nizamettin Aydin},
  title     = {First {NASA/ESA} Conference on Adaptive Hardware and Systems {(AHS}
               2006), 15-18 June 2006, Istanbul, Turkey},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10912},
  isbn      = {0-7695-2614-4},
  timestamp = {Wed, 08 Oct 2014 17:36:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ahs/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apccas/2006,
  title     = {{IEEE} Asia Pacific Conference on Circuits and Systems 2006, {APCCAS}
               2006, Singapore, 4-7 December 2006},
  publisher = {{IEEE}},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4145316},
  isbn      = {1-4244-0387-1},
  timestamp = {Fri, 08 May 2015 15:30:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apccas/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asap/2006,
  title     = {2006 {IEEE} International Conference on Application-Specific Systems,
               Architecture and Processors {(ASAP} 2006), 11-13 September 2006, Steamboat
               Springs, Colorado, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4019472},
  isbn      = {0-7695-2682-9},
  timestamp = {Thu, 03 Dec 2015 16:23:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/asap/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccece/2006,
  title     = {Proceedings of the Canadian Conference on Electrical and Computer
               Engineering, {CCECE} 2006, May 7-10, 2006, Ottawa Congress Centre,
               Ottawa, Canada},
  publisher = {{IEEE}},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4054516},
  isbn      = {1-4244-0038-4},
  timestamp = {Fri, 26 Jun 2015 14:13:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ccece/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/delta/2006,
  title     = {Third {IEEE} International Workshop on Electronic Design, Test and
               Applications {(DELTA} 2006), 17-19 January 2006, Kuala Lumpur, Malaysia},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10553},
  isbn      = {0-7695-2500-8},
  timestamp = {Wed, 18 May 2016 10:24:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/delta/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/icecsys/2006,
  title     = {13th {IEEE} International Conference on Electronics, Circuits, and
               Systems, {ICECS} 2006, Nice, France, December 10-13, 2006},
  publisher = {{IEEE}},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4263277},
  isbn      = {1-4244-0395-2},
  timestamp = {Mon, 28 Apr 2014 16:59:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icecsys/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rsp/2006,
  title     = {17th {IEEE} International Workshop on Rapid System Prototyping {(RSP}
               2006), 14-16 June 2006, Chania, Crete, Greece},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10855},
  isbn      = {0-7695-2580-6},
  timestamp = {Tue, 19 May 2015 17:01:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rsp/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/date/2005,
  title     = {2005 Design, Automation and Test in Europe Conference and Exposition
               {(DATE} 2005), 7-11 March 2005, Munich, Germany},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9609},
  isbn      = {0-7695-2288-2},
  timestamp = {Thu, 23 Jun 2016 15:53:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icecsys/2005,
  title     = {12th {IEEE} International Conference on Electronics, Circuits, and
               Systems, {ICECS} 2005, Gammarth, Tunisia, December 11-14, 2005},
  publisher = {{IEEE}},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4617928},
  isbn      = {978-9972-61-100-1},
  timestamp = {Tue, 29 Apr 2014 15:21:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icecsys/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iscas/2005,
  title     = {International Symposium on Circuits and Systems {(ISCAS} 2005), 23-26
               May 2005, Kobe, Japan},
  publisher = {{IEEE}},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9898},
  isbn      = {0-7803-8834-8},
  timestamp = {Fri, 20 May 2016 09:46:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iscas/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwsoc/2005,
  title     = {Proceedings of the 5th {IEEE} International Workshop on System-on-Chip
               for Real-Time Applications {(IWSOC} 2005), 20-24 July 2004, Banff,
               Alberta, Canada},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10246},
  isbn      = {0-7695-2403-6},
  timestamp = {Fri, 28 Aug 2015 14:17:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwsoc/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rsp/2005,
  title     = {16th {IEEE} International Workshop on Rapid System Prototyping {(RSP}
               2005), 8-10 June 2005, Montreal, Canada},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10092},
  isbn      = {0-7695-2361-7},
  timestamp = {Tue, 19 May 2015 17:01:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rsp/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/iwsoc/2004,
  title     = {Proceedings of the 4th {IEEE} International Workshop on System-on-Chip
               for Real-Time Applications (IWSOC'04), 19-21 July 2004, Banff, Alberta,
               Canada},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9224},
  isbn      = {0-7695-2182-7},
  timestamp = {Fri, 28 Aug 2015 14:17:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwsoc/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lctrts/2004,
  editor    = {David B. Whalley and
               Ron Cytron},
  title     = {Proceedings of the 2004 {ACM} {SIGPLAN/SIGBED} Conference on Languages,
               Compilers, and Tools for Embedded Systems (LCTES'04), Washington,
               DC, USA, June 11-13, 2004},
  publisher = {{ACM}},
  year      = {2004},
  url       = {http://dl.acm.org/citation.cfm?id=997163},
  isbn      = {1-58113-806-7},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lctrts/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/noms/2004,
  title     = {Managing Next Generation Convergence Networks and Services, {IEEE/IFIP}
               Network Operations and Management Symposium, {NOMS} 2004, Seoul, Korea,
               19-23 April 2004, Proceedings},
  publisher = {{IEEE}},
  year      = {2004},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9208},
  isbn      = {0-7803-8230-7},
  timestamp = {Fri, 08 Jul 2016 10:48:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/noms/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fdl/2003,
  title     = {Forum on specification and Design Languages, {FDL} 2003, September
               23-26, 2003, Frankfurt, Germany, Proceedings},
  publisher = {{ECSI}},
  year      = {2003},
  timestamp = {Sun, 08 Mar 2009 12:28:03 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fdl/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/glvlsi/2003,
  editor    = {Mircea R. Stan and
               David Garrett and
               Kazuo Nakajima},
  title     = {Proceedings of the 13th {ACM} Great Lakes Symposium on {VLSI} 2003,
               Washington, DC, USA, April 28-29, 2003},
  publisher = {{ACM}},
  year      = {2003},
  url       = {https://doi.org/10.1145/764808},
  doi       = {10.1145/764808},
  isbn      = {1-58113-677-3},
  timestamp = {Wed, 24 May 2017 08:28:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/glvlsi/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwsoc/2003,
  title     = {Proceedings of the 3rd {IEEE} International Workshop on System-on-Chip
               for Real-Time Applications (IWSOC'03), 30 June - 2 July 2003, Calgary,
               Alberta, Canada},
  publisher = {{IEEE} Computer Society},
  year      = {2003},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8609},
  isbn      = {0-7695-1944-X},
  timestamp = {Fri, 28 Aug 2015 14:17:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwsoc/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/date/2001,
  editor    = {Wolfgang Nebel and
               Ahmed Jerraya},
  title     = {Proceedings of the Conference on Design, Automation and Test in Europe,
               {DATE} 2001, Munich, Germany, March 12-16, 2001},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7307},
  isbn      = {0-7695-0993-2},
  timestamp = {Mon, 09 Nov 2015 15:56:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/date/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccd/2001,
  title     = {19th International Conference on Computer Design {(ICCD} 2001), {VLSI}
               in Computers and Processors, 23-26 September 2001, Austin, TX, USA,
               Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7577},
  isbn      = {0-7695-1200-3},
  timestamp = {Mon, 22 Sep 2014 16:50:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccd/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/parelec/2000,
  title     = {2000 International Conference on Parallel Computing in Electrical
               Engineering {(PARELEC} 2000), 27-30 August 2000, Quebec, Canada},
  publisher = {{IEEE} Computer Society},
  year      = {2000},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7011},
  isbn      = {0-7695-0759-X},
  timestamp = {Wed, 03 Dec 2014 17:29:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/parelec/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/glvlsi/1999,
  title     = {9th Great Lakes Symposium on {VLSI} {(GLS-VLSI} '99), 4-6 March 1999,
               Ann Arbor, MI, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {1999},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6127},
  isbn      = {0-7695-0104-4},
  timestamp = {Mon, 29 Sep 2014 17:13:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/glvlsi/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iscas/1999,
  title     = {Proceedings of the 1999 International Symposium on Circuits and Systems,
               {ISCAS} 1999, Orlando, Florida, USA, May 30 - June 2, 1999},
  publisher = {{IEEE}},
  year      = {1999},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6311},
  isbn      = {0-7803-5471-0},
  timestamp = {Fri, 20 May 2016 10:19:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iscas/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pdpta/1999,
  editor    = {Hamid R. Arabnia},
  title     = {Proceedings of the International Conference on Parallel and Distributed
               Processing Techniques and Applications, {PDPTA} 1999, June 28 - Junlly
               1, 1999, Las Vegas, Nevada, {USA}},
  publisher = {{CSREA} Press},
  year      = {1999},
  isbn      = {1-892512-15-7},
  timestamp = {Tue, 20 Apr 2004 14:47:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pdpta/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/glvlsi/1998,
  title     = {8th Great Lakes Symposium on {VLSI} {(GLS-VLSI} '98), 19-21 February
               1998, Lafayette, LA, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {1998},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5359},
  isbn      = {0-8186-8409-7},
  timestamp = {Mon, 29 Sep 2014 17:13:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/glvlsi/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccd/1998,
  title     = {International Conference on Computer Design: {VLSI} in Computers and
               Processors, {ICCD} 1998, Proceedings, 5-7 October, 1998, Austin, TX,
               {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {1998},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5873},
  isbn      = {0-8186-9099-2},
  timestamp = {Mon, 20 Mar 2017 14:02:22 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccd/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pts/1998,
  editor    = {Alexandre Petrenko and
               Nina Yevtushenko},
  title     = {Testing of Communicating Systems, {IFIP} {TC6} 11th International
               Workshop on Testing Communicating Systems (IWTCS), August 31 - September
               2, 1998, Tomsk, Russia},
  series    = {{IFIP} Conference Proceedings},
  volume    = {131},
  publisher = {Kluwer},
  year      = {1998},
  isbn      = {0-412-84430-3},
  timestamp = {Mon, 21 Oct 2002 13:10:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pts/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftcs/1991,
  title     = {Proceedings of the 1991 International Symposium on Fault-Tolerant
               Computing, Montreal, Canada},
  publisher = {{IEEE} Computer Society},
  year      = {1991},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=341},
  isbn      = {0-8186-2150-8},
  timestamp = {Mon, 17 Aug 2015 17:32:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ftcs/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier