Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/fmcad/fmcad2013.bht:"
download as .bib file
@inproceedings{DBLP:conf/fmcad/AleksandrowiczBIN13,
author = {Gadi Aleksandrowicz and
Jason Baumgartner and
Alexander Ivrii and
Ziv Nevo},
title = {Generalized counterexamples to liveness properties},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {169--180},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679407/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/AleksandrowiczBIN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/AlurBJMRSSSTU13,
author = {Rajeev Alur and
Rastislav Bod{\'{\i}}k and
Garvit Juniwal and
Milo M. K. Martin and
Mukund Raghothaman and
Sanjit A. Seshia and
Rishabh Singh and
Armando Solar{-}Lezama and
Emina Torlak and
Abhishek Udupa},
title = {Syntax-guided synthesis},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {1--8},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679385/},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/AlurBJMRSSSTU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/AlurMT13,
author = {Rajeev Alur and
Salar Moarref and
Ufuk Topcu},
title = {Counter-strategy guided refinement of {GR(1)} temporal logic specifications},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {26--33},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679387/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/AlurMT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Ashar13,
author = {Pranav Ashar},
title = {Static verification based signoff - {A} key enabler for managing verification
complexity in the modern soc},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {15},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/FMCAD.2013.7035521},
doi = {10.1109/FMCAD.2013.7035521},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/Ashar13.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}
}
@inproceedings{DBLP:conf/fmcad/ChakiGS13,
author = {Sagar Chaki and
Arie Gurfinkel and
Ofer Strichman},
title = {Verifying periodic programs with priority inheritance locks},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {137--144},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679402/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/ChakiGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ChatterjeeHOP13,
author = {Krishnendu Chatterjee and
Thomas A. Henzinger and
Jan Otop and
Andreas Pavlogiannis},
title = {Distributed synthesis for {LTL} fragments},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {18--25},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679386/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/ChatterjeeHOP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CimattiGMT13,
author = {Alessandro Cimatti and
Alberto Griggio and
Sergio Mover and
Stefano Tonetta},
title = {Parameter synthesis with {IC3}},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {165--168},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679406/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/CimattiGMT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ClaessenES13,
author = {Koen Claessen and
Niklas E{\'{e}}n and
Baruch Sterin},
title = {A circuit approach to {LTL} model checking},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {53--60},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679391/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/ClaessenES13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Clarke13,
author = {Lori A. Clarke},
title = {Using process modeling and analysis techniques to reduce errors in
healthcare},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {14},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/FMCAD.2013.7035522},
doi = {10.1109/FMCAD.2013.7035522},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/Clarke13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ConchonGKMZ13,
author = {Sylvain Conchon and
Amit Goel and
Sava Krstic and
Alain Mebsout and
Fatiha Za{\"{\i}}di},
title = {Invariants for finite instances and beyond},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {61--68},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679392/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/ConchonGKMZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/DeharbeFBM13,
author = {David D{\'{e}}harbe and
Pascal Fontaine and
Daniel Le Berre and
Bertrand Mazure},
title = {Computing prime implicants},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {46--52},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679390/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/DeharbeFBM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/DemyanovaVZ13,
author = {Yulia Demyanova and
Helmut Veith and
Florian Zuleger},
title = {On the concept of variable roles and its use in software analysis},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {226--230},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679414/},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/DemyanovaVZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/EldibW13,
author = {Hassan Eldib and
Chao Wang},
title = {An {SMT} based method for optimizing arithmetic computations in embedded
software code},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {129--136},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679401/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/EldibW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/FosterGRS13,
author = {Nate Foster and
Arjun Guha and
Mark Reitblatt and
Cole Schlesinger},
title = {Tutorial: Practical verification of network programs},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {9--10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/FMCAD.2013.7035518},
doi = {10.1109/FMCAD.2013.7035518},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/FosterGRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/GaoKC13,
author = {Sicun Gao and
Soonho Kong and
Edmund M. Clarke},
title = {Satisfiability modulo ODEs},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {105--112},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679398/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/GaoKC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/GoldbergM13,
author = {Eugene Goldberg and
Panagiotis Manolios},
title = {Quantifier elimination via clause redundancy},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {85--92},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679395/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/GoldbergM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Grundy13,
author = {Jim Grundy},
title = {Firmware validation: challenges and opportunities},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {11},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/FMCAD.2013.7035520},
doi = {10.1109/FMCAD.2013.7035520},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/Grundy13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/HassanBS13,
author = {Zyad Hassan and
Aaron R. Bradley and
Fabio Somenzi},
title = {Better generalization in {IC3}},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {157--164},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679405/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/HassanBS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/HeuleHW13,
author = {Marijn Heule and
Warren A. Hunt Jr. and
Nathan Wetzler},
title = {Trimming while checking clausal proofs},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {181--188},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679408/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/HeuleHW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/HofferekGKJB13,
author = {Georg Hofferek and
Ashutosh Gupta and
Bettina K{\"{o}}nighofer and
Jie{-}Hong Roland Jiang and
Roderick Bloem},
title = {Synthesizing multiple boolean functions using interpolation on a single
proof},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {77--84},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679394/},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/HofferekGKJB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/HornTVLMGK13,
author = {Alex Horn and
Michael Tautschnig and
Celina G. Val and
Lihao Liang and
Tom Melham and
Jim Grundy and
Daniel Kroening},
title = {Formal co-validation of low-level hardware/software interfaces},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {121--128},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679400/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/HornTVLMGK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/JhaRH13,
author = {Somesh Jha and
Thomas W. Reps and
William R. Harris},
title = {Secure programs via game-based synthesis},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {12--13},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/FMCAD.2013.7035519},
doi = {10.1109/FMCAD.2013.7035519},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/JhaRH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/JobstmannR13,
author = {Barbara Jobstmann and
Sandip Ray},
title = {Preface},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679383/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/JobstmannR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/JohnKSVW13,
author = {Annu John and
Igor Konnov and
Ulrich Schmid and
Helmut Veith and
Josef Widder},
title = {Parameterized model checking of fault-tolerant distributed algorithms
by abstraction},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {201--209},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679411/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/JohnKSVW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/KingBD13,
author = {Tim King and
Clark W. Barrett and
Bruno Dutertre},
title = {Simplex with sum of infeasibilities for {SMT}},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {189--196},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679409/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/KingBD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/KuncakB13,
author = {Viktor Kuncak and
R{\'{e}}gis Blanc},
title = {Interpolation for synthesis on unbounded domains},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {93--96},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679396/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/KuncakB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/LarrazORR13,
author = {Daniel Larraz and
Albert Oliveras and
Enric Rodr{\'{\i}}guez{-}Carbonell and
Albert Rubio},
title = {Proving termination of imperative programs using Max-SMT},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {218--225},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679413/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/LarrazORR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/NadelRS13,
author = {Alexander Nadel and
Vadim Ryvchin and
Ofer Strichman},
title = {Efficient {MUS} extraction with resolution},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {197--200},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679410/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/NadelRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/OLearyKM13,
author = {John W. O'Leary and
Roope Kaivola and
Tom Melham},
title = {Relational {STE} and theorem proving for formal verification of industrial
circuit designs},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {97--104},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679397/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/OLearyKM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/RummerS13,
author = {Philipp R{\"{u}}mmer and
Pavle Subotic},
title = {Exploring interpolants},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {69--76},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679393/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/RummerS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/SethiNM13,
author = {Divjyot Sethi and
Srinivas Narayana and
Sharad Malik},
title = {Abstractions for model checking {SDN} controllers},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {145--148},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679403/},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/SethiNM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/SohailS13,
author = {Saqib Sohail and
Fabio Somenzi},
title = {Efficient handling of obligation constraints in synthesis from omega-regular
specifications},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {34--41},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679388/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/SohailS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/WachterKO13,
author = {Bj{\"{o}}rn Wachter and
Daniel Kroening and
Jo{\"{e}}l Ouaknine},
title = {Verifying multi-threaded software with impact},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {210--217},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679412/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/WachterKO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Wahl13,
author = {Thomas Wahl},
title = {The {FMCAD} graduate student forum},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {16--17},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/FMCAD.2013.7035523},
doi = {10.1109/FMCAD.2013.7035523},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/Wahl13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/WeiPYG13,
author = {Jijie Wei and
Yan Peng and
Ge Yu and
Mark R. Greenstreet},
title = {Verifying global convergence for a digital phase-locked loop},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {113--120},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679399/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/WeiPYG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/YuanWAL13,
author = {Yifei Yuan and
Anduo Wang and
Rajeev Alur and
Boon Thau Loo},
title = {On the feasibility of automation for bandwidth allocation problems
in data centers},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {42--45},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679389/},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/YuanWAL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2013,
title = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/xpl/conhome/6675286/proceeding},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/2013.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.
retrieved on 2024-06-22 13:36 CEST 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:
