Efficient runtime-enforcement techniques for Policy weaving
- Richard Joiner
- Thomas Reps
- et al.
- 2014
- FSE 2014
Conference paper
Publications
5 results for Thomas Reps
Finding concurrency-related bugs using random isolation
- Nicholas Kidd
- Thomas Reps
- et al.
- 2011
- International Journal on Software Tools for Technology Transfer
PaperOn the computational complexity of dynamic graph problems
- G. Ramalingam
- Thomas Reps
- 1996
- Theoretical Computer Science
PaperAn Incremental Algorithm for a Generalization of the Shortest-Path Problem
- G. Ramalingam
- Thomas Reps
- 1996
- Journal of Algorithms
PaperIncremental algorithm for maintaining the dominator tree of a reducible flowgraph
- G. Ramalingam
- Thomas Reps
- 1994
- POPL 1994
Conference paper