Peter E. Bulychev
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2012–2012
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ATVA | Controllers with Minimal Observation Power (Application to Timed Systems). | Peter E. Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Jean-Franois Raskin, Pierre-Alain Reynier |
| 2012 | LPAR | Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. | Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bgsted Poulsen, Amlie Stainer |
| 2012 | RV | Rewrite-Based Statistical Model Checking of WMTL. | Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bgsted Poulsen |