If you made any changes in Pure these will be visible here soon.
Filter
Conference article in proceeding

Search results

  • 2021

    Integrating ADTs in KeY and Their Application to History-Based Reasoning

    Bian, J., Hiep, H-D. A., Boer, F. S. D. & Gouw, S. D., Nov 2021, Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings. Huisman, M., Pasareanu, C. S. & Zhan, N. (eds.). 1 ed. Cham: Springer, p. 255-272 18 p. (Lecture Notes in Computer Science, Vol. 13047). (Programming and Software Engineering LNPSE, Vol. 13047).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

  • 2020

    History-Based Specification and Verification of Java Collections in KeY

    Hiep, H-D. A., Bian, J., Boer, F. S. D. & Gouw, S. D., 13 Nov 2020, Integrated Formal Methods : 16th International Conference, IFM 2020. Dongol, B. & Troubitsyna, E. (eds.). Lugano, Switzerland: Springer, p. 199-217 19 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

  • Hybrid Analysis of BPEL Models with Grammars

    Jager, E. D. & Gouw, S. D., 2020, Proceedings of the SOFSEM 2020 Doctoral Student Research Forum co-located with the 46th International Conference on Current Trends in Theory and Practice of Computer Science : SOFSEM-SRF 2020. Manolopoulos, Y., Papadopoulos, G. A. & Tzouramanis, T. (eds.). Limassol, Cyprus: CEUR-WS.org, Vol. 2568. p. 73-84 12 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    Open Access
  • Verifying OpenJDK's LinkedList using KeY

    Hiep, H-D. A., Maathuis, O., Bian, J., Boer, F. S. D., Eekelen, M. C. J. D. V. & Gouw, S. D., 17 Apr 2020, TACAS 2020: Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software. Biere, A. & Parker, D. (eds.). Cham: Springer, p. 217-234 18 p. (Lecture Notes in Computer Science, Vol. 12079). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12079).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    Open Access
  • 2019

    Analysis of SLA Compliance in the Cloud: An Automated, Model-based Approach

    Boer, F. S. D., Giachino, E., Gouw, S. D., Hähnle, R., Johnsen, E. B., Laneve, C., Pun, K. I. & Zavattaro, G., 2019, Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution : Amsterdam, Netherlands, 17th July 2018. Ancona, D. & Pace, G. (eds.). Open Publishing Association, Vol. 302. p. 1-15 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    Open Access
  • Offline oracles for accessibility evaluation with the TESTAR tool

    de Gier, F., Kager, D., de Gouw, S. & Vos, T. E. J., 2019, IEEE RCIS 2019 Proceedings: Towards a design science for information systems: The IEEE Thirteen International Conference on Research Challenges in Information Science, May 29-31, Brussels, Belgium. Kolp, M., Vanderdonckt, J., Snoeck, M. & Wautelet, Y. (eds.). IEEE Canada, p. 129-140 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

  • 2017

    Human-in-the-Loop Simulation of Cloud Services

    Bezirgiannis, N., Boer, F. S. D. & Gouw, S. D., 2017, Service-Oriented and Cloud Computing: 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings. De Paoli, F., Schulte, S. & Broch Johnsen, E. (eds.). Springer, p. 143-158 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

  • 2016

    Declarative Elasticity in ABS

    Gouw, S. D., Mauro, J., Nobakht, B. & Zavattaro, G., 2016, Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings. Aiello, M., Broch Johnsen, E., Dustdar, S. & Georgievski, I. (eds.). Springer, p. 118-134 17 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

  • Run-Time Checking Multi-threaded Java Programs

    Boer, F. S. D. & Gouw, S. D., 2016, SOFSEM 2016: Theory and Practice of Computer Science: 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings. Freivalds, R. M., Engels, G. & Catania, B. (eds.). Springer, p. 217-228 12 p. (Lecture Notes in Computer Science, Vol. 9587). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9587).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

  • 2015

    Being and Change: Reasoning About Invariance

    Boer, F. S. D. & Gouw, S. D., 2015, Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings. R. M., A. P. & H. W. (eds.). 1 ed. Cham: Springer, p. 191-204 14 p. (Lecture Notes in Computer Science, Vol. 9360).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

  • Formal Verification of Service Level Agreements Through Distributed Monitoring

    Nobakht, B., Gouw, S. D. & Boer, F. S. D., 2015, Service Oriented and Cloud Computing: 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015. Proceedings. S. D., F. L. & M. V. (eds.). Springer, p. 125-140 16 p. (Lecture Notes in Computer Science, Vol. 9306).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

  • On the Integration of Automatic Deployment into the ABS Modeling Language

    Gouw, S. D., Lienhardt, M., Mauro, J., Nobakht, B. & Zavattaro, G., 2015, Service Oriented and Cloud Computing: 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015. Proceedings. S. D., F. L. & M. V. (eds.). Springer, p. 49-64 16 p. (Lecture Notes in Computer Science, Vol. 9306).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

  • OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case

    Gouw, S. D., Rot, J., Boer, F. S. D., Bubel, R. & Hähnle, R., 2015, Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. D. K. & Păsăreanu, C. S. (eds.). Springer, p. 273-289 17 p.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

  • 2014

    Combining Monitoring with Run-Time Assertion Checking

    Boer, F. S. D. & Gouw, S. D., 2014, Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures. M. B., F. D., R. H., E. B. J. & I. S. (eds.). Springer, p. 217-262 46 p. (Lecture Notes in Computer Science, Vol. 8483).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

  • 2013

    Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study

    Gouw, S. D., Boer, F. S. D., Johnsen, E. B. & Wong, P. Y. H., 2013, Symposium on Applied Computing '13: Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013. New York, NY: ACM Digital Library, p. 1573-1578 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

  • Run-Time Verification of Coboxes

    Boer, F. S. D., Gouw, S. D. & Wong, P. Y. H., 2013, Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. R. M. H., M. G. M. & M. B. (eds.). Springer, p. 259-273 15 p. (Lecture Notes in Computer Science, Vol. 8137).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

  • Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks

    Gouw, S. D., Boer, F. S. D., Ahrendt, W. & Bubel, R., 2013, SOFSEM 2013: Theory and Practice of Computer Science: 39th International Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 26-31, 2013. Proceedings. P. V. E. B., F. C. A. G., G. F. I., J. N. & H. S. (eds.). Springer, p. 207-219 13 p. (Lecture Notes in Computer Science, Vol. 7741).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

  • 2012

    Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development

    Boer, F. S. D. & Gouw, S. D., 2012, Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers. C. S. P. & G. S. (eds.). Springer, p. 128-133 6 p. (Lecture Notes in Computer Science, Vol. 7684).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

  • 2010

    Monitoring Method Call Sequences Using Annotations

    Nobakht, B., Bonsangue, M. M., Boer, F. S. D. & Gouw, S. D., 2010, Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers. L. S. B. & M. L. (eds.). Springer, p. 53-70 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

  • Prototyping a tool environment for run-time assertion checking in JML with communication histories

    Boer, F. S. D., Gouw, S. D. & Vinju, J. J., 2010, Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP 2010, Maribor, Slovenia, June 22, 2010. New York, NY: ACM Digital Library, p. 6:1-6:7 6

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review