Date:    Fri, 12 Apr 2002 14:49:21 +0200
From:    Giovanni Squillero <squillero@polito.it>
WWW: http://www.cad.polito.it/~squiller/

@INBOOK{cad_wiley,
    author = "M. Baldi and F. Corno and M. Rebaudengo and M. Sonza Reorda and G. Squillero",
    chapter = "GA-Based Verification of Network Protocols Performance",
    booktitle = "Telecommunications Optimization: Heuristic and Adaptive Computation Techniques",
    editor = "David Corne and George Smith and Martin J. Oates",
    publisher = "Wiley",
    year = "2000",
    url = "http://www.cad.polito.it/FullDB/exact/wiley.html"
}

@ARTICLE{cad_dt2000,
    author = "F. Corno and M. Sonza Reorda and G. Squillero",
    title = "RT-Level ITC 99 Benchmarks and First ATPG Results",
    jurnal = "IEEE Design & Test",
    year = "2000",
    pages = "44--53",
    url = "http://www.cad.polito.it/FullDB/exact/dt2000.html"
}

@ARTICLE{cad_todaes02,
    author = "F. Corno and P. Prinetto and M. Rebaudengo and M. Sonza Reorda and G. Squillero",
    title = "Initializability Analysis of Synchronous Sequential Circuits",
    jurnal = "ACM Transactions on Design Automation of Electronic Systems",
    year = "2002",
    url = "http://www.cad.polito.it/FullDB/exact/todaes02.html"
}
    
@INPROCEEDINGS{cad_iccd97,
    author = "F. Corno and P. Prinetto and M. Rebaudengo and M. Sonza Reorda and G. Squillero",
    title = "A New Approach for Initialization Sequences Computation for Synchronous Sequential Circuits",
    booktitle = "ICCD: International Conference on Computer Design",
    year = "1997",
    pages = "381--386",
    url = "http://www.cad.polito.it/FullDB/exact/iccd97.html"
}
    
@INPROCEEDINGS{cad_ats97c,
    author = "F. Corno and P. Prinetto and M. Rebaudengo and M. Sonza Reorda and G. Squillero",
    title = "A Genetic Algorithm for the Computation of Initialization Sequences for Synchronous Sequential Circuits",
    booktitle = "ATS: IEEE Asian Test Symposium",
    year = "1997",
    pages = "56--61",
    url = "http://www.cad.polito.it/FullDB/exact/ats97c.html"
}
    
@INPROCEEDINGS{cad_charme97,
    author = "M. Baldi and F. Corno and M. Rebaudengo and P. Prinetto and M. Sonza Reorda and G. Squillero",
    title = "Simulation-Based Verification of Network Protocols Performance",
    booktitle = "CHARME: Advanced Research Working Conference on Correct Hardware Design and Verification Methods",
    year = "1997",
    pages = "236--251",
    url = "http://www.cad.polito.it/FullDB/exact/charme97.html"
}
    
@INPROCEEDINGS{cad_ictai97b,
    author = "M. Baldi and F. Corno and M. Rebaudengo and G. Squillero",
    title = "GA-based Performance Analysis of Network Protocols",
    booktitle = "ICTAI: IEEE International Conference on Tools with Artificial Intelligence",
    year = "1997",
    pages = "118--124",
    url = "http://www.cad.polito.it/FullDB/exact/ictai97b.html"
}
    
@INPROCEEDINGS{cad_sac98,
    author = "F. Corno and M. Sonza Reorda and G. Squillero",
    title = "The Selfish Gene Algorithm: a New Evolutionary Optimization Strategy",
    booktitle = "SAC: ACM Symposium on Applied Computing",
    year = "1998",
    pages = "349--355",
    url = "http://www.cad.polito.it/FullDB/exact/sac98.html"
}
    
