Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/cav/smc2003.bht:"
download as .bib file
@inproceedings{DBLP:journals/entcs/Betin-CanB03,
author = {Aysu Betin{-}Can and
Tevfik Bultan},
editor = {Byron Cook and
Scott D. Stoller and
Willem Visser},
title = {Interface-Based Specification and Verification of Concurrency Controllers},
booktitle = {2003 Workshop on Software Model Checking, SoftMC 2003, Boulder, Colorado,
USA, July 14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {3},
pages = {464--479},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80007-6},
doi = {10.1016/S1571-0661(05)80007-6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Betin-CanB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChakiOYC03,
author = {Sagar Chaki and
Jo{\"{e}}l Ouaknine and
Karen Yorav and
Edmund M. Clarke},
editor = {Byron Cook and
Scott D. Stoller and
Willem Visser},
title = {Automated Compositional Abstraction Refinement for Concurrent {C}
Programs: {A} Two-Level Approach},
booktitle = {2003 Workshop on Software Model Checking, SoftMC 2003, Boulder, Colorado,
USA, July 14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {3},
pages = {417--432},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80004-0},
doi = {10.1016/S1571-0661(05)80004-0},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ChakiOYC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CookSV03,
author = {Byron Cook and
Scott D. Stoller and
Willem Visser},
editor = {Byron Cook and
Scott D. Stoller and
Willem Visser},
title = {SoftMC 2003: Workshop on Software Model Checking},
booktitle = {2003 Workshop on Software Model Checking, SoftMC 2003, Boulder, Colorado,
USA, July 14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {3},
pages = {377},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80001-5},
doi = {10.1016/S1571-0661(05)80001-5},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CookSV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Dams03,
author = {Dennis Dams},
editor = {Byron Cook and
Scott D. Stoller and
Willem Visser},
title = {Comparing Abstraction Refinement Algorithms},
booktitle = {2003 Workshop on Software Model Checking, SoftMC 2003, Boulder, Colorado,
USA, July 14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {3},
pages = {405--416},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80003-9},
doi = {10.1016/S1571-0661(05)80003-9},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Dams03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FlanaganQ03,
author = {Cormac Flanagan and
Shaz Qadeer},
editor = {Byron Cook and
Scott D. Stoller and
Willem Visser},
title = {Transactions for Software Model Checking},
booktitle = {2003 Workshop on Software Model Checking, SoftMC 2003, Boulder, Colorado,
USA, July 14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {3},
pages = {518--539},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82560-5},
doi = {10.1016/S1571-0661(05)82560-5},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FlanaganQ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LerdaST03,
author = {Flavio Lerda and
Nishant Sinha and
Michael Theobald},
editor = {Byron Cook and
Scott D. Stoller and
Willem Visser},
title = {Symbolic Model Checking of Software},
booktitle = {2003 Workshop on Software Model Checking, SoftMC 2003, Boulder, Colorado,
USA, July 14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {3},
pages = {480--498},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80008-8},
doi = {10.1016/S1571-0661(05)80008-8},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LerdaST03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MusuvathiE03,
author = {Madanlal Musuvathi and
Dawson R. Engler},
editor = {Byron Cook and
Scott D. Stoller and
Willem Visser},
title = {Some Lessons from Using Static Analysis and Software Model Checking
for Bug Finding},
booktitle = {2003 Workshop on Software Model Checking, SoftMC 2003, Boulder, Colorado,
USA, July 14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {3},
pages = {378--404},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80002-7},
doi = {10.1016/S1571-0661(05)80002-7},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MusuvathiE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RobbyDHI03,
author = {Robby and
Matthew B. Dwyer and
John Hatcliff and
Radu Iosif},
editor = {Byron Cook and
Scott D. Stoller and
Willem Visser},
title = {Space-Reduction Strategies for Model Checking Dynamic Software},
booktitle = {2003 Workshop on Software Model Checking, SoftMC 2003, Boulder, Colorado,
USA, July 14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {3},
pages = {499--517},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80009-X},
doi = {10.1016/S1571-0661(05)80009-X},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RobbyDHI03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/XiaH03,
author = {Songtao Xia and
James Hook},
editor = {Byron Cook and
Scott D. Stoller and
Willem Visser},
title = {Experience with Abstraction-carrying Code},
booktitle = {2003 Workshop on Software Model Checking, SoftMC 2003, Boulder, Colorado,
USA, July 14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {3},
pages = {433--449},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80005-2},
doi = {10.1016/S1571-0661(05)80005-2},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/XiaH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/YahavS03,
author = {Eran Yahav and
Shmuel Sagiv},
editor = {Byron Cook and
Scott D. Stoller and
Willem Visser},
title = {Automatically Verifying Concurrent Queue Algorithms},
booktitle = {2003 Workshop on Software Model Checking, SoftMC 2003, Boulder, Colorado,
USA, July 14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {3},
pages = {450--463},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80006-4},
doi = {10.1016/S1571-0661(05)80006-4},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/YahavS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2003smc,
editor = {Byron Cook and
Scott D. Stoller and
Willem Visser},
title = {2003 Workshop on Software Model Checking, SoftMC 2003, Boulder, Colorado,
USA, July 14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {3},
publisher = {Elsevier},
year = {2003},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/89/issue/3},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/2003smc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-11 14:01 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
