Anil Madhavapeddy, Professor of Planetary Computing

Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language

Paper on a DSL for specifying temporal protocol automata at ICFEM 2009

Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language
Anil Madhavapeddy.
Paper in the formal Methods and Software Engineering.
URL (link.springer.com) DOI BIB PDF

# 1st Nov 2009

papers conference dsl formal fp security

This is a news item about a conference paper published on the 1st Nov 2009 by Anil Madhavapeddy. Browse related tags from the topics below, or switch to the wiki view to browse more entries.

conference164security145fp136ocaml124systems73conservation59biodiversity53unikernels52distributed45ai45mirageos43sensing39opensource38idea-done35journal34selfhosting31idea-ongoing30cloud30spatial30ocamllabs27idea-medium25idea-beginner22llms22forests22multicore22economics21carboncredits20preprint19evidence18xen17urop17ubicomp17idea-hard17hci16icfp16networks16mobile15satellite15devtools15embedded15

show: [all tags]

20257020246620233020221520211320201420197201810201752016920151520142120132020121620111520101620091220084200722006120059200472003720024200152000319991

This site is © 1998-2025 Anil Madhavapeddy, all rights reserved, except where the content is otherwise licensed. There are no third-party trackers. You can follow me on the usual social media and some self-hosted ones.

Chat (Bluesky / Mastodon / LinkedIn / ~~Twitter~~)
Video (Recoil / EEG / OCaml)
Code (GitHub / GitLab@cam)
Feed (Atom )