16 citations · 16 across the 1 of their papers we have counts for
2 papers
cs.PL2018★ 1 cited
Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers
Timothy Bourke, Jun Inoue, Marc Pouzet
This paper describes the design and implementation of a comprehensive OCaml interface to the Sundials library of numeric solvers for ordinary differential equations, differential a…
cs.NI2015★ 16 cited
A mechanized proof of loop freedom of the (untimed) AODV routing protocol
Timothy Bourke, Robert J. van Glabbeek, Peter Höfner
The Ad hoc On-demand Distance Vector (AODV) routing protocol allows the nodes in a Mobile Ad hoc Network (MANET) or a Wireless Mesh Network (WMN) to know where to forward data pack…