Stijn de Gouw

According to our database1, Stijn de Gouw authored at least 28 papers between 2010 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
On the modeling of optimal and automatized cloud application deployment.
J. Log. Algebr. Meth. Program., 2019

Verifying OpenJDK's Sort Method for Generic Collections.
J. Autom. Reasoning, 2019

2018
Compositional Semantics for Concurrent Object Groups in ABS.
Proceedings of the Principled Software Development, 2018

2017
Human-in-the-Loop Simulation of Cloud Services.
Proceedings of the Service-Oriented and Cloud Computing, 2017

Run-Time Deadlock Detection.
Proceedings of the Provably Correct Systems, 2017

2016
Verification of Counting Sort and Radix Sort.
Proceedings of the Deductive Software Verification - The KeY Book, 2016

Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic.
Software and Systems Modeling, 2016

Run-Time Checking Multi-threaded Java Programs.
Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 2016

Declarative Elasticity in ABS.
Proceedings of the Service-Oriented and Cloud Computing, 2016

Effectively Eliminating Auxiliaries.
Proceedings of the Theory and Practice of Formal Methods, 2016

Statically and Dynamically Verifiable SLA Metrics.
Proceedings of the Theory and Practice of Formal Methods, 2016

2015
Testing abstract behavioral specifications.
STTT, 2015

Fixing the Sorting Algorithm for Android, Java and Python.
ERCIM News, 2015

Formal Verification of Service Level Agreements Through Distributed Monitoring.
Proceedings of the Service Oriented and Cloud Computing - 4th European Conference, 2015

On the Integration of Automatic Deployment into the ABS Modeling Language.
Proceedings of the Service Oriented and Cloud Computing - 4th European Conference, 2015

OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Being and Change: Reasoning About Invariance.
Proceedings of the Correct System Design, 2015

2014
Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study.
LNCS Trans. Aspect Oriented Softw. Dev., 2014

Monitoring method call sequences using annotations.
Sci. Comput. Program., 2014

Proof Pearl: The KeY to Correct and Stable Sorting.
J. Autom. Reasoning, 2014

Combining Monitoring with Run-Time Assertion Checking.
Proceedings of the Formal Methods for Executable Software Models, 2014

2013
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks.
Proceedings of the SOFSEM 2013: Theory and Practice of Computer Science, 2013

Run-Time Verification of Coboxes.
Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

2012
Verification of object-oriented programs: A transformational approach.
J. Comput. Syst. Sci., 2012

Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development.
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

2010
Monitoring Method Call Sequences Using Annotations.
Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

Prototyping a tool environment for run-time assertion checking in JML with communication histories.
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010


  Loading...