Integrating ADTs in KeY and their application to history-based reasoning about collection
Bian, Jinting, Hiep, Hans-Dieter A., de Boer, Frank S., de Gouw, Stijn
Published in Formal methods in system design (01.08.2022)
Published in Formal methods in system design (01.08.2022)
Get full text
Journal Article
Verifying OpenJDK’s Sort Method for Generic Collections
de Gouw, Stijn, de Boer, Frank S., Bubel, Richard, Hähnle, Reiner, Rot, Jurriaan, Steinhöfel, Dominic
Published in Journal of automated reasoning (01.01.2019)
Published in Journal of automated reasoning (01.01.2019)
Get full text
Journal Article
A Petri Net Based Modeling of Active Objects and Futures
de Boer, Frank S., Bravetti, Mario, Lee, Matias D., Zavattaro, Gianluigi
Published in Fundamenta informaticae (01.01.2018)
Published in Fundamenta informaticae (01.01.2018)
Get full text
Journal Article
Multi-Threaded Actors
Azadbakht, Keyvan, de Boer, Frank S., Serbanescu, Vlad
Published in Electronic proceedings in theoretical computer science (10.08.2016)
Published in Electronic proceedings in theoretical computer science (10.08.2016)
Get full text
Journal Article
Verification of object-oriented programs: A transformational approach
Apt, Krzysztof R., de Boer, Frank S., Olderog, Ernst-Rüdiger, de Gouw, Stijn
Published in Journal of computer and system sciences (01.05.2012)
Published in Journal of computer and system sciences (01.05.2012)
Get full text
Journal Article
Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach
de Boer, Frank S., Giachino, Elena, de Gouw, Stijn, Hähnle, Reiner, Johnsen, Einar Broch, Laneve, Cosimo, Pun, Ka I, Zavattaro, Gianluigi
Published in Electronic proceedings in theoretical computer science (27.08.2019)
Published in Electronic proceedings in theoretical computer science (27.08.2019)
Get full text
Journal Article
Testing abstract behavioral specifications
Wong, Peter Y. H., Bubel, Richard, de Boer, Frank S., Gómez-Zamalloa, Miguel, de Gouw, Stijn, Hähnle, Reiner, Meinke, Karl, Sindhu, Muddassar Azam
Published in International journal on software tools for technology transfer (01.02.2015)
Published in International journal on software tools for technology transfer (01.02.2015)
Get full text
Journal Article
On the Nature of Symbolic Execution
de Boer, Frank S., Bonsangue, Marcello M.
Published in 2019 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.09.2019)
Published in 2019 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.09.2019)
Get full text
Conference Proceeding
A proof outline logic for object-oriented programming
Get full text
Journal Article
Conference Proceeding