Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/fmsd/fmsd45.bht:"
@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} }
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.