Name Card

Full name Familienname, Vorname
Frehse, Goran
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Grosu, Radu ; Bogomolov, Sergiy ; Frehse, Goran ; Greitschus, Marius ; Pasareanu, Corina ; Podelski, Andreas ; Strump, Thomas Assume-Guarantee Abstraction-Refinement Meets Hybrid SystemsKonferenzbeitrag Inproceedings2014
2Bogomolov, 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
3Bogomolov, Sergiy ; Frehse, Goran ; Grosu, Radu ; Ladan, Hamed ; Podelski, Andreas A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceExKonferenzbeitrag Inproceedings 2012

Contributing Publications Mitbeteiligte Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Abate, Alessandro ; Blom, Henk ; Delicaris, Joanna ; Haesaert, Sofie ; Hartmanns, Arnd ; van Huijgevoort, Birgit ; Lavaei, Abolfazl ; Ma, Hao ; Niehage, Mathis ; Remke, Anne ; Schön, Oliver ; Schupp, Stefan ; Soudjani, Sadegh ; Willemsen, Lisa ARCH-COMP22 Category Report: Stochastic ModelsInproceedings Konferenzbeitrag2022