Peter Bulychev

Peter Bulychev

Aalborg University - Aalborg / Denmark
Others
AD Scientific Index ID: 1508637
Universitas Alburgensis
person_outline Peter Bulychev's MOST POPULAR ARTICLES
1-) UPPAAL-SMC: Statistical model checking for priced timed automataP Bulychev, A David, KG Larsen, M Mikučionis, DB Poulsen, A Legay, ...arXiv preprint arXiv:1207.1272, 20121862012
2-) Duplicate code detection using anti-unificationP Bulychev, M MineaProceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 20081032008
3-) Monitor-based statistical model checking for weighted metric temporal logicP Bulychev, A David, K Guldstrand Larsen, A Legay, G Li, ...Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012572012
4-) Rewrite-based statistical model checking of WMTLP Bulychev, A David, KG Larsen, A Legay, G Li, DB PoulsenRuntime Verification: Third International Conference, RV 2012, Istanbul …, 2013542013
5-) An evaluation of duplicate code detection using anti-unificationP Bulychev, M MineaProc. 3rd International Workshop on Software Clones, 54-55, 2009472009