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
221 2012 Duplicate code detection using anti-unification P Bulychev, M Minea
Proceedings of the spring/summer young researchers’ colloquium on software …, 2008
75 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
55 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
43 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
18 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
12 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
