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


CW572
Sven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor
Experience with widening based equivalence checking in realistic multimedia systems
December 2009
abstract.html / report.pdf (297K) / email to: S. Verdoolaege

CW571
Bart Demoen and Phuong-Lan Nguyen
Representation sharing for Prolog
November 2009
abstract.html / report.pdf (263K) / email to: B. Demoen

CW570
Bart Jacobs, Jan Smans, and Frank Piessens
Verification of unloadable C modules - Soundness proof
November 2009
abstract.html / report.pdf (295K) / email to: B. Jacobs

CW569
Ares Lagae, Sylvain Lefebvre and Philip Dutré
Improving Gabor noise
November 2009
abstract.html / report.pdf (614K) / email to: A. Lagae

CW568
Frédéric Vogels, Bart Jacobs, Frank Piessens
A machine-checked soundness proof for an efficient verification condition generator: technical report
April 2010
abstract.html / report.pdf (1.2M) / email to: F. Vogels

CW567
Bart Jacobs, Jan Smans, and Frank Piessens
Verification of unloadable C modules - status report
October 2009
abstract.html / report.pdf (263K) / email to: B. Jacobs

CW566
Willem De Roover, Nelis Boucké, Danny Weyns and Tom Holvoet
DynCNET: a negotiation and coordination protocol for dynamic task assignment
October 2009
abstract.html / report.pdf (598K) / email to: N. Boucké

CW565
Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe
Equivalence checking of static affine programs using widening to handle recurrences
September 2009
abstract.html / report.pdf (434K) / email to: S. Verdoolaege

CW564
Danny Hughes, Klaas Thoelen, Wouter Horré, Nelson Matthys, Javier Del Cid, Sam Michiels, Christophe Huygens, Wouter Joosen
LooCI: A loosely-coupled component infrastructure for networked embedded systems
September 2009
abstract.html / report.pdf (268K) / email to: D. Hughes

CW563
Daan Fierens
Mapping logical Bayesian networks to probabilistic logic programs with distribution semantics
August 2009
abstract.html / report.pdf (214K) / email to: D. Fierens

CW562
Pieter Wuille and Tom Schrijvers
The FD-MCP framework
August 2009
abstract.html / report.pdf (305K) / email to: P. Wuille

CW561
Pedro Javier del Cid, Sam Michiels, Wouter Joosen
Adaptable resource management for WSNs
August 2009
abstract.html / report.pdf (159K) / email to: P.J. del Cid

CW560
Dimitri Van Landuyt, Eddy Truyen, and Wouter Joosen
Discovery of stable domain abstractions for reusable pointcut interfaces: common case study for AO modeling
August 2009
abstract.html / report.pdf (2.5M) / email to: D. Van Landuyt

CW559
Toon Lenaerts and Phil Dutré
An architecture for unified SPH simulations
August 2009
abstract.html / report.pdf (2.2M) / email to: T. Lenaerts

CW558
Manh Thang Nguyen, Danny De Schreye, Juergen Giesl, Peter Schneider-Kamp
Polytool: Polynomial interpretations as a basis for termination analysis of logic programs
July 2009
abstract.html / report.pdf (527K) / email to: D. De Schreye

CW557
Peter Vangorp, Timothy S. Condon, James A. Ferwerda, Kavita Bala, Roeland Schoukens, Philip Dutré
Visual equivalence in dynamic scenes
July 2009
abstract.html / report.pdf ( 15M) / email to: P. Vangorp

CW556
Bruno C. d. S. Oliveira, Tom Schrijvers, and William R. Cook
EffectiveAdvice: Overview, background and proofs
July 2009
abstract.html / report.pdf (722K) / email to: T. Schrijvers

CW555
Frank Raiser and Jon Sneyers
Proceedings of the sixth international workshop on constraint handling rules
July 2009
abstract.html / report.pdf (1.5M) / email to: J. Sneyers

CW554
Yves Younan, Pieter Philippaerts, Lorenzo Cavallaro, R. Sekar, Frank Piessens, and Wouter Joosen
PAriCheck: An efficient pointer arithmetic checker for C programs
June 2009
abstract.html / report.pdf (253K) / email to: Y. Younan

