Search IDEALS This Collection

Computer Science Research and Tech Reports

Recent Additions

[2009-11-12] Formalization and Correctness of the PALS Pattern for Asynchronous Real-Time Systems

Jose Meseguer and Peter Olveczky (2009-11-12)

PDF (360KB)
[2009-11-04] Inferring Method Effect Summaries for Nested Heap Regions

Vakilian, Mohsen; Dig, Danny; Bocchino, Robert; Overbey, Jeffrey; Adve, Vikram; Johnson, Ralph (2009)

PDF (211KB)
[2009-11-01] Alibi: A framework for identifying insider-based jamming attacks in multi-channel wireless networks

Nguyen, Hoang (2009-10-31)

PDF (210KB)
[2009-10-30] Complexity bounds for the verification of real-time software

Chadha, Rohit; Legay, Axel; Prabhakar, Pavithra; Viswanathan, Mahesh (Springer Verlag, 2009)

PDF (232KB)
[2009-10-26] Drawing Trees: How Many Circles to Use?

Jia, Yuntao; Hart, John C. (2008-10-25)

PDF (2MB)