 | 2008 |
|---|
| 5 |       | Eric Verhulst,
Gjalt G. de Jong,
Vitaliy Mezhuyev:
An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOS.
FM 2008: 411-418 |
| 2007 |
|---|
| 4 | | Eric Verhulst,
Gjalt G. de Jong:
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling.
SDL Forum 2007: 258-271 |
| 1999 |
|---|
| 3 | | Oliver Botti,
Vincenzo De Florio,
Geert Deconinck,
Flavio Cassinari,
Susanna Donatelli,
Andrea Bobbio,
A. Klein,
H. Kufner,
Rudy Lauwereins,
Erwin M. Thurner,
Eric Verhulst:
TIRAN: Flexible and Portable Fault Tolerance Solutions for Cost Effective Dependable Applications.
Euro-Par 1999: 1166-1170 |
| 1998 |
|---|
| 2 | | Serge Hustin,
Miodrag Potkonjak,
Eric Verhulst,
Wayne Wolf:
Real-time operating systems for embedded computing.
ICCAD 1998: 2 |
| 1994 |
|---|
| 1 | | Eric Verhulst:
Virtuoso: A virtual single processor programming system for distributed real-time applications.
Microprocessing and Microprogramming 40(2-3): 103-115 (1994) |
