Sander de Putter

11 papers B 3Journal 4Unranked 4
YearRankTypeTitle / 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