BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Poland
1 × USA
Collaborated with:
S.Jha M.Christodorescu R.Joiner T.W.Reps P.A.Porras H.Saïdi V.Yegneswaran
Talks about:
new (2) counterexampl (1) algorithm (1) properti (1) behavior (1) approxim (1) approach (1) abstract (1) satisfi (1) privaci (1)

Person: Matthew Fredrikson

DBLP DBLP: Fredrikson:Matthew

Contributed to:

CSL-LICS 20142014
CAV 20122012
CADE 20112011

Wrote 3 papers:

LICS-CSL-2014-FredriksonJ #approach #privacy #satisfiability
Satisfiability modulo counting: a new approach for analyzing privacy properties (MF, SJ), p. 10.
CAV-2012-FredriksonJJRPSY #abstraction #performance #policy #refinement #runtime #using
Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement (MF, RJ, SJ, TWR, PAP, HS, VY), pp. 548–563.
CADE-2011-FredriksonCJ #algorithm #analysis #approximate #behaviour #complexity
Dynamic Behavior Matching: A Complexity Analysis and New Approximation Algorithms (MF, MC, SJ), pp. 252–267.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.