| UPPAAL-SMC: Statistical model checking for priced timed automata P Bulychev, A David, KG Larsen, M Mikučionis, DB Poulsen, A Legay, ... arXiv preprint arXiv:1207.1272, 2012 | 217 | 2012 |
| Duplicate code detection using anti-unification P Bulychev, M Minea Proceedings of the spring/summer young researchers’ colloquium on software …, 2008 | 74 | 2008 |
| Monitor-based statistical model checking for weighted metric temporal logic P Bulychev, A David, K Guldstrand Larsen, A Legay, G Li, ... Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012 | 58 | 2012 |
| Rewrite-based statistical model checking of WMTL P Bulychev, A David, KG Larsen, A Legay, G Li, DB Poulsen Runtime Verification: Third International Conference, RV 2012, Istanbul …, 2013 | 54 | 2013 |
| An evaluation of duplicate code detection using anti-unification P Bulychev, M Minea Proc. 3rd International Workshop on Software Clones, 54-55, 2009 | 47 | 2009 |
| Anti-unification algorithms and their applications in program analysis PE Bulychev, EV Kostylev, VA Zakharov Perspectives of Systems Informatics: 7th International Andrei Ershov …, 2010 | 42 | 2010 |
| Checking and distributing statistical model checking P Bulychev, A David, K Guldstrand Larsen, A Legay, M Mikučionis, ... NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA …, 2012 | 41 | 2012 |
| Efficient on-the-fly algorithm for checking alternating timed simulation P Bulychev, T Chatain, A David, KG Larsen Formal Modeling and Analysis of Timed Systems: 7th International Conference …, 2009 | 28 | 2009 |
| Computing Nash equilibrium in wireless ad hoc networks: A simulation-based approach P Bulychev, A David, KG Larsen, A Legay, M Mikučionis arXiv preprint arXiv:1202.4506, 2012 | 17 | 2012 |
| Computing (bi) simulation relations preserving CTL* X. for ordinary and fair Kripke structures PE Bulychev, IV Konnov, VA Zakharov Труды Института системного программирования РАН 12, 59-76, 2007 | 17 | 2007 |
| Distributed parametric and statistical model checking P Bulychev, A David, KG Larsen, M Mikučionis, A Legay arXiv preprint arXiv:1111.0370, 2011 | 11 | 2011 |
| Efficient controller synthesis for a fragment of P Bulychev, A David, KG Larsen, G Li Acta Informatica 51, 165-192, 2014 | 10 | 2014 |
| Tools for Model‐Checking Timed Systems A David, G Behrmann, P Bulychev, J Byg, T Chatain, KG Larsen, ... Communicating Embedded Systems: Software and Design: Formal Methods, 165-225, 2013 | 9 | 2013 |
| Duplicate code detection using Clone Digger P Bulychev Python Mag 9, 18-24, 2008 | 6 | 2008 |
| Controllers with minimal observation power (application to timed systems) P Bulychev, F Cassez, A David, KG Larsen, JF Raskin, PA Reynier International Symposium on Automated Technology for Verification and …, 2012 | 3 | 2012 |
| Game-theoretic simulation checking tool PE Bulychev Programming and Computer Software 37, 200-209, 2011 | 3 | 2011 |
| Checking simulation relation between timed game automata P Bulychev, A David, KG Larsen, T Chatain Proceedings of the 7th International Conference on Formal Modelling and …, 2009 | 3 | 2009 |
| Efficient controller synthesis for a fragment of . P Bulychev, A David, K Larsen, G Li Acta Informatica 51, 2014 | | 2014 |
| Efficient controller synthesis for a fragment of MTL0, &infin P Bulychev, A David, KG Larsen, G Li | | 2014 |
| Computing (bi) simulation relations preserving CTL PE Bulychev, IV Konnov, VA Zakharov Российская Академия наук Институт Системного Программирования, 59, 0 | | |
