dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Peter E. Bulychev (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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: 1-14
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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: 168-182
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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: 449-463
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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: 1-16
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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 abs/1207.1276: (2012)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay: Distributed Parametric and Statistical Model Checking PDMC 2011: 30-42
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter E. Bulychev, Thomas Chatain, Alexandre David, Kim Guldstrand Larsen: Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation. FORMATS 2009: 73-87

Selection of 7 from 9 records - Peter E. Bulychev has 14 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page