Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fmsd/AbdullaARS14,
  author       = {Parosh Aziz Abdulla and
                  Mohamed Faouzi Atig and
                  Othmane Rezine and
                  Jari Stenman},
  title        = {Budget-bounded model-checking pushdown systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {45},
  number       = {2},
  pages        = {273--301},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10703-014-0207-y},
  doi          = {10.1007/S10703-014-0207-Y},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/AbdullaARS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/AlbertiBGRS14,
  author       = {Francesco Alberti and
                  Roberto Bruttomesso and
                  Silvio Ghilardi and
                  Silvio Ranise and
                  Natasha Sharygina},
  title        = {An extension of lazy abstraction with interpolation for programs with
                  arrays},
  journal      = {Formal Methods Syst. Des.},
  volume       = {45},
  number       = {1},
  pages        = {63--109},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10703-014-0209-9},
  doi          = {10.1007/S10703-014-0209-9},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/AlbertiBGRS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/BrainDGHK14,
  author       = {Martin Brain and
                  Vijay Victor D'Silva and
                  Alberto Griggio and
                  Leopold Haller and
                  Daniel Kroening},
  title        = {Deciding floating-point logic with abstract conflict driven clause
                  learning},
  journal      = {Formal Methods Syst. Des.},
  volume       = {45},
  number       = {2},
  pages        = {213--245},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10703-013-0203-7},
  doi          = {10.1007/S10703-013-0203-7},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/BrainDGHK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/CimattiMT14,
  author       = {Alessandro Cimatti and
                  Sergio Mover and
                  Stefano Tonetta},
  title        = {Quantifier-free encoding of invariants for hybrid systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {45},
  number       = {2},
  pages        = {165--188},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10703-013-0202-8},
  doi          = {10.1007/S10703-013-0202-8},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/CimattiMT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/FribourgKS14,
  author       = {Laurent Fribourg and
                  Ulrich K{\"{u}}hne and
                  Romain Soulat},
  title        = {Finite controlled invariants for sampled switched systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {45},
  number       = {3},
  pages        = {303--329},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10703-014-0211-2},
  doi          = {10.1007/S10703-014-0211-2},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/FribourgKS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/GeeraertsRS14,
  author       = {Gilles Geeraerts and
                  Jean{-}Fran{\c{c}}ois Raskin and
                  Nathalie Sznajder},
  title        = {On regions and zones for event-clock automata},
  journal      = {Formal Methods Syst. Des.},
  volume       = {45},
  number       = {3},
  pages        = {330--380},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10703-014-0212-1},
  doi          = {10.1007/S10703-014-0212-1},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/GeeraertsRS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/GoldbergM14,
  author       = {Eugene Goldberg and
                  Panagiotis Manolios},
  title        = {Quantifier elimination by dependency sequents},
  journal      = {Formal Methods Syst. Des.},
  volume       = {45},
  number       = {2},
  pages        = {111--143},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10703-014-0214-z},
  doi          = {10.1007/S10703-014-0214-Z},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/GoldbergM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/LvovLTPSE14,
  author       = {Alexey Lvov and
                  Luis Alfonso Lastras{-}Monta{\~{n}}o and
                  Barry M. Trager and
                  Viresh Paruthi and
                  Robert Shadowen and
                  Ali El{-}Zein},
  title        = {Verification of Galois field based circuits by formal reasoning based
                  on computational algebraic geometry},
  journal      = {Formal Methods Syst. Des.},
  volume       = {45},
  number       = {2},
  pages        = {189--212},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10703-014-0206-z},
  doi          = {10.1007/S10703-014-0206-Z},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/LvovLTPSE14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/PinisettyFJMRN14,
  author       = {Srinivas Pinisetty and
                  Yli{\`{e}}s Falcone and
                  Thierry J{\'{e}}ron and
                  Herv{\'{e}} Marchand and
                  Antoine Rollet and
                  Omer Nguena{-}Timo},
  title        = {Runtime enforcement of timed properties revisited},
  journal      = {Formal Methods Syst. Des.},
  volume       = {45},
  number       = {3},
  pages        = {381--422},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10703-014-0215-y},
  doi          = {10.1007/S10703-014-0215-Y},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/PinisettyFJMRN14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/RolliniBST14,
  author       = {Simone Fulvio Rollini and
                  Roberto Bruttomesso and
                  Natasha Sharygina and
                  Aliaksei Tsitovich},
  title        = {Resolution proof transformation for compression and interpolation},
  journal      = {Formal Methods Syst. Des.},
  volume       = {45},
  number       = {1},
  pages        = {1--41},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10703-014-0208-x},
  doi          = {10.1007/S10703-014-0208-X},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/RolliniBST14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/XieBZL14,
  author       = {Dingbao Xie and
                  Lei Bu and
                  Jianhua Zhao and
                  Xuandong Li},
  title        = {{SAT-LP-IIS} joint-directed path-oriented bounded reachability analysis
                  of linear hybrid automata},
  journal      = {Formal Methods Syst. Des.},
  volume       = {45},
  number       = {1},
  pages        = {42--62},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10703-014-0210-3},
  doi          = {10.1007/S10703-014-0210-3},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/XieBZL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/XuWMB14,
  author       = {Jiazhao Xu and
                  Mark Williams and
                  Hari Mony and
                  Jason Baumgartner},
  title        = {Scalable reachability analysis via automated dynamic netlist-based
                  hint generation},
  journal      = {Formal Methods Syst. Des.},
  volume       = {45},
  number       = {2},
  pages        = {144--164},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10703-014-0213-0},
  doi          = {10.1007/S10703-014-0213-0},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/XuWMB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/YanGY14,
  author       = {Chao Yan and
                  Mark R. Greenstreet and
                  Suwen Yang},
  title        = {Verifying global start-up for a M{\"{o}}bius ring-oscillator},
  journal      = {Formal Methods Syst. Des.},
  volume       = {45},
  number       = {2},
  pages        = {246--272},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10703-013-0204-6},
  doi          = {10.1007/S10703-013-0204-6},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/YanGY14.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.