Archives for INGI
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 
October 27, 2017
Monitoring the Quality of Cloud Services using...
Cloud Computing represents a new trend in the development and
use of software. Many organizations are currently adopting the use of
services that are hosted in the cloud by employing the Software as a
Service (SaaS) model. Services are typically accompanied by a Service
Level Agreement...
Click to know more