@INPROCEEDINGS{cad_icec98,
    author = "F. Corno and M. Sonza Reorda and G. Squillero",
    title = "A New Evolutionary Algorithm Inspired by the Selfish Gene Theory",
    booktitle = "ICEC: IEEE International Conference on Evolutionary Computation",
    year = "1998",
    pages = "575--580",
    url = "http://www.cad.polito.it/FullDB/exact/icec98.html"
}
    
@INPROCEEDINGS{cad_iccd98a,
    author = "F. Corno and M. Sonza Reorda and G. Squillero",
    title = "VEGA: A Verification Tool Based on Genetic Algorithms",
    booktitle = "ICCD: International Conference on Circuit Design",
    year = "1998",
    pages = "321--326",
    url = "http://www.cad.polito.it/FullDB/exact/iccd98a.html"
}
    
@INPROCEEDINGS{cad_date99b,
    author = "F. Corno and M. Sonza Reorda and G. Squillero",
    title = "Approximate Equivalence Verification of Sequential Circuits via Genetic Algorithms",
    booktitle = "DATE: Design, Automation and Test in Europe",
    year = "1999",
    url = "http://www.cad.polito.it/FullDB/exact/date99b.html"
}
    
@INPROCEEDINGS{cad_euroectel99a,
    author = "F. Corno and M. Sonza Reorda and G. Squillero",
    title = "Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms",
    booktitle = "Evolutionary Image Analysis, Signal Processing and Telecommunications European Workshops Joint Proceedings",
    year = "1999",
    pages = "182--192",
    url = "http://www.cad.polito.it/FullDB/exact/euroectel99a.html"
}
    
@INPROCEEDINGS{cad_cec99a,
    author = "F. Corno and M. Sonza Reorda and G. Squillero",
    title = "Optimizing Deceptive Functions with the SG-Clans Algorithm",
    booktitle = "CEC: Congress on Evolutionary Computation",
    year = "1999",
    pages = "2190--2195",
    url = "http://www.cad.polito.it/FullDB/exact/cec99a.html"
}
    
@INPROCEEDINGS{cad_cec99b,
    author = "F. Corno and M. Sonza Reorda and G. Squillero",
    title = "Verifying the Equivalence of Sequential Circuits with Genetic Algorithms",
    booktitle = "CEC: Congress on Evolutionary Computation",
    year = "1999",
    pages = "1293--1297",
    url = "http://www.cad.polito.it/FullDB/exact/cec99b.html"
}
    
@INPROCEEDINGS{cad_icecs99,
    author = "F. Corno and M. Sonza Reorda and G. Squillero",
    title = "Simulation-Based Sequential Equivalence Checking of RTL VHDL",
    booktitle = "ICECS: IEEE International Conference on Electronics, Circuits and Systems",
    year = "1999",
    pages = "351--354",
    url = "http://www.cad.polito.it/FullDB/exact/icecs99.html"
}
    
@INPROCEEDINGS{cad_mtv99,
    author = "F. Corno and M. Sonza Reorda and G. Squillero",
    title = "High Quality Test Pattern Generation for RT-level VHDL Descriptions",
    booktitle = "MTV: International Workshop on Microprocessor Test and Verification Common Challenges and Solutions",
    year = "1999",
    url = "http://www.cad.polito.it/FullDB/exact/mtv99.html"
}
    
@INPROCEEDINGS{cad_date2000a,
    author = "F. Corno and A. Manzone and A. Pincetti and M. Sonza Reorda and G. Squillero",
    title = "Automatic Test Bench Generation for Validation of RT-level Descriptions: an Industrial Experience",
    booktitle = "DATE: Design, Automation and Test in Europe",
    year = "2000",
    pages = "385--389",
    url = "http://www.cad.polito.it/FullDB/exact/date2000a.html"
}
    
@INPROCEEDINGS{cad_evotel2000a,
    author = "F. Corno and M. Sonza Reorda and G. Squillero",
    title = "Automatic Validation of Protocol Interfaces Described in VHDL",
    booktitle = "EvoTel: European Workshops on Telecommunications",
    year = "2000",
    pages = "205--213",
    url = "http://www.cad.polito.it/FullDB/exact/evotel2000a.html"
}
    
