Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Adnan Aziz
@article{DBLP:journals/corr/abs-2304-14226,
author = {Yueming Hao and
Xu Zhao and
Bin Bao and
David Berard and
Will Constable and
Adnan Aziz and
Xu Liu},
title = {TorchBench: Benchmarking PyTorch with High {API} Surface Coverage},
journal = {CoRR},
volume = {abs/2304.14226},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.14226},
doi = {10.48550/ARXIV.2304.14226},
eprinttype = {arXiv},
eprint = {2304.14226},
timestamp = {Wed, 03 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-14226.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-08489,
author = {Newsha Ardalani and
Carole{-}Jean Wu and
Zeliang Chen and
Bhargav Bhushanam and
Adnan Aziz},
title = {Understanding Scaling Laws for Recommendation Models},
journal = {CoRR},
volume = {abs/2208.08489},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.08489},
doi = {10.48550/ARXIV.2208.08489},
eprinttype = {arXiv},
eprint = {2208.08489},
timestamp = {Mon, 22 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-08489.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/WesolowskiAAADG21,
author = {Lukasz Wesolowski and
Bilge Acun and
Valentin Andrei and
Adnan Aziz and
Gisle Dankel and
Christopher Gregg and
Xiaoqiao Meng and
Cyril Meurillon and
Denis Sheahan and
Lei Tian and
Janet Yang and
Peifeng Yu and
Kim M. Hazelwood},
title = {Datacenter-Scale Analysis and Optimization of {GPU} Machine Learning
Workloads},
journal = {{IEEE} Micro},
volume = {41},
number = {5},
pages = {101--112},
year = {2021},
url = {https://doi.org/10.1109/MM.2021.3097287},
doi = {10.1109/MM.2021.3097287},
timestamp = {Thu, 08 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/micro/WesolowskiAAADG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icann/HartwigKAH18,
author = {Waldemar Hartwig and
Christina Kl{\"{u}}ver and
Adnan Aziz and
Dirk Hoffstadt},
editor = {Vera Kurkov{\'{a}} and
Yannis Manolopoulos and
Barbara Hammer and
Lazaros S. Iliadis and
Ilias Maglogiannis},
title = {Classification of {SIP} Attack Variants with a Hybrid Self-enforcing
Network},
booktitle = {Artificial Neural Networks and Machine Learning - {ICANN} 2018 - 27th
International Conference on Artificial Neural Networks, Rhodes, Greece,
October 4-7, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {11140},
pages = {456--466},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01421-6\_44},
doi = {10.1007/978-3-030-01421-6\_44},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icann/HartwigKAH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustcom/VolodinaARH18,
author = {Ekaterina Volodina and
Adnan Aziz and
Erwin P. Rathgeb and
Tobias Ho{\ss}feld},
title = {Application of Visual Analysis to Detect and Analyze Patterns in VoIP
Attack Traffic},
booktitle = {17th {IEEE} International Conference On Trust, Security And Privacy
In Computing And Communications / 12th {IEEE} International Conference
On Big Data Science And Engineering, TrustCom/BigDataSE 2018, New
York, NY, USA, August 1-3, 2018},
pages = {260--268},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/TrustCom/BigDataSE.2018.00048},
doi = {10.1109/TRUSTCOM/BIGDATASE.2018.00048},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/trustcom/VolodinaARH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/algo/AzizP16,
author = {Adnan Aziz and
Amit Prakash},
title = {Binary Decision Graph},
booktitle = {Encyclopedia of Algorithms},
pages = {216--220},
year = {2016},
url = {https://doi.org/10.1007/978-1-4939-2864-4\_48},
doi = {10.1007/978-1-4939-2864-4\_48},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/algo/AzizP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/algo/AzizP16a,
author = {Adnan Aziz and
Amit Prakash},
title = {Symbolic Model Checking},
booktitle = {Encyclopedia of Algorithms},
pages = {2178--2182},
year = {2016},
url = {https://doi.org/10.1007/978-1-4939-2864-4\_416},
doi = {10.1007/978-1-4939-2864-4\_416},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/algo/AzizP16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/networking/GruberHAFSRG15,
author = {Markus Gruber and
Dirk Hoffstadt and
Adnan Aziz and
Florian Fankhauser and
Christian Schanes and
Erwin P. Rathgeb and
Thomas Grechenig},
editor = {Rahim Kacimi and
Zoubir Mammeri},
title = {Global VoIP security threats - large scale validation based on independent
honeynets},
booktitle = {Proceedings of the 14th {IFIP} Networking Conference, Networking 2015,
Toulouse, France, 20-22 May, 2015},
pages = {1--9},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/IFIPNetworking.2015.7145329},
doi = {10.1109/IFIPNETWORKING.2015.7145329},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/networking/GruberHAFSRG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/networking/AzizHRD14,
author = {Adnan Aziz and
Dirk Hoffstadt and
Erwin P. Rathgeb and
Thomas Dreibholz},
title = {A distributed infrastructure to analyse {SIP} attacks in the Internet},
booktitle = {2014 {IFIP} Networking Conference, Trondheim, Norway, June 2-4, 2014},
pages = {1--9},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/IFIPNetworking.2014.6857088},
doi = {10.1109/IFIPNETWORKING.2014.6857088},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/networking/AzizHRD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustcom/AzizHGR13,
author = {Adnan Aziz and
Dirk Hoffstadt and
Sebastian Ganz and
Erwin P. Rathgeb},
title = {Development and Analysis of Generic VoIP Attack Sequences Based on
Analysis of Real Attack Traffic},
booktitle = {12th {IEEE} International Conference on Trust, Security and Privacy
in Computing and Communications, TrustCom 2013 / 11th {IEEE} International
Symposium on Parallel and Distributed Processing with Applications,
{ISPA-13} / 12th {IEEE} International Conference on Ubiquitous Computing
and Communications, IUCC-2013, Melbourne, Australia, July 16-18, 2013},
pages = {675--682},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/TrustCom.2013.82},
doi = {10.1109/TRUSTCOM.2013.82},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/trustcom/AzizHGR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isqed/BijanskyLA09,
author = {Stephen Bijansky and
Sae Kyu Lee and
Adnan Aziz},
title = {TuneLogic: Post-silicon tuning of dual-Vdd designs},
booktitle = {10th International Symposium on Quality of Electronic Design {(ISQED}
2009), 16-18 March 2009, San Jose, CA, {USA}},
pages = {394--400},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ISQED.2009.4810327},
doi = {10.1109/ISQED.2009.4810327},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isqed/BijanskyLA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BijanskyA08,
author = {Stephen Bijansky and
Adnan Aziz},
editor = {Limor Fix},
title = {TuneFPGA: post-silicon tuning of dual-Vdd FPGAs},
booktitle = {Proceedings of the 45th Design Automation Conference, {DAC} 2008,
Anaheim, CA, USA, June 8-13, 2008},
pages = {796--799},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1391469.1391672},
doi = {10.1145/1391469.1391672},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/BijanskyA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BaumgartnerMA08,
author = {Jason Baumgartner and
Hari Mony and
Adnan Aziz},
editor = {Alessandro Cimatti and
Robert B. Jones},
title = {Optimal Constraint-Preserving Netlist Simplification},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2008, Portland, Oregon,
USA, 17-20 November 2008},
pages = {1--9},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/FMCAD.2008.ECP.7},
doi = {10.1109/FMCAD.2008.ECP.7},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BaumgartnerMA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/MohammadBAA08,
author = {Baker Mohammad and
Stephen Bijansky and
Adnan Aziz and
Jacob A. Abraham},
title = {Adaptive {SRAM} memory for low power and high yield},
booktitle = {26th International Conference on Computer Design, {ICCD} 2008, 12-15
October 2008, Lake Tahoe, CA, USA, Proceedings},
pages = {176--181},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICCD.2008.4751858},
doi = {10.1109/ICCD.2008.4751858},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/MohammadBAA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/algo/PrakashA08,
author = {Amit Prakash and
Adnan Aziz},
editor = {Ming{-}Yang Kao},
title = {Binary Decision Graph},
booktitle = {Encyclopedia of Algorithms - 2008 Edition},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-0-387-30162-4\_48},
doi = {10.1007/978-0-387-30162-4\_48},
timestamp = {Thu, 27 Jun 2019 16:25:31 +0200},
biburl = {https://dblp.org/rec/reference/algo/PrakashA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/algo/PrakashA08a,
author = {Amit Prakash and
Adnan Aziz},
editor = {Ming{-}Yang Kao},
title = {Symbolic Model Checking},
booktitle = {Encyclopedia of Algorithms - 2008 Edition},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-0-387-30162-4\_416},
doi = {10.1007/978-0-387-30162-4\_416},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/algo/PrakashA08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ZaraketPAJK07,
author = {Fadi A. Zaraket and
John Pape and
Adnan Aziz and
Margarida F. Jacome and
Sarfraz Khurshid},
title = {Global Optimization of Compositional Systems},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {93--100},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.17},
doi = {10.1109/FAMCAD.2007.17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/ZaraketPAJK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/SalehMAS07,
author = {Hani H. Saleh and
Bassam Jamil Mohd and
Adnan Aziz and
Earl E. Swartzlander Jr.},
title = {Contention-free switch-based implementation of 1024-point Radix-2
Fourier Transform Engine},
booktitle = {25th International Conference on Computer Design, {ICCD} 2007, 7-10
October 2007, Lake Tahoe, CA, USA, Proceedings},
pages = {7--12},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/ICCD.2007.4601873},
doi = {10.1109/ICCD.2007.4601873},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/SalehMAS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZaraketAK07,
author = {Fadi A. Zaraket and
Adnan Aziz and
Sarfraz Khurshid},
title = {Sequential Circuits for Relational Analysis},
booktitle = {29th International Conference on Software Engineering {(ICSE} 2007),
Minneapolis, MN, USA, May 20-26, 2007},
pages = {13--22},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICSE.2007.75},
doi = {10.1109/ICSE.2007.75},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ZaraketAK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isqed/MondalRWAM07,
author = {Mosin Mondal and
Tamer Ragheb and
Xiang Wu and
Adnan Aziz and
Yehia Massoud},
title = {Provisioning On-Chip Networks under Buffered {RC} Interconnect Delay
Variations},
booktitle = {8th International Symposium on Quality of Electronic Design {(ISQED}
2007), 26-28 March 2007, San Jose, CA, {USA}},
pages = {873--878},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ISQED.2007.129},
doi = {10.1109/ISQED.2007.129},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isqed/MondalRWAM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZaraketAK07,
author = {Fadi A. Zaraket and
Adnan Aziz and
Sarfraz Khurshid},
editor = {R. E. Kurt Stirewalt and
Alexander Egyed and
Bernd Fischer},
title = {Sequential circuits for program analysis},
booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}},
pages = {114--123},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1321631.1321650},
doi = {10.1145/1321631.1321650},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/ZaraketAK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nanoarch/SinghZAVO07,
author = {Ashish Kumar Singh and
Hady Ali Zeineddine and
Adnan Aziz and
Sriram Vishwanath and
Michael Orshansky},
title = {A heterogeneous {CMOS-CNT} architecture utilizing novel coding of
boolean functions},
booktitle = {2007 {IEEE} International Symposium on Nanoscale Architectures, {NANOARCH}
2007, San Jose, CA, USA, October 21-22, 2007},
pages = {15--20},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/NANOARCH.2007.4400852},
doi = {10.1109/NANOARCH.2007.4400852},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nanoarch/SinghZAVO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nocs/WuRAM07,
author = {Xiang Wu and
Tamer Ragheb and
Adnan Aziz and
Yehia Massoud},
title = {Implementing {DSP} Algorithms with On-Chip Networks},
booktitle = {First International Symposium on Networks-on-Chips, {NOCS} 2007, 7-9
May 2007, Princeton, New Jersey, USA, Proceedings},
pages = {307--316},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/NOCS.2007.25},
doi = {10.1109/NOCS.2007.25},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nocs/WuRAM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsi/MohdSA07,
author = {Bassam Jamil Mohd and
Earl E. Swartzlander Jr. and
Adnan Aziz},
title = {The Hazard-Free Superscalar Pipeline Fast Fourier Transform Architecture
and Algorithm},
booktitle = {VLSI-SoC: Advanced Topics on Systems on a Chip - {A} Selection of
Extended Versions of the Best Papers of the Fourteenth International
Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007),
October 15-17, 2007, Atlanta, {USA}},
series = {{IFIP}},
volume = {291},
pages = {1--22},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-0-387-89558-1\_13},
doi = {10.1007/978-0-387-89558-1\_13},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vlsi/MohdSA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsi/MohdAS07,
author = {Bassam Jamil Mohd and
Adnan Aziz and
Earl E. Swartzlander Jr.},
title = {The hazard-free superscalar pipeline fast fourier transform algorithm
and architecture},
booktitle = {{IFIP} VLSI-SoC 2007, {IFIP} {WG} 10.5 International Conference on
Very Large Scale Integration of System-on-Chip, Atlanta, GA, USA,
15-17 October 2007},
pages = {194--199},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/VLSISOC.2007.4402497},
doi = {10.1109/VLSISOC.2007.4402497},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vlsi/MohdAS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0703102,
author = {Ashish Kumar Singh and
Adnan Aziz and
Sriram Vishwanath and
Michael Orshansky},
title = {Generation of Efficient Codes for Realizing Boolean Functions in Nanotechnologies},
journal = {CoRR},
volume = {abs/cs/0703102},
year = {2007},
url = {http://arxiv.org/abs/cs/0703102},
eprinttype = {arXiv},
eprint = {cs/0703102},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0703102.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0016001,
author = {Jun Yuan and
Carl Pixley and
Adnan Aziz},
title = {Constraint-based verification},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/0-387-30784-2},
doi = {10.1007/0-387-30784-2},
isbn = {978-0-387-25947-5},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0016001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoti/WuPMA06,
author = {Xiang Wu and
Amit Prakash and
Marghoob Mohiyuddin and
Adnan Aziz},
title = {Scheduling Traffic Matrices On General Switch Fabrics},
booktitle = {14th {IEEE} Symposium on High-Performance Interconnects, HOTI'06,
Stanford, CA, USA, August 23-25, 2006},
pages = {87--92},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/HOTI.2006.22},
doi = {10.1109/HOTI.2006.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hoti/WuPMA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nanonet/MondalWAM06,
author = {Mosin Mondal and
Xiang Wu and
Adnan Aziz and
Yehia Massoud},
editor = {Gian Mario Maggio and
Chris Dwyer},
title = {Reliability Analysis for On-chip Networks under {RC} Interconnect
Delay Variation},
booktitle = {1st International {ICST} Conference on Nano-Networks, Nano-Net 2006,
Lausanne, Switzerland, September 14-16, 2006},
pages = {1--5},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/NANONET.2006.346238},
doi = {10.1109/NANONET.2006.346238},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/nanonet/MondalWAM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socc/MohammadBAA06,
author = {Baker Mohammad and
Paul Bassett and
Jacob A. Abraham and
Adnan Aziz},
title = {Cache Organization for Embeded Processors: CAM-vs-SRAM},
booktitle = {2006 {IEEE} International {SOC} Conference, Austin, Texas, USA, September
24-27, 2006},
pages = {299--302},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/SOCC.2006.283902},
doi = {10.1109/SOCC.2006.283902},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/socc/MohammadBAA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/MonyBA05,
author = {Hari Mony and
Jason Baumgartner and
Adnan Aziz},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Exploiting Constraints in Transformation-Based Verification},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {269--284},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_21},
doi = {10.1007/11560548\_21},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/MonyBA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ZaraketBA05,
author = {Fadi A. Zaraket and
Jason Baumgartner and
Adnan Aziz},
title = {Scalable compositional minimization via static analysis},
booktitle = {2005 International Conference on Computer-Aided Design, {ICCAD} 2005,
San Jose, CA, USA, November 6-10, 2005},
pages = {1060--1067},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICCAD.2005.1560218},
doi = {10.1109/ICCAD.2005.1560218},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/ZaraketBA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/YuanAPA04,
author = {Jun Yuan and
Adnan Aziz and
Carl Pixley and
Ken Albin},
title = {Simplifying Boolean constraint solving for random simulation-vector
generation},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {23},
number = {3},
pages = {412--420},
year = {2004},
url = {https://doi.org/10.1109/TCAD.2004.823348},
doi = {10.1109/TCAD.2004.823348},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/YuanAPA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MohiyuddinPAW04,
author = {Marghoob Mohiyuddin and
Amit Prakash and
Adnan Aziz and
Wayne H. Wolf},
editor = {Sharad Malik and
Limor Fix and
Andrew B. Kahng},
title = {Synthesizing interconnect-efficient low density parity check codes},
booktitle = {Proceedings of the 41th Design Automation Conference, {DAC} 2004,
San Diego, CA, USA, June 7-11, 2004},
pages = {488--491},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/996566.996702},
doi = {10.1145/996566.996702},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/MohiyuddinPAW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/PrakashAR04,
author = {Amit Prakash and
Adnan Aziz and
Vijaya Ramachandran},
title = {Randomized Parallel Schedulers for Switch-Memory-Switch Routers: Analysis
and Numerical Studies},
booktitle = {Proceedings {IEEE} {INFOCOM} 2004, The 23rd Annual Joint Conference
of the {IEEE} Computer and Communications Societies, Hong Kong, China,
March 7-11, 2004},
pages = {2026--2037},
publisher = {{IEEE}},
year = {2004},
url = {https://doi.org/10.1109/INFCOM.2004.1354611},
doi = {10.1109/INFCOM.2004.1354611},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/infocom/PrakashAR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/GoelSZAS03,
author = {Anuj Goel and
Khurram Sajid and
Hai Zhou and
Adnan Aziz and
Vigyan Singhal},
title = {{BDD} Based Procedures for a Theory of Equality with Uninterpreted
Functions},
journal = {Formal Methods Syst. Des.},
volume = {22},
number = {3},
pages = {205--224},
year = {2003},
url = {https://doi.org/10.1023/A:1022988809947},
doi = {10.1023/A:1022988809947},
timestamp = {Thu, 24 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/GoelSZAS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BaumgartnerHSA03,
author = {Jason Baumgartner and
Tamir Heyman and
Vigyan Singhal and
Adnan Aziz},
title = {An Abstraction Algorithm for the Verification of Level-Sensitive Latch-Based
Netlists},
journal = {Formal Methods Syst. Des.},
volume = {23},
number = {1},
pages = {39--65},
year = {2003},
url = {https://doi.org/10.1023/A:1024485130001},
doi = {10.1023/A:1024485130001},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BaumgartnerHSA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/PrakashKMA03,
author = {Amit Prakash and
Ramakrishna Kotla and
Tanmoy Mandal and
Adnan Aziz},
title = {A high-performance architecture and BDD-based synthesis methodology
for packet classification},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {22},
number = {6},
pages = {698--709},
year = {2003},
url = {https://doi.org/10.1109/TCAD.2003.811449},
doi = {10.1109/TCAD.2003.811449},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/PrakashKMA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/SinghalPAQB03,
author = {Vigyan Singhal and
Carl Pixley and
Adnan Aziz and
Shaz Qadeer and
Robert K. Brayton},
title = {Sequential optimization in the absence of global reset},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {8},
number = {2},
pages = {222--251},
year = {2003},
url = {https://doi.org/10.1145/762488.762493},
doi = {10.1145/762488.762493},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/todaes/SinghalPAQB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/YuanAAP03,
author = {Jun Yuan and
Ken Albin and
Adnan Aziz and
Carl Pixley},
title = {Constraint synthesis for environment modeling in functional verification},
booktitle = {Proceedings of the 40th Design Automation Conference, {DAC} 2003,
Anaheim, CA, USA, June 2-6, 2003},
pages = {296--299},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/775832.775909},
doi = {10.1145/775832.775909},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/YuanAAP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/YuanPAA03,
author = {Jun Yuan and
Carl Pixley and
Adnan Aziz and
Ken Albin},
title = {A Framework for Constrained Functional Verification},
booktitle = {2003 International Conference on Computer-Aided Design, {ICCAD} 2003,
San Jose, CA, USA, November 9-13, 2003},
pages = {142--145},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2003},
url = {https://doi.ieeecomputersociety.org/10.1109/ICCAD.2003.1257615},
doi = {10.1109/ICCAD.2003.1257615},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/YuanPAA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/AzizPR03,
author = {Adnan Aziz and
Amit Prakash and
Vijaya Ramachandran},
editor = {Arnold L. Rosenberg and
Friedhelm Meyer auf der Heide},
title = {A near optimal scheduler for switch-memory-switch routers},
booktitle = {{SPAA} 2003: Proceedings of the Fifteenth Annual {ACM} Symposium on
Parallelism in Algorithms and Architectures, June 7-9, 2003, San Diego,
California, {USA} (part of {FCRC} 2003)},
pages = {343--352},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/777412.777472},
doi = {10.1145/777412.777472},
timestamp = {Wed, 21 Nov 2018 11:11:22 +0100},
biburl = {https://dblp.org/rec/conf/spaa/AzizPR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/AzizSSBS02,
author = {Adnan Aziz and
Thomas R. Shiple and
Vigyan Singhal and
Robert K. Brayton and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Formula-Dependent Equivalence for Compositional {CTL} Model Checking},
journal = {Formal Methods Syst. Des.},
volume = {21},
number = {2},
pages = {193--224},
year = {2002},
url = {https://doi.org/10.1023/A:1016043502772},
doi = {10.1023/A:1016043502772},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/AzizSSBS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoti/GuptaA02,
author = {Shashank Gupta and
Adnan Aziz},
title = {Multicast Scheduling for Switches with Multiple Input-Queues},
booktitle = {10th Annual {IEEE} Symposium on High Performance Interconnects {(HOTIC}
2002), August 21 - 23, 2002, Stanford, CA, {USA}},
pages = {28--36},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/CONECT.2002.1039254},
doi = {10.1109/CONECT.2002.1039254},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hoti/GuptaA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoti/PrakashA02,
author = {Amit Prakash and
Adnan Aziz},
title = {A Middle Ground between CAMs and DAGs for High-Speed Packet Classification},
booktitle = {10th Annual {IEEE} Symposium on High Performance Interconnects {(HOTIC}
2002), August 21 - 23, 2002, Stanford, CA, {USA}},
pages = {89--94},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/CONECT.2002.1039262},
doi = {10.1109/CONECT.2002.1039262},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hoti/PrakashA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/YuanAAP02,
author = {Jun Yuan and
Ken Albin and
Adnan Aziz and
Carl Pixley},
editor = {Lawrence T. Pileggi and
Andreas Kuehlmann},
title = {Simplifying Boolean constraint solving for random simulation-vector
generation},
booktitle = {Proceedings of the 2002 {IEEE/ACM} International Conference on Computer-aided
Design, {ICCAD} 2002, San Jose, California, USA, November 10-14, 2002},
pages = {123--127},
publisher = {{ACM} / {IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1145/774572.774590},
doi = {10.1145/774572.774590},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/YuanAAP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/SharifAP02,
author = {Sadia Sharif and
Adnan Aziz and
Amit Prakash},
title = {An O(log\({}^{\mbox{2}}\)\emph{N}) parallel algorithm for output queuing},
booktitle = {Proceedings {IEEE} {INFOCOM} 2002, The 21st Annual Joint Conference
of the {IEEE} Computer and Communications Societies, New York, USA,
June 23-27, 2002},
pages = {1623--1629},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/INFCOM.2002.1019415},
doi = {10.1109/INFCOM.2002.1019415},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/infocom/SharifAP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwls/PrakashKMA02,
author = {Amit Prakash and
Ramakrishna Kotla and
Tanmoy Mandal and
Adnan Aziz},
title = {A Reconfigurable Architecture and Associated Synthesis Methodology
for High Speed Packet Classification},
booktitle = {11th {IEEE/ACM} International Workshop on Logic {\&} Synthesis,
{IWLS} 2002, June 4-7, 2002, New Orleans, Louisiana, {USA}},
pages = {97--102},
year = {2002},
timestamp = {Sun, 04 Aug 2019 18:01:44 +0200},
biburl = {https://dblp.org/rec/conf/iwls/PrakashKMA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwls/YuanAAP02,
author = {Jun Yuan and
Ken Albin and
Adnan Aziz and
Carl Pixley},
title = {Simplifying Constraint Solving in Random Simulation Generation},
booktitle = {11th {IEEE/ACM} International Workshop on Logic {\&} Synthesis,
{IWLS} 2002, June 4-7, 2002, New Orleans, Louisiana, {USA}},
pages = {185--190},
year = {2002},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwls/YuanAAP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwls/YuanSHAA02,
author = {Jun Yuan and
Kurt Shultz and
John Havlicek and
Ken Albin and
Adnan Aziz},
title = {A Method for Synthesizing Boolean Constrains},
booktitle = {11th {IEEE/ACM} International Workshop on Logic {\&} Synthesis,
{IWLS} 2002, June 4-7, 2002, New Orleans, Louisiana, {USA}},
pages = {351--353},
year = {2002},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwls/YuanSHAA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/GanaiA02,
author = {Malay K. Ganai and
Adnan Aziz},
title = {Improved SAT-Based Bounded Reachability Analysis},
booktitle = {Proceedings of the 7th Asia and South Pacific Design Automation Conference
{(ASP-DAC} 2002), and the 15th International Conference on {VLSI}
Design {(VLSI} Design 2002), Bangalore, India, January 7-11, 2002},
pages = {729--734},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ASPDAC.2002.995020},
doi = {10.1109/ASPDAC.2002.995020},
timestamp = {Mon, 14 Nov 2022 15:28:09 +0100},
biburl = {https://dblp.org/rec/conf/vlsid/GanaiA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/et/GanaiYAKS01,
author = {Malay K. Ganai and
Praveen Yalagandula and
Adnan Aziz and
Andreas Kuehlmann and
Vigyan Singhal},
title = {{SIVA:} {A} System for Coverage-Directed State Space Search},
journal = {J. Electron. Test.},
volume = {17},
number = {1},
pages = {11--27},
year = {2001},
url = {https://doi.org/10.1023/A:1011189608077},
doi = {10.1023/A:1011189608077},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/et/GanaiYAKS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/SinghalPAB01,
author = {Vigyan Singhal and
Carl Pixley and
Adnan Aziz and
Robert K. Brayton},
title = {Theory of safe replacements for sequential circuits},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {20},
number = {2},
pages = {249--265},
year = {2001},
url = {https://doi.org/10.1109/43.908455},
doi = {10.1109/43.908455},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/SinghalPAB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/AzizKSY01,
author = {Adnan Aziz and
James H. Kukula and
Thomas R. Shiple and
Jun Yuan},
title = {Efficient control state-space search},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {20},
number = {2},
pages = {332--336},
year = {2001},
url = {https://doi.org/10.1109/43.908475},
doi = {10.1109/43.908475},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/AzizKSY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/ZhouA01,
author = {Hai Zhou and
Adnan Aziz},
title = {Buffer minimization in pass transistor logic},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {20},
number = {5},
pages = {693--697},
year = {2001},
url = {https://doi.org/10.1109/43.920711},
doi = {10.1109/43.920711},
timestamp = {Wed, 16 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/ZhouA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/LiuAS01,
author = {Tai{-}Hung Liu and
Adnan Aziz and
Vigyan Singhal},
title = {Optimizing designs containing black boxes},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {6},
number = {4},
pages = {591--601},
year = {2001},
url = {https://doi.org/10.1145/502175.502184},
doi = {10.1145/502175.502184},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/todaes/LiuAS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/LiuCCAW01,
author = {I{-}Min Liu and
Hung{-}Ming Chen and
Tan{-}Li Chou and
Adnan Aziz and
D. F. Wong},
editor = {Satoshi Goto},
title = {Integrated power supply planning and floorplanning},
booktitle = {Proceedings of {ASP-DAC} 2001, Asia and South Pacific Design Automation
Conference 2001, January 30-February 2, 2001, Yokohama, Japan},
pages = {589--594},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/370155.370539},
doi = {10.1145/370155.370539},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/LiuCCAW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/GanaiA01,
author = {Malay K. Ganai and
Adnan Aziz},
editor = {Kaushik Roy and
Sung{-}Mo Kang and
Cheng{-}Kok Koh},
title = {Rarity based guided state space search},
booktitle = {Proceedings of the 11th {ACM} Great Lakes Symposium on {VLSI} 2001,
West Lafayette, Indiana, USA, 2001},
pages = {97--102},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/368122.368878},
doi = {10.1145/368122.368878},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/glvlsi/GanaiA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoti/PrakashA01,
author = {Amit Prakash and
Adnan Aziz},
title = {{OC-3072} packet classification using BDDs and pipelined SRAMs},
booktitle = {The Ninth Symposium on High Performance Interconnects, {HOTI} '01,
Stanford, CA, USA, August 22-24, 2001},
pages = {15--20},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/HIS.2001.946688},
doi = {10.1109/HIS.2001.946688},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hoti/PrakashA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/et/YuanSPMA00,
author = {Jun Yuan and
Kurt Shultz and
Carl Pixley and
Hillel Miller and
Adnan Aziz},
title = {Automatic Vector Generation Using Constraints and Biasing},
journal = {J. Electron. Test.},
volume = {16},
number = {1-2},
pages = {107--120},
year = {2000},
url = {https://doi.org/10.1023/A:1008301108750},
doi = {10.1023/A:1008301108750},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/et/YuanSPMA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/ZhouWLA00,
author = {Hai Zhou and
Martin D. F. Wong and
I{-}Min Liu and
Adnan Aziz},
title = {Simultaneous routing and buffer insertion with restrictions onbuffer
locations},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {19},
number = {7},
pages = {819--824},
year = {2000},
url = {https://doi.org/10.1109/43.851998},
doi = {10.1109/43.851998},
timestamp = {Wed, 16 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/ZhouWLA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/AzizBBS00,
author = {Adnan Aziz and
Felice Balarin and
Robert K. Brayton and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Sequential synthesis using {S1S}},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {19},
number = {10},
pages = {1149--1162},
year = {2000},
url = {https://doi.org/10.1109/43.875301},
doi = {10.1109/43.875301},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/AzizBBS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/AzizSSB00,
author = {Adnan Aziz and
Kumud Sanwal and
Vigyan Singhal and
Robert K. Brayton},
title = {Model-checking continous-time Markov chains},
journal = {{ACM} Trans. Comput. Log.},
volume = {1},
number = {1},
pages = {162--170},
year = {2000},
url = {https://doi.org/10.1145/343369.343402},
doi = {10.1145/343369.343402},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/AzizSSB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BaumgartnerTASA00,
author = {Jason Baumgartner and
Anson Tripp and
Adnan Aziz and
Vigyan Singhal and
Flemming Andersen},
editor = {E. Allen Emerson and
A. Prasad Sistla},
title = {An Abstraction Algorithm for the Verification of Generalized C-Slow
Designs},
booktitle = {Computer Aided Verification, 12th International Conference, {CAV}
2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1855},
pages = {5--19},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722167\_5},
doi = {10.1007/10722167\_5},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BaumgartnerTASA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/YalagandulaAS00,
author = {Praveen Yalagandula and
Adnan Aziz and
Vigyan Singhal},
editor = {Ivo Bolsens},
title = {Automatic Lighthouse Generation for Directed State Space Search},
booktitle = {2000 Design, Automation and Test in Europe {(DATE} 2000), 27-30 March
2000, Paris, France},
pages = {237--242},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2000},
url = {https://doi.org/10.1109/DATE.2000.840045},
doi = {10.1109/DATE.2000.840045},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/YalagandulaAS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/LiuAW00,
author = {I{-}Min Liu and
Adnan Aziz and
D. F. Wong},
editor = {Ivo Bolsens},
title = {Meeting Delay Constraints in {DSM} by Minimal Repeater Insertion},
booktitle = {2000 Design, Automation and Test in Europe {(DATE} 2000), 27-30 March
2000, Paris, France},
pages = {436--440},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2000},
url = {https://doi.org/10.1109/DATE.2000.840307},
doi = {10.1109/DATE.2000.840307},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/LiuAW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/LiuA00,
author = {I{-}Min Liu and
Adnan Aziz},
title = {Delay Constrained Optimization by Simultaneous Fanout Tree Construction,
Buffer Insertion/Sizing and Gate Sizing},
booktitle = {Proceedings of the {IEEE} International Conference On Computer Design:
{VLSI} In Computers {\&} Processors, {ICCD} '00, Austin, Texas,
USA, September 17-20, 2000},
pages = {209--214},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICCD.2000.878287},
doi = {10.1109/ICCD.2000.878287},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/LiuA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispd/LiuCAW00,
author = {I{-}Min Liu and
Tan{-}Li Chou and
Adnan Aziz and
D. F. Wong},
editor = {Manfred Wiesel and
Dwight D. Hill},
title = {Zero-skew clock tree construction by simultaneous routing, wire sizing
and buffer insertion},
booktitle = {Proceedings of the 2000 International Symposium on Physical Design,
{ISPD} 2000, San Diego, CA, USA, April 9-12, 2000},
pages = {33--38},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/332357.332370},
doi = {10.1145/332357.332370},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ispd/LiuCAW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispd/ZhouA00,
author = {Hai Zhou and
Adnan Aziz},
editor = {Manfred Wiesel and
Dwight D. Hill},
title = {Buffer minimization in pass transistor logic},
booktitle = {Proceedings of the 2000 International Symposium on Physical Design,
{ISPD} 2000, San Diego, CA, USA, April 9-12, 2000},
pages = {105--110},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/332357.332384},
doi = {10.1145/332357.332384},
timestamp = {Wed, 16 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ispd/ZhouA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cjtcs/AzizSBBS99,
author = {Adnan Aziz and
Felice Balarin and
Vigyan Singhal and
Robert K. Brayton and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Equivalences for Fair Kripke Structures},
journal = {Chic. J. Theor. Comput. Sci.},
volume = {1999},
year = {1999},
url = {http://cjtcs.cs.uchicago.edu/articles/1999/12/contents.html},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cjtcs/AzizSBBS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BaumgartnerHSA99,
author = {Jason Baumgartner and
Tamir Heyman and
Vigyan Singhal and
Adnan Aziz},
editor = {Nicolas Halbwachs and
Doron A. Peled},
title = {Model Checking the {IBM} Gigahertz Processor: An Abstraction Algorithm
for High-Performance Netlists},
booktitle = {Computer Aided Verification, 11th International Conference, {CAV}
'99, Trento, Italy, July 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1633},
pages = {72--83},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48683-6\_9},
doi = {10.1007/3-540-48683-6\_9},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BaumgartnerHSA99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ZhouWLA99,
author = {Hai Zhou and
D. F. Wong and
I{-}Min Liu and
Adnan Aziz},
editor = {Mary Jane Irwin},
title = {Simultaneous Routing and Buffer Insertion with Restrictions on Buffer
Locations},
booktitle = {Proceedings of the 36th Conference on Design Automation, New Orleans,
LA, USA, June 21-25, 1999},
pages = {96--99},
publisher = {{ACM} Press},
year = {1999},
url = {https://doi.org/10.1145/309847.309885},
doi = {10.1145/309847.309885},
timestamp = {Wed, 16 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/ZhouWLA99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GanaiAK99,
author = {Malay K. Ganai and
Adnan Aziz and
Andreas Kuehlmann},
editor = {Mary Jane Irwin},
title = {Enhancing Simulation with BDDs and {ATPG}},
booktitle = {Proceedings of the 36th Conference on Design Automation, New Orleans,
LA, USA, June 21-25, 1999},
pages = {385--390},
publisher = {{ACM} Press},
year = {1999},
url = {https://doi.org/10.1145/309847.309965},
doi = {10.1145/309847.309965},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/GanaiAK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/YuanSPMA99,
author = {Jun Yuan and
Kurt Shultz and
Carl Pixley and
Hillel Miller and
Adnan Aziz},
editor = {Jacob K. White and
Ellen Sentovich},
title = {Modeling design constraints and biasing in simulation using BDDs},
booktitle = {Proceedings of the 1999 {IEEE/ACM} International Conference on Computer-Aided
Design, 1999, San Jose, California, USA, November 7-11, 1999},
pages = {584--590},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ICCAD.1999.810715},
doi = {10.1109/ICCAD.1999.810715},
timestamp = {Mon, 08 May 2023 21:43:38 +0200},
biburl = {https://dblp.org/rec/conf/iccad/YuanSPMA99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/LiuAWZ99,
author = {I{-}Min Liu and
Adnan Aziz and
D. F. Wong and
Hai Zhou},
title = {An Efficient Buffer Insertion Algorithm for Large Networks Based on
Lagrangian Relaxation},
booktitle = {Proceedings of the {IEEE} International Conference On Computer Design,
{VLSI} in Computers and Processors, {ICCD} '99, Austin, Texas, USA,
October 10-13, 1999},
pages = {210--215},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ICCD.1999.808427},
doi = {10.1109/ICCD.1999.808427},
timestamp = {Wed, 16 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccd/LiuAWZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/SrinivasanCJAJ99,
author = {Srivatsan Srinivasan and
Parminder Singh Chhabra and
Praveen Kumar Jaini and
Adnan Aziz and
Lizy Kurian John},
title = {Formal Verification of a Snoop-Based Cache Coherence Protocol Using
Symbolic Model Checking},
booktitle = {12th International Conference on {VLSI} Design {(VLSI} Design 1999),
10-13 January 1999, Goa, India},
pages = {288--293},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ICVD.1999.745162},
doi = {10.1109/ICVD.1999.745162},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vlsid/SrinivasanCJAJ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/LiuGAB99,
author = {Tai{-}Hung Liu and
Malay K. Ganai and
Adnan Aziz and
Jeffrey L. Burns},
title = {Performance Driven Synthesis for Pass-Transistor Logic},
booktitle = {12th International Conference on {VLSI} Design {(VLSI} Design 1999),
10-13 January 1999, Goa, India},
pages = {372--377},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ICVD.1999.745184},
doi = {10.1109/ICVD.1999.745184},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vlsid/LiuGAB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GoelSZAS98,
author = {Anuj Goel and
Khurram Sajid and
Hai Zhou and
Adnan Aziz and
Vigyan Singhal},
editor = {Alan J. Hu and
Moshe Y. Vardi},
title = {{BDD} Based Procedures for a Theory of Equality with Uninterpreted
Functions},
booktitle = {Computer Aided Verification, 10th International Conference, {CAV}
'98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1427},
pages = {244--255},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0028749},
doi = {10.1007/BFB0028749},
timestamp = {Wed, 16 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GoelSZAS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AzizKS98,
author = {Adnan Aziz and
James H. Kukula and
Thomas R. Shiple},
editor = {Basant R. Chawla and
Randal E. Bryant and
Jan M. Rabaey},
title = {Hybrid Verification Using Saturated Simulation},
booktitle = {Proceedings of the 35th Conference on Design Automation, Moscone center,
San Francico, California, USA, June 15-19, 1998},
pages = {615--618},
publisher = {{ACM} Press},
year = {1998},
url = {https://doi.org/10.1145/277044.277204},
doi = {10.1145/277044.277204},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/AzizKS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LuoWA98,
author = {Yufeng Luo and
Tjahjadi Wongsonegoro and
Adnan Aziz},
editor = {Basant R. Chawla and
Randal E. Bryant and
Jan M. Rabaey},
title = {Hybrid Techniques for Fast Functional Simulation},
booktitle = {Proceedings of the 35th Conference on Design Automation, Moscone center,
San Francico, California, USA, June 15-19, 1998},
pages = {664--667},
publisher = {{ACM} Press},
year = {1998},
url = {https://doi.org/10.1145/277044.277213},
doi = {10.1145/277044.277213},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/LuoWA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/KukulaSA98,
author = {James H. Kukula and
Thomas R. Shiple and
Adnan Aziz},
editor = {Ganesh Gopalakrishnan and
Phillip J. Windley},
title = {Techniques for Implicit State Enumeration of EFSMs},
booktitle = {Formal Methods in Computer-Aided Design, Second International Conference,
{FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1522},
pages = {469--482},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49519-3\_30},
doi = {10.1007/3-540-49519-3\_30},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/KukulaSA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/ChaudhryLAB98,
author = {Rajat Chaudhry and
Tai{-}Hung Liu and
Adnan Aziz and
Jeffrey L. Burns},
title = {Area-oriented synthesis for pass-transistor logic},
booktitle = {International Conference on Computer Design: {VLSI} in Computers and
Processors, {ICCD} 1998, Proceedings, 5-7 October, 1998, Austin, TX,
{USA}},
pages = {160--167},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICCD.1998.727037},
doi = {10.1109/ICCD.1998.727037},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/ChaudhryLAB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/YuanSAA97,
author = {Jun Yuan and
Jian Shen and
Jacob A. Abraham and
Adnan Aziz},
editor = {Orna Grumberg},
title = {On Combining Formal and Informal Verification},
booktitle = {Computer Aided Verification, 9th International Conference, {CAV} '97,
Haifa, Israel, June 22-25, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1254},
pages = {376--387},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63166-6\_37},
doi = {10.1007/3-540-63166-6\_37},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/YuanSAA97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LiuSAS97,
author = {Tai{-}Hung Liu and
Khurram Sajid and
Adnan Aziz and
Vigyan Singhal},
editor = {Ellen J. Yoffa and
Giovanni De Micheli and
Jan M. Rabaey},
title = {Optimizing Designs Containing Black Boxes},
booktitle = {Proceedings of the 34st Conference on Design Automation, Anaheim,
California, USA, Anaheim Convention Center, June 9-13, 1997},
pages = {113--116},
publisher = {{ACM} Press},
year = {1997},
url = {https://doi.org/10.1145/266021.266045},
doi = {10.1145/266021.266045},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/LiuSAS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/MehrotraQSBAS97,
author = {Amit Mehrotra and
Shaz Qadeer and
Vigyan Singhal and
Robert K. Brayton and
Adnan Aziz and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Ralph H. J. M. Otten and
Hiroto Yasuura},
title = {Sequential optimisation without state space exploration},
booktitle = {Proceedings of the 1997 {IEEE/ACM} International Conference on Computer-Aided
Design, {ICCAD} 1997, San Jose, CA, USA, November 9-13, 1997},
pages = {208--215},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1997},
url = {https://doi.org/10.1109/ICCAD.1997.643522},
doi = {10.1109/ICCAD.1997.643522},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/MehrotraQSBAS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AzizSSB96,
author = {Adnan Aziz and
Kumud Sanwal and
Vigyan Singhal and
Robert K. Brayton},
editor = {Rajeev Alur and
Thomas A. Henzinger},
title = {Verifying Continuous Time Markov Chains},
booktitle = {Computer Aided Verification, 8th International Conference, {CAV} '96,
New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1102},
pages = {269--276},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61474-5\_75},
doi = {10.1007/3-540-61474-5\_75},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/AzizSSB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BraytonHSSACEKKPQRSSSV96,
author = {Robert K. Brayton and
Gary D. Hachtel and
Alberto L. Sangiovanni{-}Vincentelli and
Fabio Somenzi and
Adnan Aziz and
Szu{-}Tsung Cheng and
Stephen A. Edwards and
Sunil P. Khatri and
Yuji Kukimoto and
Abelardo Pardo and
Shaz Qadeer and
Rajeev K. Ranjan and
Shaker Sarwary and
Thomas R. Shiple and
Gitanjali Swamy and
Tiziano Villa},
editor = {Rajeev Alur and
Thomas A. Henzinger},
title = {{VIS:} {A} System for Verification and Synthesis},
booktitle = {Computer Aided Verification, 8th International Conference, {CAV} '96,
New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1102},
pages = {428--432},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61474-5\_95},
doi = {10.1007/3-540-61474-5\_95},
timestamp = {Mon, 27 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BraytonHSSACEKKPQRSSSV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BraytonHSSACEKKPQRSSSV96,
author = {Robert K. Brayton and
Gary D. Hachtel and
Alberto L. Sangiovanni{-}Vincentelli and
Fabio Somenzi and
Adnan Aziz and
Szu{-}Tsung Cheng and
Stephen A. Edwards and
Sunil P. Khatri and
Yuji Kukimoto and
Abelardo Pardo and
Shaz Qadeer and
Rajeev K. Ranjan and
Shaker Sarwary and
Thomas R. Shiple and
Gitanjali Swamy and
Tiziano Villa},
editor = {Mandayam K. Srivas and
Albert John Camilleri},
title = {{VIS}},
booktitle = {Formal Methods in Computer-Aided Design, First International Conference,
{FMCAD} '96, Palo Alto, California, USA, November 6-8, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1166},
pages = {248--256},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031812},
doi = {10.1007/BFB0031812},
timestamp = {Mon, 27 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BraytonHSSACEKKPQRSSSV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AzizSB95,
author = {Adnan Aziz and
Vigyan Singhal and
Felice Balarin},
editor = {Pierre Wolper},
title = {It Usually Works: The Temporal Logic of Stochastic Systems},
booktitle = {Computer Aided Verification, 7th International Conference, Li{\`{e}}ge,
Belgium, July, 3-5, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {939},
pages = {155--165},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60045-0\_48},
doi = {10.1007/3-540-60045-0\_48},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/AzizSB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AzizBBDS95,
author = {Adnan Aziz and
Felice Balarin and
Robert K. Brayton and
Marika Domenica Di Benedetto and
Alexander Saldanha},
editor = {Pierre Wolper},
title = {Supervisory Control of Finite State Machines},
booktitle = {Computer Aided Verification, 7th International Conference, Li{\`{e}}ge,
Belgium, July, 3-5, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {939},
pages = {279--292},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60045-0\_57},
doi = {10.1007/3-540-60045-0\_57},
timestamp = {Sun, 14 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AzizBBDS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/SinghalPAB95,
author = {Vigyan Singhal and
Carl Pixley and
Adnan Aziz and
Robert K. Brayton},
editor = {Gerald Musgrave},
title = {Exploiting power-up delay for sequential optimization},
booktitle = {Proceedings EURO-DAC'95, European Design Automation Conference with
EURO-VHDL, Brighton, England, UK, September 18-22, 1995},
pages = {54--59},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/EURDAC.1995.527389},
doi = {10.1109/EURDAC.1995.527389},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurodac/SinghalPAB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/AzizBBS95,
author = {Adnan Aziz and
Felice Balarin and
Robert K. Brayton and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Richard L. Rudell},
title = {Sequential synthesis using {S1S}},
booktitle = {Proceedings of the 1995 {IEEE/ACM} International Conference on Computer-Aided
Design, {ICCAD} 1995, San Jose, California, USA, November 5-9, 1995},
pages = {612--617},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1995},
url = {https://doi.org/10.1109/ICCAD.1995.480192},
doi = {10.1109/ICCAD.1995.480192},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/AzizBBS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AzizSS94,
author = {Adnan Aziz and
Thomas R. Shiple and
Vigyan Singhal},
editor = {David L. Dill},
title = {Formula-Dependent Equivalence for Compositional {CTL} Model Checking},
booktitle = {Computer Aided Verification, 6th International Conference, {CAV} '94,
Stanford, California, USA, June 21-23, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {818},
pages = {324--337},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58179-0\_65},
doi = {10.1007/3-540-58179-0\_65},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/AzizSS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AzizTB94,
author = {Adnan Aziz and
Serdar Tasiran and
Robert K. Brayton},
editor = {Michael J. Lorenzetti},
title = {{BDD} Variable Ordering for Interacting Finite State Machines},
booktitle = {Proceedings of the 31st Conference on Design Automation, San Diego,
California, USA, June 6-10, 1994},
pages = {283--288},
publisher = {{ACM} Press},
year = {1994},
url = {https://doi.org/10.1145/196244.196379},
doi = {10.1145/196244.196379},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/AzizTB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AzizBCHKKRSSTWBS94,
author = {Adnan Aziz and
Felice Balarin and
Szu{-}Tsung Cheng and
Ramin Hojati and
Timothy Kam and
Sriram C. Krishnan and
Rajeev K. Ranjan and
Thomas R. Shiple and
Vigyan Singhal and
Serdar Tasiran and
Huey{-}Yih Wang and
Robert K. Brayton and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Michael J. Lorenzetti},
title = {{HSIS:} {A} BDD-Based Environment for Formal Verification},
booktitle = {Proceedings of the 31st Conference on Design Automation, San Diego,
California, USA, June 6-10, 1994},
pages = {454--459},
publisher = {{ACM} Press},
year = {1994},
url = {https://doi.org/10.1145/196244.196467},
doi = {10.1145/196244.196467},
timestamp = {Mon, 27 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/AzizBCHKKRSSTWBS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AzizSBBS94,
author = {Adnan Aziz and
Vigyan Singhal and
Felice Balarin and
Robert K. Brayton and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Serge Abiteboul and
Eli Shamir},
title = {Equivalences for Fair Kripke Structures},
booktitle = {Automata, Languages and Programming, 21st International Colloquium,
ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {820},
pages = {364--375},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58201-0\_82},
doi = {10.1007/3-540-58201-0\_82},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AzizSBBS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/PixleySAB94,
author = {Carl Pixley and
Vigyan Singhal and
Adnan Aziz and
Robert K. Brayton},
editor = {Jochen A. G. Jess and
Richard L. Rudell},
title = {Multi-level synthesis for safe replaceability},
booktitle = {Proceedings of the 1994 {IEEE/ACM} International Conference on Computer-Aided
Design, {ICCAD} 1994, San Jose, California, USA, November 6-10, 1994},
pages = {442--449},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1994},
url = {https://doi.org/10.1109/ICCAD.1994.629841},
doi = {10.1109/ICCAD.1994.629841},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/PixleySAB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/AzizSSB94,
author = {Adnan Aziz and
Vigyan Singhal and
Gitanjali Swamy and
Robert K. Brayton},
title = {Minimizing Interacting Finite State Machines: {A} Compositional Approach
to Language to Containment},
booktitle = {Proceedings 1994 {IEEE} International Conference on Computer Design:
{VLSI} in Computer {\&} Processors, {ICCD} '94, Cambridge, MA,
USA, October 10-12, 1994},
pages = {255--261},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/ICCD.1994.331900},
doi = {10.1109/ICCD.1994.331900},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/AzizSSB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-10-01 22:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
