In multistage cutting stock problems (CSP) the cutting process is distributed over several successive stages. Every stage except the last one produces intermediate products. The l...
The transparency created by enterprise models is a valuable support for organizational engineering and especially enterprise transformation. However, current approaches are hardly...
We investigate the decidability and complexity of various model checking problems over one-counter automata. More specifically, we consider succinct one-counter automata, in which...
This position paper describes an approach to predict the performances of a Web application already in the early stages of application development. It leverages the wealth of inform...
We present in this paper a review of some recent work dedicated to the numerical interfacial coupling of fluid models. One main motivation of the whole work is to provide some mean...