Search 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    = {Tue, 09 Jul 2024 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}
}

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.