Sander de Putter

Year	Rank	Type	Title / Venue / Authors
2020	J	`jnl`	Compositional model checking with divergence preserving branching bisimilarity is lively. Sci. Comput. Program. Sander de Putter, Frédéric Lang, Anton Wijs
2020	B	`conf`	Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion. IFM Sander de Putter, Anton Wijs
2018	J	`jnl`	A formal verification technique for behavioural model-to-model transformations. Formal Aspects Comput. Sander de Putter, Anton Wijs
2018	—	`conf`	The SLCO Framework for Verified, Model-Driven Construction of Component Software. FACS Sander de Putter, Anton Wijs, Dan Zhang
2018	B	`conf`	To Compose, or Not to Compose, That Is the Question: An Analysis of Compositional State Space Generation. FM Sander de Putter, Anton Wijs
2017	—	`conf`	Compositional Model Checking Is Lively. FACS Sander de Putter, Anton Wijs
2016	B	`conf`	Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique. FASE Sander de Putter, Anton Wijs
2014	—	`conf`	Testing Conformance of EJB 3 Enterprise Application Servers. ICEIS (3) Sander de Putter, Serguei A. Roubtsov, Alexander Serebrenik
2008	J	`jnl`	Towards patient-specific risk assessment of abdominal aortic aneurysm. Medical Biol. Eng. Comput. 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, Evelyne van Dam, Frans N. van de Vosse
2006	J	`jnl`	Computational Mesh Generation for Vascular Structures with Deformable Surfaces. Int. J. Comput. Assist. Radiol. Surg. Sander de Putter, Frans N. van de Vosse, Frans A. Gerritsen, F. Laffargue, Marcel Breeuwer
2004	—	`conf`	Assessment of the rupture risk of abdominal aortic aneurysms by patient-specific hemodynamic modeling - initial results. CARS 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

Year

Rank

Type

Title / Venue / Authors

2020

jnl

Compositional model checking with divergence preserving branching bisimilarity is lively.

Sci. Comput. Program.

Sander de Putter, Frédéric Lang, Anton Wijs

2020

conf

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

IFM

Sander de Putter, Anton Wijs

2018

jnl

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

Formal Aspects Comput.

Sander de Putter, Anton Wijs

2018

—

conf

The SLCO Framework for Verified, Model-Driven Construction of Component Software.

FACS

Sander de Putter, Anton Wijs, Dan Zhang

2018

conf

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

Sander de Putter, Anton Wijs

2017

—

conf

Compositional Model Checking Is Lively.

FACS

Sander de Putter, Anton Wijs

2016

conf

Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique.

FASE

Sander de Putter, Anton Wijs

2014

—

conf

Testing Conformance of EJB 3 Enterprise Application Servers.

ICEIS (3)

Sander de Putter, Serguei A. Roubtsov, Alexander Serebrenik

2008

jnl

Towards patient-specific risk assessment of abdominal aortic aneurysm.

Medical Biol. Eng. Comput.

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, Evelyne van Dam, Frans N. van de Vosse

2006

jnl

Computational Mesh Generation for Vascular Structures with Deformable Surfaces.

Int. J. Comput. Assist. Radiol. Surg.

Sander de Putter, Frans N. van de Vosse, Frans A. Gerritsen, F. Laffargue, Marcel Breeuwer

2004

—

conf

Assessment of the rupture risk of abdominal aortic aneurysms by patient-specific hemodynamic modeling - initial results.

CARS

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