2008 |
4 | EE | 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 |
3 | EE | Eric Verhulst,
Gjalt G. de Jong:
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling.
SDL Forum 2007: 258-271 |
1999 |
2 | EE | 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 |
1 | EE | Serge Hustin,
Miodrag Potkonjak,
Eric Verhulst,
Wayne Wolf:
Real-time operating systems for embedded computing.
ICCAD 1998: 2 |