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 B. Muller; Joel R. Stiles; Stefan Wils; Erik De Schutter (Neuroinformatics, 2007)

STEPS: modeling and simulating complex reaction-diffusion systems with Python. - Stefan Wils; Erik De Schutter (Frontiers Neuroinformatics, 2009)

STEPS: efficient simulation of stochastic reaction-diffusion models in realistic morphologies. - Iain Hepburn; Weiliang Chen; Stefan Wils; Erik De Schutter (BMC Syst. Biol., 2012)

Certifying C program correctness with respect to CompCert with VeriFast. - Stefan Wils; Bart Jacobs 002 (CoRR, 2021)

Certifying C program correctness with respect to CH2O with VeriFast. - Stefan Wils; Bart Jacobs 002 (CoRR, 2023)