Stefan Wils

According to our database, Stefan Wils authored at least 5 papers between 2007 and 2023.

Collaborative distances:

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

2023

Certifying C program correctness with respect to CH2O with VeriFast.

Stefan Wils, Bart Jacobs

CoRR, 2023

2021

Certifying C program correctness with respect to CompCert with VeriFast.

Stefan Wils, Bart Jacobs

CoRR, 2021

2012

STEPS: efficient simulation of stochastic reaction-diffusion models in realistic morphologies.

Iain Hepburn, Weiliang Chen, Stefan Wils, Erik De Schutter

BMC Syst. Biol., 2012

2009

STEPS: modeling and simulating complex reaction-diffusion systems with Python.

Stefan Wils, Erik De Schutter

Frontiers Neuroinformatics, 2009

2007

Interoperability of Neuroscience Modeling Software: Current Status and Future Directions.

Robert C. Cannon, Marc-Oliver Gewaltig, Padraig Gleeson, Upinder S. Bhalla, Hugo Cornelis, Michael L. Hines, Fredrick W. Howell, Eilif Mueller, Joel R. Stiles, Stefan Wils, Erik De Schutter

Neuroinformatics, 2007