![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/fmsd/fmsd41.bht:"
@article{DBLP:journals/fmsd/Alglave12, author = {Jade Alglave}, title = {A formal hierarchy of weak memory models}, journal = {Formal Methods Syst. Des.}, volume = {41}, number = {2}, pages = {178--210}, year = {2012}, url = {https://doi.org/10.1007/s10703-012-0161-5}, doi = {10.1007/S10703-012-0161-5}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/Alglave12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/BabicRS12, author = {Domagoj Babic and Daniel Reynaud and Dawn Song}, title = {Recognizing malicious software behaviors with tree automata inference}, journal = {Formal Methods Syst. Des.}, volume = {41}, number = {1}, pages = {107--128}, year = {2012}, url = {https://doi.org/10.1007/s10703-012-0149-1}, doi = {10.1007/S10703-012-0149-1}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/BabicRS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/BalabanovJ12, author = {Valeriy Balabanov and Jie{-}Hong R. Jiang}, title = {Unified {QBF} certification and its applications}, journal = {Formal Methods Syst. Des.}, volume = {41}, number = {1}, pages = {45--65}, year = {2012}, url = {https://doi.org/10.1007/s10703-012-0152-6}, doi = {10.1007/S10703-012-0152-6}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/BalabanovJ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/ColomboPA12, author = {Christian Colombo and Gordon J. Pace and Patrick Abela}, title = {Safer asynchronous runtime monitoring using compensations}, journal = {Formal Methods Syst. Des.}, volume = {41}, number = {3}, pages = {269--294}, year = {2012}, url = {https://doi.org/10.1007/s10703-012-0142-8}, doi = {10.1007/S10703-012-0142-8}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/ColomboPA12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/CookKV12, author = {Byron Cook and Eric Koskinen and Moshe Y. Vardi}, title = {Temporal property verification as a program analysis task - Extended Version}, journal = {Formal Methods Syst. Des.}, volume = {41}, number = {1}, pages = {66--82}, year = {2012}, url = {https://doi.org/10.1007/s10703-012-0153-5}, doi = {10.1007/S10703-012-0153-5}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/CookKV12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/DonaldsonKKTW12, author = {Alastair F. Donaldson and Alexander Kaiser and Daniel Kroening and Michael Tautschnig and Thomas Wahl}, title = {Counterexample-guided abstraction refinement for symmetric concurrent programs}, journal = {Formal Methods Syst. Des.}, volume = {41}, number = {1}, pages = {25--44}, year = {2012}, url = {https://doi.org/10.1007/s10703-012-0155-3}, doi = {10.1007/S10703-012-0155-3}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/DonaldsonKKTW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/GopalakrishnanQ12, author = {Ganesh Gopalakrishnan and Shaz Qadeer}, title = {Preface}, journal = {Formal Methods Syst. Des.}, volume = {41}, number = {1}, pages = {3}, year = {2012}, url = {https://doi.org/10.1007/s10703-012-0148-2}, doi = {10.1007/S10703-012-0148-2}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/GopalakrishnanQ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/GosslerXG12, author = {Gregor G{\"{o}}{\ss}ler and Dana N. Xu and Alain Girault}, title = {Probabilistic contracts for component-based design}, journal = {Formal Methods Syst. Des.}, volume = {41}, number = {2}, pages = {211--231}, year = {2012}, url = {https://doi.org/10.1007/s10703-012-0162-4}, doi = {10.1007/S10703-012-0162-4}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/GosslerXG12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/HabermehlHRSV12, author = {Peter Habermehl and Luk{\'{a}}s Hol{\'{\i}}k and Adam Rogalewicz and Jir{\'{\i}} Sim{\'{a}}cek and Tom{\'{a}}s Vojnar}, title = {Forest automata for verification of heap manipulation}, journal = {Formal Methods Syst. Des.}, volume = {41}, number = {1}, pages = {83--106}, year = {2012}, url = {https://doi.org/10.1007/s10703-012-0150-8}, doi = {10.1007/S10703-012-0150-8}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/HabermehlHRSV12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/LeeYP12, author = {Oukseh Lee and Hongseok Yang and Rasmus Petersen}, title = {A divide-and-conquer approach for analysing overlaid data structures}, journal = {Formal Methods Syst. Des.}, volume = {41}, number = {1}, pages = {4--24}, year = {2012}, url = {https://doi.org/10.1007/s10703-012-0151-7}, doi = {10.1007/S10703-012-0151-7}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/LeeYP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/MartensM12, author = {Moritz Martens and Mila E. Majster{-}Cederbaum}, title = {Deadlock-freedom in component systems with architectural constraints}, journal = {Formal Methods Syst. Des.}, volume = {41}, number = {2}, pages = {129--177}, year = {2012}, url = {https://doi.org/10.1007/s10703-012-0160-6}, doi = {10.1007/S10703-012-0160-6}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/MartensM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/RamanZSVY12, author = {Raghavan Raman and Jisheng Zhao and Vivek Sarkar and Martin T. Vechev and Eran Yahav}, title = {Efficient data race detection for async-finish parallelism}, journal = {Formal Methods Syst. Des.}, volume = {41}, number = {3}, pages = {321--347}, year = {2012}, url = {https://doi.org/10.1007/s10703-012-0143-7}, doi = {10.1007/S10703-012-0143-7}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/RamanZSVY12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/SeysterDHGHSSZ12, author = {Justin Seyster and Ketan Dixit and Xiaowan Huang and Radu Grosu and Klaus Havelund and Scott A. Smolka and Scott D. Stoller and Erez Zadok}, title = {InterAspect: aspect-oriented instrumentation with {GCC}}, journal = {Formal Methods Syst. Des.}, volume = {41}, number = {3}, pages = {295--320}, year = {2012}, url = {https://doi.org/10.1007/s10703-012-0171-3}, doi = {10.1007/S10703-012-0171-3}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/SeysterDHGHSSZ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/SokolskyR12, author = {Oleg Sokolsky and Grigore Rosu}, title = {Introduction to the special issue on runtime verification}, journal = {Formal Methods Syst. Des.}, volume = {41}, number = {3}, pages = {233--235}, year = {2012}, url = {https://doi.org/10.1007/s10703-012-0174-0}, doi = {10.1007/S10703-012-0174-0}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/SokolskyR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/TabakovRV12, author = {Deian Tabakov and Kristin Y. Rozier and Moshe Y. Vardi}, title = {Optimized temporal monitors for SystemC}, journal = {Formal Methods Syst. Des.}, volume = {41}, number = {3}, pages = {236--268}, year = {2012}, url = {https://doi.org/10.1007/s10703-011-0139-8}, doi = {10.1007/S10703-011-0139-8}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/TabakovRV12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/VardiHAK12, author = {Moshe Y. Vardi and Thomas A. Henzinger and Rajeev Alur and Marta Z. Kwiatkowska}, title = {2011 {CAV} award announcement}, journal = {Formal Methods Syst. Des.}, volume = {41}, number = {1}, pages = {1--2}, year = {2012}, url = {https://doi.org/10.1007/s10703-012-0154-4}, doi = {10.1007/S10703-012-0154-4}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/VardiHAK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.