Archives for INGI
January 31, 2018
INGI Seminar - Vivide: Interleaving of Modification and...
Many programmers use programming tools but hesitate to modify them to accommodate challenging scenarios—taking on the role of a tool builder seems too costly, maybe not even rewarding. We propose a new perspective on graphical tools and provide a framework to build and modify such tools with a...
Click to know more 
January 30, 2018
ICTEAM - Public Thesis defense - Sascha Van Cauwelaert
Engineering Scalable Propagation in Constraint Programming
Constraint Programming is a declarative paradigm to solve combinatorial problems. This thesis focuses on one of its core components, propagation, which is responsible for eliminating provable wrong combinations. Besides, the amount of...
Click to know more 
December 19, 2017
ICTEAM - Public Thesis defense - Quentin Cappart
Verification of Railway Interlocking Systems and Optimisation of Railway Traffic
Since the dawn of the nineteenth century, development of railway systems has taken a huge importance in many countries. Over the years, the number of trains, the number of tracks, the complexity of networks...
Click to know more 
November 23, 2017
An In-Depth Study of More Than Ten Years of Java...
When created, the Java platform was among the first runtimes designed with security in mind. Yet, numerous Java versions were shown to contain far-reaching vulnerabilities, permitting denial-of-service attacks or even worse allowing intruders to bypass the runtime’s sandbox mechanisms, opening...
Click to know more 
November 14, 2017
Multimodeling for Quality Assurance in Software Product...
A software product line (SPL) is a set of software-intensive
systems that share a common, managed set of features and that are
developed from a common set of core assets in a prescribed way. Quality
assurance is a goal for success in software industry, but it is even
more important in SPL...
Click to know more