Published in: Dagstuhl Reports, Volume 2, Issue 8 (2013)
Görschwin Fey, Masahiro Fujita, Natasa Miskov-Zivanov, Kaushik Roy, and Matteo Sonza Reorda. Verifying Reliability (Dagstuhl Seminar 12341). In Dagstuhl Reports, Volume 2, Issue 8, pp. 54-73, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@Article{fey_et_al:DagRep.2.8.57, author = {Fey, G\"{o}rschwin and Fujita, Masahiro and Miskov-Zivanov, Natasa and Roy, Kaushik and Sonza Reorda, Matteo}, title = {{Verifying Reliability (Dagstuhl Seminar 12341)}}, pages = {54--73}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2012}, volume = {2}, number = {8}, editor = {Fey, G\"{o}rschwin and Fujita, Masahiro and Miskov-Zivanov, Natasa and Roy, Kaushik and Sonza Reorda, Matteo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.2.8.57}, URN = {urn:nbn:de:0030-drops-37830}, doi = {10.4230/DagRep.2.8.57}, annote = {Keywords: Reliability, fault modeling, formal methods} }
Published in: Dagstuhl Seminar Proceedings, Volume 9461, Algorithms and Applications for Next Generation SAT Solvers (2010)
Bernd Becker, Valeria Bertacco, Rolf Drechsler, and Masahiro Fujita. 09461 Abstracts Collection – Algorithms and Applications for Next Generation SAT Solvers. In Algorithms and Applications for Next Generation SAT Solvers. Dagstuhl Seminar Proceedings, Volume 9461, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{becker_et_al:DagSemProc.09461.1, author = {Becker, Bernd and Bertacco, Valeria and Drechsler, Rolf and Fujita, Masahiro}, title = {{09461 Abstracts Collection – Algorithms and Applications for Next Generation SAT Solvers}}, booktitle = {Algorithms and Applications for Next Generation SAT Solvers}, pages = {1--15}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {9461}, editor = {Bernd Becker and Valeria Bertacoo and Rolf Drechsler and Masahiro Fujita}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09461.1}, URN = {urn:nbn:de:0030-drops-25113}, doi = {10.4230/DagSemProc.09461.1}, annote = {Keywords: Boolean Satisfiability, Formal Methods, Word Level, Quantification, Multithreading} }
Published in: Dagstuhl Seminar Proceedings, Volume 9461, Algorithms and Applications for Next Generation SAT Solvers (2010)
Daniel Grosse, Hoang M. Le, and Rolf Drechsler. Formal Verification of Abstract SystemC Models. In Algorithms and Applications for Next Generation SAT Solvers. Dagstuhl Seminar Proceedings, Volume 9461, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{grosse_et_al:DagSemProc.09461.2, author = {Grosse, Daniel and Le, Hoang M. and Drechsler, Rolf}, title = {{Formal Verification of Abstract SystemC Models}}, booktitle = {Algorithms and Applications for Next Generation SAT Solvers}, pages = {1--2}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {9461}, editor = {Bernd Becker and Valeria Bertacoo and Rolf Drechsler and Masahiro Fujita}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09461.2}, URN = {urn:nbn:de:0030-drops-25102}, doi = {10.4230/DagSemProc.09461.2}, annote = {Keywords: SystemC, TLM, BMC, SAT, SMT} }
Published in: Dagstuhl Seminar Proceedings, Volume 9461, Algorithms and Applications for Next Generation SAT Solvers (2010)
Erika Abraham and Ulrich Loup. SMT-Solving for the First-Order Theory of the Reals. In Algorithms and Applications for Next Generation SAT Solvers. Dagstuhl Seminar Proceedings, Volume 9461, pp. 1-7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{abraham_et_al:DagSemProc.09461.3, author = {Abraham, Erika and Loup, Ulrich}, title = {{SMT-Solving for the First-Order Theory of the Reals}}, booktitle = {Algorithms and Applications for Next Generation SAT Solvers}, pages = {1--7}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {9461}, editor = {Bernd Becker and Valeria Bertacoo and Rolf Drechsler and Masahiro Fujita}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09461.3}, URN = {urn:nbn:de:0030-drops-25081}, doi = {10.4230/DagSemProc.09461.3}, annote = {Keywords: SMT-solving, first-order theory of the reals, verification} }
Published in: Dagstuhl Seminar Proceedings, Volume 9461, Algorithms and Applications for Next Generation SAT Solvers (2010)
Markus Wedler, Evgeny Pavlenko, Alexander Dreyer, Frank Seelisch, Dominik Stoffel, Gert-Martin Greuel, and Wolfgang Kunz. Solving hard instances in QF-BV combining Boolean reasoning with computer algebra. In Algorithms and Applications for Next Generation SAT Solvers. Dagstuhl Seminar Proceedings, Volume 9461, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{wedler_et_al:DagSemProc.09461.4, author = {Wedler, Markus and Pavlenko, Evgeny and Dreyer, Alexander and Seelisch, Frank and Stoffel, Dominik and Greuel, Gert-Martin and Kunz, Wolfgang}, title = {{Solving hard instances in QF-BV combining Boolean reasoning with computer algebra}}, booktitle = {Algorithms and Applications for Next Generation SAT Solvers}, pages = {1--20}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {9461}, editor = {Bernd Becker and Valeria Bertacoo and Rolf Drechsler and Masahiro Fujita}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09461.4}, URN = {urn:nbn:de:0030-drops-25096}, doi = {10.4230/DagSemProc.09461.4}, annote = {Keywords: SAT modulo Theory, Quantifier Free logic over fixed sized bitvectors; Computer Algebra} }
Published in: Dagstuhl Seminar Proceedings, Volume 9461, Algorithms and Applications for Next Generation SAT Solvers (2010)
Robert Wille, Jean Christoph Jung, Andre Sülflow, and Rolf Drechsler. SWORD – Module-based SAT Solving. In Algorithms and Applications for Next Generation SAT Solvers. Dagstuhl Seminar Proceedings, Volume 9461, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{wille_et_al:DagSemProc.09461.5, author = {Wille, Robert and Jung, Jean Christoph and S\"{u}lflow, Andre and Drechsler, Rolf}, title = {{SWORD – Module-based SAT Solving}}, booktitle = {Algorithms and Applications for Next Generation SAT Solvers}, pages = {1--2}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {9461}, editor = {Bernd Becker and Valeria Bertacoo and Rolf Drechsler and Masahiro Fujita}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09461.5}, URN = {urn:nbn:de:0030-drops-25069}, doi = {10.4230/DagSemProc.09461.5}, annote = {Keywords: SAT Solver, Word Level, SAT Modulo Theories} }
Published in: Dagstuhl Seminar Proceedings, Volume 9461, Algorithms and Applications for Next Generation SAT Solvers (2010)
Martin Gogolla. Towards Model Validation and Verification with SAT Techniques. In Algorithms and Applications for Next Generation SAT Solvers. Dagstuhl Seminar Proceedings, Volume 9461, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{gogolla:DagSemProc.09461.6, author = {Gogolla, Martin}, title = {{Towards Model Validation and Verification with SAT Techniques}}, booktitle = {Algorithms and Applications for Next Generation SAT Solvers}, pages = {1--11}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {9461}, editor = {Bernd Becker and Valeria Bertacoo and Rolf Drechsler and Masahiro Fujita}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09461.6}, URN = {urn:nbn:de:0030-drops-25078}, doi = {10.4230/DagSemProc.09461.6}, annote = {Keywords: UML, OCL, Invariant, Pre- and postcondition, Model validation, Model verification} }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Bernd Becker, Masahiro Fujita, Christoph Meinel, and Fabio Somenzi. Computer Aided Design and Test - BDDs versus SAT (Dagstuhl Seminar 01051). Dagstuhl Seminar Report 297, pp. 1-25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2001)
@TechReport{becker_et_al:DagSemRep.297, author = {Becker, Bernd and Fujita, Masahiro and Meinel, Christoph and Somenzi, Fabio}, title = {{Computer Aided Design and Test - BDDs versus SAT (Dagstuhl Seminar 01051)}}, pages = {1--25}, ISSN = {1619-0203}, year = {2001}, type = {Dagstuhl Seminar Report}, number = {297}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.297}, URN = {urn:nbn:de:0030-drops-151811}, doi = {10.4230/DagSemRep.297}, }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Bernd Becker, Randy Bryant, Masahiro Fujita, and Christoph Meinel. Computer Aided Design and Test Decision Diagrams - Concepts and Applications (Dagstuhl Seminar 9705). Dagstuhl Seminar Report 166, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1997)
@TechReport{becker_et_al:DagSemRep.166, author = {Becker, Bernd and Bryant, Randy and Fujita, Masahiro and Meinel, Christoph}, title = {{Computer Aided Design and Test Decision Diagrams - Concepts and Applications (Dagstuhl Seminar 9705)}}, pages = {1--18}, ISSN = {1619-0203}, year = {1997}, type = {Dagstuhl Seminar Report}, number = {166}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.166}, URN = {urn:nbn:de:0030-drops-150539}, doi = {10.4230/DagSemRep.166}, }
Feedback for Dagstuhl Publishing