| OpenJDK’s Java. utils. Collection. sort () is broken: the good, the bad and the worst case S De Gouw, J Rot, FS de Boer, R Bubel, R Hähnle Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 86 | 2015 |
| Verifying OpenJDK’s sort method for generic collections S de Gouw, FS de Boer, R Bubel, R Hähnle, J Rot, D Steinhöfel Journal of Automated Reasoning 62, 93-126, 2019 | 31 | 2019 |
| Proof pearl: the KeY to correct and stable sorting S de Gouw, F de Boer, J Rot Journal of automated reasoning 53, 129-139, 2014 | 21 | 2014 |
| Verification of object-oriented programs: A transformational approach KR Apt, FS de Boer, ER Olderog, S de Gouw Journal of Computer and System Sciences 78 (3), 823-852, 2012 | 19 | 2012 |
| Testing abstract behavioral specifications PYH Wong, R Bubel, FS de Boer, M Gómez-Zamalloa, S De Gouw, ... International Journal on Software Tools for Technology Transfer 17, 107-119, 2015 | 17 | 2015 |
| Declarative elasticity in ABS S De Gouw, J Mauro, B Nobakht, G Zavattaro Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference …, 2016 | 14 | 2016 |
| On the integration of automatic deployment into the ABS modeling language S De Gouw, M Lienhardt, J Mauro, B Nobakht, G Zavattaro Service Oriented and Cloud Computing: 4th European Conference, ESOCC 2015 …, 2015 | 13 | 2015 |
| Prototyping a tool environment for run-time assertion checking in JML with communication histories FS de Boer, S de Gouw, J Vinju Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs …, 2010 | 13 | 2010 |
| Verifying OpenJDK’s LinkedList using KeY HDA Hiep, O Maathuis, J Bian, FS de Boer, M van Eekelen, S de Gouw Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020 | 12 | 2020 |
| Monitoring method call sequences using annotations B Nobakht, FS de Boer, MM Bonsangue, S de Gouw, MM Jaghoori Science of Computer Programming 94, 362-378, 2014 | 11 | 2014 |
| Combining monitoring with run-time assertion checking FS de Boer, S de Gouw Formal Methods for Executable Software Models: 14th International School on …, 2014 | 10 | 2014 |
| Statically and dynamically verifiable SLA metrics E Giachino, S De Gouw, C Laneve, B Nobakht Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on …, 2016 | 9 | 2016 |
| Run-time assertion checking of data-and protocol-oriented properties of java programs: an industrial case study FS de Boer, S de Gouw, EB Johnsen, A Kohn, PYH Wong Transactions on Aspect-Oriented Software Development XI, 1-26, 2014 | 9 | 2014 |
| Human-in-the-loop simulation of cloud services N Bezirgiannis, F De Boer, S De Gouw Service-Oriented and Cloud Computing: 6th IFIP WG 2.14 European Conference …, 2017 | 8 | 2017 |
| Formal verification of service level agreements through distributed monitoring B Nobakht, S De Gouw, FS de Boer Service Oriented and Cloud Computing: 4th European Conference, ESOCC 2015 …, 2015 | 7 | 2015 |
| On the modeling of optimal and automatized cloud application deployment S de Gouw, J Mauro, G Zavattaro Journal of Logical and Algebraic Methods in Programming 107, 108-135, 2019 | 6 | 2019 |
| Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic S de Gouw, F de Boer, W Ahrendt, R Bubel Software & Systems Modeling 15 (4), 1117-1140, 2016 | 6 | 2016 |
| Being and change: reasoning about invariance FS de Boer, S de Gouw Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the …, 2015 | 6 | 2015 |
| Run-time checking of data-and protocol-oriented properties of Java programs: an industrial case study S de Gouw, FS de Boer, EB Johnsen, PYH Wong Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1573-1578, 2013 | 6 | 2013 |
| Run-time verification of coboxes FS de Boer, S de Gouw, PYH Wong Software Engineering and Formal Methods: 11th International Conference, SEFM …, 2013 | 6 | 2013 |
