Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Stijn de Gouw
@article{DBLP:journals/fac/BoerGKJUW23,
author = {Martin de Boer and
Stijn de Gouw and
Jonas Klamroth and
Christian Jung and
Mattias Ulbrich and
Alexander Weigl},
title = {Formal Specification and Verification of JDK's Identity Hash Map Implementation},
journal = {Formal Aspects Comput.},
volume = {35},
number = {3},
pages = {18:1--18:26},
year = {2023},
url = {https://doi.org/10.1145/3594729},
doi = {10.1145/3594729},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BoerGKJUW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/TatmanHG23,
author = {Andy S. Tatman and
Hans{-}Dieter A. Hiep and
Stijn de Gouw},
editor = {Paula Herber and
Anton Wijs},
title = {Analysis and Formal Specification of OpenJDK's BitSet},
booktitle = {iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands,
November 13-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14300},
pages = {134--152},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_8},
doi = {10.1007/978-3-031-47705-8\_8},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/TatmanHG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BoerHG23,
author = {Frank S. de Boer and
Hans{-}Dieter A. Hiep and
Stijn de Gouw},
editor = {Revantha Ramanayake and
Josef Urban},
title = {The Logic of Separation Logic: Models and Proofs},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
September 18-21, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14278},
pages = {407--426},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43513-3\_22},
doi = {10.1007/978-3-031-43513-3\_22},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/BoerHG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BoumaGJ23,
author = {Jelle Bouma and
Stijn de Gouw and
Sung{-}Shik Jongmans},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Multiparty Session Typing in Java, Deductively},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13994},
pages = {19--27},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30820-8\_3},
doi = {10.1007/978-3-031-30820-8\_3},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BoumaGJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-08962,
author = {Frank S. de Boer and
Hans{-}Dieter A. Hiep and
Stijn de Gouw},
editor = {Marie Kerjean and
Paul Blain Levy},
title = {Dynamic Separation Logic},
booktitle = {Proceedings of the 39th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXIX, Indiana University, Bloomington,
IN, USA, June 21-23, 2023},
series = {{EPTICS}},
volume = {3},
publisher = {EpiSciences},
year = {2023},
url = {https://doi.org/10.46298/entics.12297},
doi = {10.46298/ENTICS.12297},
timestamp = {Wed, 03 Jan 2024 15:36:41 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-08962.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BianHBG22,
author = {Jinting Bian and
Hans{-}Dieter A. Hiep and
Frank S. de Boer and
Stijn de Gouw},
title = {Integrating ADTs in KeY and their application to history-based reasoning
about collection},
journal = {Formal Methods Syst. Des.},
volume = {61},
number = {1},
pages = {63--89},
year = {2022},
url = {https://doi.org/10.1007/s10703-023-00426-x},
doi = {10.1007/S10703-023-00426-X},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BianHBG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HiepMBBG22,
author = {Hans{-}Dieter A. Hiep and
Olaf Maathuis and
Jinting Bian and
Frank S. de Boer and
Stijn de Gouw},
title = {Verifying OpenJDK's LinkedList using KeY (extended paper)},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {24},
number = {5},
pages = {783--802},
year = {2022},
url = {https://doi.org/10.1007/s10009-022-00679-7},
doi = {10.1007/S10009-022-00679-7},
timestamp = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/HiepMBBG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BoerG20,
author = {Frank S. de Boer and
Stijn de Gouw},
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Einar Broch Johnsen},
title = {Reasoning About Active Objects: {A} Sound and Complete Assertional
Proof Method},
booktitle = {The Logic of Software. {A} Tasting Menu of Formal Methods - Essays
Dedicated to Reiner H{\"{a}}hnle on the Occasion of His 60th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {13360},
pages = {173--192},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08166-8\_9},
doi = {10.1007/978-3-031-08166-8\_9},
timestamp = {Sun, 25 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BoerG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BoerGHB22,
author = {Frank S. de Boer and
Stijn de Gouw and
Hans{-}Dieter A. Hiep and
Jinting Bian},
editor = {Silvia Lizeth Tapia Tarifa and
Jos{\'{e}} Proen{\c{c}}a},
title = {Footprint Logic for Object-Oriented Components},
booktitle = {Formal Aspects of Component Software - 18th International Conference,
{FACS} 2022, Virtual Event, November 10-11, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13712},
pages = {141--160},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-20872-0\_9},
doi = {10.1007/978-3-031-20872-0\_9},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/BoerGHB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BoerGKJUW22,
author = {Martin de Boer and
Stijn de Gouw and
Jonas Klamroth and
Christian Jung and
Mattias Ulbrich and
Alexander Weigl},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {Formal Specification and Verification of JDK's Identity Hash Map Implementation},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {45--62},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_4},
doi = {10.1007/978-3-031-07727-2\_4},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BoerGKJUW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BianHBG21,
author = {Jinting Bian and
Hans{-}Dieter A. Hiep and
Frank S. de Boer and
Stijn de Gouw},
editor = {Marieke Huisman and
Corina S. Pasareanu and
Naijun Zhan},
title = {Integrating ADTs in KeY and Their Application to History-Based Reasoning},
booktitle = {Formal Methods - 24th International Symposium, {FM} 2021, Virtual
Event, November 20-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13047},
pages = {255--272},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-90870-6\_14},
doi = {10.1007/978-3-030-90870-6\_14},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/BianHBG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/HiepBBG20,
author = {Hans{-}Dieter A. Hiep and
Jinting Bian and
Frank S. de Boer and
Stijn de Gouw},
editor = {Brijesh Dongol and
Elena Troubitsyna},
title = {History-Based Specification and Verification of Java Collections in
KeY},
booktitle = {Integrated Formal Methods - 16th International Conference, {IFM} 2020,
Lugano, Switzerland, November 16-20, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12546},
pages = {199--217},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63461-2\_11},
doi = {10.1007/978-3-030-63461-2\_11},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/HiepBBG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/JagerG20,
author = {Erwin de Jager and
Stijn de Gouw},
editor = {Yannis Manolopoulos and
George A. Papadopoulos and
Theodoros Tzouramanis},
title = {Hybrid Analysis of {BPEL} Models with Grammars},
booktitle = {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} 2020), Limassol, Cyprus,
January 20-24, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2568},
pages = {73--84},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2568/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:30 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/JagerG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HiepMBBEG20,
author = {Hans{-}Dieter A. Hiep and
Olaf Maathuis and
Jinting Bian and
Frank S. de Boer and
Marko C. J. D. van Eekelen and
Stijn de Gouw},
editor = {Armin Biere and
David Parker},
title = {Verifying OpenJDK's LinkedList using KeY},
booktitle = {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, {ETAPS}
2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12079},
pages = {217--234},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45237-7\_13},
doi = {10.1007/978-3-030-45237-7\_13},
timestamp = {Fri, 14 May 2021 08:34:19 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HiepMBBEG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/HiepBBG20,
author = {Hans{-}Dieter A. Hiep and
Jinting Bian and
Frank S. de Boer and
Stijn de Gouw},
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Reiner H{\"{a}}hnle and
Mattias Ulbrich},
title = {A Tutorial on Verifying LinkedList Using KeY},
booktitle = {Deductive Software Verification: Future Perspectives - Reflections
on the Occasion of 20 Years of KeY},
series = {Lecture Notes in Computer Science},
volume = {12345},
pages = {221--245},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64354-6\_9},
doi = {10.1007/978-3-030-64354-6\_9},
timestamp = {Thu, 17 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/HiepBBG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GouwBBHRS19,
author = {Stijn de Gouw and
Frank S. de Boer and
Richard Bubel and
Reiner H{\"{a}}hnle and
Jurriaan Rot and
Dominic Steinh{\"{o}}fel},
title = {Verifying OpenJDK's Sort Method for Generic Collections},
journal = {J. Autom. Reason.},
volume = {62},
number = {1},
pages = {93--126},
year = {2019},
url = {https://doi.org/10.1007/s10817-017-9426-4},
doi = {10.1007/S10817-017-9426-4},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/GouwBBHRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/GouwMZ19,
author = {Stijn de Gouw and
Jacopo Mauro and
Gianluigi Zavattaro},
title = {On the modeling of optimal and automatized cloud application deployment},
journal = {J. Log. Algebraic Methods Program.},
volume = {107},
pages = {108--135},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2019.06.001},
doi = {10.1016/J.JLAMP.2019.06.001},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlap/GouwMZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/GierKGV19,
author = {Floren de Gier and
Davy Kager and
Stijn de Gouw and
Tanja E. J. Vos},
editor = {Manuel Kolp and
Jean Vanderdonckt and
Monique Snoeck and
Yves Wautelet},
title = {Offline Oracles for Accessibility Evaluation with the {TESTAR} Tool},
booktitle = {13th International Conference on Research Challenges in Information
Science, {RCIS} 2019, Brussels, Belgium, May 29-31, 2019},
pages = {1--12},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/RCIS.2019.8877081},
doi = {10.1109/RCIS.2019.8877081},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcis/GierKGV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-04195,
author = {Hans{-}Dieter A. Hiep and
Olaf Maathuis and
Jinting Bian and
Frank S. de Boer and
Marko C. J. D. van Eekelen and
Stijn de Gouw},
title = {Verifying OpenJDK's LinkedList using KeY},
journal = {CoRR},
volume = {abs/1911.04195},
year = {2019},
url = {http://arxiv.org/abs/1911.04195},
eprinttype = {arXiv},
eprint = {1911.04195},
timestamp = {Sun, 01 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-04195.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BoerG18,
author = {Frank S. de Boer and
Stijn de Gouw},
editor = {Peter M{\"{u}}ller and
Ina Schaefer},
title = {Compositional Semantics for Concurrent Object Groups in {ABS}},
booktitle = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
on the Occasion of his 60th Birthday},
pages = {87--98},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98047-8\_6},
doi = {10.1007/978-3-319-98047-8\_6},
timestamp = {Wed, 31 Oct 2018 17:54:14 +0100},
biburl = {https://dblp.org/rec/conf/birthday/BoerG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1908-10040,
author = {Frank S. de Boer and
Elena Giachino and
Stijn de Gouw and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Cosimo Laneve and
Ka I Pun and
Gianluigi Zavattaro},
editor = {Davide Ancona and
Gordon Pace},
title = {Analysis of {SLA} Compliance in the Cloud - An Automated, Model-based
Approach},
booktitle = {Proceedings of the Second Workshop on Verification of Objects at RunTime
EXecution, VORTEX@ECOOP/ISSTA 2018, Amsterdam, Netherlands, 17th July
2018},
series = {{EPTCS}},
volume = {302},
pages = {1--15},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.302.1},
doi = {10.4204/EPTCS.302.1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-10040.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/BezirgiannisBG17,
author = {Nikolaos Bezirgiannis and
Frank S. de Boer and
Stijn de Gouw},
editor = {Flavio De Paoli and
Stefan Schulte and
Einar Broch Johnsen},
title = {Human-in-the-Loop Simulation of Cloud Services},
booktitle = {Service-Oriented and Cloud Computing - 6th {IFIP} {WG} 2.14 European
Conference, {ESOCC} 2017, Oslo, Norway, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10465},
pages = {143--158},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67262-5\_11},
doi = {10.1007/978-3-319-67262-5\_11},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/esocc/BezirgiannisBG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/BoerG17,
author = {Frank S. de Boer and
Stijn de Gouw},
editor = {Michael G. Hinchey and
Jonathan P. Bowen and
Ernst{-}R{\"{u}}diger Olderog},
title = {Run-Time Deadlock Detection},
booktitle = {Provably Correct Systems},
series = {{NASA} Monographs in Systems and Software Engineering},
pages = {245--264},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-48628-4\_10},
doi = {10.1007/978-3-319-48628-4\_10},
timestamp = {Wed, 14 Nov 2018 10:12:22 +0100},
biburl = {https://dblp.org/rec/books/sp/17/BoerG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/GouwBAB16,
author = {Stijn de Gouw and
Frank S. de Boer and
Wolfgang Ahrendt and
Richard Bubel},
title = {Integrating deductive verification and symbolic execution for abstract
object creation in dynamic logic},
journal = {Softw. Syst. Model.},
volume = {15},
number = {4},
pages = {1117--1140},
year = {2016},
url = {https://doi.org/10.1007/s10270-014-0446-9},
doi = {10.1007/S10270-014-0446-9},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/GouwBAB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GiachinoGLN16,
author = {Elena Giachino and
Stijn de Gouw and
Cosimo Laneve and
Behrooz Nobakht},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marcello M. Bonsangue and
Einar Broch Johnsen},
title = {Statically and Dynamically Verifiable {SLA} Metrics},
booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
de Boer on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9660},
pages = {211--225},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30734-3\_15},
doi = {10.1007/978-3-319-30734-3\_15},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/GiachinoGLN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GouwR16,
author = {Stijn de Gouw and
Jurriaan Rot},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marcello M. Bonsangue and
Einar Broch Johnsen},
title = {Effectively Eliminating Auxiliaries},
booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
de Boer on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9660},
pages = {226--241},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30734-3\_16},
doi = {10.1007/978-3-319-30734-3\_16},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/GouwR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/GouwMNZ16,
author = {Stijn de Gouw and
Jacopo Mauro and
Behrooz Nobakht and
Gianluigi Zavattaro},
editor = {Marco Aiello and
Einar Broch Johnsen and
Schahram Dustdar and
Ilche Georgievski},
title = {Declarative Elasticity in {ABS}},
booktitle = {Service-Oriented and Cloud Computing - 5th {IFIP} {WG} 2.14 European
Conference, {ESOCC} 2016, Vienna, Austria, September 5-7, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9846},
pages = {118--134},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44482-6\_8},
doi = {10.1007/978-3-319-44482-6\_8},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esocc/GouwMNZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BoerG16,
author = {Frank S. de Boer and
Stijn de Gouw},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Run-Time Checking Multi-threaded Java Programs},
booktitle = {{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},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {217--228},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_18},
doi = {10.1007/978-3-662-49192-8\_18},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/BoerG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/GouwBR16,
author = {Stijn de Gouw and
Frank S. de Boer and
Jurriaan Rot},
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Reiner H{\"{a}}hnle and
Peter H. Schmitt and
Mattias Ulbrich},
title = {Verification of Counting Sort and Radix Sort},
booktitle = {Deductive Software Verification - The KeY Book - From Theory to Practice},
series = {Lecture Notes in Computer Science},
volume = {10001},
pages = {609--618},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49812-6\_19},
doi = {10.1007/978-3-319-49812-6\_19},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/series/lncs/GouwBR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/WongBBGGHMS15,
author = {Peter Y. H. Wong and
Richard Bubel and
Frank S. de Boer and
Miguel G{\'{o}}mez{-}Zamalloa and
Stijn de Gouw and
Reiner H{\"{a}}hnle and
Karl Meinke and
Muddassar Azam Sindhu},
title = {Testing abstract behavioral specifications},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {17},
number = {1},
pages = {107--119},
year = {2015},
url = {https://doi.org/10.1007/s10009-014-0301-x},
doi = {10.1007/S10009-014-0301-X},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/WongBBGGHMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BoerG15,
author = {Frank S. de Boer and
Stijn de Gouw},
editor = {Roland Meyer and
Andr{\'{e}} Platzer and
Heike Wehrheim},
title = {Being and Change: Reasoning About Invariance},
booktitle = {Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger
Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany,
September 8-9, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9360},
pages = {191--204},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23506-6\_13},
doi = {10.1007/978-3-319-23506-6\_13},
timestamp = {Mon, 02 Sep 2019 16:45:58 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BoerG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GouwRBBH15,
author = {Stijn de Gouw and
Jurriaan Rot and
Frank S. de Boer and
Richard Bubel and
Reiner H{\"{a}}hnle},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad
and the Worst Case},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {9206},
pages = {273--289},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21690-4\_16},
doi = {10.1007/978-3-319-21690-4\_16},
timestamp = {Fri, 27 Mar 2020 08:45:57 +0100},
biburl = {https://dblp.org/rec/conf/cav/GouwRBBH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/GouwLMNZ15,
author = {Stijn de Gouw and
Michael Lienhardt and
Jacopo Mauro and
Behrooz Nobakht and
Gianluigi Zavattaro},
editor = {Schahram Dustdar and
Frank Leymann and
Massimo Villari},
title = {On the Integration of Automatic Deployment into the {ABS} Modeling
Language},
booktitle = {Service Oriented and Cloud Computing - 4th European Conference, {ESOCC}
2015, Taormina, Italy, September 15-17, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9306},
pages = {49--64},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24072-5\_4},
doi = {10.1007/978-3-319-24072-5\_4},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esocc/GouwLMNZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/NobakhtGB15,
author = {Behrooz Nobakht and
Stijn de Gouw and
Frank S. de Boer},
editor = {Schahram Dustdar and
Frank Leymann and
Massimo Villari},
title = {Formal Verification of Service Level Agreements Through Distributed
Monitoring},
booktitle = {Service Oriented and Cloud Computing - 4th European Conference, {ESOCC}
2015, Taormina, Italy, September 15-17, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9306},
pages = {125--140},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24072-5\_9},
doi = {10.1007/978-3-319-24072-5\_9},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esocc/NobakhtGB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/GouwB15,
author = {Stijn de Gouw and
Frank S. de Boer},
title = {Fixing the Sorting Algorithm for Android, Java and Python},
journal = {{ERCIM} News},
volume = {2015},
number = {102},
year = {2015},
url = {http://ercim-news.ercim.eu/en102/r-i/fixing-the-sorting-algorithm-for-android-java-and-python},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/GouwB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GouwBR14,
author = {Stijn de Gouw and
Frank S. de Boer and
Jurriaan Rot},
title = {Proof Pearl: The KeY to Correct and Stable Sorting},
journal = {J. Autom. Reason.},
volume = {53},
number = {2},
pages = {129--139},
year = {2014},
url = {https://doi.org/10.1007/s10817-013-9300-y},
doi = {10.1007/S10817-013-9300-Y},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/GouwBR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/NobakhtBBGJ14,
author = {Behrooz Nobakht and
Frank S. de Boer and
Marcello M. Bonsangue and
Stijn de Gouw and
Mohammad Mahdi Jaghoori},
title = {Monitoring method call sequences using annotations},
journal = {Sci. Comput. Program.},
volume = {94},
pages = {362--378},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.11.030},
doi = {10.1016/J.SCICO.2013.11.030},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/NobakhtBBGJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taosd/BoerGJKW14,
author = {Frank S. de Boer and
Stijn de Gouw and
Einar Broch Johnsen and
Andreas Kohn and
Peter Y. H. Wong},
title = {Run-Time Assertion Checking of Data- and Protocol-Oriented Properties
of Java Programs: An Industrial Case Study},
journal = {{LNCS} Trans. Aspect Oriented Softw. Dev.},
volume = {11},
pages = {1--26},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-55099-7\_1},
doi = {10.1007/978-3-642-55099-7\_1},
timestamp = {Thu, 04 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taosd/BoerGJKW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BoerG14,
author = {Frank S. de Boer and
Stijn de Gouw},
editor = {Marco Bernardo and
Ferruccio Damiani and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Ina Schaefer},
title = {Combining Monitoring with Run-Time Assertion Checking},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {8483},
pages = {217--262},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07317-0\_6},
doi = {10.1007/978-3-319-07317-0\_6},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BoerG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/GouwBJW13,
author = {Stijn de Gouw and
Frank S. de Boer and
Einar Broch Johnsen and
Peter Y. H. Wong},
editor = {Sung Y. Shin and
Jos{\'{e}} Carlos Maldonado},
title = {Run-time checking of data- and protocol-oriented properties of Java
programs: an industrial case study},
booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing,
{SAC} '13, Coimbra, Portugal, March 18-22, 2013},
pages = {1573--1578},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2480362.2480656},
doi = {10.1145/2480362.2480656},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/GouwBJW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BoerGW13,
author = {Frank S. de Boer and
Stijn de Gouw and
Peter Y. H. Wong},
editor = {Robert M. Hierons and
Mercedes G. Merayo and
Mario Bravetti},
title = {Run-Time Verification of Coboxes},
booktitle = {Software Engineering and Formal Methods - 11th International Conference,
{SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8137},
pages = {259--273},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40561-7\_18},
doi = {10.1007/978-3-642-40561-7\_18},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BoerGW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/GouwBAB13,
author = {Stijn de Gouw and
Frank S. de Boer and
Wolfgang Ahrendt and
Richard Bubel},
editor = {Peter van Emde Boas and
Frans C. A. Groen and
Giuseppe F. Italiano and
Jerzy R. Nawrocki and
Harald Sack},
title = {Weak Arithmetic Completeness of Object-Oriented First-Order Assertion
Networks},
booktitle = {{SOFSEM} 2013: Theory and Practice of Computer Science, 39th International
Conference on Current Trends in Theory and Practice of Computer Science,
{\v{S}}pindler{\r{u}}v Ml{\'{y}}n, Czech Republic, January 26-31,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7741},
pages = {207--219},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35843-2\_19},
doi = {10.1007/978-3-642-35843-2\_19},
timestamp = {Mon, 28 Aug 2023 21:17:48 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/GouwBAB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/AptBOG12,
author = {Krzysztof R. Apt and
Frank S. de Boer and
Ernst{-}R{\"{u}}diger Olderog and
Stijn de Gouw},
title = {Verification of object-oriented programs: {A} transformational approach},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {3},
pages = {823--852},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.08.002},
doi = {10.1016/J.JCSS.2011.08.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/AptBOG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BoerG12,
author = {Frank S. de Boer and
Stijn de Gouw},
editor = {Corina S. Pasareanu and
Gwen Sala{\"{u}}n},
title = {Run-Time Verification of Black-Box Components Using Behavioral Specifications:
An Experience Report on Tool Development},
booktitle = {Formal Aspects of Component Software, 9th International Symposium,
{FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7684},
pages = {128--133},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35861-6\_8},
doi = {10.1007/978-3-642-35861-6\_8},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/BoerG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BoerGV10,
author = {Frank S. de Boer and
Stijn de Gouw and
Jurgen J. Vinju},
title = {Prototyping a tool environment for run-time assertion checking in
{JML} with communication histories},
booktitle = {Proceedings of the 12th Workshop on Formal Techniques for Java-Like
Programs, {FTFJP} 2010, Maribor, Slovenia, June 22, 2010},
pages = {6:1--6:7},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1924520.1924526},
doi = {10.1145/1924520.1924526},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/BoerGV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/NobakhtBBG10,
author = {Behrooz Nobakht and
Marcello M. Bonsangue and
Frank S. de Boer and
Stijn de Gouw},
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {Monitoring Method Call Sequences Using Annotations},
booktitle = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {53--70},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-27269-1\_4},
doi = {10.1007/978-3-642-27269-1\_4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/NobakhtBBG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
