Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/fmsd/fmsd28.bht:"
@article{DBLP:journals/fmsd/BloemGS06, author = {Roderick Bloem and Harold N. Gabow and Fabio Somenzi}, title = {An Algorithm for Strongly Connected Component Analysis in \emph{n} log \emph{n} Symbolic Steps}, journal = {Formal Methods Syst. Des.}, volume = {28}, number = {1}, pages = {37--56}, year = {2006}, url = {https://doi.org/10.1007/s10703-006-4341-z}, doi = {10.1007/S10703-006-4341-Z}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/BloemGS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/CalderM06, author = {Muffy Calder and Alice Miller}, title = {Feature interaction detection by pairwise analysis of {LTL} properties - {A} case study}, journal = {Formal Methods Syst. Des.}, volume = {28}, number = {3}, pages = {213--261}, year = {2006}, url = {https://doi.org/10.1007/s10703-006-0002-5}, doi = {10.1007/S10703-006-0002-5}, timestamp = {Fri, 07 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fmsd/CalderM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/CarloniS06, author = {Luca P. Carloni and Alberto L. Sangiovanni{-}Vincentelli}, title = {A Framework for Modeling the Distributed Deployment of Synchronous Designs}, journal = {Formal Methods Syst. Des.}, volume = {28}, number = {2}, pages = {93--110}, year = {2006}, url = {https://doi.org/10.1007/s10703-006-7842-x}, doi = {10.1007/S10703-006-7842-X}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fmsd/CarloniS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/ChakrabortyMS06, author = {Supratik Chakraborty and Joycee Mekie and Dinesh K. Sharma}, title = {Reasoning about synchronization in {GALS} systems}, journal = {Formal Methods Syst. Des.}, volume = {28}, number = {2}, pages = {153--169}, year = {2006}, url = {https://doi.org/10.1007/s10703-006-7841-y}, doi = {10.1007/S10703-006-7841-Y}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/ChakrabortyMS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/ChocklerKV06, author = {Hana Chockler and Orna Kupferman and Moshe Y. Vardi}, title = {Coverage metrics for temporal logic model checking\({}^{\mbox{*}}\)}, journal = {Formal Methods Syst. Des.}, volume = {28}, number = {3}, pages = {189--212}, year = {2006}, url = {https://doi.org/10.1007/s10703-006-0001-6}, doi = {10.1007/S10703-006-0001-6}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/ChocklerKV06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/FrankKG06, author = {Uri Frank and Tsachy Kapschitz and Ran Ginosar}, title = {A predictive synchronizer for periodic clock domains}, journal = {Formal Methods Syst. Des.}, volume = {28}, number = {2}, pages = {171--186}, year = {2006}, url = {https://doi.org/10.1007/s10703-006-7843-9}, doi = {10.1007/S10703-006-7843-9}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/FrankKG06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/KestenPRS06, author = {Yonit Kesten and Amir Pnueli and Li{-}on Raviv and Elad Shahar}, title = {Model Checking with Strong Fairness}, journal = {Formal Methods Syst. Des.}, volume = {28}, number = {1}, pages = {57--84}, year = {2006}, url = {https://doi.org/10.1007/s10703-006-4342-y}, doi = {10.1007/S10703-006-4342-Y}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/KestenPRS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/Potop-ButucaruCB06, author = {Dumitru Potop{-}Butucaru and Beno{\^{\i}}t Caillaud and Albert Benveniste}, title = {Concurrency in Synchronous Systems}, journal = {Formal Methods Syst. Des.}, volume = {28}, number = {2}, pages = {111--130}, year = {2006}, url = {https://doi.org/10.1007/s10703-006-7844-8}, doi = {10.1007/S10703-006-7844-8}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/Potop-ButucaruCB06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/ShuklaT06, author = {Sandeep K. Shukla and Michael Theobald}, title = {Special issue on formal methods for globally asynchronous and locally synchronous {(GALS)} systems}, journal = {Formal Methods Syst. Des.}, volume = {28}, number = {2}, pages = {91--92}, year = {2006}, url = {https://doi.org/10.1007/s10703-006-7840-z}, doi = {10.1007/S10703-006-7840-Z}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/ShuklaT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/StollerC06, author = {Scott D. Stoller and Ernie Cohen}, title = {Optimistic synchronization-based state-space reduction}, journal = {Formal Methods Syst. Des.}, volume = {28}, number = {3}, pages = {263--289}, year = {2006}, url = {https://doi.org/10.1007/s10703-006-0003-4}, doi = {10.1007/S10703-006-0003-4}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/StollerC06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/TalpinG06, author = {Jean{-}Pierre Talpin and Paul {Le Guernic}}, title = {An algebraic theory for behavioral modeling and protocol synthesis in system design}, journal = {Formal Methods Syst. Des.}, volume = {28}, number = {2}, pages = {131--151}, year = {2006}, url = {https://doi.org/10.1007/s10703-006-7845-7}, doi = {10.1007/S10703-006-7845-7}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/TalpinG06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/WangBHRS06, author = {Chao Wang and Roderick Bloem and Gary D. Hachtel and Kavita Ravi and Fabio Somenzi}, title = {Compositional {SCC} Analysis for Language Emptiness}, journal = {Formal Methods Syst. Des.}, volume = {28}, number = {1}, pages = {5--36}, year = {2006}, url = {https://doi.org/10.1007/s10703-006-4617-3}, doi = {10.1007/S10703-006-4617-3}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/WangBHRS06.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.