Items where Author is "Grosu, Radu"
Number of items: 3. 2016Bogomolov, Sergiy and Donzé, Alexandre and Frehse, Goran and Grosu, Radu and Johnson, Taylor and Ladan, Hamed and Podelski, Andreas and Wehrle, Martin. (2016) Guided Search for Hybrid Systems Based on Coarse-Grained Space Abstractions. International journal on software tools for technology transfer, 18 (4). pp. 449-467. 2013Bogomolov, Sergiy and Donzé, Alexandre and Frehse, Goran and Grosu, Radu and Johnson, Taylor T. and Ladan, Hamed: Podelski and Andreas: Wehrle, Martin. (2013) Abstraction-based guided search for hybrid systems. In: Model checking software : proceedings of the 20th international SPIN symposium on model checking of software (SPIN 2013). Heidelberg, pp. 117-134. 2012Bogomolov, Sergiy and Frehse, Goran and Grosu, Radu and Ladan, Hamed and Podelski, Andreas and Wehrle, Martin. (2012) A box-based distance between regions for guiding the reachability analysis of SpaceEx. In: Computer Aided Verification : 24th International Conference (CAV 2012). Belin, pp. 479-494. |
