Sander de Putter

Publication Activity (10 Years)

Years Active: 2004-2020
Publications (10 Years): 7

Top Topics

Formal Verification

Application Server

Top Venues

Formal Aspects Comput.

Sci. Comput. Program.

Publications

Sander de Putter, Frédéric Lang, Anton Wijs
Compositional model checking with divergence preserving branching bisimilarity is lively. Sci. Comput. Program. 196 (2020)
Sander de Putter, Anton Wijs
Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion. IFM (2020)
Sander de Putter, Anton Wijs, Dan Zhang
The SLCO Framework for Verified, Model-Driven Construction of Component Software. FACS (2018)
Sander de Putter, Anton Wijs
A formal verification technique for behavioural model-to-model transformations. Formal Aspects Comput. 30 (1) (2018)
Sander de Putter, Anton Wijs
To Compose, or Not to Compose, That Is the Question: An Analysis of Compositional State Space Generation. FM (2018)
Sander de Putter, Anton Wijs
Compositional Model Checking Is Lively. FACS (2017)
Sander de Putter, Anton Wijs
Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique. FASE (2016)
Sander de Putter, Serguei A. Roubtsov, Alexander Serebrenik
Testing Conformance of EJB 3 Enterprise Application Servers. ICEIS (3) (2014)
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
Towards patient-specific risk assessment of abdominal aortic aneurysm. Medical Biol. Eng. Comput. 46 (11) (2008)
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
Assessment of the rupture risk of abdominal aortic aneurysms by patient-specific hemodynamic modeling - initial results. CARS (2004)