Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/fmsd/fmsd32.bht:"
@article{DBLP:journals/fmsd/AlurP08, author = {Rajeev Alur and George J. Pappas}, title = {Introduction}, journal = {Formal Methods Syst. Des.}, volume = {32}, number = {1}, pages = {1}, year = {2008}, url = {https://doi.org/10.1007/s10703-007-0047-0}, doi = {10.1007/S10703-007-0047-0}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/AlurP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/BouajjaniHV08, author = {Ahmed Bouajjani and Peter Habermehl and Tom{\'{a}}s Vojnar}, title = {Verification of parametric concurrent systems with prioritised {FIFO} resource management}, journal = {Formal Methods Syst. Des.}, volume = {32}, number = {2}, pages = {129--172}, year = {2008}, url = {https://doi.org/10.1007/s10703-008-0048-7}, doi = {10.1007/S10703-008-0048-7}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/BouajjaniHV08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/BouyerBL08, author = {Patricia Bouyer and Ed Brinksma and Kim Guldstrand Larsen}, title = {Optimal infinite scheduling for multi-priced timed automata}, journal = {Formal Methods Syst. Des.}, volume = {32}, number = {1}, pages = {3--23}, year = {2008}, url = {https://doi.org/10.1007/s10703-007-0043-4}, doi = {10.1007/S10703-007-0043-4}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fmsd/BouyerBL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/ChakiCSS08, author = {Sagar Chaki and Edmund M. Clarke and Natasha Sharygina and Nishant Sinha}, title = {Verification of evolving software via component substitutability analysis}, journal = {Formal Methods Syst. Des.}, volume = {32}, number = {3}, pages = {235--266}, year = {2008}, url = {https://doi.org/10.1007/s10703-008-0053-x}, doi = {10.1007/S10703-008-0053-X}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/ChakiCSS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/ChakiS08, author = {Sagar Chaki and Ofer Strichman}, title = {Three optimizations for Assume-Guarantee reasoning with L\({}^{\mbox{*}}\)}, journal = {Formal Methods Syst. Des.}, volume = {32}, number = {3}, pages = {267--284}, year = {2008}, url = {https://doi.org/10.1007/s10703-007-0042-5}, doi = {10.1007/S10703-007-0042-5}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/ChakiS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/GiannakopoulouP08, author = {Dimitra Giannakopoulou and Corina S. Pasareanu}, title = {Special issue on learning techniques for compositional reasoning}, journal = {Formal Methods Syst. Des.}, volume = {32}, number = {3}, pages = {173--174}, year = {2008}, url = {https://doi.org/10.1007/s10703-008-0054-9}, doi = {10.1007/S10703-008-0054-9}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/GiannakopoulouP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/GuptaMF08, author = {Anubhav Gupta and Kenneth L. McMillan and Zhaohui Fu}, title = {Automated assumption generation for compositional verification}, journal = {Formal Methods Syst. Des.}, volume = {32}, number = {3}, pages = {285--301}, year = {2008}, url = {https://doi.org/10.1007/s10703-008-0050-0}, doi = {10.1007/S10703-008-0050-0}, timestamp = {Fri, 01 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/GuptaMF08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/MaciaRCF08, author = {Hermenegilda Maci{\`{a}} and Valent{\'{\i}}n Valero Ruiz and Fernando Cuartero and David de Frutos{-}Escrig}, title = {A congruence relation for sPBC}, journal = {Formal Methods Syst. Des.}, volume = {32}, number = {2}, pages = {85--128}, year = {2008}, url = {https://doi.org/10.1007/s10703-007-0045-2}, doi = {10.1007/S10703-007-0045-2}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/MaciaRCF08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/NamMA08, author = {Wonhong Nam and P. Madhusudan and Rajeev Alur}, title = {Automatic symbolic compositional verification by learning assumptions}, journal = {Formal Methods Syst. Des.}, volume = {32}, number = {3}, pages = {207--234}, year = {2008}, url = {https://doi.org/10.1007/s10703-008-0055-8}, doi = {10.1007/S10703-008-0055-8}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/NamMA08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/PasareanuGBCB08, author = {Corina S. Pasareanu and Dimitra Giannakopoulou and Mihaela Gheorghiu Bobaru and Jamieson M. Cobleigh and Howard Barringer}, title = {Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning}, journal = {Formal Methods Syst. Des.}, volume = {32}, number = {3}, pages = {175--205}, year = {2008}, url = {https://doi.org/10.1007/s10703-008-0049-6}, doi = {10.1007/S10703-008-0049-6}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/PasareanuGBCB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/SankaranarayananSM08, author = {Sriram Sankaranarayanan and Henny B. Sipma and Zohar Manna}, title = {Constructing invariants for hybrid systems}, journal = {Formal Methods Syst. Des.}, volume = {32}, number = {1}, pages = {25--55}, year = {2008}, url = {https://doi.org/10.1007/s10703-007-0046-1}, doi = {10.1007/S10703-007-0046-1}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/SankaranarayananSM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/Tiwari08, author = {Ashish Tiwari}, title = {Abstractions for hybrid systems}, journal = {Formal Methods Syst. Des.}, volume = {32}, number = {1}, pages = {57--83}, year = {2008}, url = {https://doi.org/10.1007/s10703-007-0044-3}, doi = {10.1007/S10703-007-0044-3}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/Tiwari08.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.