 | 2008 |
|---|
| 6 |       | Ronald Middelkoop,
Cornelis Huizing,
Ruurd Kuiper,
Erik J. Luit:
Invariants for Non-Hierarchical Object Structures.
Electr. Notes Theor. Comput. Sci. 195: 211-229 (2008) |
| 5 | | Ronald Middelkoop,
Cornelis Huizing,
Ruurd Kuiper,
Erik J. Luit:
Specification and Verification of Invariants by Exploiting Layers in OO Designs.
Fundam. Inform. 85(1-4): 377-398 (2008) |
| 2006 |
|---|
| 4 | | Ronald Middelkoop,
Cornelis Huizing,
Ruurd Kuiper,
Erik J. Luit:
Cooperation-based Invariants for OO Languages.
Electr. Notes Theor. Comput. Sci. 160: 225-237 (2006) |
| 1996 |
|---|
| 3 |  | Jack P. C. Verhoosel,
Lonnie R. Welch,
Dieter K. Hammer,
Erik J. Luit:
Incorporating Temporal Considerations during Assignment and Pre-run-time Scheduling of Objects and Processes.
J. Parallel Distrib. Comput. 36(1): 13-31 (1996) |
| 1995 |
|---|
| 2 | | Jack P. C. Verhoosel,
Dieter K. Hammer,
Erik J. Luit,
Lonnie R. Welch,
Alexander D. Stoyenko:
A Model for Scheduling of Object-Based, Distributed Real-Time Systems.
Real-Time Systems 8(1): 5-34 (1995) |
| 1991 |
|---|
| 1 | | Jack P. C. Verhoosel,
Erik J. Luit,
Dieter K. Hammer,
E. Jansen:
A Static Scheduling Algorithm for Distributed Real-Time Systems.
Real-Time Systems 3(3): 227-246 (1991) |
