![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/fmsd/fmsd31.bht:"
@article{DBLP:journals/fmsd/BarrettMS07, author = {Clark W. Barrett and Leonardo Mendon{\c{c}}a de Moura and Aaron Stump}, title = {Design and results of the 2nd annual satisfiability modulo theories competition {(SMT-COMP} 2006)}, journal = {Formal Methods Syst. Des.}, volume = {31}, number = {3}, pages = {221--239}, year = {2007}, url = {https://doi.org/10.1007/s10703-007-0038-1}, doi = {10.1007/S10703-007-0038-1}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/BarrettMS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/BerardGP07, author = {B{\'{e}}atrice B{\'{e}}rard and Paul Gastin and Antoine Petit}, title = {Timed substitutions for regular signal-event languages}, journal = {Formal Methods Syst. Des.}, volume = {31}, number = {2}, pages = {101--134}, year = {2007}, url = {https://doi.org/10.1007/s10703-007-0034-5}, doi = {10.1007/S10703-007-0034-5}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/BerardGP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/BouyerBBR07, author = {Patricia Bouyer and Thomas Brihaye and V{\'{e}}ronique Bruy{\`{e}}re and Jean{-}Fran{\c{c}}ois Raskin}, title = {On the optimal reachability problem of weighted timed automata}, journal = {Formal Methods Syst. Des.}, volume = {31}, number = {2}, pages = {135--175}, year = {2007}, url = {https://doi.org/10.1007/s10703-007-0035-4}, doi = {10.1007/S10703-007-0035-4}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/BouyerBBR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/CiardoLM07, author = {Gianfranco Ciardo and Gerald L{\"{u}}ttgen and Andrew S. Miner}, title = {Exploiting interleaving semantics in symbolic state-space generation}, journal = {Formal Methods Syst. Des.}, volume = {31}, number = {1}, pages = {63--100}, year = {2007}, url = {https://doi.org/10.1007/s10703-006-0033-y}, doi = {10.1007/S10703-006-0033-Y}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fmsd/CiardoLM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/HuynhR07, author = {Thuan Quang Huynh and Abhik Roychoudhury}, title = {Memory model sensitive bytecode verification}, journal = {Formal Methods Syst. Des.}, volume = {31}, number = {3}, pages = {281--305}, year = {2007}, url = {https://doi.org/10.1007/s10703-007-0041-6}, doi = {10.1007/S10703-007-0041-6}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/HuynhR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/MannOA07, author = {Zolt{\'{a}}n {\'{A}}d{\'{a}}m Mann and Andr{\'{a}}s Orb{\'{a}}n and P{\'{e}}ter Arat{\'{o}}}, title = {Finding optimal hardware/software partitions}, journal = {Formal Methods Syst. Des.}, volume = {31}, number = {3}, pages = {241--263}, year = {2007}, url = {https://doi.org/10.1007/s10703-007-0039-0}, doi = {10.1007/S10703-007-0039-0}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/MannOA07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/PasseroneBS07, author = {Roberto Passerone and Jerry R. Burch and Alberto L. Sangiovanni{-}Vincentelli}, title = {Refinement preserving approximations for the design and verification of heterogeneous systems}, journal = {Formal Methods Syst. Des.}, volume = {31}, number = {1}, pages = {1--33}, year = {2007}, url = {https://doi.org/10.1007/s10703-006-0024-z}, doi = {10.1007/S10703-006-0024-Z}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/PasseroneBS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/SebastianiSTV07, author = {Roberto Sebastiani and Eli Singerman and Stefano Tonetta and Moshe Y. Vardi}, title = {{GSTE} is partitioned model checking}, journal = {Formal Methods Syst. Des.}, volume = {31}, number = {2}, pages = {177--196}, year = {2007}, url = {https://doi.org/10.1007/s10703-007-0036-3}, doi = {10.1007/S10703-007-0036-3}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/SebastianiSTV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/SistlaWZ07, author = {A. Prasad Sistla and Xiaodong Wang and Min Zhou}, title = {Checking extended \emph{CTL} properties using guarded quotient structures}, journal = {Formal Methods Syst. Des.}, volume = {31}, number = {3}, pages = {197--219}, year = {2007}, url = {https://doi.org/10.1007/s10703-007-0037-2}, doi = {10.1007/S10703-007-0037-2}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/SistlaWZ07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/TorreNP07, author = {Salvatore {La Torre} and Margherita Napoli and Mimmo Parente}, title = {The word problem for visibly pushdown languages described by grammars}, journal = {Formal Methods Syst. Des.}, volume = {31}, number = {3}, pages = {265--279}, year = {2007}, url = {https://doi.org/10.1007/s10703-007-0040-7}, doi = {10.1007/S10703-007-0040-7}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/TorreNP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/VardhanV07, author = {Abhay Vardhan and Mahesh Viswanathan}, title = {Learning to verify branching time properties}, journal = {Formal Methods Syst. Des.}, volume = {31}, number = {1}, pages = {35--61}, year = {2007}, url = {https://doi.org/10.1007/s10703-006-0026-x}, doi = {10.1007/S10703-006-0026-X}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/VardhanV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.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.