Assessment of the rupture risk of abdominal aortic aneurysms by patient-specific hemodynamic modeling - initial results. - Marcel Breeuwer; U. Götte; Romhild Hoogeveen; Berent J. B. M. Wolters; Sander de Putter; Harrie van den Bosch; Jaap Buth; Jean-Michel Rouet; Franck Laffargue (CARS, 2004)

Computational Mesh Generation for Vascular Structures with Deformable Surfaces. - Sander de Putter; Frans N. van de Vosse; Frans A. Gerritsen; F. Laffargue; Marcel Breeuwer (Int. J. Comput. Assist. Radiol. Surg., 2006)

Towards patient-specific risk assessment of abdominal aortic aneurysm. - Marcel Breeuwer; Sander de Putter; Ursula Kose; L. Speelman; Kees P. Visser; Frans A. Gerritsen; Romhild Hoogeveen; Rob Krams; Harrie van den Bosch; Jaap Buth; Tijmen Gunther; Berent J. B. M. Wolters; et al. (Medical Biol. Eng. Comput., 2008)

Testing Conformance of EJB 3 Enterprise Application Servers. - Sander de Putter; Serguei A. Roubtsov; Alexander Serebrenik (ICEIS (3), 2014)

Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique. - Sander de Putter; Anton Wijs (FASE, 2016)

Compositional Model Checking Is Lively. - Sander de Putter; Anton Wijs (FACS, 2017)

The SLCO Framework for Verified, Model-Driven Construction of Component Software. - Sander de Putter; Anton Wijs; Dan Zhang 002 (FACS, 2018)

To Compose, or Not to Compose, That Is the Question: An Analysis of Compositional State Space Generation. - Sander de Putter; Anton Wijs (FM, 2018)

A formal verification technique for behavioural model-to-model transformations. - Sander de Putter; Anton Wijs (Formal Aspects Comput., 2018)

Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion. - Sander de Putter; Anton Wijs (IFM, 2020)

Compositional model checking with divergence preserving branching bisimilarity is lively. - Sander de Putter; Frédéric Lang; Anton Wijs (Sci. Comput. Program., 2020)