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
1482012
Duplicate code detection using anti-unification
P Bulychev, M Minea
Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2008
552008
Rewrite-based statistical model checking of wmtl
P Bulychev, A David, KG Larsen, A Legay, G Li, DB Poulsen
International Conference on Runtime Verification, 260-275, 2012
392012
Monitor-based statistical model checking for weighted metric temporal logic
P Bulychev, A David, KG Larsen, A Legay, G Li, DB Poulsen, A Stainer
International Conference on Logic for Programming Artificial Intelligence …, 2012
392012
An evaluation of duplicate code detection using anti-unification
P Bulychev, M Minea
Proc. 3rd International Workshop on Software Clones, 2009
392009
Checking and distributing statistical model checking
P Bulychev, A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen
NASA Formal Methods Symposium, 449-463, 2012
332012
Anti-unification algorithms and their applications in program analysis
PE Bulychev, EV Kostylev, VA Zakharov
International Andrei Ershov Memorial Conference on Perspectives of System …, 2009
302009
Efficient on-the-fly algorithm for checking alternating timed simulation
P Bulychev, T Chatain, A David, KG Larsen
International Conference on Formal Modeling and Analysis of Timed Systems, 73-87, 2009
272009
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
152012
Computing (bi) simulation relations preserving CTL* X. for ordinary and fair Kripke structures
PE Bulychev, IV Konnov, VA Zakharov
Труды Института системного программирования РАН 12, 2007
152007
Distributed parametric and statistical model checking
P Bulychev, A David, KG Larsen, M Mikučionis, A Legay
arXiv preprint arXiv:1111.0370, 2011
92011
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
82013
Efficient controller synthesis for a fragment of
P Bulychev, A David, KG Larsen, G Li
Acta Informatica 51 (3-4), 165-192, 2014
72014
Duplicate code detection using Clone Digger
P Bulychev
Python Mag 9, 18-24, 2008
52008
Checking simulation relation between timed game automata
P Bulychev, A David, KG Larsen, T Chatain
32009
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
12012
Game-theoretic simulation checking tool
PE Bulychev
Programming and Computer Software 37 (4), 200, 2011
12011
Efficient controller synthesis for a fragment of MTL0, &infin
P Bulychev, A David, KG Larsen, G Li
2014
Computing Nash Equilibrium in Wireless Ad Hoc Networks
PE Bulychev, A David, KG Larsen, A Legay, M Mikučionis
Electronic Proceedings in Theoretical Computer Science, 2012
2012
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