CW553
Phuong-Lan Nguyen and Bart Demoen
Input sharing for findall/3
June 2009
abstract.html / report.pdf (152K) / email to: B. Demoen

CW552
Luc De Raedt, Angelika Kimmig, Bernd Gutmann, Kristian Kersting, Vitor Santos Costa, Hannu Toivonen
Probabilistic inductive querying using ProbLog
June 2009
abstract.html / report.pdf (416K) / email to: A. Kimmig

CW551
Bart Jacobs and Frank Piessens
Modular full functional specification and verification of lock-free data structures
June 2009
abstract.html / report.pdf (252K) / email to: B. Jacobs

CW550
Cedric Cuypers, Bart Jacobs, and Frank Piessens
Verification of data-race-freedom of a Java chat server with VeriFast
June 2009
abstract.html / report.pdf (192K) / email to: B. Jacobs

CW549
Bart Jacobs, Frank Piessens
Dynamic Owicki-Gries reasoning using ghost fields and fractional permissions
June 2009
abstract.html / report.pdf (145K) / email to: B. Jacobs

CW548
Jurgen Laurijssen, Philip Dutré
Adaptive precomputation of glossy interreflections
June 2009
abstract.html / report.pdf (901K) / email to: J. Laurijssen

CW547
Ares Lagae, Matthias Zwicker, Philip Dutré
On anisotropic noise
May 2009
abstract.html / report.pdf (846K) / email to: A. Lagae

CW546
Ares Lagae, Peter Vangorp, Toon Lenaerts, Philip Dutré
Isotropic stochastic procedural textures by example
May 2009
abstract.html / report.pdf ( 14M) / email to: A. Lagae

CW545
Ares Lagae, Sylvain Lefebvre, George Drettakis, Philip Dutré
Procedural noise using sparse Gabor convolution - Auxiliary material
May 2009
abstract.html / report.pdf (6.4M) / email to: A. Lagae

CW544
Marko van Dooren, Wouter Joosen
Modular anchored exception declarations
August 2009
abstract.html / report.pdf (627K) / email to: M. van Dooren

CW543
Tom Goovaerts, Bart De Win, and Wouter Joosen
Policy evaluation contracts
May 2009
abstract.html / report.pdf (145K) / email to: T. Goovaerts

CW542
Jan Smans, Bart Jacobs, Frank Piessens
Implicit dynamic frames: Combining dynamic frames and separation logic (soundness proof)
June 2009
abstract.html / report.pdf (388K) / email to: J. Smans

CW541
Paolo Pilozzi and Danny De Schreye
Scaling termination proofs by a characterization of cycles in CHR
April 2009
abstract.html / report.pdf (385K) / email to: P. Pilozzi

CW540
Quan Phan and Gerda Janssens
Region-based memory management for Mercury programs. Part 1: Static analysis and transformation
April 2009
abstract.html / report.pdf (331K) / email to: Q. Phan

CW539
Girma Nigusse, Bart De Decker
Capabilities and limitations of P3P
May 2009
abstract.html / report.pdf (827K) / email to: B. De Decker

CW538
Nelis Boucké, Danny Weyns, and Tom Holvoet
Traceable and semantic preserving composition of architectural models
April 2009
abstract.html / report.pdf (1.5M) / email to: N. Boucké

CW537
Dean Voets and Danny De Schreye
A new approach to non-termination analysis of Logic Programs
March 2009
abstract.html / report.pdf (324K) / email to: D. Voets

CW536
Yi-Dong Shen, Danny De Schreye, and Dean Voets
Termination prediction for general logic programs
March 2009
abstract.html / report.pdf (350K) / email to: D. Voets

CW535
Robrecht Haesevoets, Danny Weyns, Tom Holvoet
A formal specification of an organization model and management model for context-driven dynamic organizations
January 2009
abstract.html / report.pdf (392K) / email to: R. Haesevoets

CW534
Marko van Dooren and Wouter Joosen
A modular type system for first-class composition inheritance
January 2009
abstract.html / report.pdf (779K) / email to: M. van Dooren

CW533
Nelis Boucké, Danny Weyns, Tom Holvoet
Traceable and information-preserving composition of structural models
January 2009
abstract.html / report.pdf (1.3M) / email to: N. Boucké