Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alan J. Hu
@inproceedings{DBLP:conf/tacas/FengHBITWPB24,
author = {Nick Feng and
Alan J. Hu and
Sam Bayless and
Syed M. Iqbal and
Patrick Trentin and
Mike Whalen and
Lee Pike and
John Backes},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {{DRAT} Proofs of Unsatisfiability for {SAT} Modulo Monotonic Theories},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
pages = {3--23},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3\_1},
doi = {10.1007/978-3-031-57246-3\_1},
timestamp = {Sun, 14 Apr 2024 18:32:16 +0200},
biburl = {https://dblp.org/rec/conf/tacas/FengHBITWPB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-10703,
author = {Nick Feng and
Alan J. Hu and
Sam Bayless and
Syed M. Iqbal and
Patrick Trentin and
Mike Whalen and
Lee Pike and
John Backes},
title = {{DRAT} Proofs of Unsatisfiability for {SAT} Modulo Monotonic Theories},
journal = {CoRR},
volume = {abs/2401.10703},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.10703},
doi = {10.48550/ARXIV.2401.10703},
eprinttype = {arXiv},
eprint = {2401.10703},
timestamp = {Fri, 02 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-10703.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/YoungHL23,
author = {May Young and
Alan J. Hu and
Guy G. F. Lemieux},
title = {Cache Abstraction for Data Race Detection in Heterogeneous Systems
with Non-coherent Accelerators},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {22},
number = {1},
pages = {6:1--6:25},
year = {2023},
url = {https://doi.org/10.1145/3535457},
doi = {10.1145/3535457},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/YoungHL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloud/IqbalLBBH22,
author = {Syed M. Iqbal and
Haley Li and
Shane Bergsma and
Ivan Beschastnikh and
Alan J. Hu},
editor = {Ada Gavrilovska and
Deniz Altinb{\"{u}}ken and
Carsten Binnig},
title = {CoSpot: a cooperative {VM} allocation framework for increased revenue
from spot instances},
booktitle = {Proceedings of the 13th Symposium on Cloud Computing, SoCC 2022, San
Francisco, California, November 7-11, 2022},
pages = {540--556},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3542929.3563499},
doi = {10.1145/3542929.3563499},
timestamp = {Tue, 08 Nov 2022 11:17:40 +0100},
biburl = {https://dblp.org/rec/conf/cloud/IqbalLBBH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-04322,
author = {Nodir Kodirov and
Shane Bergsma and
Syed M. Iqbal and
Alan J. Hu and
Ivan Beschastnikh and
Margo I. Seltzer},
title = {Gridiron: {A} Technique for Augmenting Cloud Workloads with Network
Bandwidth Requirements},
journal = {CoRR},
volume = {abs/2201.04322},
year = {2022},
url = {https://arxiv.org/abs/2201.04322},
eprinttype = {arXiv},
eprint = {2201.04322},
timestamp = {Thu, 20 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-04322.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/YoungHL21,
author = {May Young and
Alan J. Hu and
Guy G. F. Lemieux},
editor = {J{\"{o}}rg Henkel and
Xu Liu},
title = {Cache abstraction for data race detection in heterogeneous systems
with non-coherent accelerators},
booktitle = {{LCTES} '21: 22nd {ACM} {SIGPLAN/SIGBED} International Conference
on Languages, Compilers, and Tools for Embedded Systems, Virtual Event,
Canada, 22 June, 2021},
pages = {151--162},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3461648.3463856},
doi = {10.1145/3461648.3463856},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lctrts/YoungHL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BaylessKIBHH20,
author = {Sam Bayless and
Nodir Kodirov and
Syed M. Iqbal and
Ivan Beschastnikh and
Holger H. Hoos and
Alan J. Hu},
title = {Scalable constraint-based virtual data center allocation},
journal = {Artif. Intell.},
volume = {278},
year = {2020},
url = {https://doi.org/10.1016/j.artint.2019.103196},
doi = {10.1016/J.ARTINT.2019.103196},
timestamp = {Fri, 31 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/BaylessKIBHH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BackesBCDGHKKKK19,
author = {John Backes and
Sam Bayless and
Byron Cook and
Catherine Dodge and
Andrew Gacek and
Alan J. Hu and
Temesghen Kahsai and
Bill Kocik and
Evgenii Kotelnikov and
Jure Kukovec and
Sean McLaughlin and
Jason Reed and
Neha Rungta and
John Sizemore and
Mark A. Stalzer and
Preethi Srinivasan and
Pavle Subotic and
Carsten Varming and
Blake Whaley},
editor = {Isil Dillig and
Serdar Tasiran},
title = {Reachability Analysis for AWS-Based Networks},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11562},
pages = {231--241},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25543-5\_14},
doi = {10.1007/978-3-030-25543-5\_14},
timestamp = {Fri, 31 Jan 2020 21:32:18 +0100},
biburl = {https://dblp.org/rec/conf/cav/BackesBCDGHKKKK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ancs/KodirovBRBHH18,
author = {Nodir Kodirov and
Sam Bayless and
Fabian Ruffy and
Ivan Beschastnikh and
Holger H. Hoos and
Alan J. Hu},
editor = {Theophilus Benson and
Noa Zilberman},
title = {{VNF} chain allocation and management at data center scale},
booktitle = {Proceedings of the 2018 Symposium on Architectures for Networking
and Communications Systems, {ANCS} 2018, Ithaca, NY, USA, July 23-24,
2018},
pages = {125--140},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3230718.3230724},
doi = {10.1145/3230718.3230724},
timestamp = {Wed, 21 Nov 2018 12:44:16 +0100},
biburl = {https://dblp.org/rec/conf/ancs/KodirovBRBHH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ancs/KodirovBRBHH18a,
author = {Nodir Kodirov and
Sam Bayless and
Fabian Ruffy and
Ivan Beschastnikh and
Holger H. Hoos and
Alan J. Hu},
editor = {Theophilus Benson and
Noa Zilberman},
title = {{VNF} chain abstraction for cloud service providers},
booktitle = {Proceedings of the 2018 Symposium on Architectures for Networking
and Communications Systems, {ANCS} 2018, Ithaca, NY, USA, July 23-24,
2018},
pages = {165--166},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3230718.3232109},
doi = {10.1145/3230718.3232109},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ancs/KodirovBRBHH18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BaylessKBHH17,
author = {Sam Bayless and
Nodir Kodirov and
Ivan Beschastnikh and
Holger H. Hoos and
Alan J. Hu},
editor = {Carles Sierra},
title = {Scalable Constraint-based Virtual Data Center Allocation},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {546--554},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/77},
doi = {10.24963/IJCAI.2017/77},
timestamp = {Tue, 20 Aug 2019 16:16:54 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BaylessKBHH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KlenzeBH16,
author = {Tobias Klenze and
Sam Bayless and
Alan J. Hu},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Fast, Flexible, and Minimal {CTL} Synthesis via {SMT}},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9779},
pages = {136--156},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41528-4\_8},
doi = {10.1007/978-3-319-41528-4\_8},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/KlenzeBH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosp/ValEBAH16,
author = {Celina G. Val and
Michael A. Enescu and
Sam Bayless and
William Aiello and
Alan J. Hu},
title = {Precisely Measuring Quantitative Information Flow: 10K Lines of Code
and Beyond},
booktitle = {{IEEE} European Symposium on Security and Privacy, EuroS{\&}P
2016, Saarbr{\"{u}}cken, Germany, March 21-24, 2016},
pages = {31--46},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/EuroSP.2016.15},
doi = {10.1109/EUROSP.2016.15},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/eurosp/ValEBAH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/BaylessHH16,
author = {Sam Bayless and
Holger H. Hoos and
Alan J. Hu},
editor = {Frank Liu},
title = {Scalable, high-quality, SAT-based multi-layer escape routing},
booktitle = {Proceedings of the 35th International Conference on Computer-Aided
Design, {ICCAD} 2016, Austin, TX, USA, November 7-10, 2016},
pages = {22},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2966986.2967072},
doi = {10.1145/2966986.2967072},
timestamp = {Fri, 23 Jun 2023 22:29:48 +0200},
biburl = {https://dblp.org/rec/conf/iccad/BaylessHH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BaylessBHH15,
author = {Sam Bayless and
Noah Bayless and
Holger H. Hoos and
Alan J. Hu},
editor = {Blai Bonet and
Sven Koenig},
title = {{SAT} Modulo Monotonic Theories},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {3702--3709},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9755},
doi = {10.1609/AAAI.V29I1.9755},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BaylessBHH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/GallardoHIM15,
author = {Ricardo Ochoa Gallardo and
Alan J. Hu and
Andr{\'{e}} Ivanov and
Maryam S. Mirian},
editor = {Diana Marculescu and
Frank Liu},
title = {Reducing Post-Silicon Coverage Monitoring Overhead with Emulation
and Bayesian Feature Selection},
booktitle = {Proceedings of the {IEEE/ACM} International Conference on Computer-Aided
Design, {ICCAD} 2015, Austin, TX, USA, November 2-6, 2015},
pages = {816--823},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ICCAD.2015.7372655},
doi = {10.1109/ICCAD.2015.7372655},
timestamp = {Mon, 26 Jun 2023 16:43:56 +0200},
biburl = {https://dblp.org/rec/conf/iccad/GallardoHIM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/ChengYVBHJJ14,
author = {An{-}Che Cheng and
Chia{-}Chih Jack Yen and
Celina G. Val and
Sam Bayless and
Alan J. Hu and
Iris Hui{-}Ru Jiang and
Jing{-}Yang Jou},
title = {Efficient Coverage-Driven Stimulus Generation Using Simultaneous {SAT}
Solving, with Application to SystemVerilog},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {20},
number = {1},
pages = {7:1--7:23},
year = {2014},
url = {https://doi.org/10.1145/2651400},
doi = {10.1145/2651400},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/todaes/ChengYVBHJJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/DrechslerCFHMSG14,
author = {Rolf Drechsler and
Christophe Chevallaz and
Franco Fummi and
Alan J. Hu and
Ronny Morad and
Frank Schirrmeister and
Alex Goryachev},
editor = {Gerhard P. Fettweis and
Wolfgang Nebel},
title = {Panel: Future SoC verification methodology: {UVM} evolution or revolution?},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2014, Dresden, Germany, March 24-28, 2014},
pages = {1--5},
publisher = {European Design and Automation Association},
year = {2014},
url = {https://doi.org/10.7873/DATE.2014.385},
doi = {10.7873/DATE.2014.385},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/DrechslerCFHMSG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BaylessBHH14,
author = {Sam Bayless and
Noah Bayless and
Holger H. Hoos and
Alan J. Hu},
title = {{SAT} Modulo Monotonic Theories},
journal = {CoRR},
volume = {abs/1406.0043},
year = {2014},
url = {http://arxiv.org/abs/1406.0043},
eprinttype = {arXiv},
eprint = {1406.0043},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BaylessBHH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BabicCHR13,
author = {Domagoj Babic and
Byron Cook and
Alan J. Hu and
Zvonimir Rakamaric},
title = {Proving termination of nonlinear command sequences},
journal = {Formal Aspects Comput.},
volume = {25},
number = {3},
pages = {389--403},
year = {2013},
url = {https://doi.org/10.1007/s00165-012-0252-5},
doi = {10.1007/S00165-012-0252-5},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BabicCHR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/BalstonKHIW13,
author = {Kyle Balston and
Mehdi Karimibiuki and
Alan J. Hu and
Andr{\'{e}} Ivanov and
Steven J. E. Wilton},
title = {Post-Silicon Code Coverage for Multiprocessor System-on-Chip Designs},
journal = {{IEEE} Trans. Computers},
volume = {62},
number = {2},
pages = {242--246},
year = {2013},
url = {https://doi.org/10.1109/TC.2012.163},
doi = {10.1109/TC.2012.163},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/BalstonKHIW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BaylessVBHH13,
author = {Sam Bayless and
Celina G. Val and
Thomas Ball and
Holger H. Hoos and
Alan J. Hu},
title = {Efficient modular {SAT} solving for {IC3}},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {149--156},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679404/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BaylessVBHH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-6704,
author = {Jesse Hoey and
Robert St{-}Aubin and
Alan J. Hu and
Craig Boutilier},
title = {{SPUDD:} Stochastic Planning using Decision Diagrams},
journal = {CoRR},
volume = {abs/1301.6704},
year = {2013},
url = {http://arxiv.org/abs/1301.6704},
eprinttype = {arXiv},
eprint = {1301.6704},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-6704.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvlsi/GortPKAHWY12,
author = {Marcel Gort and
Flavio M. de Paula and
Johnny J. W. Kuan and
Tor M. Aamodt and
Alan J. Hu and
Steven J. E. Wilton and
Jin Yang},
title = {Formal-Analysis-Based Trace Computation for Post-Silicon Debug},
journal = {{IEEE} Trans. Very Large Scale Integr. Syst.},
volume = {20},
number = {11},
pages = {1997--2010},
year = {2012},
url = {https://doi.org/10.1109/TVLSI.2011.2166416},
doi = {10.1109/TVLSI.2011.2166416},
timestamp = {Mon, 17 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tvlsi/GortPKAHWY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PaulaHN12,
author = {Flavio M. de Paula and
Alan J. Hu and
Amir Nahir},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon
Debug Traces},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {513--531},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_37},
doi = {10.1007/978-3-642-31424-7\_37},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/PaulaHN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/SenguptaPHVI12,
author = {Dipanjan Sengupta and
Flavio M. de Paula and
Alan J. Hu and
Andreas G. Veneris and
Andr{\'{e}} Ivanov},
editor = {Erik Brunvard and
Ken Stevens and
Joseph R. Cavallaro and
Tong Zhang},
title = {Lazy suspect-set computation: fault diagnosis for deep electrical
bugs},
booktitle = {Great Lakes Symposium on {VLSI} 2012, GLSVLSI'12, Salt Lake City,
UT, USA, May 3-4, 2012},
pages = {189--194},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2206781.2206827},
doi = {10.1145/2206781.2206827},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/glvlsi/SenguptaPHVI12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/BalstonHWN12,
author = {Kyle Balston and
Alan J. Hu and
Steven J. E. Wilton and
Amir Nahir},
title = {Emulation in post-silicon validation: It's not just for functionality
anymore},
booktitle = {2012 {IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2012, Huntington Beach, CA, USA, November 9-10, 2012},
pages = {110--117},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/HLDVT.2012.6418252},
doi = {10.1109/HLDVT.2012.6418252},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/BalstonHWN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BaylessH12,
author = {Sam Bayless and
Alan J. Hu},
editor = {Alessandro Cimatti and
Roberto Sebastiani},
title = {Single-Solver Algorithms for 2QBF - (Poster Presentation)},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th
International Conference, Trento, Italy, June 17-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7317},
pages = {487--488},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31612-8\_48},
doi = {10.1007/978-3-642-31612-8\_48},
timestamp = {Sun, 02 Jun 2019 21:24:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/BaylessH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccad/2012,
editor = {Alan J. Hu},
title = {2012 {IEEE/ACM} International Conference on Computer-Aided Design,
{ICCAD} 2012, San Jose, CA, USA, November 5-8, 2012},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2429384},
doi = {10.1145/2429384},
isbn = {978-1-4577-1398-9},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ChocklerH11,
author = {Hana Chockler and
Alan J. Hu},
title = {Preface},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {13},
number = {3},
pages = {201--205},
year = {2011},
url = {https://doi.org/10.1007/s10009-011-0194-x},
doi = {10.1007/S10009-011-0194-X},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/ChocklerH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/PaulaNNOH11,
author = {Flavio M. de Paula and
Amir Nahir and
Ziv Nevo and
Avigail Orni and
Alan J. Hu},
editor = {Leon Stok and
Nikil D. Dutt and
Soha Hassoun},
title = {TAB-BackSpace: unlimited-length trace buffers with zero additional
on-chip overhead},
booktitle = {Proceedings of the 48th Design Automation Conference, {DAC} 2011,
San Diego, California, USA, June 5-10, 2011},
pages = {411--416},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2024724.2024821},
doi = {10.1145/2024724.2024821},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/PaulaNNOH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/CondonHMT11,
author = {Anne Condon and
Alan J. Hu and
J{\'{a}}n Manuch and
Chris Thachuk},
editor = {Luca Cardelli and
William M. Shih},
title = {Less Haste, Less Waste: On Recycling and Its Limits in Strand Displacement
Systems},
booktitle = {{DNA} Computing and Molecular Programming - 17th International Conference,
{DNA} 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6937},
pages = {84--99},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23638-9\_9},
doi = {10.1007/978-3-642-23638-9\_9},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dna/CondonHMT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/KarimibiukiBHI11,
author = {Mehdi Karimibiuki and
Kyle Balston and
Alan J. Hu and
Andr{\'{e}} Ivanov},
editor = {Zeljko Zilic and
Sandeep K. Shukla},
title = {Post-silicon code coverage evaluation with reduced area overhead for
functional verification of SoC},
booktitle = {2011 {IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2011, Napa Valley, CA, USA, November 9-11, 2011},
pages = {92--97},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HLDVT.2011.6113982},
doi = {10.1109/HLDVT.2011.6113982},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/KarimibiukiBHI11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccad/2011,
editor = {Joel R. Phillips and
Alan J. Hu and
Helmut Graeb},
title = {2011 {IEEE/ACM} International Conference on Computer-Aided Design,
{ICCAD} 2011, San Jose, California, USA, November 7-10, 2011},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://ieeexplore.ieee.org/xpl/conhome/6095474/proceeding},
isbn = {978-1-4577-1399-6},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/NahirZGHACBFBK10,
author = {Amir Nahir and
Avi Ziv and
Rajesh Galivanche and
Alan J. Hu and
Miron Abramovici and
Albert Camilleri and
Bob Bentley and
Harry Foster and
Valeria Bertacco and
Shakti Kapoor},
editor = {Sachin S. Sapatnekar},
title = {Bridging pre-silicon verification and post-silicon validation},
booktitle = {Proceedings of the 47th Design Automation Conference, {DAC} 2010,
Anaheim, California, USA, July 13-18, 2010},
pages = {94--95},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837274.1837300},
doi = {10.1145/1837274.1837300},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/NahirZGHACBFBK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/HollanderHLM10,
author = {Yoav Hollander and
Alan J. Hu and
Jo{\~{a}}o Louren{\c{c}}o and
Ronny Morad},
editor = {Sharon Barner and
Ian G. Harris and
Daniel Kroening and
Orna Raz},
title = {Special Session on Debugging},
booktitle = {Hardware and Software: Verification and Testing - 6th International
Haifa Verification Conference, {HVC} 2010, Haifa, Israel, October
4-7, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6504},
pages = {24--28},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19583-9\_7},
doi = {10.1007/978-3-642-19583-9\_7},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/HollanderHLM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/GhafariHR10,
author = {Naghmeh Ghafari and
Alan J. Hu and
Zvonimir Rakamaric},
editor = {Jaco van de Pol and
Michael Weber},
title = {Context-Bounded Translations for Concurrent Software: An Empirical
Evaluation},
booktitle = {Model Checking Software - 17th International {SPIN} Workshop, Enschede,
The Netherlands, September 27-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6349},
pages = {227--244},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16164-3\_17},
doi = {10.1007/978-3-642-16164-3\_17},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/GhafariHR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccad/2010,
editor = {Louis Scheffer and
Joel R. Phillips and
Alan J. Hu},
title = {2010 International Conference on Computer-Aided Design, {ICCAD} 2010,
San Jose, CA, USA, November 7-11, 2010},
publisher = {{IEEE}},
year = {2010},
url = {https://ieeexplore.ieee.org/xpl/conhome/5638200/proceeding},
isbn = {978-1-4244-8192-7},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BabicH09,
author = {Domagoj Babic and
Alan J. Hu},
title = {Approximating the safely reusable set of learned facts},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {11},
number = {4},
pages = {325--338},
year = {2009},
url = {https://doi.org/10.1007/s10009-009-0117-2},
doi = {10.1007/S10009-009-0117-2},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BabicH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/RakamaricH09,
author = {Zvonimir Rakamaric and
Alan J. Hu},
editor = {Neil D. Jones and
Markus M{\"{u}}ller{-}Olm},
title = {A Scalable Memory Model for Low-Level Code},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 10th International
Conference, {VMCAI} 2009, Savannah, GA, USA, January 18-20, 2009.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5403},
pages = {290--304},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-93900-9\_24},
doi = {10.1007/978-3-540-93900-9\_24},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/RakamaricH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hvc/2008,
editor = {Hana Chockler and
Alan J. Hu},
title = {Hardware and Software: Verification and Testing, 4th International
Haifa Verification Conference, {HVC} 2008, Haifa, Israel, October
27-30, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5394},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01702-5},
doi = {10.1007/978-3-642-01702-5},
isbn = {978-3-642-01701-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/PaulaGHWY08,
author = {Flavio M. de Paula and
Marcel Gort and
Alan J. Hu and
Steven J. E. Wilton and
Jin Yang},
editor = {Alessandro Cimatti and
Robert B. Jones},
title = {BackSpace: Formal Analysis for Post-Silicon Debug},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2008, Portland, Oregon,
USA, 17-20 November 2008},
pages = {1--10},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/FMCAD.2008.ECP.9},
doi = {10.1109/FMCAD.2008.ECP.9},
timestamp = {Tue, 18 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/PaulaGHWY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BabicH08,
author = {Domagoj Babic and
Alan J. Hu},
editor = {Wilhelm Sch{\"{a}}fer and
Matthew B. Dwyer and
Volker Gruhn},
title = {Calysto: scalable and precise extended static checking},
booktitle = {30th International Conference on Software Engineering {(ICSE} 2008),
Leipzig, Germany, May 10-18, 2008},
pages = {211--220},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1368088.1368118},
doi = {10.1145/1368088.1368118},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BabicH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RakamaricH08,
author = {Zvonimir Rakamaric and
Alan J. Hu},
title = {Automatic Inference of Frame Axioms Using Static Analysis},
booktitle = {23rd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2008), 15-19 September 2008, L'Aquila, Italy},
pages = {89--98},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ASE.2008.19},
doi = {10.1109/ASE.2008.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/RakamaricH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mtv/PaulaGHW08,
author = {Flavio M. de Paula and
Marcel Gort and
Alan J. Hu and
Steven J. E. Wilton},
title = {BackSpace: Moving Towards Reality},
booktitle = {Ninth International Workshop on Microprocessor Test and Verification,
{MTV} 2008, Austin, Texas, USA, 8-10 December 2008},
pages = {49--54},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/MTV.2008.22},
doi = {10.1109/MTV.2008.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mtv/PaulaGHW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/RakamaricBHC07,
author = {Zvonimir Rakamaric and
Roberto Bruttomesso and
Alan J. Hu and
Alessandro Cimatti},
editor = {Kedar S. Namjoshi and
Tomohiro Yoneda and
Teruo Higashino and
Yoshio Okamura},
title = {Verifying Heap-Manipulating Programs in an {SMT} Framework},
booktitle = {Automated Technology for Verification and Analysis, 5th International
Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4762},
pages = {237--252},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75596-8\_18},
doi = {10.1007/978-3-540-75596-8\_18},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/RakamaricBHC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BabicH07,
author = {Domagoj Babic and
Alan J. Hu},
editor = {Werner Damm and
Holger Hermanns},
title = {Structural Abstraction of Software Verification Conditions},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {366--378},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_41},
doi = {10.1007/978-3-540-73368-3\_41},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/BabicH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/PaulaH07,
author = {Flavio M. de Paula and
Alan J. Hu},
title = {An Effective Guidance Strategy for Abstraction-Guided Simulation},
booktitle = {Proceedings of the 44th Design Automation Conference, {DAC} 2007,
San Diego, CA, USA, June 4-8, 2007},
pages = {63--68},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1145/1278480.1278498},
doi = {10.1145/1278480.1278498},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/PaulaH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BacchiniHFRLTPZ07,
author = {Francine Bacchini and
Alan J. Hu and
Tom Fitzpatrick and
Rajeev Ranjan and
David Lacey and
Mercedes Tan and
Andrew Piziali and
Avi Ziv},
title = {Verification Coverage: When is Enough, Enough?},
booktitle = {Proceedings of the 44th Design Automation Conference, {DAC} 2007,
San Diego, CA, USA, June 4-8, 2007},
pages = {744--745},
publisher = {{IEEE}},
year = {2007},
timestamp = {Tue, 29 Jul 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/BacchiniHFRLTPZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/HutterBHH07,
author = {Frank Hutter and
Domagoj Babic and
Holger H. Hoos and
Alan J. Hu},
title = {Boosting Verification by Automatic Tuning of Decision Procedures},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {27--34},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.9},
doi = {10.1109/FAMCAD.2007.9},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/HutterBHH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/Hu07,
author = {Alan J. Hu},
editor = {Karen Yorav},
title = {Simulation vs. Formal: Absorb What Is Useful; Reject What Is Useless},
booktitle = {Hardware and Software: Verification and Testing, Third International
Haifa Verification Conference, {HVC} 2007, Haifa, Israel, October
23-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4899},
pages = {1--7},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77966-7\_1},
doi = {10.1007/978-3-540-77966-7\_1},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/Hu07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/BabicH07,
author = {Domagoj Babic and
Alan J. Hu},
editor = {Karen Yorav},
title = {Exploiting Shared Structure in Software Verification Conditions},
booktitle = {Hardware and Software: Verification and Testing, Third International
Haifa Verification Conference, {HVC} 2007, Haifa, Israel, October
23-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4899},
pages = {169--184},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77966-7\_15},
doi = {10.1007/978-3-540-77966-7\_15},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/BabicH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BabicHRC07,
author = {Domagoj Babic and
Alan J. Hu and
Zvonimir Rakamaric and
Byron Cook},
title = {Proving Termination by Divergence},
booktitle = {Fifth {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
{UK}},
pages = {93--102},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SEFM.2007.32},
doi = {10.1109/SEFM.2007.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/BabicHRC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/RakamaricBH07,
author = {Zvonimir Rakamaric and
Jesse D. Bingham and
Alan J. Hu},
editor = {Byron Cook and
Andreas Podelski},
title = {An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating
Programs with Mutable Data and Cyclic Data Structures},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 8th International
Conference, {VMCAI} 2007, Nice, France, January 14-16, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4349},
pages = {106--121},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69738-1\_8},
doi = {10.1007/978-3-540-69738-1\_8},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/RakamaricBH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/CurrieFFHKR06,
author = {David W. Currie and
Xiushan Feng and
Masahiro Fujita and
Alan J. Hu and
Mark Kwan and
Sreeranga P. Rajan},
title = {Embedded Software Verification Using Symbolic Execution and Uninterpreted
Functions},
journal = {Int. J. Parallel Program.},
volume = {34},
number = {1},
pages = {61--91},
year = {2006},
url = {https://doi.org/10.1007/s10766-005-0004-8},
doi = {10.1007/S10766-005-0004-8},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/CurrieFFHKR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/SalehWMHGLPGI06,
author = {Resve A. Saleh and
Steven J. E. Wilton and
Shahriar Mirabbasi and
Alan J. Hu and
Mark R. Greenstreet and
Guy Lemieux and
Partha Pratim Pande and
Cristian Grecu and
Andr{\'{e}} Ivanov},
title = {System-on-Chip: Reuse and Integration},
journal = {Proc. {IEEE}},
volume = {94},
number = {6},
pages = {1050--1069},
year = {2006},
url = {https://doi.org/10.1109/JPROC.2006.873611},
doi = {10.1109/JPROC.2006.873611},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/SalehWMHGLPGI06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/BabicBH06,
author = {Domagoj Babic and
Jesse D. Bingham and
Alan J. Hu},
title = {B-Cubing: New Possibilities for Efficient SAT-Solving},
journal = {{IEEE} Trans. Computers},
volume = {55},
number = {11},
pages = {1315--1324},
year = {2006},
url = {https://doi.org/10.1109/TC.2006.175},
doi = {10.1109/TC.2006.175},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tc/BabicBH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PaulaH06,
author = {Flavio M. de Paula and
Alan J. Hu},
editor = {Thomas Ball and
Robert B. Jones},
title = {EverLost: {A} Flexible Platform for Industrial-Strength Abstraction-Guided
Simulation},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {282--285},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_27},
doi = {10.1007/11817963\_27},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/PaulaH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/FengH06,
author = {Xiushan Feng and
Alan J. Hu},
editor = {Ellen Sentovich},
title = {Early cutpoint insertion for high-level software vs. {RTL} formal
combinational equivalence verification},
booktitle = {Proceedings of the 43rd Design Automation Conference, {DAC} 2006,
San Francisco, CA, USA, July 24-28, 2006},
pages = {1063--1068},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1146909.1147178},
doi = {10.1145/1146909.1147178},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/FengH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/Hu06,
author = {Alan J. Hu},
title = {EverLost: {A} Flexible Platform for Industrial-Strength Abstraction-Guided
Simulation},
booktitle = {Eleventh Annual {IEEE} International High-Level Design Validation
and Test Workshop 2006, Monterey, CA, USA, Nov 9-10, 2006},
pages = {151--152},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/HLDVT.2006.319980},
doi = {10.1109/HLDVT.2006.319980},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/Hu06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/ShuklaHAAFLP06,
author = {Sandeep K. Shukla and
Alan J. Hu and
Jacob Abrahams and
Pranav Ashar and
Harry Foster and
Avner Landver and
Carl Pixley},
title = {Panel: Assertion-Based Verification -What's the Big Deal?},
booktitle = {Eleventh Annual {IEEE} International High-Level Design Validation
and Test Workshop 2006, Monterey, CA, USA, Nov 9-10, 2006},
pages = {183},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/HLDVT.2006.319989},
doi = {10.1109/HLDVT.2006.319989},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/ShuklaHAAFLP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/BabicH05,
author = {Domagoj Babic and
Alan J. Hu},
editor = {Tingao Tang},
title = {Integration of supercubing and learning in a {SAT} solver},
booktitle = {Proceedings of the 2005 Conference on Asia South Pacific Design Automation,
{ASP-DAC} 2005, Shanghai, China, January 18-21, 2005},
pages = {438--444},
publisher = {{ACM} Press},
year = {2005},
url = {https://doi.org/10.1145/1120725.1120908},
doi = {10.1145/1120725.1120908},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/BabicH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/FengHY05,
author = {Xiushan Feng and
Alan J. Hu and
Jin Yang},
editor = {Tingao Tang},
title = {Partitioned model checking from software specifications},
booktitle = {Proceedings of the 2005 Conference on Asia South Pacific Design Automation,
{ASP-DAC} 2005, Shanghai, China, January 18-21, 2005},
pages = {583--587},
publisher = {{ACM} Press},
year = {2005},
url = {https://doi.org/10.1145/1120725.1120967},
doi = {10.1145/1120725.1120967},
timestamp = {Mon, 17 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aspdac/FengHY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BabicBH05,
author = {Domagoj Babic and
Jesse D. Bingham and
Alan J. Hu},
editor = {William H. Joyner Jr. and
Grant Martin and
Andrew B. Kahng},
title = {Efficient {SAT} solving: beyond supercubes},
booktitle = {Proceedings of the 42nd Design Automation Conference, {DAC} 2005,
San Diego, CA, USA, June 13-17, 2005},
pages = {744--749},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1065579.1065774},
doi = {10.1145/1065579.1065774},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/BabicBH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/FengH05,
author = {Xiushan Feng and
Alan J. Hu},
editor = {Wayne H. Wolf},
title = {Cutpoints for formal equivalence verification of embedded software},
booktitle = {{EMSOFT} 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th {ACM}
International Conference On Embedded Software, Proceedings},
pages = {307--316},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1086228.1086284},
doi = {10.1145/1086228.1086284},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/FengH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/BabicBH05,
author = {Domagoj Babic and
Jesse D. Bingham and
Alan J. Hu},
title = {B-cubing theory: new possibilities for efficient SAT-solving},
booktitle = {Tenth {IEEE} International High-Level Design Validation and Test Workshop
2005, Napa Valley, CA, USA, November 30 - December 2, 2005},
pages = {192--199},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/HLDVT.2005.1568836},
doi = {10.1109/HLDVT.2005.1568836},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/BabicBH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpca/MartyBHHMW05,
author = {Michael R. Marty and
Jesse D. Bingham and
Mark D. Hill and
Alan J. Hu and
Milo M. K. Martin and
David A. Wood},
title = {Improving Multiple-CMP Systems Using Token Coherence},
booktitle = {11th International Conference on High-Performance Computer Architecture
{(HPCA-11} 2005), 12-16 February 2005, San Francisco, CA, {USA}},
pages = {328--339},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/HPCA.2005.17},
doi = {10.1109/HPCA.2005.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hpca/MartyBHHMW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BinghamH05,
author = {Jesse D. Bingham and
Alan J. Hu},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {Empirically Efficient Verification for a Class of Infinite-State Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {77--92},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_6},
doi = {10.1007/978-3-540-31980-1\_6},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BinghamH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BinghamCHQZ04,
author = {Jesse D. Bingham and
Anne Condon and
Alan J. Hu and
Shaz Qadeer and
Zhichuan Zhang},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Automatic Verification of Sequential Consistency for Unbounded Addresses
and Data Values},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {427--439},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_33},
doi = {10.1007/978-3-540-27813-9\_33},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BinghamCHQZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/NgHY04,
author = {Kelvin Ng and
Alan J. Hu and
Jin Yang},
title = {Generating Monitor Circuits for Simulation-Friendly {GSTE} Assertion
Graphs},
booktitle = {22nd {IEEE} International Conference on Computer Design: {VLSI} in
Computers {\&} Processors {(ICCD} 2004), 11-13 October 2004, San
Jose, CA, USA, Proceedings},
pages = {409--416},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICCD.2004.1347955},
doi = {10.1109/ICCD.2004.1347955},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/NgHY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/DeanH04,
author = {Drew Dean and
Alan J. Hu},
editor = {Matt Blaze},
title = {Fixing Races for Fun and Profit: How to Use access(2)},
booktitle = {Proceedings of the 13th {USENIX} Security Symposium, August 9-13,
2004, San Diego, CA, {USA}},
pages = {195--206},
publisher = {{USENIX}},
year = {2004},
url = {http://www.usenix.org/publications/library/proceedings/sec04/tech/dean.html},
timestamp = {Mon, 01 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uss/DeanH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2004,
editor = {Alan J. Hu and
Andrew K. Martin},
title = {Formal Methods in Computer-Aided Design, 5th International Conference,
{FMCAD} 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3312},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b102264},
doi = {10.1007/B102264},
isbn = {3-540-23738-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/CondonH03,
author = {Anne Condon and
Alan J. Hu},
title = {Automatable Verification of Sequential Consistency},
journal = {Theory Comput. Syst.},
volume = {36},
number = {5},
pages = {431--460},
year = {2003},
url = {https://doi.org/10.1007/s00224-003-1082-x},
doi = {10.1007/S00224-003-1082-X},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/CondonH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/HuCY03,
author = {Alan J. Hu and
Jeremy Casas and
Jin Yang},
editor = {Daniel Geist and
Enrico Tronci},
title = {Reasoning about {GSTE} Assertion Graphs},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {170--184},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_17},
doi = {10.1007/978-3-540-39724-3\_17},
timestamp = {Mon, 17 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/HuCY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/HuCY03,
author = {Alan J. Hu and
Jeremy Casas and
Jin Yang},
title = {Efficient Generation of Monitor Circuits for {GSTE} Assertion Graphs},
booktitle = {2003 International Conference on Computer-Aided Design, {ICCAD} 2003,
San Jose, CA, USA, November 9-13, 2003},
pages = {154--160},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2003},
url = {https://doi.ieeecomputersociety.org/10.1109/ICCAD.2003.1257620},
doi = {10.1109/ICCAD.2003.1257620},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/HuCY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/BinghamCH03,
author = {Jesse D. Bingham and
Anne Condon and
Alan J. Hu},
editor = {Arnold L. Rosenberg and
Friedhelm Meyer auf der Heide},
title = {Toward a decidable notion of sequential consistency},
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 = {304--313},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/777412.777467},
doi = {10.1145/777412.777467},
timestamp = {Wed, 21 Nov 2018 11:11:22 +0100},
biburl = {https://dblp.org/rec/conf/spaa/BinghamCH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BinghamH02,
author = {Jesse D. Bingham and
Alan J. Hu},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Semi-formal Bounded Model Checking},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {280--294},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_21},
doi = {10.1007/3-540-45657-0\_21},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BinghamH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/OliveiraH02,
author = {Marcio T. Oliveira and
Alan J. Hu},
title = {High-Level specification and automatic generation of {IP} interface
monitors},
booktitle = {Proceedings of the 39th Design Automation Conference, {DAC} 2002,
New Orleans, LA, USA, June 10-14, 2002},
pages = {129--134},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/513918.513952},
doi = {10.1145/513918.513952},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/OliveiraH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/FengH02,
author = {Xiushan Feng and
Alan J. Hu},
editor = {Peter Marwedel and
Srinivas Devadas},
title = {Automatic formal verification for scheduled {VLIW} code},
booktitle = {Proceedings of the 2002 Joint Conference on Languages, Compilers,
and Tools for Embedded Systems {\&} Software and Compilers for
Embedded Systems (LCTES'02-SCOPES'02), Berlin, Germany, 19-21 June
2002},
pages = {85--92},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/513829.513844},
doi = {10.1145/513829.513844},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/FengH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/AlbrechtH01,
author = {Alvin R. Albrecht and
Alan J. Hu},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Register Transformations with Multiple Clock Domains},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {126--139},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_11},
doi = {10.1007/3-540-44798-9\_11},
timestamp = {Sun, 02 Jun 2019 21:23:48 +0200},
biburl = {https://dblp.org/rec/conf/charme/AlbrechtH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/BraunCHJLLS01,
author = {Tim Braun and
Anne Condon and
Alan J. Hu and
Kai S. Juse and
Marius Laza and
Michael Leslie and
Rita Sharma},
title = {Proving sequential consistency by model checking},
booktitle = {Proceedings of the Sixth {IEEE} International High-Level Design Validation
and Test Workshop 2001, Monterey, California, USA, November 7-9, 2001},
pages = {103--108},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/HLDVT.2001.972815},
doi = {10.1109/HLDVT.2001.972815},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/BraunCHJLLS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/ChangH01,
author = {Felix Sheng{-}Ho Chang and
Alan J. Hu},
title = {Fast Specification of Cycle-accurate Processor Models},
booktitle = {19th International Conference on Computer Design {(ICCD} 2001), {VLSI}
in Computers and Processors, 23-26 September 2001, Austin, TX, USA,
Proceedings},
pages = {488--492},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ICCD.2001.955072},
doi = {10.1109/ICCD.2001.955072},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/ChangH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/CondonH01,
author = {Anne Condon and
Alan J. Hu},
editor = {Arnold L. Rosenberg},
title = {Automatable verification of sequential consistency},
booktitle = {Proceedings of the Thirteenth Annual {ACM} Symposium on Parallel Algorithms
and Architectures, {SPAA} 2001, Heraklion, Crete Island, Greece, July
4-6, 2001},
pages = {113--121},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/378580.378604},
doi = {10.1145/378580.378604},
timestamp = {Wed, 21 Nov 2018 12:27:44 +0100},
biburl = {https://dblp.org/rec/conf/spaa/CondonH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/CurrieHR00,
author = {David W. Currie and
Alan J. Hu and
Sreeranga P. Rajan},
editor = {Giovanni De Micheli},
title = {Automatic formal verification of {DSP} software},
booktitle = {Proceedings of the 37th Conference on Design Automation, Los Angeles,
CA, USA, June 5-9, 2000},
pages = {130--135},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/337292.337339},
doi = {10.1145/337292.337339},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/CurrieHR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ShimizuDH00,
author = {Kanna Shimizu and
David L. Dill and
Alan J. Hu},
editor = {Warren A. Hunt Jr. and
Steven D. Johnson},
title = {Monitor-Based Formal Specification of {PCI}},
booktitle = {Formal Methods in Computer-Aided Design, Third International Conference,
{FMCAD} 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1954},
pages = {335--353},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40922-X\_21},
doi = {10.1007/3-540-40922-X\_21},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/ShimizuDH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/WintersH00,
author = {Brian D. Winters and
Alan J. Hu},
title = {Source-Level Transformations for Improved Formal Verification},
booktitle = {Proceedings of the {IEEE} International Conference On Computer Design:
{VLSI} In Computers {\&} Processors, {ICCD} '00, Austin, Texas,
USA, September 17-20, 2000},
pages = {599--602},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICCD.2000.878353},
doi = {10.1109/ICCD.2000.878353},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/WintersH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/HuLSV99,
author = {Alan J. Hu and
Rui Li and
Xizheng Shi and
Son T. Vuong},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {Model-Checking a Secure Gorup Communication Protocol: {A} Case Study},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {469--478},
publisher = {Kluwer},
year = {1999},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/HuLSV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/HoeySHB99,
author = {Jesse Hoey and
Robert St{-}Aubin and
Alan J. Hu and
Craig Boutilier},
editor = {Kathryn B. Laskey and
Henri Prade},
title = {{SPUDD:} Stochastic Planning using Decision Diagrams},
booktitle = {{UAI} '99: Proceedings of the Fifteenth Conference on Uncertainty
in Artificial Intelligence, Stockholm, Sweden, July 30 - August 1,
1999},
pages = {279--288},
publisher = {Morgan Kaufmann},
year = {1999},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=178\&\#38;proceeding\_id=15},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uai/HoeySHB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GovindarajuDHH98,
author = {Shankar G. Govindaraju and
David L. Dill and
Alan J. Hu and
Mark Horowitz},
editor = {Basant R. Chawla and
Randal E. Bryant and
Jan M. Rabaey},
title = {Approximate Reachability with BDDs Using Overlapping Projections},
booktitle = {Proceedings of the 35th Conference on Design Automation, Moscone center,
San Francico, California, USA, June 15-19, 1998},
pages = {451--456},
publisher = {{ACM} Press},
year = {1998},
url = {https://doi.org/10.1145/277044.277169},
doi = {10.1145/277044.277169},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/GovindarajuDHH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/FujitaRH98,
author = {Masahiro Fujita and
Sreeranga P. Rajan and
Alan J. Hu},
editor = {Dieter Hutter and
Werner Stephan and
Paolo Traverso and
Markus Ullmann},
title = {Two Real Formal Verification Experiences: {ATM} Switch Chip and Parallel
Cache Protocol},
booktitle = {Applied Formal Methods - FM-Trends 98, International Workshop on Current
Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1641},
pages = {281--295},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48257-1\_18},
doi = {10.1007/3-540-48257-1\_18},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/FujitaRH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Milvang-JensenH98,
author = {Kim Milvang{-}Jensen and
Alan J. Hu},
editor = {Ganesh Gopalakrishnan and
Phillip J. Windley},
title = {{BDDNOW:} {A} Parallel {BDD} Package},
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 = {501--507},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49519-3\_32},
doi = {10.1007/3-540-49519-3\_32},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/Milvang-JensenH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/1998,
editor = {Alan J. Hu and
Moshe Y. Vardi},
title = {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},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0028725},
doi = {10.1007/BFB0028725},
isbn = {3-540-64608-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/HuFW97,
author = {Alan J. Hu and
Masahiro Fujita and
Chris Wilson},
title = {Formal Verification of the {HAL} {S1} System Cache Coherence Protocol},
booktitle = {Proceedings 1997 International Conference on Computer Design: {VLSI}
in Computers {\&} Processors, {ICCD} '97, Austin, Texas, USA,
October 12-15, 1997},
pages = {438--444},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ICCD.1997.628906},
doi = {10.1109/ICCD.1997.628906},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/HuFW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HuYD94,
author = {Alan J. Hu and
Gary York and
David L. Dill},
editor = {Michael J. Lorenzetti},
title = {New Techniques for Efficient Verification with Implicitly Conjoined
BDDs},
booktitle = {Proceedings of the 31st Conference on Design Automation, San Diego,
California, USA, June 6-10, 1994},
pages = {276--282},
publisher = {{ACM} Press},
year = {1994},
url = {https://doi.org/10.1145/196244.196377},
doi = {10.1145/196244.196377},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/HuYD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HuD93,
author = {Alan J. Hu and
David L. Dill},
editor = {Costas Courcoubetis},
title = {Efficient Verification with BDDs using Implicitly Conjoined Invariants},
booktitle = {Computer Aided Verification, 5th International Conference, {CAV} '93,
Elounda, Greece, June 28 - July 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {697},
pages = {3--14},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56922-7\_2},
doi = {10.1007/3-540-56922-7\_2},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/HuD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HuD93,
author = {Alan J. Hu and
David L. Dill},
editor = {Alfred E. Dunlop},
title = {Reducing {BDD} Size by Exploiting Functional Dependencies},
booktitle = {Proceedings of the 30th Design Automation Conference. Dallas, Texas,
USA, June 14-18, 1993},
pages = {266--271},
publisher = {{ACM} Press},
year = {1993},
url = {https://doi.org/10.1145/157485.164888},
doi = {10.1145/157485.164888},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/HuD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HuDDY92,
author = {Alan J. Hu and
David L. Dill and
Andreas J. Drexler and
C. Han Yang},
editor = {Gregor von Bochmann and
David K. Probst},
title = {Higher-Level Specification and Verification with BDDs},
booktitle = {Computer Aided Verification, Fourth International Workshop, {CAV}
'92, Montreal, Canada, June 29 - July 1, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {663},
pages = {82--95},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56496-9\_8},
doi = {10.1007/3-540-56496-9\_8},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/HuDDY92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/DillDHY92,
author = {David L. Dill and
Andreas J. Drexler and
Alan J. Hu and
C. Han Yang},
title = {Protocol Verification as a Hardware Design Aid},
booktitle = {Proceedings 1992 {IEEE} International Conference on Computer Design:
{VLSI} in Computer {\&} Processors, {ICCD} '92, Cambridge, MA,
USA, October 11-14, 1992},
pages = {522--525},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/ICCD.1992.276232},
doi = {10.1109/ICCD.1992.276232},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/DillDHY92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DillHW91,
author = {David L. Dill and
Alan J. Hu and
Howard Wong{-}Toi},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Checking for Language Inclusion Using Simulation Preorders},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {255--265},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_25},
doi = {10.1007/3-540-55179-4\_25},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/DillHW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/Hu86,
author = {Alan J. Hu},
title = {Selection of the optimum uniform partition search},
journal = {Computing},
volume = {37},
number = {3},
pages = {261--264},
year = {1986},
url = {https://doi.org/10.1007/BF02252517},
doi = {10.1007/BF02252517},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computing/Hu86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-15 23:12 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:
