Stefan Wils

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 2

Top Topics

Computer Programs

Top Venues

Publications

Stefan Wils, Bart Jacobs
Certifying C program correctness with respect to CH2O with VeriFast. CoRR (2023)
Stefan Wils, Bart Jacobs
Certifying C program correctness with respect to CompCert with VeriFast. CoRR (2021)
Iain Hepburn, Weiliang Chen, Stefan Wils, Erik De Schutter
STEPS: efficient simulation of stochastic reaction-diffusion models in realistic morphologies. BMC Syst. Biol. 6 (2012)
Stefan Wils, Erik De Schutter
STEPS: modeling and simulating complex reaction-diffusion systems with Python. Frontiers Neuroinformatics 3 (2009)
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
Interoperability of Neuroscience Modeling Software: Current Status and Future Directions. Neuroinformatics 5 (2) (2007)