Stroboscope: Declarative Network Monitoring on a Budget https://stroboscope.ethz.ch Olivier Tilmans Tobias Bühler Ingmar Poese

Source URL: nsg.ee.ethz.ch

• Internet architecture
• Computing
• Network architecture
• Information and communications technology
• Computer networking
• Routing
• Internet Standards
• Networking hardware
• Router
• Forwarding plane
• Multiprotocol Label Switching
• NetFlow

Stroboscope: Declarative Network Monitoring on a Budget † ‡ § * Olivier Tilmans , Tobias Bühler , Ingmar Poese , Stefano Vissicchio

Source URL: stroboscope.ethz.ch

• Computing
• Internet architecture
• Information and communications technology
• Computer networking
• NetFlow
• Data transmission
• Port mirroring
• Router

LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based

Source URL: www.cl.cam.ac.uk

• Computer programming
• Software engineering
• Computing
• Fold
• Recursion
• LaTeX

Stroboscope: Declarative Network Monitoring on a Budget https://stroboscope.ethz.ch Olivier Tilmans Tobias Bühler Ingmar Poese

Source URL: www0.cs.ucl.ac.uk

• Internet architecture
• Computing
• Network architecture
• Information and communications technology
• Computer networking
• Routing
• Internet Standards
• Networking hardware
• Router
• Forwarding plane
• Multiprotocol Label Switching
• NetFlow

Mille-Feuille: Putting ISP traffic under the scalpel Olivier Tilmans ‡∗, Tobias Bühler §, Stefano Vissicchio †, Laurent Vanbever § ‡ Université catholique de Louvain, § ETH Zürich, † University College Lo

Source URL: www0.cs.ucl.ac.uk

• Computing
• Information and communications technology
• Network architecture
• Internet architecture
• Internet Standards
• Routing protocols
• Computer networking
• Network protocols
• Computer network
• Network switch
• Port mirroring
• NetFlow

Tobias Nipkow Programming and Proving in Isabelle/HOL le l

Source URL: mirror.clarkson.edu

• Type theory
• Theoretical computer science
• Proof assistants
• Mathematical logic
• Programming language theory
• Formal methods
• Lambda calculus
• Logic in computer science
• Isabelle
• HOL
• HindleyMilner type system
• Automated theorem proving

Tobias Nipkow Markus Wenzel Lawrence C. Paulson lle

Source URL: www.cl.cam.ac.uk

• Mathematics
• Logic
• Mathematical logic
• Recursion
• Theoretical computer science
• Mathematical proofs
• Type theory
• Mathematical induction
• Structural induction
• Recursive definition
• Automated theorem proving
• Natural deduction

Pycket: A Tracing JIT For a Functional Language Spenser Bauman a Carl Friedrich Bolz b Robert Hirschfeld c Vasily Kirilichev c Tobias Pape c

Source URL: homes.sice.indiana.edu

LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based

Source URL: isabelle.in.tum.de

• Computer programming
• Software engineering
• Computing
• Fold
• Recursion
• LaTeX

Tobias Nipkow Programming and Proving in Isabelle/HOL le l

Source URL: www.cl.cam.ac.uk

• Type theory
• Theoretical computer science
• Proof assistants
• Mathematical logic
• Programming language theory
• Formal methods
• Lambda calculus
• Logic in computer science
• Isabelle
• HOL
• HindleyMilner type system
• Automated theorem proving