Peter E. Bulychev

According to our database1, Peter E. Bulychev
  • authored at least 12 papers between 2009 and 2014.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
Efficient controller synthesis for a fragment of MTL0,∞.
Acta Inf., 2014

2012
Controllers with Minimal Observation Power (Application to Timed Systems)
CoRR, 2012

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

2011
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

2009
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


  Loading...