Code synthesis for timed automata
Nordic Journal of Computing
A generic approach to schedulability analysis of real-time tasks
Nordic Journal of Computing
A Sound Observational Semantics for Modal Transition Systems
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
A Strict-Observational Interface Theory for Analysing Service Orchestrations
Electronic Notes in Theoretical Computer Science (ENTCS)
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
Modal interface theories for communication-safe component assemblies
ICTAC'11 Proceedings of the 8th international conference on Theoretical aspects of computing
| Hi-index | 0.00 |