Maxime Van Assche

Learn More
In this work, we present a new constraint-based workflow definition language called <i>Saturn</i>, which uses <i>Linear-time Temporal Logic</i> (LTL) to express workflow constraints. A declarative approach to model business processes has recently been advocated as a viable complement to, or even replacement of, more traditional imperative-style workflow(More)
We analyze the integration of automatic memory management in a real-time context. We focus on integrating a real-time (copying) garbage collector with hard real-time static-priority periodic tasks. This integration is done by considering the copying collector as an aperiodic task served by a polling server. We analyze the schedulability of this system for(More)
  • 1