Sander de Putter

According to our database, Sander de Putter authored at least 10 papers between 2004 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Compositional model checking with divergence preserving branching bisimilarity is lively.

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

Sci. Comput. Program., 2020

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

Sander de Putter, Anton Wijs

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

2018

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

Sander de Putter, Anton Wijs

Formal Aspects Comput., 2018

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

Sander de Putter, Anton Wijs

Proceedings of the Formal Methods - 22nd International Symposium, 2018

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

Sander de Putter, Anton Wijs, Dan Zhang

Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

2017

Compositional Model Checking Is Lively.

Sander de Putter, Anton Wijs

Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

2016

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

Sander de Putter, Anton Wijs

Proceedings of the Fundamental Approaches to Software Engineering, 2016

2014

Testing Conformance of EJB 3 Enterprise Application Servers.

Sander de Putter, Serguei A. Roubtsov, Alexander Serebrenik

Proceedings of the ICEIS 2014, 2014

2008

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

Medical Biol. Eng. Comput., 2008

2004

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

Proceedings of the CARS 2004. Computer Assisted Radiology and Surgery. Proceedings of the 18th International Congress and Exhibition, 2004