Peter E. Bulychev
According to our database1, Peter E. Bulychev
Legend:Book In proceedings Article PhD thesis Other
Efficient controller synthesis for a fragment of MTL0,∞.
Acta Inf., 2014
Controllers with Minimal Observation Power (Application to Timed Systems)
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata
Proceedings of the Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012
Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach
Proceedings of the Proceedings Second International Workshop on Interactions, 2012
Rewrite-Based Statistical Model Checking of WMTL.
Proceedings of the Runtime Verification, Third International Conference, 2012
Checking and Distributing Statistical Model Checking.
Proceedings of the NASA Formal Methods, 2012
Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012
Controllers with Minimal Observation Power (Application to Timed Systems).
Proceedings of the Automated Technology for Verification and Analysis, 2012
Game-theoretic simulation checking tool.
Programming and Computer Software, 2011
Distributed Parametric and Statistical Model Checking
Proceedings of the Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, 2011
Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009
Anti-unification Algorithms and Their Applications in Program Analysis.
Proceedings of the Perspectives of Systems Informatics, 2009