Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fmsd/AhrendtCPS17,
  author       = {Wolfgang Ahrendt and
                  Jes{\'{u}}s Mauricio Chimento and
                  Gordon J. Pace and
                  Gerardo Schneider},
  title        = {Verifying data- and control-oriented properties combining static and
                  runtime verification: theory and tools},
  journal      = {Formal Methods Syst. Des.},
  volume       = {51},
  number       = {1},
  pages        = {200--265},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-017-0274-y},
  doi          = {10.1007/S10703-017-0274-Y},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/AhrendtCPS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/AlbertiGP17,
  author       = {Francesco Alberti and
                  Silvio Ghilardi and
                  Elena Pagani},
  title        = {Cardinality constraints for arrays (decidability results and applications)},
  journal      = {Formal Methods Syst. Des.},
  volume       = {51},
  number       = {3},
  pages        = {545--574},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-017-0279-6},
  doi          = {10.1007/S10703-017-0279-6},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/AlbertiGP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/BartocciM17,
  author       = {Ezio Bartocci and
                  Rupak Majumdar},
  title        = {Introduction to the special issue on runtime verification},
  journal      = {Formal Methods Syst. Des.},
  volume       = {51},
  number       = {1},
  pages        = {1--4},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-017-0287-6},
  doi          = {10.1007/S10703-017-0287-6},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/BartocciM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/BrombergerW17,
  author       = {Martin Bromberger and
                  Christoph Weidenbach},
  title        = {New techniques for linear arithmetic: cubes and equalities},
  journal      = {Formal Methods Syst. Des.},
  volume       = {51},
  number       = {3},
  pages        = {433--461},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-017-0278-7},
  doi          = {10.1007/S10703-017-0278-7},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/BrombergerW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/BuscherFHVK17,
  author       = {Niklas B{\"{u}}scher and
                  Martin Franz and
                  Andreas Holzer and
                  Helmut Veith and
                  Stefan Katzenbeisser},
  title        = {On compiling Boolean circuits optimized for secure multi-party computation},
  journal      = {Formal Methods Syst. Des.},
  volume       = {51},
  number       = {2},
  pages        = {308--331},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-017-0300-0},
  doi          = {10.1007/S10703-017-0300-0},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/BuscherFHVK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/DeshmukhDGJJS17,
  author       = {Jyotirmoy V. Deshmukh and
                  Alexandre Donz{\'{e}} and
                  Shromona Ghosh and
                  Xiaoqing Jin and
                  Garvit Juniwal and
                  Sanjit A. Seshia},
  title        = {Robust online monitoring of signal temporal logic},
  journal      = {Formal Methods Syst. Des.},
  volume       = {51},
  number       = {1},
  pages        = {5--30},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-017-0286-7},
  doi          = {10.1007/S10703-017-0286-7},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/DeshmukhDGJJS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/DoucetK17,
  author       = {Frederic Doucet and
                  Robert P. Kurshan},
  title        = {A methodology to take credit for high-level verification during {RTL}
                  verification},
  journal      = {Formal Methods Syst. Des.},
  volume       = {51},
  number       = {2},
  pages        = {395--418},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-017-0299-2},
  doi          = {10.1007/S10703-017-0299-2},
  timestamp    = {Mon, 13 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/DoucetK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/EneaLSV17,
  author       = {Constantin Enea and
                  Ondrej Leng{\'{a}}l and
                  Mihaela Sighireanu and
                  Tom{\'{a}}s Vojnar},
  title        = {Compositional entailment checking for a fragment of separation logic},
  journal      = {Formal Methods Syst. Des.},
  volume       = {51},
  number       = {3},
  pages        = {575--607},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-017-0289-4},
  doi          = {10.1007/S10703-017-0289-4},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/EneaLSV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/FellnerFP17,
  author       = {Andreas Fellner and
                  Pascal Fontaine and
                  Bruno Woltzenlogel Paleo},
  title        = {NP-completeness of small conflict set generation for congruence closure},
  journal      = {Formal Methods Syst. Des.},
  volume       = {51},
  number       = {3},
  pages        = {533--544},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-017-0283-x},
  doi          = {10.1007/S10703-017-0283-X},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/FellnerFP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/FrancalanzaAI17,
  author       = {Adrian Francalanza and
                  Luca Aceto and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title        = {Monitorability for the Hennessy-Milner logic with recursion},
  journal      = {Formal Methods Syst. Des.},
  volume       = {51},
  number       = {1},
  pages        = {87--116},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-017-0273-z},
  doi          = {10.1007/S10703-017-0273-Z},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/FrancalanzaAI17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/GottlobHW17,
  author       = {Georg Gottlob and
                  Thomas A. Henzinger and
                  Georg Weissenbacher},
  title        = {Preface of the Special Issue in Memoriam Helmut Veith},
  journal      = {Formal Methods Syst. Des.},
  volume       = {51},
  number       = {2},
  pages        = {267--269},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-017-0307-6},
  doi          = {10.1007/S10703-017-0307-6},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/GottlobHW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/GriggioR17,
  author       = {Alberto Griggio and
                  Philipp R{\"{u}}mmer},
  title        = {Preface to special issue on satisfiability modulo theories},
  journal      = {Formal Methods Syst. Des.},
  volume       = {51},
  number       = {3},
  pages        = {431--432},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-017-0308-5},
  doi          = {10.1007/S10703-017-0308-5},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/GriggioR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/HarrisJRS17,
  author       = {William R. Harris and
                  Somesh Jha and
                  Thomas W. Reps and
                  Sanjit A. Seshia},
  title        = {Program synthesis for interactive-security systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {51},
  number       = {2},
  pages        = {362--394},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-017-0296-5},
  doi          = {10.1007/S10703-017-0296-5},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/HarrisJRS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/KassemFL17,
  author       = {Ali Kassem and
                  Yli{\`{e}}s Falcone and
                  Pascal Lafourcade},
  title        = {Formal analysis and offline monitoring of electronic exams},
  journal      = {Formal Methods Syst. Des.},
  volume       = {51},
  number       = {1},
  pages        = {117--153},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-017-0280-0},
  doi          = {10.1007/S10703-017-0280-0},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/KassemFL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/KonighoferABHKT17,
  author       = {Bettina K{\"{o}}nighofer and
                  Mohammed Alshiekh and
                  Roderick Bloem and
                  Laura R. Humphrey and
                  Robert K{\"{o}}nighofer and
                  Ufuk Topcu and
                  Chao Wang},
  title        = {Shield synthesis},
  journal      = {Formal Methods Syst. Des.},
  volume       = {51},
  number       = {2},
  pages        = {332--361},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-017-0276-9},
  doi          = {10.1007/S10703-017-0276-9},
  timestamp    = {Thu, 11 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/KonighoferABHKT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/KonnovLVW17,
  author       = {Igor Konnov and
                  Marijana Lazic and
                  Helmut Veith and
                  Josef Widder},
  title        = {Para\({}^{\mbox{2}}\): parameterized path reduction, acceleration,
                  and {SMT} for reachability in threshold-guarded distributed algorithms},
  journal      = {Formal Methods Syst. Des.},
  volume       = {51},
  number       = {2},
  pages        = {270--307},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-017-0297-4},
  doi          = {10.1007/S10703-017-0297-4},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/KonnovLVW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/MakowskyZ17,
  author       = {Johann A. Makowsky and
                  Anna Zamansky},
  title        = {Keeping logic in the trivium of computer science: a teaching perspective},
  journal      = {Formal Methods Syst. Des.},
  volume       = {51},
  number       = {2},
  pages        = {419--430},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-017-0301-z},
  doi          = {10.1007/S10703-017-0301-Z},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/MakowskyZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/MoosbruggerRS17,
  author       = {Patrick Moosbrugger and
                  Kristin Y. Rozier and
                  Johann Schumann},
  title        = {{R2U2:} monitoring and diagnosis of security threats for unmanned
                  aerial systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {51},
  number       = {1},
  pages        = {31--61},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-017-0275-x},
  doi          = {10.1007/S10703-017-0275-X},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/MoosbruggerRS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/NiemetzPB17,
  author       = {Aina Niemetz and
                  Mathias Preiner and
                  Armin Biere},
  title        = {Propagation based local search for bit-precise reasoning},
  journal      = {Formal Methods Syst. Des.},
  volume       = {51},
  number       = {3},
  pages        = {608--636},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-017-0295-6},
  doi          = {10.1007/S10703-017-0295-6},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/NiemetzPB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/PhanYGSS17,
  author       = {Dung T. Phan and
                  Junxing Yang and
                  Radu Grosu and
                  Scott A. Smolka and
                  Scott D. Stoller},
  title        = {Collision avoidance for mobile robots with limited sensing and limited
                  information about moving obstacles},
  journal      = {Formal Methods Syst. Des.},
  volume       = {51},
  number       = {1},
  pages        = {62--86},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-016-0265-4},
  doi          = {10.1007/S10703-016-0265-4},
  timestamp    = {Mon, 10 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/PhanYGSS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/PinisettyPTJFM17,
  author       = {Srinivas Pinisetty and
                  Viorel Preoteasa and
                  Stavros Tripakis and
                  Thierry J{\'{e}}ron and
                  Yli{\`{e}}s Falcone and
                  Herv{\'{e}} Marchand},
  title        = {Predictive runtime enforcement},
  journal      = {Formal Methods Syst. Des.},
  volume       = {51},
  number       = {1},
  pages        = {154--199},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-017-0271-1},
  doi          = {10.1007/S10703-017-0271-1},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/PinisettyPTJFM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/ReynoldsKK17,
  author       = {Andrew Reynolds and
                  Tim King and
                  Viktor Kuncak},
  title        = {Solving quantified linear arithmetic by counterexample-guided instantiation},
  journal      = {Formal Methods Syst. Des.},
  volume       = {51},
  number       = {3},
  pages        = {500--532},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-017-0290-y},
  doi          = {10.1007/S10703-017-0290-Y},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/ReynoldsKK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/TungKO17,
  author       = {Vu Xuan Tung and
                  To Van Khanh and
                  Mizuhito Ogawa},
  title        = {raSAT: an {SMT} solver for polynomial constraints},
  journal      = {Formal Methods Syst. Des.},
  volume       = {51},
  number       = {3},
  pages        = {462--499},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-017-0284-9},
  doi          = {10.1007/S10703-017-0284-9},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/TungKO17.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.