Search dblp for Publications

export results for "toc:db/journals/fmsd/fmsd50.bht:"

 download as .bib file

@article{DBLP:journals/fmsd/CabodiCMPP17,
  author       = {Gianpiero Cabodi and
                  Paolo Camurati and
                  Alan Mishchenko and
                  Marco Palena and
                  Paolo Pasini},
  title        = {{SAT} solver management strategies in {IC3:} an experimental approach},
  journal      = {Formal Methods Syst. Des.},
  volume       = {50},
  number       = {1},
  pages        = {39--74},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-017-0272-0},
  doi          = {10.1007/S10703-017-0272-0},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/CabodiCMPP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/CernyCHRRST17,
  author       = {Pavol Cern{\'{y}} and
                  Edmund M. Clarke and
                  Thomas A. Henzinger and
                  Arjun Radhakrishna and
                  Leonid Ryzhyk and
                  Roopsha Samanta and
                  Thorsten Tarrach},
  title        = {From non-preemptive to preemptive scheduling using synchronization
                  synthesis},
  journal      = {Formal Methods Syst. Des.},
  volume       = {50},
  number       = {2-3},
  pages        = {97--139},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-016-0256-5},
  doi          = {10.1007/S10703-016-0256-5},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/CernyCHRRST17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/ChakrabortyKSGH17,
  author       = {Supratik Chakraborty and
                  Zurab Khasidashvili and
                  Carl{-}Johan H. Seger and
                  Rajkumar Gajavelly and
                  Tanmay Haldankar and
                  Dinesh Chhatani and
                  Rakesh Mistry},
  title        = {Symbolic trajectory evaluation for word-level verification: theory
                  and implementation},
  journal      = {Formal Methods Syst. Des.},
  volume       = {50},
  number       = {2-3},
  pages        = {317--352},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-017-0268-9},
  doi          = {10.1007/S10703-017-0268-9},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/ChakrabortyKSGH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/DemyanovaPVZ17,
  author       = {Yulia Demyanova and
                  Thomas Pani and
                  Helmut Veith and
                  Florian Zuleger},
  title        = {Empirical software metrics for benchmarking of verification tools},
  journal      = {Formal Methods Syst. Des.},
  volume       = {50},
  number       = {2-3},
  pages        = {289--316},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-016-0264-5},
  doi          = {10.1007/S10703-016-0264-5},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/DemyanovaPVZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/DeshmukhMP17,
  author       = {Jyotirmoy V. Deshmukh and
                  Rupak Majumdar and
                  Vinayak S. Prabhu},
  title        = {Quantifying conformance using the Skorokhod metric},
  journal      = {Formal Methods Syst. Des.},
  volume       = {50},
  number       = {2-3},
  pages        = {168--206},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-016-0261-8},
  doi          = {10.1007/S10703-016-0261-8},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/DeshmukhMP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/DreossiDP17,
  author       = {Tommaso Dreossi and
                  Thao Dang and
                  Carla Piazza},
  title        = {Reachability computation for polynomial dynamical systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {50},
  number       = {1},
  pages        = {1--38},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-016-0266-3},
  doi          = {10.1007/S10703-016-0266-3},
  timestamp    = {Tue, 03 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/DreossiDP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Durand-Gasselin17,
  author       = {Antoine Durand{-}Gasselin and
                  Javier Esparza and
                  Pierre Ganty and
                  Rupak Majumdar},
  title        = {Model checking parameterized asynchronous shared-memory systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {50},
  number       = {2-3},
  pages        = {140--167},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-016-0258-3},
  doi          = {10.1007/S10703-016-0258-3},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/Durand-Gasselin17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/JeonQSF17,
  author       = {Jinseong Jeon and
                  Xiaokang Qiu and
                  Armando Solar{-}Lezama and
                  Jeffrey S. Foster},
  title        = {An empirical study of adaptive concretization for parallel program
                  synthesis},
  journal      = {Formal Methods Syst. Des.},
  volume       = {50},
  number       = {1},
  pages        = {75--95},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-017-0269-8},
  doi          = {10.1007/S10703-017-0269-8},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/JeonQSF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/RandourRS17,
  author       = {Mickael Randour and
                  Jean{-}Fran{\c{c}}ois Raskin and
                  Ocan Sankur},
  title        = {Percentile queries in multi-dimensional Markov decision processes},
  journal      = {Formal Methods Syst. Des.},
  volume       = {50},
  number       = {2-3},
  pages        = {207--248},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-016-0262-7},
  doi          = {10.1007/S10703-016-0262-7},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/RandourRS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/ZhengGSTBDZ17,
  author       = {Yunhui Zheng and
                  Vijay Ganesh and
                  Sanu Subramanian and
                  Omer Tripp and
                  Murphy Berzish and
                  Julian Dolby and
                  Xiangyu Zhang},
  title        = {Z3str2: an efficient solver for strings, regular expressions, and
                  length constraints},
  journal      = {Formal Methods Syst. Des.},
  volume       = {50},
  number       = {2-3},
  pages        = {249--288},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-016-0263-6},
  doi          = {10.1007/S10703-016-0263-6},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/ZhengGSTBDZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.