Reports, Dept. of Computer Science : [4] Collection home page

When downloading papers please observe the normal copyright codes and conventions for their use.

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 4 of 4
First PublishedTitleAuthor(s)Type
29-Dec-2015T2: Temporal Property VerificationBrockschmidt, Mark; Cook, Byron; Ishtiaq, Samin; Khlaaf, Heidy; Piterman, NirReport
5-Sep-2014The Handbook of Engineering Self-Aware and Self-Expressive SystemsChen, Tao; Faniyi, Funmilade; Bahsoon, Rami; Lewis, Peter R.; Yao, Xin; Minku, Leandro L.; Esterle, LukasReport
18-May-2015Survey of Aspect-Oriented Analysis and Design ApproachesChitchyan, Ruzanna; Rashid, A.; Sawyer, P.; Garcia, A.; Alarcon, M. P.; Bakker, J.; Tekinerdogan, B.; Clarke, S.; Jackson, A.Report
2014Faster temporal reasoning for infinite-state programsPiterman, Nir; Cook, Byron; Khlaaf, HeidyReport
Collection's Items (Sorted by Submit Date in Descending order): 1 to 4 of 4