Published in: OASIcs, Volume 24, 6th International Workshop on Systems Software Verification (2012)
6th International Workshop on Systems Software Verification. Open Access Series in Informatics (OASIcs), Volume 24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@Proceedings{brauer_et_al:OASIcs.SSV.2011, title = {{OASIcs, Volume 24, SSV'11, Complete Volume}}, booktitle = {6th International Workshop on Systems Software Verification}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-36-1}, ISSN = {2190-6807}, year = {2012}, volume = {24}, editor = {Brauer, J\"{o}rg and Roveri, Marco and Tews, Hendrik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SSV.2011}, URN = {urn:nbn:de:0030-drops-35937}, doi = {10.4230/OASIcs.SSV.2011}, annote = {Keywords: Software/Program Verification} }
Published in: OASIcs, Volume 24, 6th International Workshop on Systems Software Verification (2012)
6th International Workshop on Systems Software Verification. Open Access Series in Informatics (OASIcs), Volume 24, pp. i-vii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{brauer_et_al:OASIcs.SSV.2011.i, author = {Brauer, J\"{o}rg and Roveri, Marco and Tews, Hendrik}, title = {{Frontmatter, Table of Contents, Preface}}, booktitle = {6th International Workshop on Systems Software Verification}, pages = {i--vii}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-36-1}, ISSN = {2190-6807}, year = {2012}, volume = {24}, editor = {Brauer, J\"{o}rg and Roveri, Marco and Tews, Hendrik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SSV.2011.i}, URN = {urn:nbn:de:0030-drops-35854}, doi = {10.4230/OASIcs.SSV.2011.i}, annote = {Keywords: Frontmatter, Table of Contents, Preface} }
Published in: OASIcs, Volume 24, 6th International Workshop on Systems Software Verification (2012)
Holger Gast. Structuring Interactive Correctness Proofs by Formalizing Coding Idioms. In 6th International Workshop on Systems Software Verification. Open Access Series in Informatics (OASIcs), Volume 24, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{gast:OASIcs.SSV.2011.1, author = {Gast, Holger}, title = {{Structuring Interactive Correctness Proofs by Formalizing Coding Idioms}}, booktitle = {6th International Workshop on Systems Software Verification}, pages = {1--14}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-36-1}, ISSN = {2190-6807}, year = {2012}, volume = {24}, editor = {Brauer, J\"{o}rg and Roveri, Marco and Tews, Hendrik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SSV.2011.1}, URN = {urn:nbn:de:0030-drops-35864}, doi = {10.4230/OASIcs.SSV.2011.1}, annote = {Keywords: software verification, coding idioms, theory re-use, low-level code} }
Published in: OASIcs, Volume 24, 6th International Workshop on Systems Software Verification (2012)
Stefan Berghofer. Verification of Dependable Software using SPARK and Isabelle. In 6th International Workshop on Systems Software Verification. Open Access Series in Informatics (OASIcs), Volume 24, pp. 15-31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{berghofer:OASIcs.SSV.2011.15, author = {Berghofer, Stefan}, title = {{Verification of Dependable Software using SPARK and Isabelle}}, booktitle = {6th International Workshop on Systems Software Verification}, pages = {15--31}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-36-1}, ISSN = {2190-6807}, year = {2012}, volume = {24}, editor = {Brauer, J\"{o}rg and Roveri, Marco and Tews, Hendrik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SSV.2011.15}, URN = {urn:nbn:de:0030-drops-35876}, doi = {10.4230/OASIcs.SSV.2011.15}, annote = {Keywords: Software/Program Verification} }
Published in: OASIcs, Volume 24, 6th International Workshop on Systems Software Verification (2012)
Jörg Brauer, René Rydhof Hansen, Stefan Kowalewski, Kim G. Larsen, and Mads Chr. Olesen. Adaptable Value-Set Analysis for Low-Level Code. In 6th International Workshop on Systems Software Verification. Open Access Series in Informatics (OASIcs), Volume 24, pp. 32-43, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{brauer_et_al:OASIcs.SSV.2011.32, author = {Brauer, J\"{o}rg and Hansen, Ren\'{e} Rydhof and Kowalewski, Stefan and Larsen, Kim G. and Olesen, Mads Chr.}, title = {{Adaptable Value-Set Analysis for Low-Level Code}}, booktitle = {6th International Workshop on Systems Software Verification}, pages = {32--43}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-36-1}, ISSN = {2190-6807}, year = {2012}, volume = {24}, editor = {Brauer, J\"{o}rg and Roveri, Marco and Tews, Hendrik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SSV.2011.32}, URN = {urn:nbn:de:0030-drops-35884}, doi = {10.4230/OASIcs.SSV.2011.32}, annote = {Keywords: Abstract interpretation, SAT solving, embedded systems} }
Published in: OASIcs, Volume 24, 6th International Workshop on Systems Software Verification (2012)
Antti Jääskeläinen, Mika Katara, Shmuel Katz, and Heikki Virtanen. Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools. In 6th International Workshop on Systems Software Verification. Open Access Series in Informatics (OASIcs), Volume 24, pp. 44-56, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{jaaskelainen_et_al:OASIcs.SSV.2011.44, author = {J\"{a}\"{a}skel\"{a}inen, Antti and Katara, Mika and Katz, Shmuel and Virtanen, Heikki}, title = {{Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools}}, booktitle = {6th International Workshop on Systems Software Verification}, pages = {44--56}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-36-1}, ISSN = {2190-6807}, year = {2012}, volume = {24}, editor = {Brauer, J\"{o}rg and Roveri, Marco and Tews, Hendrik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SSV.2011.44}, URN = {urn:nbn:de:0030-drops-35891}, doi = {10.4230/OASIcs.SSV.2011.44}, annote = {Keywords: Functional safety, SIL-3, model checking, tools} }
Published in: OASIcs, Volume 24, 6th International Workshop on Systems Software Verification (2012)
Jan Olaf Blech. A Tool for the Certification of Sequential Function Chart based System Specifications. In 6th International Workshop on Systems Software Verification. Open Access Series in Informatics (OASIcs), Volume 24, pp. 57-70, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{blech:OASIcs.SSV.2011.57, author = {Blech, Jan Olaf}, title = {{A Tool for the Certification of Sequential Function Chart based System Specifications}}, booktitle = {6th International Workshop on Systems Software Verification}, pages = {57--70}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-36-1}, ISSN = {2190-6807}, year = {2012}, volume = {24}, editor = {Brauer, J\"{o}rg and Roveri, Marco and Tews, Hendrik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SSV.2011.57}, URN = {urn:nbn:de:0030-drops-35904}, doi = {10.4230/OASIcs.SSV.2011.57}, annote = {Keywords: Software/Program Verification} }
Published in: OASIcs, Volume 24, 6th International Workshop on Systems Software Verification (2012)
Dominique Gückel and Stefan Kowalewski. Automatic Derivation of Abstract Semantics From Instruction Set Descriptions. In 6th International Workshop on Systems Software Verification. Open Access Series in Informatics (OASIcs), Volume 24, pp. 71-83, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{guckel_et_al:OASIcs.SSV.2011.71, author = {G\"{u}ckel, Dominique and Kowalewski, Stefan}, title = {{Automatic Derivation of Abstract Semantics From Instruction Set Descriptions}}, booktitle = {6th International Workshop on Systems Software Verification}, pages = {71--83}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-36-1}, ISSN = {2190-6807}, year = {2012}, volume = {24}, editor = {Brauer, J\"{o}rg and Roveri, Marco and Tews, Hendrik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SSV.2011.71}, URN = {urn:nbn:de:0030-drops-35919}, doi = {10.4230/OASIcs.SSV.2011.71}, annote = {Keywords: Model Checking, Static Analysis, Hardware Description Languages} }
Published in: OASIcs, Volume 16, Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers (2011)
Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, and Stefan Kowalewski. Test-Case Generation for Embedded Binary Code Using Abstract Interpretation. In Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers. Open Access Series in Informatics (OASIcs), Volume 16, pp. 101-108, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{reinbacher_et_al:OASIcs.MEMICS.2010.101, author = {Reinbacher, Thomas and Brauer, J\"{o}rg and Horauer, Martin and Steininger, Andreas and Kowalewski, Stefan}, title = {{Test-Case Generation for Embedded Binary Code Using Abstract Interpretation}}, booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers}, pages = {101--108}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-22-4}, ISSN = {2190-6807}, year = {2011}, volume = {16}, editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.101}, URN = {urn:nbn:de:0030-drops-30586}, doi = {10.4230/OASIcs.MEMICS.2010.101}, annote = {Keywords: Test-Case Generation, Embedded Binary Code, Abstract Interpretation} }
Feedback for Dagstuhl Publishing