@INPROCEEDINGS{cad_evotel2000b,
    author = "F. Corno and M. Rebaudengo and M. Sonza Reorda and G. Squillero and M. Violante",
    title = "Prediction of Power Requirements for High-Speed Circuits",
    booktitle = "EvoTel: European Workshops on Telecommunications",
    year = "2000",
    pages = "247--254",
    url = "http://www.cad.polito.it/FullDB/exact/evotel2000b.html"
}
    
@INPROCEEDINGS{cad_ices2000,
    author = "F. Corno and M. Sonza Reorda and G. Squillero",
    title = "Evolving Cellular Automata for Self-Testing Hardware",
    booktitle = "ICES: IEEE International Symposium on Circuits and Systems",
    year = "2000",
    pages = "31--39",
    url = "http://www.cad.polito.it/FullDB/exact/ices2000.html"
}
    
@INPROCEEDINGS{cad_vts2000a,
    author = "F. Corno and M. Sonza Reorda and G. Squillero",
    title = "High-Level Observability for Effective High-Level ATPG",
    booktitle = "VTS: IEEE VLSI Test Symposium",
    year = "2000",
    pages = "411--416",
    url = "http://www.cad.polito.it/FullDB/exact/vts2000a.html"
}
    
@INPROCEEDINGS{cad_vts2000b,
    author = "F. Corno and M. Rebaudengo and M. Sonza Reorda and G. Squillero and M. Violante",
    title = "Low Power BIST via Hybrid Cellular Automata",
    booktitle = "VTS: IEEE VLSI Test Symposium",
    year = "2000",
    pages = "29--34",
    url = "http://www.cad.polito.it/FullDB/exact/vts2000b.html"
}
    
@INPROCEEDINGS{cad_etw2000b,
    author = "F. Corno and M. Sonza Reorda and G. Squillero and M. Violante",
    title = "CA-CSTP: A new BIST Architecture for Sequential Circuits",
    booktitle = "ETW: European Test Workshop",
    year = "2000",
    pages = "167--172",
    url = "http://www.cad.polito.it/FullDB/exact/etw2000b.html"
}
    
@INPROCEEDINGS{cad_iscas2000,
    author = "F. Corno and M. Sonza Reorda and G. Squillero",
    title = "An Improved Cellular Automata-Based BIST Architecture for Sequential Circuits",
    booktitle = "ISCAS: IEEE International Symposium on Circuits and Systems",
    year = "2000",
    pages = "76--79",
    url = "http://www.cad.polito.it/FullDB/exact/iscas2000.html"
}
    
@INPROCEEDINGS{cad_cec2000,
    author = "F. Corno and M. Sonza Reorda and G. Squillero",
    title = "Exploiting the Selfish Gene Algorithm for Evolving Hardware Cellular Automata",
    booktitle = "CEC: Congress on Evolutionary Computation",
    year = "2000",
    pages = "1401--1406",
    url = "http://www.cad.polito.it/FullDB/exact/cec2000.html"
}
    
@INPROCEEDINGS{cad_ijcnn2000,
    author = "F. Corno and M. Sonza Reorda and G. Squillero",
    title = "Exploiting the Selfish Gene Algorithm for Evolving Cellular Automata",
    booktitle = "IJCNN: IEEEINNS-ENNS International Joint Conference Neural Networks",
    year = "2000",
    url = "http://www.cad.polito.it/FullDB/exact/ijcnn2000.html"
}
    
@INPROCEEDINGS{cad_ictai2000,
    author = "F. Corno and M. Sonza Reorda and G. Squillero and M. Violante",
    title = "A Genetic Algorithm-based System for Generating Test Programs for Microprocessor IP Cores",
    booktitle = "ICTAI: IEEE International Conference On Tools with Artificial Intelligence",
    year = "2000",
    url = "http://www.cad.polito.it/FullDB/exact/ictai2000.html"
}
    
