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/spin/spin2002.bht:"
download as .bib file
@inproceedings{DBLP:conf/spin/AygunZ02,
author = {Ramazan Savas Ayg{\"{u}}n and
Aidong Zhang},
editor = {Dragan Bosnacki and
Stefan Leue},
title = {Modeling and Verification of Interactive Flexible Multimedia Presentations
Using {PROMELA/SPIN}},
booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
pages = {205--212},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9\_15},
doi = {10.1007/3-540-46017-9\_15},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/AygunZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BasinFGP02,
author = {David A. Basin and
Stefan Friedrich and
Marek Gawkowski and
Joachim Posegga},
editor = {Dragan Bosnacki and
Stefan Leue},
title = {Bytecode Model Checking: An Experimental Analysis},
booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
pages = {42--59},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9\_6},
doi = {10.1007/3-540-46017-9\_6},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/BasinFGP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Bjesse02,
author = {Per Bjesse},
editor = {Dragan Bosnacki and
Stefan Leue},
title = {Industrial Model Checking Based on Satisfiability Solvers},
booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
pages = {240},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9\_19},
doi = {10.1007/3-540-46017-9\_19},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/Bjesse02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BolligLW02,
author = {Benedikt Bollig and
Martin Leucker and
Michael Weber},
editor = {Dragan Bosnacki and
Stefan Leue},
title = {Local Parallel Model Checking for the Alternation-Free {\(\mathrm{\mu}\)}-Calculus},
booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
pages = {128--147},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9\_11},
doi = {10.1007/3-540-46017-9\_11},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/BolligLW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Clarke02,
author = {Edmund M. Clarke},
editor = {Dragan Bosnacki and
Stefan Leue},
title = {SAT-Based Counterexample Guided Abstraction Refinement},
booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
pages = {1},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9\_1},
doi = {10.1007/3-540-46017-9\_1},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/Clarke02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Cousot02,
author = {Patrick Cousot},
editor = {Dragan Bosnacki and
Stefan Leue},
title = {Abstract Interpretation: Theory and Practice},
booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
pages = {2--5},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9\_2},
doi = {10.1007/3-540-46017-9\_2},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/Cousot02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Dams02,
author = {Dennis Dams},
editor = {Dragan Bosnacki and
Stefan Leue},
title = {Abstraction in Software Model Checking: Principles and Practice (Tutorial
Overview and Bibliography)},
booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
pages = {14--21},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9\_4},
doi = {10.1007/3-540-46017-9\_4},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/Dams02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/EisnerP02,
author = {Cindy Eisner and
Doron A. Peled},
editor = {Dragan Bosnacki and
Stefan Leue},
title = {Comparing Symbolic and Explicit Model Checking of a Software System},
booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
pages = {230--239},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9\_18},
doi = {10.1007/3-540-46017-9\_18},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/EisnerP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/GallardoMMP02,
author = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
Jes{\'{u}}s Mart{\'{\i}}nez and
Pedro Merino and
Ernesto Pimentel},
editor = {Dragan Bosnacki and
Stefan Leue},
title = {alpha {SPIN:} Extending {SPIN} with Abstraction},
booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
pages = {254--258},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9\_24},
doi = {10.1007/3-540-46017-9\_24},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/GallardoMMP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/GroceV02,
author = {Alex Groce and
Willem Visser},
editor = {Dragan Bosnacki and
Stefan Leue},
title = {Heuristic Model Checking for Java Programs},
booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
pages = {242--245},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9\_21},
doi = {10.1007/3-540-46017-9\_21},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/GroceV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/HoekW02,
author = {Wiebe van der Hoek and
Michael J. Wooldridge},
editor = {Dragan Bosnacki and
Stefan Leue},
title = {Model Checking Knowledge and Time},
booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
pages = {95--111},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9\_9},
doi = {10.1007/3-540-46017-9\_9},
timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/HoekW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Iosif02,
author = {Radu Iosif},
editor = {Dragan Bosnacki and
Stefan Leue},
title = {Symmetry Reduction Criteria for Software Model Checking},
booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
pages = {22--41},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9\_5},
doi = {10.1007/3-540-46017-9\_5},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/Iosif02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/JinBYCC02,
author = {Hyun{-}Wook Jin and
Ki{-}Seok Bang and
Chuck Yoo and
Jin{-}Young Choi and
Hojung Cha},
editor = {Dragan Bosnacki and
Stefan Leue},
title = {Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification
Approach},
booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
pages = {170--186},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9\_13},
doi = {10.1007/3-540-46017-9\_13},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/JinBYCC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/LiFK02,
author = {Harry C. Li and
Kathi Fisler and
Shriram Krishnamurthi},
editor = {Dragan Bosnacki and
Stefan Leue},
title = {The Influence of Software Module Systems on Modular Verification},
booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
pages = {60--78},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9\_7},
doi = {10.1007/3-540-46017-9\_7},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/LiFK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Lluch-LafuenteEL02,
author = {Alberto Lluch{-}Lafuente and
Stefan Edelkamp and
Stefan Leue},
editor = {Dragan Bosnacki and
Stefan Leue},
title = {Partial Order Reduction in Directed Model Checking},
booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
pages = {112--127},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9\_10},
doi = {10.1007/3-540-46017-9\_10},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/Lluch-LafuenteEL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/LugiezNZ02,
author = {Denis Lugiez and
Peter Niebert and
Sarah Zennou},
editor = {Dragan Bosnacki and
Stefan Leue},
title = {Dynamic Bounds and Transition Merging for Local First Search},
booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
pages = {221--229},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9\_17},
doi = {10.1007/3-540-46017-9\_17},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/LugiezNZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/MaggiS02,
author = {Paolo Maggi and
Riccardo Sisto},
editor = {Dragan Bosnacki and
Stefan Leue},
title = {Using {SPIN} to Verify Security Properties of Cryptographic Protocols},
booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
pages = {187--204},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9\_14},
doi = {10.1007/3-540-46017-9\_14},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/MaggiS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/MargariaNS02,
author = {Tiziana Margaria and
Oliver Niese and
Bernhard Steffen},
editor = {Dragan Bosnacki and
Stefan Leue},
title = {Demonstration of an Automated Integrated Test Environment for Web-Based
Applications},
booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
pages = {250--253},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9\_23},
doi = {10.1007/3-540-46017-9\_23},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/MargariaNS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/MatlinLM02,
author = {Olga Shumsky Matlin and
Ewing L. Lusk and
William McCune},
editor = {Dragan Bosnacki and
Stefan Leue},
title = {SPINning Parallel Systems Software},
booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
pages = {213--220},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9\_16},
doi = {10.1007/3-540-46017-9\_16},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/MatlinLM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/PascoeLS02,
author = {James S. Pascoe and
Roger J. Loader and
Vaidy S. Sunderam},
editor = {Dragan Bosnacki and
Stefan Leue},
title = {The Agreement Problem Protocol Verification Environment},
booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
pages = {148--169},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9\_12},
doi = {10.1007/3-540-46017-9\_12},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/PascoeLS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/PrigentCDR02,
author = {Armelle Prigent and
Franck Cassez and
Philippe Dhaussy and
Olivier F. Roux},
editor = {Dragan Bosnacki and
Stefan Leue},
title = {Extending the Translation from {SDL} to Promela},
booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
pages = {79--94},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9\_8},
doi = {10.1007/3-540-46017-9\_8},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/PrigentCDR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Quemener02,
author = {Yves{-}Marie Quemener},
editor = {Dragan Bosnacki and
Stefan Leue},
title = {A Typical Testing Problem: Validating {WML} Cellphones},
booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
pages = {241},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9\_20},
doi = {10.1007/3-540-46017-9\_20},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/Quemener02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Ruys02,
author = {Theo C. Ruys},
editor = {Dragan Bosnacki and
Stefan Leue},
title = {{SPIN} Tutorial: How to Become a {SPIN} Doctor},
booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
pages = {6--13},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9\_3},
doi = {10.1007/3-540-46017-9\_3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/Ruys02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Stehno02,
author = {Christian Stehno},
editor = {Dragan Bosnacki and
Stefan Leue},
title = {System Specification and Verification Using High Level Concepts -
{A} Tool Demonstration},
booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
pages = {246--249},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9\_22},
doi = {10.1007/3-540-46017-9\_22},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/Stehno02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2002,
editor = {Dragan Bosnacki and
Stefan Leue},
title = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9},
doi = {10.1007/3-540-46017-9},
isbn = {3-540-43477-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/2002.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-21 14:14 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:
