S. D. Putter

Verification of concurrent systems in a model-driven engineering workflow

S.M.J. de Putter, S. D. Putter, 2019 .

Computational Mesh Generation for Vascular Structures with Deformable Surfaces

Marcel Breeuwer, Frans A. Gerritsen, S. de Putter, 2006, International Journal of Computer Assisted Radiology and Surgery.

Compositional model checking with divergence preserving branching bisimilarity is lively

Anton Wijs, Frédéric Lang, Sander de Putter, 2020, Sci. Comput. Program..

To Compose, or Not to Compose, That Is the Question: An Analysis of Compositional State Space Generation

Anton Wijs, Sander de Putter, Anton Wijs, 2018, FM.

A formal verification technique for behavioural model-to-model transformations

Anton Wijs, Sander de Putter, Anton Wijs, 2017, Formal Aspects of Computing.

Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion

Anton Wijs, Sander de Putter, Anton Wijs, 2020, IFM.