default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/ssv:"
download as .bib file
@proceedings{DBLP:conf/ssv/2011,
editor = {J{\"{o}}rg Brauer and
Marco Roveri and
Hendrik Tews},
title = {6th International Workshop on Systems Software Verification, {SSV}
2011, August 26, 2011, Nijmegen, The Netherlands},
series = {OASIcs},
volume = {24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
isbn = {978-3-939897-36-1},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssv/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssv/Berghofer11,
author = {Stefan Berghofer},
editor = {J{\"{o}}rg Brauer and
Marco Roveri and
Hendrik Tews},
title = {Verification of Dependable Software using {SPARK} and Isabelle},
booktitle = {6th International Workshop on Systems Software Verification, {SSV}
2011, August 26, 2011, Nijmegen, The Netherlands},
series = {OASIcs},
volume = {24},
pages = {15--31},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/OASIcs.SSV.2011.15},
doi = {10.4230/OASICS.SSV.2011.15},
timestamp = {Tue, 15 Feb 2022 09:40:04 +0100},
biburl = {https://dblp.org/rec/conf/ssv/Berghofer11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssv/Blech11,
author = {Jan Olaf Blech},
editor = {J{\"{o}}rg Brauer and
Marco Roveri and
Hendrik Tews},
title = {A Tool for the Certification of Sequential Function Chart based System
Specifications},
booktitle = {6th International Workshop on Systems Software Verification, {SSV}
2011, August 26, 2011, Nijmegen, The Netherlands},
series = {OASIcs},
volume = {24},
pages = {57--70},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/OASIcs.SSV.2011.57},
doi = {10.4230/OASICS.SSV.2011.57},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssv/Blech11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssv/BrauerHKLO11,
author = {J{\"{o}}rg Brauer and
Ren{\'{e}} Rydhof Hansen and
Stefan Kowalewski and
Kim G. Larsen and
Mads Chr. Olesen},
editor = {J{\"{o}}rg Brauer and
Marco Roveri and
Hendrik Tews},
title = {Adaptable Value-Set Analysis for Low-Level Code},
booktitle = {6th International Workshop on Systems Software Verification, {SSV}
2011, August 26, 2011, Nijmegen, The Netherlands},
series = {OASIcs},
volume = {24},
pages = {32--43},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/OASIcs.SSV.2011.32},
doi = {10.4230/OASICS.SSV.2011.32},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssv/BrauerHKLO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssv/Gast11,
author = {Holger Gast},
editor = {J{\"{o}}rg Brauer and
Marco Roveri and
Hendrik Tews},
title = {Structuring Interactive Correctness Proofs by Formalizing Coding Idioms},
booktitle = {6th International Workshop on Systems Software Verification, {SSV}
2011, August 26, 2011, Nijmegen, The Netherlands},
series = {OASIcs},
volume = {24},
pages = {1--14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/OASIcs.SSV.2011.1},
doi = {10.4230/OASICS.SSV.2011.1},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssv/Gast11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssv/GuckelK11,
author = {Dominique G{\"{u}}ckel and
Stefan Kowalewski},
editor = {J{\"{o}}rg Brauer and
Marco Roveri and
Hendrik Tews},
title = {Automatic Derivation of Abstract Semantics From Instruction Set Descriptions},
booktitle = {6th International Workshop on Systems Software Verification, {SSV}
2011, August 26, 2011, Nijmegen, The Netherlands},
series = {OASIcs},
volume = {24},
pages = {71--83},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/OASIcs.SSV.2011.71},
doi = {10.4230/OASICS.SSV.2011.71},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssv/GuckelK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssv/JaaskelainenKKV11,
author = {Antti J{\"{a}}{\"{a}}skel{\"{a}}inen and
Mika Katara and
Shmuel Katz and
Heikki Virtanen},
editor = {J{\"{o}}rg Brauer and
Marco Roveri and
Hendrik Tews},
title = {Verification of Safety-Critical Systems: {A} Case Study Report on
Using Modern Model Checking Tools},
booktitle = {6th International Workshop on Systems Software Verification, {SSV}
2011, August 26, 2011, Nijmegen, The Netherlands},
series = {OASIcs},
volume = {24},
pages = {44--56},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/OASIcs.SSV.2011.44},
doi = {10.4230/OASICS.SSV.2011.44},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssv/JaaskelainenKKV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssv/X11,
editor = {J{\"{o}}rg Brauer and
Marco Roveri and
Hendrik Tews},
title = {Frontmatter, Table of Contents, Preface},
booktitle = {6th International Workshop on Systems Software Verification, {SSV}
2011, August 26, 2011, Nijmegen, The Netherlands},
series = {OASIcs},
volume = {24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/OASIcs.SSV.2011.i},
doi = {10.4230/OASICS.SSV.2011.I},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssv/X11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssv/AndronickGE10,
author = {June Andronick and
David Greenaway and
Kevin Elphinstone},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Towards Proving Security in the Presence of Large Untrusted Components},
booktitle = {5th International Workshop on Systems Software Verification, SSV'10,
Vancouver, BC, Canada, October 6-7, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/ssv10/towards-proving-security-presence-large-untrusted-components},
timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
biburl = {https://dblp.org/rec/conf/ssv/AndronickGE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssv/BiallasBK10,
author = {Sebastian Biallas and
J{\"{o}}rg Brauer and
Stefan Kowalewski},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Counterexample-Guided Abstraction Refinement for PLCs},
booktitle = {5th International Workshop on Systems Software Verification, SSV'10,
Vancouver, BC, Canada, October 6-7, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/ssv10/counterexample-guided-abstraction-refinement-plcs},
timestamp = {Wed, 04 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssv/BiallasBK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssv/CapposJ10,
author = {Justin Cappos and
Jonathan Jacky},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Model-based Testing Without a Model: Assessing Portability in the
Seattle Testbed},
booktitle = {5th International Workshop on Systems Software Verification, SSV'10,
Vancouver, BC, Canada, October 6-7, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/ssv10/model-based-testing-without-model-assessing-portability-seattle-testbed},
timestamp = {Wed, 04 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssv/CapposJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssv/Cock10,
author = {David A. Cock},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Lyrebird - Assigning Meanings to Machines},
booktitle = {5th International Workshop on Systems Software Verification, SSV'10,
Vancouver, BC, Canada, October 6-7, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/ssv10/lyrebird\%E2\%80\%94assigning-meanings-machines},
timestamp = {Wed, 21 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssv/Cock10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssv/DuanR10,
author = {Jianjun Duan and
John Regehr},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Correctness Proofs for Device Drivers in Embedded Systems},
booktitle = {5th International Workshop on Systems Software Verification, SSV'10,
Vancouver, BC, Canada, October 6-7, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/ssv10/correctness-proofs-device-drivers-embedded-systems},
timestamp = {Wed, 04 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssv/DuanR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssv/KaminN10,
author = {Volker Kamin and
Thomas Noll},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Loop Refinement Using Octagons and Satisfiability},
booktitle = {5th International Workshop on Systems Software Verification, SSV'10,
Vancouver, BC, Canada, October 6-7, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/ssv10/loop-refinement-using-octagons-and-satisfiability},
timestamp = {Wed, 08 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssv/KaminN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssv/MaedaY10,
author = {Toshiyuki Maeda and
Akinori Yonezawa},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Typed Assembly Language for Implementing {OS} Kernels in SMP/Multi-Core
Environments with Interrupts},
booktitle = {5th International Workshop on Systems Software Verification, SSV'10,
Vancouver, BC, Canada, October 6-7, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/ssv10/typed-assembly-language-implementing-os-kernels-smpmulti-core-environments},
timestamp = {Wed, 04 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssv/MaedaY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssv/Pendergrass10,
author = {J. Aaron Pendergrass},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Verification of Stack Manipulation in the {SCIP} Processor},
booktitle = {5th International Workshop on Systems Software Verification, SSV'10,
Vancouver, BC, Canada, October 6-7, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/ssv10/verification-stack-manipulation-scip-processor},
timestamp = {Wed, 04 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssv/Pendergrass10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssv/SimsaBG10,
author = {Jir{\'{\i}} Simsa and
Randy Bryant and
Garth A. Gibson},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {dBug: Systematic Evaluation of Distributed Systems},
booktitle = {5th International Workshop on Systems Software Verification, SSV'10,
Vancouver, BC, Canada, October 6-7, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/ssv10/dbug-systematic-evaluation-distributed-systems},
timestamp = {Wed, 04 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssv/SimsaBG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssv/SinzFM10,
author = {Carsten Sinz and
Stephan Falke and
Florian Merz},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {A Precise Memory Model for Low-Level Bounded Model Checking},
booktitle = {5th International Workshop on Systems Software Verification, SSV'10,
Vancouver, BC, Canada, October 6-7, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/ssv10/precise-memory-model-low-level-bounded-model-checking},
timestamp = {Thu, 14 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssv/SinzFM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ssv/2010,
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {5th International Workshop on Systems Software Verification, SSV'10,
Vancouver, BC, Canada, October 6-7, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/ssv10},
timestamp = {Wed, 04 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssv/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BotincanPS09,
author = {Matko Botincan and
Matthew J. Parkinson and
Wolfram Schulte},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Separation Logic Verification of {C} Programs with an {SMT} Solver},
booktitle = {Proceedings of the 4th International Workshop on Systems Software
Verification, {SSV} 2009, Aachen, Germany, June 22-24, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {254},
pages = {5--23},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.09.057},
doi = {10.1016/J.ENTCS.2009.09.057},
timestamp = {Fri, 17 Feb 2023 10:35:59 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BotincanPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Boyton09,
author = {Andrew Boyton},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {A Verified Shared Capability Model},
booktitle = {Proceedings of the 4th International Workshop on Systems Software
Verification, {SSV} 2009, Aachen, Germany, June 22-24, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {254},
pages = {25--44},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.09.058},
doi = {10.1016/J.ENTCS.2009.09.058},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Boyton09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrauerHS09,
author = {J{\"{o}}rg Brauer and
Ralf Huuck and
Bastian Schlich},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Interprocedural Pointer Analysis in Goanna},
booktitle = {Proceedings of the 4th International Workshop on Systems Software
Verification, {SSV} 2009, Aachen, Germany, June 22-24, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {254},
pages = {65--83},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.09.060},
doi = {10.1016/J.ENTCS.2009.09.060},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrauerHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrauerSK09,
author = {J{\"{o}}rg Brauer and
Bastian Schlich and
Stefan Kowalewski},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Parallel and Distributed Invariant Checking of Microcontroller Software},
booktitle = {Proceedings of the 4th International Workshop on Systems Software
Verification, {SSV} 2009, Aachen, Germany, June 22-24, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {254},
pages = {45--63},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.09.059},
doi = {10.1016/J.ENTCS.2009.09.059},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrauerSK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CohenMTS09,
author = {Ernie Cohen and
Michal Moskal and
Stephan Tobies and
Wolfram Schulte},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {A Precise Yet Efficient Memory Model For {C}},
booktitle = {Proceedings of the 4th International Workshop on Systems Software
Verification, {SSV} 2009, Aachen, Germany, June 22-24, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {254},
pages = {85--103},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.09.061},
doi = {10.1016/J.ENTCS.2009.09.061},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CohenMTS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HashimotoN09,
author = {Yuusuke Hashimoto and
Shin Nakajima},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Modular Checking with Model Checking},
booktitle = {Proceedings of the 4th International Workshop on Systems Software
Verification, {SSV} 2009, Aachen, Germany, June 22-24, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {254},
pages = {105--122},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.09.062},
doi = {10.1016/J.ENTCS.2009.09.062},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HashimotoN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HillebrandL09,
author = {Mark A. Hillebrand and
Dirk Leinenbach},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Formal Verification of a Reader-Writer Lock Implementation in {C}},
booktitle = {Proceedings of the 4th International Workshop on Systems Software
Verification, {SSV} 2009, Aachen, Germany, June 22-24, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {254},
pages = {123--141},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.09.063},
doi = {10.1016/J.ENTCS.2009.09.063},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HillebrandL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HuuckKS09,
author = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Preface},
booktitle = {Proceedings of the 4th International Workshop on Systems Software
Verification, {SSV} 2009, Aachen, Germany, June 22-24, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {254},
pages = {1--3},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.09.056},
doi = {10.1016/J.ENTCS.2009.09.056},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HuuckKS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LimaTMDWP09,
author = {Vitor Lima and
Chamseddine Talhi and
Djedjiga Mouheb and
Mourad Debbabi and
Lingyu Wang and
Makan Pourzandi},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Formal Verification and Validation of {UML} 2.0 Sequence Diagrams
using Source and Destination of Messages},
booktitle = {Proceedings of the 4th International Workshop on Systems Software
Verification, {SSV} 2009, Aachen, Germany, June 22-24, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {254},
pages = {143--160},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.09.064},
doi = {10.1016/J.ENTCS.2009.09.064},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/LimaTMDWP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SchirmerW09,
author = {Norbert Schirmer and
Makarius Wenzel},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {State Spaces - The Locale Way},
booktitle = {Proceedings of the 4th International Workshop on Systems Software
Verification, {SSV} 2009, Aachen, Germany, June 22-24, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {254},
pages = {161--179},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.09.065},
doi = {10.1016/J.ENTCS.2009.09.065},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SchirmerW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VisteinORHF09,
author = {Michael Vistein and
Frank Ortmeier and
Wolfgang Reif and
Ralf Huuck and
Ansgar Fehnker},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {An Abstract Specification Language for Static Program Analysis},
booktitle = {Proceedings of the 4th International Workshop on Systems Software
Verification, {SSV} 2009, Aachen, Germany, June 22-24, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {254},
pages = {181--197},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.09.066},
doi = {10.1016/J.ENTCS.2009.09.066},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/VisteinORHF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Berkenkotter08,
author = {Kirsten Berkenk{\"{o}}tter},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Reliable {UML} Models and Profiles},
booktitle = {Proceedings of the 3rd International Workshop on Systems Software
Verification, {SSV} 2008, Sydney, Australia, February 25-27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {217},
pages = {203--220},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.050},
doi = {10.1016/J.ENTCS.2008.06.050},
timestamp = {Fri, 17 Feb 2023 10:34:05 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Berkenkotter08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CantLMMW08,
author = {Tony Cant and
Ben Long and
Jim McCarthy and
Brendan P. Mahony and
Kylie Williams},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {The HiVe Writer},
booktitle = {Proceedings of the 3rd International Workshop on Systems Software
Verification, {SSV} 2008, Sydney, Australia, February 25-27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {217},
pages = {221--234},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.051},
doi = {10.1016/J.ENTCS.2008.06.051},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CantLMMW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EfkemannH08,
author = {Christof Efkemann and
Tobias Hartmann},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Specification of Conditions for Error Diagnostics},
booktitle = {Proceedings of the 3rd International Workshop on Systems Software
Verification, {SSV} 2008, Sydney, Australia, February 25-27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {217},
pages = {97--112},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.044},
doi = {10.1016/J.ENTCS.2008.06.044},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EfkemannH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EmanuelssonN08,
author = {P{\"{a}}r Emanuelsson and
Ulf Nilsson},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {A Comparative Study of Industrial Static Analysis Tools},
booktitle = {Proceedings of the 3rd International Workshop on Systems Software
Verification, {SSV} 2008, Sydney, Australia, February 25-27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {217},
pages = {5--21},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.039},
doi = {10.1016/J.ENTCS.2008.06.039},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EmanuelssonN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Graunke08,
author = {Paul T. Graunke},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Verified Safety and Information Flow of a Block Device},
booktitle = {Proceedings of the 3rd International Workshop on Systems Software
Verification, {SSV} 2008, Sydney, Australia, February 25-27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {217},
pages = {187--202},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.049},
doi = {10.1016/J.ENTCS.2008.06.049},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Graunke08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HerberichSWN08,
author = {Gerlind Herberich and
Bastian Schlich and
Carsten Weise and
Thomas Noll},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Proving Correctness of an Efficient Abstraction for Interrupt Handling},
booktitle = {Proceedings of the 3rd International Workshop on Systems Software
Verification, {SSV} 2008, Sydney, Australia, February 25-27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {217},
pages = {133--150},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.046},
doi = {10.1016/J.ENTCS.2008.06.046},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HerberichSWN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HuuckKS08,
author = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Preface},
booktitle = {Proceedings of the 3rd International Workshop on Systems Software
Verification, {SSV} 2008, Sydney, Australia, February 25-27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {217},
pages = {1--3},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.038},
doi = {10.1016/J.ENTCS.2008.06.038},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HuuckKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kolanski08,
author = {Rafal Kolanski},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {A Logic for Virtual Memory},
booktitle = {Proceedings of the 3rd International Workshop on Systems Software
Verification, {SSV} 2008, Sydney, Australia, February 25-27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {217},
pages = {61--77},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.042},
doi = {10.1016/J.ENTCS.2008.06.042},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kolanski08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LeinenbachP08,
author = {Dirk Leinenbach and
Elena Petrova},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Pervasive Compiler Verification - From Verified Programs to Verified
Systems},
booktitle = {Proceedings of the 3rd International Workshop on Systems Software
Verification, {SSV} 2008, Sydney, Australia, February 25-27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {217},
pages = {23--40},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.040},
doi = {10.1016/J.ENTCS.2008.06.040},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/LeinenbachP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LodingP08,
author = {Helge L{\"{o}}ding and
Jan Peleska},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Symbolic and Abstract Interpretation for {C/C++} Programs},
booktitle = {Proceedings of the 3rd International Workshop on Systems Software
Verification, {SSV} 2008, Sydney, Australia, February 25-27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {217},
pages = {113--131},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.045},
doi = {10.1016/J.ENTCS.2008.06.045},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LodingP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RiedenT08,
author = {Thomas In der Rieden and
Alexandra Tsyban},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {{CVM} - {A} Verified Framework for Microkernel Programmers},
booktitle = {Proceedings of the 3rd International Workshop on Systems Software
Verification, {SSV} 2008, Sydney, Australia, February 25-27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {217},
pages = {151--168},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.047},
doi = {10.1016/J.ENTCS.2008.06.047},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/RiedenT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/StarostinT08,
author = {Artem Starostin and
Alexandra Tsyban},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Correct Microkernel Primitives},
booktitle = {Proceedings of the 3rd International Workshop on Systems Software
Verification, {SSV} 2008, Sydney, Australia, February 25-27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {217},
pages = {169--185},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.048},
doi = {10.1016/J.ENTCS.2008.06.048},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/StarostinT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TewsWV08,
author = {Hendrik Tews and
Tjark Weber and
Marcus V{\"{o}}lp},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {A Formal Model of Memory Peculiarities for the Verification of Low-Level
Operating-System Code},
booktitle = {Proceedings of the 3rd International Workshop on Systems Software
Verification, {SSV} 2008, Sydney, Australia, February 25-27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {217},
pages = {79--96},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.043},
doi = {10.1016/J.ENTCS.2008.06.043},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/TewsWV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Tuch08,
author = {Harvey Tuch},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Structured Types and Separation Logic},
booktitle = {Proceedings of the 3rd International Workshop on Systems Software
Verification, {SSV} 2008, Sydney, Australia, February 25-27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {217},
pages = {41--59},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.041},
doi = {10.1016/J.ENTCS.2008.06.041},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Tuch08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ssv/2008,
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Proceedings of the 3rd International Workshop on Systems Software
Verification, {SSV} 2008, Sydney, Australia, February 25-27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {217},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/217/suppl/C},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssv/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ssv/2009,
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Proceedings of the 4th International Workshop on Systems Software
Verification, {SSV} 2009, Aachen, Germany, June 22-24, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {254},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/254/suppl/C},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssv/2009.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.
retrieved on 2024-12-01 23:34 CET 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:
