Anti-unification Algorithms and Their Applications in Program Analysis. - Peter E. Bulychev; Egor V. Kostylev; Vladimir A. Zakharov (Ershov Memorial Conference, 2009)

Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation. - Peter E. Bulychev; Thomas Chatain; Alexandre David; Kim Guldstrand Larsen (FORMATS, 2009)

Distributed Parametric and Statistical Model Checking - Peter E. Bulychev; Alexandre David; Kim Guldstrand Larsen; Marius Mikucionis; Axel Legay (PDMC, 2011)

Game-theoretic simulation checking tool. - Peter E. Bulychev (Program. Comput. Softw., 2011)

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 (ATVA, 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 (LPAR, 2012)

Checking and Distributing Statistical Model Checking. - Peter E. Bulychev; Alexandre David; Kim Guldstrand Larsen; Axel Legay; Marius Mikucionis; Danny Bøgsted Poulsen (NASA Formal Methods, 2012)

Rewrite-Based Statistical Model Checking of WMTL. - Peter E. Bulychev; Alexandre David; Kim G. Larsen; Axel Legay; Guangyuan Li; Danny Bøgsted Poulsen (RV, 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 (IWIGP, 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 005 (QAPL, 2012)

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 001; Kenneth Yrke Jørgensen; Didier Lime; et al. (Communicating Embedded Systems, 2013)

Efficient controller synthesis for a fragment of MTL0,∞. - Peter E. Bulychev; Alexandre David; Kim G. Larsen; Guangyuan Li (Acta Informatica, 2014)