16 citations · 20 across the 4 of their papers we have counts for
4 papers
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…
Mechanizing a Process Algebra for Network Protocols
Timothy Bourke, Robert J. van Glabbeek, Peter Höfner
This paper presents the mechanization of a process algebra for Mobile Ad hoc Networks and Wireless Mesh Networks, and the development of a compositional framework for proving invar…
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…
Showing invariance compositionally for a process algebra for network protocols
Timothy Bourke, Robert J. van Glabbeek, Peter Höfner
This paper presents the mechanization of a process algebra for Mobile Ad hoc Networks and Wireless Mesh Networks, and the development of a compositional framework for proving invar…