Follow
Peter Bulychev
Peter Bulychev
Verified email at cs.aau.dk
Title
Cited by
Cited by
Year
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
2172012
Duplicate code detection using anti-unification
P Bulychev, M Minea
Proceedings of the spring/summer young researchers’ colloquium on software …, 2008
742008
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
582012
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
542013
An evaluation of duplicate code detection using anti-unification
P Bulychev, M Minea
Proc. 3rd International Workshop on Software Clones, 54-55, 2009
472009
Anti-unification algorithms and their applications in program analysis
PE Bulychev, EV Kostylev, VA Zakharov
Perspectives of Systems Informatics: 7th International Andrei Ershov …, 2010
422010
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
412012
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
282009
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
172012
Computing (bi) simulation relations preserving CTL* X. for ordinary and fair Kripke structures
PE Bulychev, IV Konnov, VA Zakharov
Труды Института системного программирования РАН 12, 59-76, 2007
172007
Distributed parametric and statistical model checking
P Bulychev, A David, KG Larsen, M Mikučionis, A Legay
arXiv preprint arXiv:1111.0370, 2011
112011
Efficient controller synthesis for a fragment of
P Bulychev, A David, KG Larsen, G Li
Acta Informatica 51, 165-192, 2014
102014
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
92013
Duplicate code detection using Clone Digger
P Bulychev
Python Mag 9, 18-24, 2008
62008
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
32012
Game-theoretic simulation checking tool
PE Bulychev
Programming and Computer Software 37, 200-209, 2011
32011
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
32009
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
The system can't perform the operation now. Try again later.
Articles 1–20