Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/fmsd/fmsd27.bht:"
@article{DBLP:journals/fmsd/AkbarpourTD05, author = {Behzad Akbarpour and Sofi{\`{e}}ne Tahar and Abdelkader Dekdouk}, title = {Formalization of Fixed-Point Arithmetic in {HOL}}, journal = {Formal Methods Syst. Des.}, volume = {27}, number = {1-2}, pages = {173--200}, year = {2005}, url = {https://doi.org/10.1007/s10703-005-2256-8}, doi = {10.1007/S10703-005-2256-8}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/AkbarpourTD05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/BarnerG05, author = {Sharon Barner and Orna Grumberg}, title = {Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking}, journal = {Formal Methods Syst. Des.}, volume = {27}, number = {1-2}, pages = {29--66}, year = {2005}, url = {https://doi.org/10.1007/s10703-005-2246-x}, doi = {10.1007/S10703-005-2246-X}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/BarnerG05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/BestaS05, author = {Milos Besta and Frank A. Stomp}, title = {A Complete Mechanization of Correctness of a String-Preprocessing Algorithm}, journal = {Formal Methods Syst. Des.}, volume = {27}, number = {1-2}, pages = {5--17}, year = {2005}, url = {https://doi.org/10.1007/s10703-005-2243-0}, doi = {10.1007/S10703-005-2243-0}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/BestaS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/BhadraMA05, author = {Jayanta Bhadra and Andrew K. Martin and Jacob A. Abraham}, title = {A Formal Framework for Verification of Embedded Custom Memories of the Motorola {MPC7450} Microprocessor}, journal = {Formal Methods Syst. Des.}, volume = {27}, number = {1-2}, pages = {67--112}, year = {2005}, url = {https://doi.org/10.1007/s10703-005-2250-1}, doi = {10.1007/S10703-005-2250-1}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/BhadraMA05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/BhargavanG05, author = {Karthikeyan Bhargavan and Carl A. Gunter}, title = {Network Event Recognition}, journal = {Formal Methods Syst. Des.}, volume = {27}, number = {3}, pages = {213--251}, year = {2005}, url = {https://doi.org/10.1007/s10703-005-3398-4}, doi = {10.1007/S10703-005-3398-4}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/BhargavanG05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/FinkbeinerSS05, author = {Bernd Finkbeiner and Sriram Sankaranarayanan and Henny Sipma}, title = {Collecting Statistics Over Runtime Executions}, journal = {Formal Methods Syst. Des.}, volume = {27}, number = {3}, pages = {253--274}, year = {2005}, url = {https://doi.org/10.1007/s10703-005-3399-3}, doi = {10.1007/S10703-005-3399-3}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/FinkbeinerSS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/HavelundR05, author = {Klaus Havelund and Grigore Rosu}, title = {Foreword}, journal = {Formal Methods Syst. Des.}, volume = {27}, number = {3}, pages = {211--212}, year = {2005}, url = {https://doi.org/10.1007/s10703-005-3397-5}, doi = {10.1007/S10703-005-3397-5}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/HavelundR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/KaraormanA05, author = {Murat Karaorman and Parker Abercrombie}, title = {jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation}, journal = {Formal Methods Syst. Des.}, volume = {27}, number = {3}, pages = {275--312}, year = {2005}, url = {https://doi.org/10.1007/s10703-005-3400-1}, doi = {10.1007/S10703-005-3400-1}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/KaraormanA05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/VerdejoM05, author = {Alberto Verdejo and Narciso Mart{\'{\i}}{-}Oliet}, title = {Two Case Studies of Semantics Execution in Maude: {CCS} and {LOTOS}}, journal = {Formal Methods Syst. Des.}, volume = {27}, number = {1-2}, pages = {113--172}, year = {2005}, url = {https://doi.org/10.1007/s10703-005-2254-x}, doi = {10.1007/S10703-005-2254-X}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/VerdejoM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/YongH05, author = {Suan Hsi Yong and Susan Horwitz}, title = {Using Static Analysis to Reduce Dynamic Analysis Overhead}, journal = {Formal Methods Syst. Des.}, volume = {27}, number = {3}, pages = {313--334}, year = {2005}, url = {https://doi.org/10.1007/s10703-005-3401-0}, doi = {10.1007/S10703-005-3401-0}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/YongH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/ZuckPGBFH05, author = {Lenore D. Zuck and Amir Pnueli and Benjamin Goldberg and Clark W. Barrett and Yi Fang and Ying Hu}, title = {Translation and Run-Time Validation of Loop Transformations}, journal = {Formal Methods Syst. Des.}, volume = {27}, number = {3}, pages = {335--360}, year = {2005}, url = {https://doi.org/10.1007/s10703-005-3402-z}, doi = {10.1007/S10703-005-3402-Z}, timestamp = {Thu, 19 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fmsd/ZuckPGBFH05.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.