%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/


%% Created for Goran Frehse at 2015-09-21 15:26:51 +0200 


%% Saved with string encoding Unicode (UTF-8) 

@inproceedings{MinopoliF15,
  author    = {Stefano Minopoli and
               Goran Frehse},
  title     = {Running SpaceEx on the {ARCH14} Benchmarks},
  booktitle = {1st and 2nd International Workshop on Applied veRification for Continuous
               and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14,
               2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015.},
  series    = {EPiC Series in Computing},
  volume    = {34},
  publisher = {EasyChair},
  pages     = {196--206},
  year      = {2015},
}

@inproceedings{FrehseBGSP15,
  author    = {Goran Frehse and
               Sergiy Bogomolov and
               Marius Greitschus and
               Thomas Strump and
               Andreas Podelski},
  title     = {Eliminating spurious transitions in reachability with support functions},
  booktitle = {Proceedings of the 18th International Conference on Hybrid Systems:
               Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015},
  pages     = {149--158},
  year      = {2015},
  publisher = {{ACM}},
}

@inproceedings{Bogomolov2017,
	author = {S. Bogomolov and G. Frehse and M. Giacobbe and T. Henzinger},
	title = {Counterexample-guided refinement of template polyhedra},
	booktitle = {23rd Int.\ Conf.\ on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
	series = {LNCS},
	publisher = {Springer},
	year={2017}}

@proceedings{AlthoffF2017,
	editor = {M. Althoff and G. Frehse},
	title = {ARCH16. Proceedings of 3rd International Workshop on Applied Verification of Continuous and Hybrid Systems},
	publisher = {EasyChair},
	series = {EPiC Series in Computing},
	volume = 43,
	Year = {2017}}
	
@proceedings{AlthoffF2016,
	editor = {M. Althoff and G. Frehse},
	title = {Post-Proceedings of the 1st and 2nd International Workshop on Applied Verification of Continuous and Hybrid Systems},
	publisher = {EasyChair},
	series = {EPiC Series in Computing},
	volume = 34,
	Year = {2015}}

@inproceedings{FrehseEmsoft15,
	Author = {Frehse, Goran},
	Booktitle = {Int.\ Conf.\ on Embedded Software (EMSOFT'15)},
	Date-Added = {2015-09-21 13:25:03 +0000},
	Date-Modified = {2015-09-21 13:26:51 +0000},
	Publisher = {ACM},
	Title = {Reachability of Hybrid Systems in Space-Time},
	Year = {2015}}

@inproceedings{FrehseCDC15,
	Author = {Frehse, Goran},
	Booktitle = {IEEE Conf. Decision and Control (CDC)},
	Date-Added = {2015-09-21 13:23:04 +0000},
	Date-Modified = {2015-09-21 13:24:41 +0000},
	Publisher = {IEEE Press},
	Title = {Computing Maximizer Trajectories of Affine Dynamics for Reachability},
	Year = {2015}}

@inproceedings{MinopoliF16a,
  author    = {Stefano Minopoli and
               Goran Frehse},
  title     = {From Simulation Models to Hybrid Automata Using Urgency and Relaxation},
  booktitle = {Proceedings of the 19th International Conference on Hybrid Systems:
               Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
               2016},
  pages     = {287--296},
  year      = {2016},
}

@inproceedings{MinopoliF16b,
  author    = {Stefano Minopoli and
               Goran Frehse},
  title     = {{SL2SX} Translator: From Simulink to SpaceEx Models (tool paper)},
  booktitle = {Proceedings of the 19th International Conference on Hybrid Systems:
               Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
               2016},
  pages     = {93--98},
  year      = {2016},
}


