Pierre Verbaeten

Learn More
In this paper, we present a mechanism to capture and reestablish the state of Java threads. We achieve this by extracting a thread’s execution state from the application code that is executing in this thread. This thread serialization mechanism is implemented by instrumenting the original application code at the byte code level, without modifying the Java(More)
<i>Support for dynamic and client-specific customization is required in many application areas. We present a (distributed) application as consisting of a minimal functional core &#8212; implemented as a component-based system, and an unbound set of potential extensions that can be selectively integrated within this core functionality. An extension to this(More)
Sensor networks are being deployed for substantial periods of activity, and are being used by multiple applications with possibly diverse requirements. Since manually upgrading or updating sensor software is often impossible, run-time software reconfiguration represents a considerable success factor for many practical usage scenarios of sensor networks.(More)
Programmable networks let third parties dynamically reprogram the network elements. By opening the execution environment of routers, firewalls, base stations, and so on, users and service providers can adapt the behavior of these network elements to meet their own needs. Programmable networks are therefore an interesting technology for building adaptive(More)
In this paper, we study the problems of thread identity that arise with adapting a local Java program for execution in a distributed environment. When using a distributed control flow programming model like Java RMI or OMG CORBA, the programmer should take into account an inherent shift of semantics. We experienced a particular problem with shift of thread(More)
Recent evolution in computer networks clearly demonstrates a trend towards &#60;i>complex&#60;/i> and &#60;i>dynamic&#60;/i> networks. To fully exploit the potential of such heterogeneous and rapidly evolving networks, it is essential for the protocol stacks of the connected devices to adapt themselves at runtime as the environment changes in which they(More)
In this paper, we present a new formalismfor modelling concurrent systems, called Petri charts, which is based on Petri nets and statechart principles. It aims at beneeting from the power of both methods in order to provide a modelling method that has substantial expressive power and abstraction function-alities, which are necessary for introducing a formal(More)