Modeling Real-Time Systems

Local and global deadlock-detection in component-based systems are NP-hard

Information Processing Letters

Liveness in Interaction Systems

Electronic Notes in Theoretical Computer Science (ENTCS)

Compositional analysis of deadlock-freedom for tree-like component architectures

EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software

Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems

RP '09 Proceedings of the 3rd International Workshop on Reachability Problems

Deriving complexity results for interaction systems from 1-safe Petri nets

SOFSEM'08 Proceedings of the 34th conference on Current trends in theory and practice of computer science