Compositional Performance Analysis Using Probabilistic I/O Automata
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the workshop weighted automata: Theory and applications (Dresden University of Technology (Germany), March 4-8, 2002)
Categorical foundations for randomly timed automata
Theoretical Computer Science
Communication Analysis for System-On-Chip Design
Proceedings of the conference on Design, automation and test in Europe - Volume 1
Probabilistic performance risk analysis at system-level
CODES+ISSS '07 Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis
On the verification of probabilistic I/O automata with unspecified rates
Proceedings of the 2009 ACM symposium on Applied Computing
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Hi-index | 0.00 |