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
1432012
Duplicate code detection using anti-unification
P Bulychev, M Minea
Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2008
532008
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
372012
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
362012
An evaluation of duplicate code detection using anti-unification
P Bulychev, M Minea
Proc. 3rd International Workshop on Software Clones, 2009
352009
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
322012
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
282009
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
282009
Computing (bi) simulation relations preserving CTL* X. for ordinary and fair Kripke structures
PE Bulychev, IV Konnov, VA Zakharov
Труды Института системного программирования РАН 12, 2007
152007
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
142012
Distributed parametric and statistical model checking
P Bulychev, A David, KG Larsen, M Mikučionis, A Legay
arXiv preprint arXiv:1111.0370, 2011
92011
Efficient controller synthesis for a fragment of
P Bulychev, A David, KG Larsen, G Li
Acta informatica 51 (3-4), 165-192, 2014
72014
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
72013
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 (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–19