Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fmsd/AkshayBG13,
  author       = {S. Akshay and
                  Benedikt Bollig and
                  Paul Gastin},
  title        = {Event clock message passing automata: a logical characterization and
                  an emptiness checking algorithm},
  journal      = {Formal Methods Syst. Des.},
  volume       = {42},
  number       = {3},
  pages        = {262--300},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10703-012-0179-8},
  doi          = {10.1007/S10703-012-0179-8},
  timestamp    = {Tue, 30 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/AkshayBG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/AndreFS13,
  author       = {{\'{E}}tienne Andr{\'{e}} and
                  Laurent Fribourg and
                  Jeremy Sproston},
  title        = {An extension of the inverse method to probabilistic timed automata},
  journal      = {Formal Methods Syst. Des.},
  volume       = {42},
  number       = {2},
  pages        = {119--145},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10703-012-0169-x},
  doi          = {10.1007/S10703-012-0169-X},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/AndreFS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/BauerFJLLT13,
  author       = {Sebastian S. Bauer and
                  Uli Fahrenberg and
                  Line Juhl and
                  Kim G. Larsen and
                  Axel Legay and
                  Claus R. Thrane},
  title        = {Weighted modal transition systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {42},
  number       = {2},
  pages        = {193--220},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10703-012-0178-9},
  doi          = {10.1007/S10703-012-0178-9},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/BauerFJLLT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/ChatterjeeAFMR13,
  author       = {Krishnendu Chatterjee and
                  Luca de Alfaro and
                  Marco Faella and
                  Rupak Majumdar and
                  Vishwanath Raman},
  title        = {Code aware resource management},
  journal      = {Formal Methods Syst. Des.},
  volume       = {42},
  number       = {2},
  pages        = {146--174},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10703-012-0170-4},
  doi          = {10.1007/S10703-012-0170-4},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/ChatterjeeAFMR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/ChatterjeeHJS13,
  author       = {Krishnendu Chatterjee and
                  Monika Henzinger and
                  Manas Joglekar and
                  Nisarg Shah},
  title        = {Symbolic algorithms for qualitative analysis of Markov decision processes
                  with B{\"{u}}chi objectives},
  journal      = {Formal Methods Syst. Des.},
  volume       = {42},
  number       = {3},
  pages        = {301--327},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10703-012-0180-2},
  doi          = {10.1007/S10703-012-0180-2},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/ChatterjeeHJS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/CimattiMT13,
  author       = {Alessandro Cimatti and
                  Sergio Mover and
                  Stefano Tonetta},
  title        = {SMT-based scenario verification for hybrid systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {42},
  number       = {1},
  pages        = {46--66},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10703-012-0158-0},
  doi          = {10.1007/S10703-012-0158-0},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/CimattiMT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/HiraishiK13,
  author       = {Kunihiko Hiraishi and
                  Koichi Kobayashi},
  title        = {An approximation algorithm for box abstraction of transition systems
                  on real state spaces},
  journal      = {Formal Methods Syst. Des.},
  volume       = {42},
  number       = {2},
  pages        = {175--192},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10703-012-0175-z},
  doi          = {10.1007/S10703-012-0175-Z},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/HiraishiK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/JovanovicB13,
  author       = {Dejan Jovanovic and
                  Clark W. Barrett},
  title        = {Being careful about theory combination},
  journal      = {Formal Methods Syst. Des.},
  volume       = {42},
  number       = {1},
  pages        = {67--90},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10703-012-0159-z},
  doi          = {10.1007/S10703-012-0159-Z},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/JovanovicB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/KroeningSTTW13,
  author       = {Daniel Kroening and
                  Natasha Sharygina and
                  Stefano Tonetta and
                  Aliaksei Tsitovich and
                  Christoph M. Wintersteiger},
  title        = {Loop summarization using state and transition invariants},
  journal      = {Formal Methods Syst. Des.},
  volume       = {42},
  number       = {3},
  pages        = {221--261},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10703-012-0176-y},
  doi          = {10.1007/S10703-012-0176-Y},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/KroeningSTTW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Ranise13,
  author       = {Silvio Ranise},
  title        = {Symbolic backward reachability with effectively propositional logic
                  - Applications to security policy analysis},
  journal      = {Formal Methods Syst. Des.},
  volume       = {42},
  number       = {1},
  pages        = {24--45},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10703-012-0157-1},
  doi          = {10.1007/S10703-012-0157-1},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Ranise13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/StrichmanK13,
  author       = {Ofer Strichman and
                  Daniel Kroening},
  title        = {Preface to the special issue "SI: Satisfiability Modulo Theories"},
  journal      = {Formal Methods Syst. Des.},
  volume       = {42},
  number       = {1},
  pages        = {1--2},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10703-012-0172-2},
  doi          = {10.1007/S10703-012-0172-2},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/StrichmanK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/StumpORHT13,
  author       = {Aaron Stump and
                  Duckki Oe and
                  Andrew Reynolds and
                  Liana Hadarean and
                  Cesare Tinelli},
  title        = {{SMT} proof checking using a logical framework},
  journal      = {Formal Methods Syst. Des.},
  volume       = {42},
  number       = {1},
  pages        = {91--118},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10703-012-0163-3},
  doi          = {10.1007/S10703-012-0163-3},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/StumpORHT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/WintersteigerHM13,
  author       = {Christoph M. Wintersteiger and
                  Youssef Hamadi and
                  Leonardo Mendon{\c{c}}a de Moura},
  title        = {Efficiently solving quantified bit-vector formulas},
  journal      = {Formal Methods Syst. Des.},
  volume       = {42},
  number       = {1},
  pages        = {3--23},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10703-012-0156-2},
  doi          = {10.1007/S10703-012-0156-2},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/WintersteigerHM13.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.