Filter
Chapter

Search results

  • 2022

    Reasoning About Active Objects: A Sound and Complete Assertional Proof Method

    Boer, F. S. D. & Gouw, S. D., 4 Jul 2022, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday. Ahrendt, W., Beckert, B., Bubel, R. & Johnsen, E. B. (eds.). 1 ed. Cham: Springer, Vol. 13360. p. 173-192 20 p. (Lecture Notes in Computer Science, Vol. 13360).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • 2020

    A Tutorial on Verifying LinkedList Using KeY

    Hiep, H.-D. A., Bian, J., Boer, F. S. D. & Gouw, S. D., 2020, Deductive Software Verification: Future Perspectives. Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R. & Ulbrich, M. (eds.). Cham: Springer, p. 221-245 25 p. (Lecture Notes in Computer Science, Vol. 12345).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • 2018

    Compositional Semantics for Concurrent Object Groups in ABS

    Boer, F. S. D. & Gouw, S. D., 1 Jan 2018, Principled Software Development : Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. Müller, P. & Schaefer, I. (eds.). 1 ed. Cham: Springer, p. 87-98 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • 2017

    Run-Time Deadlock Detection

    Boer, F. S. D. & Gouw, S. D., 2017, Provably Correct Systems. Hinchey, M., P. Bowen, J. & Olderog, E.-R. (eds.). Springer, p. 245-264 20 p. (NASA Monographs in Systems and Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • 2016

    Effectively Eliminating Auxiliaries

    Gouw, S. D. & Rot, J., 2016, Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Ábrahám, E., Bonsangue, M. & Broch Johnsen, E. (eds.). Springer, p. 226-241 16 p. (Lecture Notes in Computer Science, Vol. 9660). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9660).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • Statically and Dynamically Verifiable SLA Metrics

    Giachino, E., Gouw, S. D., Laneve, C. & Nobakht, B., 2016, Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday., E. Á., , M. B. & , E. B. J. (eds.). Springer, p. 211-225 15 p. (Lecture Notes in Computer Science, Vol. 9660). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9660).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • Verification of Counting Sort and Radix Sort

    Gouw, S. D., Boer, F. S. D. & Rot, J., 2016, Deductive Software Verification - The KeY Book: From Theory to Practice., W. A., , B. B., , R. B., , R. H., , P. H. S. & , M. U. (eds.). Springer, p. 609-618 10 p. (Lecture Notes in Computer Science, Vol. 10001).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • 2014

    Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study

    Boer, F. S. D., Gouw, S. D., Johnsen, E. B., Kohn, A. & Wong, P. Y. H., 2014, Transactions on Aspect-Oriented Software Development XI., S. C., , E. B., , É. T., , S. M. & , J. K. (eds.). Springer, Vol. 11. p. 1-26 26 p. (Lecture Notes in Computer Science, Vol. 8400). (Transactions on Aspect-Oriented Software Development (LNCS subseries)).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review