Titlesort icon Journal Title, Volume, Page Full Text Year of Publication
Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services. IFIP Advances in Information and Communication Technology, Band 329 , S. 102-113. Springer Boston 2010
Accelerating Online Model Checking 6'th Latin-American Symposium on Dependable Computing (LADC 2013), S. 40-47, 2 2013