edoc

Items where Author is "Podelski, Andreas"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | Refereed
Jump to: 2016 | 2014 | 2012
Number of items: 4.

2016

Bogomolov, 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.

2014

Bogomolov, Sergiy and Magazzeni, Daniele and Podelski, Andreas and Wehrle, Martin. (2014) Planning as model checking in hybrid domains. In: Proceedings of twenty-eighth AAAI Conference on Artificial Intelligence and the twenty-sixth Innovative Applications of Artificial Intelligence Conference (AAAI 2014) : 27-31 July 2014, Québec City, Québec, Canada, 3. Palo Alto, Calif., pp. 2228-2234.

Arlt, Stephan and Podelski, Andreas and Wehrle, Martin. (2014) Reducing GUI test suites via program slicing. In: Proceedings of the 2014 International Symposium on Software Testing and Analysis (ISSTA '14). New York, pp. 270-281.

2012

Bogomolov, 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.

This list was generated on Tue Dec 10 04:13:41 2019 CET.