Home > Publications > Reports > Informatics (CW) > 2011


CW616
Dimiter Milushev and Dave Clarke
Towards incrementalization of holistic hyperproperties: extended version
December 2011
abstract.html / report.pdf (546K) / email to: D. Milushev

CW615
Ilya Sergey, Jan Midtgaard and Dave Clarke
Dominance analysis via ownership types and abstract interpretation
December 2011
abstract.html / report.pdf (342K) / email to: I. Sergey

CW613
Ilya Sergey and Dave Clarke
Gradual ownership types
December 2011
abstract.html / report.pdf (442K) / email to: I. Sergey

CW612
Milica Milutinovic, Koen Decroix, Vincent Naessens, Bart De Decker
Commercially-run home assistance centres
December 2011
abstract.html / report.pdf (1.7M) / email to: B. De Decker

CW611
Tom Bostoen, Sape Mullender and Yolande Berbers
Power-reduction techniques for data-center storage systems
October 2011
The legal reasons the report is not public. Please contact the authors.
abstract.html / email to: T. Bostoen

CW610
Dries Vanoverberghe, Jonathan de Halleux, Nikolai Tillmann, Frank Piessens
State Coverage: Software validation metrics beyond Code Coverage - Extended Version
October 2011
abstract.html / report.pdf (517K) / email to: D. Vanoverberghe

CW609
Radu Muschevici, José Proença and Dave Clarke
Modular Modelling of software product lines with feature nets
July 2011
abstract.html / report.pdf (568K) / email to: R. Muschevici

CW608
Ilya Sergey, Peter Gromov and Dave Clarke
Scripting an IDE for EDSL awareness
July 2011
abstract.html / report.pdf (433K) / email to: I. Sergey

CW607
Daan Fierens, Guy Van den Broeck, Ingo Thon, Bernd Gutmann, Luc De Raedt
Inference in Probabilistic Logic Programs using Weighted CNF's
June 2011
abstract.html / report.pdf (493K) / email to: D. Fierens

CW606
Dean Voets and Danny De Schreye
Non-termination analysis of logic programs with integer arithmetics
April 2011
abstract.html / report.pdf (288K) / email to: D. Voets

CW605
Ares Lagae and George Drettakis
Filtering solid Gabor noise - Supplemental material
April 2011
abstract.html / report.pdf (336K) / email to: A. Lagae

CW604
Bart Jacobs, Jan Smans, and Frank Piessens
Verification of unloadable C modules (Extended version)
March 2011
abstract.html / report.pdf (488K) / email to: B. Jacobs

CW603
Marco Patrignani, Dave Clarke, and Davide Sangiorgi
Ownership types for the join calculus
March 2011
abstract.html / report.pdf (579K) / email to: M. Patrignani

CW602
Nataliia Bielova, Dominique Devriese, Fabio Massacci, and Frank Piessens
Reactive non-interference for the browser: extended version
February 2011
abstract.html / report.pdf (543K) / email to: F. Piessens

CW601
José Proença and David Clarke
Reconciliation of feature models via pullbacks
January 2011
abstract.html / report.pdf (456K) / email to: J. Proença

CW600
Naeem Muhammad, Nelis Boucké, and Yolande Berbers
Towards model-based threadoptimization for parallelism-intensive software systems
February 2011
abstract.html / report.pdf (293K) / email to: N. Muhammad