Peter E. Bulychev

Publication Activity (10 Years)

Years Active: 2009-2014
Publications (10 Years): 0

Top Topics

Automated Verification

Top Venues

Acta Informatica

Publications

Peter E. Bulychev, Alexandre David, Kim G. Larsen, Guangyuan Li
. Acta Informatica 51 (3-4) (2014)
Peter E. Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier
Controllers with Minimal Observation Power (Application to Timed Systems). ATVA (2012)
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen
Checking and Distributing Statistical Model Checking. NASA Formal Methods (2012)
Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis
Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach IWIGP (2012)
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata QAPL (2012)
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen, Amélie Stainer
Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. LPAR (2012)
Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen
Rewrite-Based Statistical Model Checking of WMTL. RV (2012)
Peter E. Bulychev, Franck Cassez, Alexandre David, Kim G. Larsen, Jean-François Raskin, Pierre-Alain Reynier
Controllers with Minimal Observation Power (Application to Timed Systems) CoRR (2012)
Peter E. Bulychev
Game-theoretic simulation checking tool. Program. Comput. Softw. 37 (4) (2011)
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay
Distributed Parametric and Statistical Model Checking PDMC (2011)
Peter E. Bulychev, Thomas Chatain, Alexandre David, Kim Guldstrand Larsen
Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation. FORMATS (2009)
Peter E. Bulychev, Egor V. Kostylev, Vladimir A. Zakharov
Anti-unification Algorithms and Their Applications in Program Analysis. Ershov Memorial Conference (2009)