Peter E. Bulychev

According to our database, Peter E. Bulychev authored at least 12 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Efficient controller synthesis for a fragment of MTL_0,∞.

Peter E. Bulychev, Alexandre David, Kim G. Larsen, Guangyuan Li

Acta Informatica, 2014

2013

Tools for Model-Checking Timed Systems.

Alexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen, Paul Pettersson, Jacob Illum Rasmussen, Jirí Srba, Wang Yi, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez

Proceedings of the Communicating Embedded Systems, 2013

2012

UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata

Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang

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

Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis

Proceedings of the Proceedings Second International Workshop on Interactions, 2012

Rewrite-Based Statistical Model Checking of WMTL.

Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen

Proceedings of the Runtime Verification, Third International Conference, 2012

Checking and Distributing Statistical Model Checking.

Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen

Proceedings of the NASA Formal Methods, 2012

Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic.

Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen, Amélie Stainer

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Controllers with Minimal Observation Power (Application to Timed Systems).

Peter E. Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Game-theoretic simulation checking tool.

Peter E. Bulychev

Program. Comput. Softw., 2011

Distributed Parametric and Statistical Model Checking

Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay

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.

Peter E. Bulychev, Thomas Chatain, Alexandre David, Kim Guldstrand Larsen

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

Anti-unification Algorithms and Their Applications in Program Analysis.

Peter E. Bulychev, Egor V. Kostylev, Vladimir A. Zakharov

Proceedings of the Perspectives of Systems Informatics, 2009