Published in HMD Praxis der Wirtschaftsinformatik
Die Unterstützung wissensintensiver Geschäftsprozesse gewinnt in Unternehmen eine zunehmende Bedeutung. Wissensintensive Prozesse sind daten- und zielgetrieben, oft schwach strukturiert und in ihrer Ausführung von Fall zu Fall individuell. Sie unterscheiden sich dadurch von stark strukturierten, stets wiederholbaren Routineprozessen. In Abhängigkei...
How can we reduce the required effort to develop certified programs in proof assistants such as Coq? A major trend is to introduce untrusted oracles able to justify their answers by producing a certificate, i.e. a witness of their computations. A trustworthy result is then built from this certificate by a certified checker. This alleviates the burd...
Ph.D.
A minimization of disturbance caused by aircraft noise events and a reduction of fuel consumption during the initial and final phase of flight. These are the two objectives that play an important role in the Flexible Runway Allocation Model. By taking into account fuel consumption alongside noise annoyance, this model enables to analyze and optimiz...
Ph.D.
While concerns about global warming have never been so important, one of its first causes: global electricity consumption, is still growing. One way to stem the phenomenon could be to better balance demand and production, in order to switch on less big production groups and to allow the integration of more renewable production sources. The new para...
Polyhedra are used in verification and automatic parallelization to capture linear relations between variables. A polyhedron can be represented as constraints, generators or both in the double description framework. Whatever the representation, most polyhedral operators spend a significant amount of time to maintain minimal representations. To mini...
In the Spy game, a spy is placed first at some vertex of a graph G. Then, k > 0 guards are also occupying some vertices of G. At each turn, the spy moves at speed s ≥ 2, i.e., along at most s edges and then, each guard moves at speed 1. The spy and any number of guards may occupy the same vertex. The goal of the guards is to control the spy at dist...
This research focuses on designing transportation plan for SNCF Transilien (French rail-way operator for the Parisian suburban mass transit). The objective is to develop methods and decision support tools to propose a timetable adapted to the passenger demand in the Parisian mass transit system, including comfort and reliability criterias.
This pape...
In the Spy Game played on a graph G, a single spy travels the vertices of G at speed s, while multiple slow guards strive to have, at all times, one of them within distance d of that spy. In order to determine the smallest number of guards necessary for this task, we analyze the game through a Linear Programming formulation and the fractional strat...
