Erik J. Luit

According to our database1, Erik J. Luit authored at least 12 papers between 1991 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Experience Report: Combining Mixed-Criticality Support with Resource Reservation and Spare Capacity Allocation.
Proceedings of the IEEE International Conference on Software Architecture Companion, 2019

2018
Experience Report: Towards Extending an OSEK-Compliant RTOS with Mixed Criticality Support.
e Informatica Softw. Eng. J., 2018

2017
Extending ExSched with Mixed Criticality Support - An Experience Report.
Proceedings of the 2017 IEEE International Conference on Software Architecture Workshops, 2017

2014
Pandora's Box.
Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

2008
Specification and Verification of Invariants by Exploiting Layers in OO Designs.
Fundam. Informaticae, 2008

2006
Invariants for Non-Hierarchical Object Structures.
Proceedings of the Brazilian Symposium on Formal Methods, 2006

2005
Cooperation-based Invariants for OO Languages.
Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

1996
Incorporating Temporal Considerations during Assignment and Pre-run-time Scheduling of Objects and Processes.
J. Parallel Distributed Comput., 1996

1995
A Model for Scheduling of Object-Based, Distributed Real-Time Systems.
Real Time Syst., 1995

1994
Dedos: a distributed real-time environment.
IEEE Parallel Distributed Technol. Syst. Appl., 1994

Assignment and pre-run-time scheduling of object-based, parallel real-time processes.
Proceedings of the Sixth IEEE Symposium on Parallel and Distributed Processing, 1994

1991
A Static Scheduling Algorithm for Distributed Real-Time Systems.
Real Time Syst., 1991


  Loading...