default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/fmcad/fmcad2007.bht:"
download as .bib file
@inproceedings{DBLP:conf/fmcad/0002OPTZ07,
author = {Ariel Cohen and
John W. O'Leary and
Amir Pnueli and
Mark R. Tuttle and
Lenore D. Zuck},
title = {Verifying Correctness of Transactional Memories},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {37--44},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.40},
doi = {10.1109/FAMCAD.2007.40},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/0002OPTZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/AdamsBMS07,
author = {Sara Adams and
Magnus Bj{\"{o}}rk and
Thomas F. Melham and
Carl{-}Johan H. Seger},
title = {Automatic Abstraction in Symbolic Trajectory Evaluation},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {127--135},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.27},
doi = {10.1109/FAMCAD.2007.27},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/AdamsBMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BradleyM07,
author = {Aaron R. Bradley and
Zohar Manna},
title = {Checking Safety by Inductive Generalization of Counterexamples to
Induction},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {173--180},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.15},
doi = {10.1109/FAMCAD.2007.15},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/BradleyM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CaseMB07,
author = {Michael L. Case and
Alan Mishchenko and
Robert K. Brayton},
title = {Automated Extraction of Inductive Invariants to Aid Model Checking},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {165--172},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.12},
doi = {10.1109/FAMCAD.2007.12},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/CaseMB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CavadaCFKRS07,
author = {Roberto Cavada and
Alessandro Cimatti and
Anders Franz{\'{e}}n and
Krishnamani Kalyanasundaram and
Marco Roveri and
R. K. Shyamasundar},
title = {Computing Predicate Abstractions by Integrating BDDs and {SMT} Solvers},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {69--76},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.35},
doi = {10.1109/FAMCAD.2007.35},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/CavadaCFKRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ChenGG07,
author = {Xiaofang Chen and
Steven M. German and
Ganesh Gopalakrishnan},
title = {Transaction Based Modeling and Verification of Hardware Protocols},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {53--61},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.20},
doi = {10.1109/FAMCAD.2007.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/ChenGG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ChenHXY07,
author = {Yan Chen and
Yujing He and
Fei Xie and
Jin Yang},
title = {Automatic Abstraction Refinement for Generalized Symbolic Trajectory
Evaluation},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {111--118},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.11},
doi = {10.1109/FAMCAD.2007.11},
timestamp = {Fri, 11 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/ChenHXY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ChocklerFGN07,
author = {Hana Chockler and
Eitan Farchi and
Benny Godlin and
Sergey Novikov},
title = {Cross-Entropy Based Testing},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {101--108},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.19},
doi = {10.1109/FAMCAD.2007.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/ChocklerFGN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Claessen07,
author = {Koen Claessen},
title = {A Coverage Analysis for Safety Property Lists},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {139--145},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.32},
doi = {10.1109/FAMCAD.2007.32},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/Claessen07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Fisler07,
author = {Kathi Fisler},
title = {Two-Dimensional Regular Expressions for Compositional Bus Protocols},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {154--157},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.14},
doi = {10.1109/FAMCAD.2007.14},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/Fisler07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/FlaisherGS07,
author = {Alon Flaisher and
Alon Gluska and
Eli Singerman},
title = {Case study: Integrating {FV} and {DV} in the Verification of the Intel
Core\({}^{\mbox{TM}}\) 2 Duo Microprocessor},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {192--195},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.38},
doi = {10.1109/FAMCAD.2007.38},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/FlaisherGS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/GhafariGKT07,
author = {Naghmeh Ghafari and
Arie Gurfinkel and
Nils Klarlund and
Richard J. Trefler},
title = {Algorithmic Analysis of Piecewise {FIFO} Systems},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {45--52},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.18},
doi = {10.1109/FAMCAD.2007.18},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/GhafariGKT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/HurstMB07,
author = {Aaron P. Hurst and
Alan Mishchenko and
Robert K. Brayton},
title = {Fast Minimum-Register Retiming via Binary Maximum-Flow},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {181--187},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.31},
doi = {10.1109/FAMCAD.2007.31},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/HurstMB07.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/fmcad/KaissSHK07,
author = {Daher Kaiss and
Marcelo Skaba and
Ziyad Hanna and
Zurab Khasidashvili},
title = {Industrial Strength SAT-based Alignability Algorithm for Hardware
Equivalence Verification},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {20--26},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.37},
doi = {10.1109/FAMCAD.2007.37},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/KaissSHK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/KroeningW07,
author = {Daniel Kroening and
Georg Weissenbacher},
title = {Lifting Propositional Interpolants to the Word-Level},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {85--89},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.13},
doi = {10.1109/FAMCAD.2007.13},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/KroeningW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/KupfermanL07,
author = {Orna Kupferman and
Yoad Lustig},
title = {What Triggers a Behavior?},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {146--153},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.41},
doi = {10.1109/FAMCAD.2007.41},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/KupfermanL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/MahajanM07,
author = {Yogesh S. Mahajan and
Sharad Malik},
title = {Automating Hazard Checking in Transaction-Level Microarchitecture
Models},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {62--65},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.33},
doi = {10.1109/FAMCAD.2007.33},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/MahajanM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/OberkonigSE07,
author = {Martin Oberk{\"{o}}nig and
Martin Schickel and
Hans Eveking},
title = {A Quantitative Completeness Analysis for Property-Sets},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {158--161},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.34},
doi = {10.1109/FAMCAD.2007.34},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/OberkonigSE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Pike07,
author = {Lee Pike},
title = {Modeling Time-Triggered Protocols and Verifying Their Real-Time Schedules},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {231--238},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.10},
doi = {10.1109/FAMCAD.2007.10},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/Pike07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/RayB07,
author = {Sandip Ray and
Jayanta Bhadra},
title = {A Mechanized Refinement Framework for Analysis of Custom Memories},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {239--242},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.45},
doi = {10.1109/FAMCAD.2007.45},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/RayB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/RungtaCMRCS07,
author = {Neha Rungta and
Hyrum Carroll and
Eric G. Mercer and
Randall J. Roper and
Mark J. Clement and
Quinn Snell},
title = {Analyzing Gene Relationships for Down Syndrome with Labeled Transition
Graphs},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {216--219},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.24},
doi = {10.1109/FAMCAD.2007.24},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/RungtaCMRCS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/SafarpourMVLS07,
author = {Sean Safarpour and
Hratch Mangassarian and
Andreas G. Veneris and
Mark H. Liffiton and
Karem A. Sakallah},
title = {Improved Design Debugging Using Maximum Satisfiability},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {13--19},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.26},
doi = {10.1109/FAMCAD.2007.26},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/SafarpourMVLS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Schmaltz07,
author = {Julien Schmaltz},
title = {A Formal Model of Clock Domain Crossing and Automated Verification
of Time-Triggered Hardware},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {223--230},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.22},
doi = {10.1109/FAMCAD.2007.22},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/Schmaltz07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/SeiglerHM07,
author = {Adrian E. Seigler and
Gary A. Van Huben and
Hari Mony},
title = {Formal Verification of Partial Good Self-Test Fencing Structures},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {188--191},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.28},
doi = {10.1109/FAMCAD.2007.28},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/SeiglerHM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/SimmondsDGC07,
author = {Jocelyn Simmonds and
Jessica Davies and
Arie Gurfinkel and
Marsha Chechik},
title = {Exploiting Resolution Proofs to Speed Up {LTL} Vacuity Detection for
{BMC}},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {3--12},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.16},
doi = {10.1109/FAMCAD.2007.16},
timestamp = {Tue, 12 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/SimmondsDGC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Smith07,
author = {Edward Smith},
title = {A Logic for {GSTE}},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {119--126},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.36},
doi = {10.1109/FAMCAD.2007.36},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/Smith07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/WangGI07,
author = {Chao Wang and
Aarti Gupta and
Franjo Ivancic},
title = {Induction in {CEGAR} for Detecting Counterexamples},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {77--84},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.21},
doi = {10.1109/FAMCAD.2007.21},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/WangGI07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/YanG07,
author = {Chao Yan and
Mark R. Greenstreet},
title = {Circuit Level Verification of a High-Speed Toggle},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {199--206},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.39},
doi = {10.1109/FAMCAD.2007.39},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/YanG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ZakiATB07,
author = {Mohamed H. Zaki and
Ghiath Al Sammane and
Sofi{\`{e}}ne Tahar and
Guy Bois},
title = {Combining Symbolic Simulation and Interval Arithmetic for the Verification
of {AMS} Designs},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {207--215},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.25},
doi = {10.1109/FAMCAD.2007.25},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/ZakiATB07.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}
}
@proceedings{DBLP:conf/fmcad/2007,
title = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://ieeexplore.ieee.org/xpl/conhome/4401966/proceeding},
isbn = {0-7695-3023-0},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2025-01-18 09:08 CET from data curated 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:
