selected publications
-
academic article
- Message Scheduled System (MSS): A Composable Architecture for Distributed Real-Time Systems. . 1-11. 2006
- Verification of Non-functional Properties of a Composable Architecture with Petrinets. Fundamenta Informaticae. 51:185-200. 2002
-
chapter
- Design and Implementation of the Rebeca Publish/Subscribe Middleware. Lecture Notes in Computer Science. 124-140. 2010
-
conference paper