Archives for INGI

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...

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...

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...

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...