Joakim Bjørk

Latest

• A formal model of service-oriented dynamic object groups
• User-defined Schedulers for Real-Time Concurrent Objects
• A Type-Safe Model of Adaptive Object Groups
• Lightweight Time Modeling in Timed Creol
• An Object-Oriented Component Model for Heterogeneous Nets