Full name Familienname, Vorname
Bogomolov, Sergiy
 

Results 1-8 of 8 (Search time: 0.006 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Gurung, Amit ; Ray, Rajarshi ; Bartocci, Ezio ; Bogomolov, Sergiy ; Grosu, Radu Parallel reachability analysis of hybrid systems in XSpeedArtikel Article 2019
2Gurung, Amit ; Kumar, Deka Arup ; Bartocci, Ezio ; Bogomolov, Sergiy ; Grosu, Radu ; Ray, Rajarshi Parallel reachability analysis for hybrid systemsKonferenzbeitrag Inproceedings 2016
3Kong, Hui ; Bartocci, Ezio ; Bogomolov, Sergiy ; Grosu, Radu ; Henzinger, Thomas A. ; Jiang, Yu ; Schilling, Christian Discrete Abstraction of Multiaffine SystemsKonferenzbeitrag Inproceedings 2016
4Rajarshi, Ray ; Amit, Gurung ; Binayak, Das ; Bartocci, Ezio ; Bogomolov, Sergiy ; Grosu, Radu XSpeed: Accelerating Reachability Analysis on Multi-core ProcessorsKonferenzbeitrag InproceedingsNov-2015
5Bogomolov, Sergiy ; Schilling, Christian ; Bartocci, Ezio ; Batt, Gregory ; Kong, Hui ; Grosu, Radu Abstraction-Based Parameter Synthesis for Multiaffine SystemsKonferenzbeitrag Inproceedings 2015
6Grosu, Radu ; Bogomolov, Sergiy ; Frehse, Goran ; Greitschus, Marius ; Pasareanu, Corina ; Podelski, Andreas ; Strump, Thomas Assume-Guarantee Abstraction-Refinement Meets Hybrid SystemsKonferenzbeitrag Inproceedings2014
7Bogomolov, Sergiy ; DonzĂ©, Alexandre ; Frehse, Goran ; Grosu, Radu ; Johnson, Taylor T. ; Ladan, Hamed ; Podelski, Andreas ; Wehrle, Martin Abstraction-Based Guided Search for Hybrid SystemsKonferenzbeitrag Inproceedings 2013
8Bogomolov, Sergiy ; Frehse, Goran ; Grosu, Radu ; Ladan, Hamed ; Podelski, Andreas A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceExKonferenzbeitrag Inproceedings 2012