@INPROCEEDINGS{cad_sac01,
    author = "F. Corno and M. Sonza Reorda and G. Squillero",
    title = "Evolving Effective CA/CSTP BIST Architectures for Sequential Circuits",
    booktitle = "SAC: ACM Symposium on Applied Computing",
    year = "2001",
    url = "http://www.cad.polito.it/FullDB/exact/sac01.html"
}
    
@INPROCEEDINGS{cad_date01a,
    author = "F. Corno and M. Sonza Reorda and G. Squillero and M. Violante",
    title = "On the Test of Microprocessor IP Cores",
    booktitle = "DATE: Design, Automation and Test in Europe",
    year = "2001",
    pages = "209--213",
    url = "http://www.cad.polito.it/FullDB/exact/date01a.html"
}
    
@INPROCEEDINGS{cad_evoiasp2001,
    author = "F. Corno and G. Cumani and M. Sonza Reorda and G. Squillero",
    title = "ARPIA: a High-Level Evolutionary Test Signal Generator",
    booktitle = "EvoIASP: European Workshop on Evolutionary Computation applications to Image Analysis and Signal Processing",
    year = "2001",
    url = "http://www.cad.polito.it/FullDB/exact/evoiasp2001.html"
}
    
@INPROCEEDINGS{cad_ats01b,
    author = "F. Corno and G. Cumani and M. Sonza Reorda and G. Squillero",
    title = "Effective Techniques for High-Level ATPG",
    booktitle = "ATS: IEEE Asian Test Symposium",
    year = "2001",
    url = "http://www.cad.polito.it/FullDB/exact/ats01b.html"
}
    
@INPROCEEDINGS{cad_wrtlt01,
    author = "F. Corno and G. Cumani and M. Sonza Reorda and G. Squillero",
    title = "Devising an RT-Level ATPG for uProcessor Cores",
    booktitle = "WRTLT: Worshop on RTL, ATPG & DFT",
    year = "2001",
    url = "http://www.cad.polito.it/FullDB/exact/wrtlt01.html"
}
    
@INPROCEEDINGS{cad_sac2002,
    author = "F. Corno and M. Sonza Reorda and G. Squillero",
    title = "An Evolutionary Algorithm for Reducing Integrated-Circuit Test Application Time",
    booktitle = "SAC: ACM Symposium on Applied Computing",
    year = "2002",
    pages = "608--611",
    url = "http://www.cad.polito.it/FullDB/exact/sac2002.html"
}
    
@INPROCEEDINGS{cad_isqed2002,
    author = "F. Corno and G. Cumani and M. Sonza Reorda and G. Squillero",
    title = "Automatic Test Program Generation from RT-level microprocessor descriptions",
    booktitle = "ISQED: International Symposium on Quality Electronic Design",
    year = "2002",
    url = "http://www.cad.polito.it/FullDB/exact/isqed2002.html"
}
    
@INPROCEEDINGS{cad_evoiasp2002,
    author = "F. Corno and M. Sonza Reorda and G. Squillero",
    title = "Evolutionary Techniques for Minimizing Test Signals Application Time",
    booktitle = "EvoIASP: European Workshop on Evolutionary Computation applications to Image Analysis and Signal Processing",
    year = "2002",
    url = "http://www.cad.polito.it/FullDB/exact/evoiasp2002.html"
}
    
@INPROCEEDINGS{cad_cec2002,
    author = "F. Corno and G. Cumani and M. Sonza Reorda and G. Squillero",
    title = "Efficient Machine-Code Test-Program Induction",
    booktitle = "CEC: Congress on Evolutionary Computation",
    year = "2002",
    url = "http://www.cad.polito.it/FullDB/exact/cec2002.html"
}