AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Robert Mittermayr

Robert Mittermayr

Technische Universität Wien - Vienna / Austria
Others
AD Scientific Index ID: 6111030
Technical University of Vienna
person_outline Robert Mittermayr's MOST POPULAR ARTICLES
1-) Timing analysis of concurrent programs 12th International Workshop on Worst-Case Execution Time Analysis (2012), 59-68, 2012
2-) Kronecker algebra-based deadlock analysis for railway systems Promet-Traffic&Transportation 24 (5), 359-369, 2012
3-) Shared memory concurrent system verification using Kronecker algebra arXiv preprint arXiv:1109.5522, 2011
4-) Static detection of livelocks in ada multitasking programs International Conference on Reliable Software Technologies, 69-83, 2007
5-) Deadlock and WCET analysis of barrier-synchronized concurrent programs Computing 103 (5), 749-770, 2021