default search action
Search dblp for Publications
export results for "toc:db/journals/fmsd/fmsd42.bht:"
@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} }
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.