2008 |
6 | EE | 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 | EE | 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 | EE | 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) |