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
Statically and Dynamically Verifiable SLA Metrics
Giachino, Elena, de Gouw, Stijn, Laneve, Cosimo, Nobakht, Behrooz
Published in Theory and Practice of Formal Methods (2016)
Published in Theory and Practice of Formal Methods (2016)
Get full text
Book Chapter
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
On the modeling of optimal and automatized cloud application deployment
de Gouw, Stijn, Mauro, Jacopo, Zavattaro, Gianluigi
Published in Journal of logical and algebraic methods in programming (01.10.2019)
Published in Journal of logical and algebraic methods in programming (01.10.2019)
Get full text
Journal Article
Formal Specification and Verification of JDK’s Identity Hash Map Implementation
De Boer, Martin, De Gouw, Stijn, Klamroth, Jonas, Jung, Christian, Ulbrich, Mattias, Weigl, Alexander
Published in Formal aspects of computing (13.09.2023)
Published in Formal aspects of computing (13.09.2023)
Get full text
Journal Article
Dynamic Separation Logic
de Boer, Frank S., Hiep, Hans-Dieter A., de Gouw, Stijn
Published in Electronic Notes in Theoretical Informatics and Computer Science (23.11.2023)
Published in Electronic Notes in Theoretical Informatics and Computer Science (23.11.2023)
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
Proof Pearl: The KeY to Correct and Stable Sorting
de Gouw, Stijn, de Boer, Frank, Rot, Jurriaan
Published in Journal of automated reasoning (01.08.2014)
Published in Journal of automated reasoning (01.08.2014)
Get full text
Journal Article
Analysis of SLA Compliance in the Cloud -- An Automated, Model-based Approachv
de Boer, Frank, 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 (2019)
Get full text
Published in Electronic proceedings in theoretical computer science (2019)
Journal Article