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


%% Created for Goran Frehse at 2018-12-18 19:14:22 +0100 


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



@inproceedings{DBLP:conf/cdc/KekatosFF17,
	Author = {Nikolaos Kekatos and Marcelo Forets and Goran Frehse},
	Bibsource = {dblp computer science bibliography, https://dblp.org},
	Biburl = {https://dblp.org/rec/bib/conf/cdc/KekatosFF17},
	Booktitle = {56th {IEEE} Annual Conference on Decision and Control, {CDC} 2017, Melbourne, Australia, December 12-15, 2017},
	Crossref = {DBLP:conf/cdc/2017},
	Date-Added = {2018-12-18 18:14:21 +0000},
	Date-Modified = {2018-12-18 18:14:21 +0000},
	Doi = {10.1109/CDC.2017.8263907},
	Pages = {1788--1795},
	Timestamp = {Wed, 24 Jan 2018 18:24:40 +0100},
	Title = {Constructing verification models of nonlinear Simulink systems via syntactic hybridization},
	Url = {https://doi.org/10.1109/CDC.2017.8263907},
	Year = {2017},
	Bdsk-Url-1 = {https://doi.org/10.1109/CDC.2017.8263907},
	Bdsk-Url-2 = {http://dx.doi.org/10.1109/CDC.2017.8263907}}

@proceedings{DBLP:conf/cdc/2017,
	Bibsource = {dblp computer science bibliography, https://dblp.org},
	Biburl = {https://dblp.org/rec/bib/conf/cdc/2017},
	Date-Added = {2018-12-18 18:14:21 +0000},
	Date-Modified = {2018-12-18 18:14:21 +0000},
	Isbn = {978-1-5090-2873-3},
	Publisher = {{IEEE}},
	Timestamp = {Wed, 24 Jan 2018 18:24:16 +0100},
	Title = {56th {IEEE} Annual Conference on Decision and Control, {CDC} 2017, Melbourne, Australia, December 12-15, 2017},
	Url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8253407},
	Year = {2017},
	Bdsk-Url-1 = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8253407}}

@inproceedings{DBLP:conf/hybrid/BogomolovFFVPS18,
	Author = {Sergiy Bogomolov and Marcelo Forets and Goran Frehse and Fr{\'{e}}d{\'{e}}ric Viry and Andreas Podelski and Christian Schilling},
	Bibsource = {dblp computer science bibliography, https://dblp.org},
	Biburl = {https://dblp.org/rec/bib/conf/hybrid/BogomolovFFVPS18},
	Booktitle = {Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of {CPS} Week), {HSCC} 2018, Porto, Portugal, April 11-13, 2018},
	Crossref = {DBLP:conf/hybrid/2018},
	Date-Added = {2018-12-18 18:12:55 +0000},
	Date-Modified = {2018-12-18 18:12:55 +0000},
	Doi = {10.1145/3178126.3178128},
	Pages = {41--50},
	Timestamp = {Wed, 21 Nov 2018 12:44:07 +0100},
	Title = {Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices},
	Url = {https://doi.org/10.1145/3178126.3178128},
	Year = {2018},
	Bdsk-Url-1 = {https://doi.org/10.1145/3178126.3178128},
	Bdsk-Url-2 = {http://dx.doi.org/10.1145/3178126.3178128}}

@proceedings{DBLP:conf/hybrid/2018,
	Bibsource = {dblp computer science bibliography, https://dblp.org},
	Biburl = {https://dblp.org/rec/bib/conf/hybrid/2018},
	Date-Added = {2018-12-18 18:12:55 +0000},
	Date-Modified = {2018-12-18 18:12:55 +0000},
	Doi = {10.1145/3178126},
	Publisher = {{ACM}},
	Timestamp = {Wed, 21 Nov 2018 12:44:07 +0100},
	Title = {Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of {CPS} Week), {HSCC} 2018, Porto, Portugal, April 11-13, 2018},
	Url = {https://doi.org/10.1145/3178126},
	Year = {2018},
	Bdsk-Url-1 = {https://doi.org/10.1145/3178126},
	Bdsk-Url-2 = {http://dx.doi.org/10.1145/3178126}}

@inproceedings{DBLP:conf/cav/FrehseGH18,
	Author = {Goran Frehse and Mirco Giacobbe and Thomas A. Henzinger},
	Bibsource = {dblp computer science bibliography, https://dblp.org},
	Biburl = {https://dblp.org/rec/bib/conf/cav/FrehseGH18},
	Booktitle = {Computer Aided Verification - 30th International Conference, {CAV} 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part {I}},
	Crossref = {DBLP:conf/cav/2018-1},
	Date-Added = {2018-12-18 18:12:21 +0000},
	Date-Modified = {2018-12-18 18:12:21 +0000},
	Doi = {10.1007/978-3-319-96145-3\_25},
	Pages = {468--486},
	Timestamp = {Wed, 03 Oct 2018 12:55:03 +0200},
	Title = {Space-Time Interpolants},
	Url = {https://doi.org/10.1007/978-3-319-96145-3\_25},
	Year = {2018},
	Bdsk-Url-1 = {https://doi.org/10.1007/978-3-319-96145-3%5C_25},
	Bdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-319-96145-3%5C_25}}

@proceedings{DBLP:conf/cav/2018-1,
	Bibsource = {dblp computer science bibliography, https://dblp.org},
	Biburl = {https://dblp.org/rec/bib/conf/cav/2018-1},
	Date-Added = {2018-12-18 18:12:21 +0000},
	Date-Modified = {2018-12-18 18:12:21 +0000},
	Doi = {10.1007/978-3-319-96145-3},
	Editor = {Hana Chockler and Georg Weissenbacher},
	Isbn = {978-3-319-96144-6},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Timestamp = {Mon, 23 Jul 2018 17:17:39 +0200},
	Title = {Computer Aided Verification - 30th International Conference, {CAV} 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part {I}},
	Url = {https://doi.org/10.1007/978-3-319-96145-3},
	Volume = {10981},
	Year = {2018},
	Bdsk-Url-1 = {https://doi.org/10.1007/978-3-319-96145-3},
	Bdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-319-96145-3}}

@inproceedings{DBLP:conf/amcc/FrehseKNOSWW18,
	Author = {Goran Frehse and Nikolaos Kekatos and Dejan Nickovic and Jens Oehlerking and Simone Schuler and Alexander Walsch and Matthias Woehrle},
	Bibsource = {dblp computer science bibliography, https://dblp.org},
	Biburl = {https://dblp.org/rec/bib/conf/amcc/FrehseKNOSWW18},
	Booktitle = {2018 Annual American Control Conference, {ACC} 2018, Milwaukee, WI, USA, June 27-29, 2018},
	Crossref = {DBLP:conf/amcc/2018},
	Date-Added = {2018-12-18 18:10:55 +0000},
	Date-Modified = {2018-12-18 18:10:55 +0000},
	Doi = {10.23919/ACC.2018.8431324},
	Pages = {2384--2391},
	Timestamp = {Fri, 17 Aug 2018 14:28:31 +0200},
	Title = {A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates},
	Url = {https://doi.org/10.23919/ACC.2018.8431324},
	Year = {2018},
	Bdsk-Url-1 = {https://doi.org/10.23919/ACC.2018.8431324},
	Bdsk-Url-2 = {http://dx.doi.org/10.23919/ACC.2018.8431324}}

@proceedings{DBLP:conf/amcc/2018,
	Bibsource = {dblp computer science bibliography, https://dblp.org},
	Biburl = {https://dblp.org/rec/bib/conf/amcc/2018},
	Date-Added = {2018-12-18 18:10:55 +0000},
	Date-Modified = {2018-12-18 18:10:55 +0000},
	Isbn = {978-1-5386-5428-6},
	Publisher = {{IEEE}},
	Timestamp = {Fri, 17 Aug 2018 10:56:05 +0200},
	Title = {2018 Annual American Control Conference, {ACC} 2018, Milwaukee, WI, USA, June 27-29, 2018},
	Url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8410068},
	Year = {2018},
	Bdsk-Url-1 = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8410068}}

@inproceedings{DBLP:conf/adhs/KekatosHF18,
	Author = {Nikolaos Kekatos and Daniel He{\ss} and Goran Frehse},
	Bibsource = {dblp computer science bibliography, https://dblp.org},
	Biburl = {https://dblp.org/rec/bib/conf/adhs/KekatosHF18},
	Booktitle = {{ARCH18.} 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018},
	Crossref = {DBLP:conf/adhs/2018arch},
	Date-Added = {2018-12-18 18:10:33 +0000},
	Date-Modified = {2018-12-18 18:10:33 +0000},
	Pages = {229--241},
	Timestamp = {Sat, 27 Oct 2018 20:21:52 +0200},
	Title = {Lane change maneuver for autonomous vehicles (Benchmark Proposal)},
	Url = {http://www.easychair.org/publications/paper/Hx1f},
	Year = {2018},
	Bdsk-Url-1 = {http://www.easychair.org/publications/paper/Hx1f}}

@proceedings{DBLP:conf/adhs/2018arch,
	Bibsource = {dblp computer science bibliography, https://dblp.org},
	Biburl = {https://dblp.org/rec/bib/conf/adhs/2018arch},
	Date-Added = {2018-12-18 18:10:00 +0000},
	Date-Modified = {2018-12-18 18:10:00 +0000},
	Editor = {Goran Frehse and Matthias Althoff and Sergiy Bogomolov and Taylor T. Johnson},
	Publisher = {EasyChair},
	Series = {EPiC Series in Computing},
	Timestamp = {Sat, 27 Oct 2018 20:21:52 +0200},
	Title = {{ARCH18.} 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018},
	Url = {http://www.easychair.org/publications/volume/ARCH18},
	Volume = {54},
	Year = {2018},
	Bdsk-Url-1 = {http://www.easychair.org/publications/volume/ARCH18}}

@inproceedings{frehse2018space,
	Author = {Frehse, Goran and Giacobbe, Mirco and Henzinger, Thomas A},
	Booktitle = {International Conference on Computer Aided Verification},
	Date-Added = {2018-10-26 14:49:57 +0000},
	Date-Modified = {2018-10-26 14:49:57 +0000},
	Organization = {Springer},
	Pages = {468--486},
	Title = {Space-Time Interpolants},
	Year = {2018}}

@inproceedings{bogomolov2018reach,
	Author = {Bogomolov, Sergiy and Forets, Marcelo and Frehse, Goran and Viry, Fr{\'e}d{\'e}ric and Podelski, Andreas and Schilling, Christian},
	Booktitle = {Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)},
	Date-Added = {2018-10-26 14:49:03 +0000},
	Date-Modified = {2018-10-26 14:49:03 +0000},
	Organization = {ACM},
	Pages = {41--50},
	Title = {Reach set approximation through decomposition with low-dimensional sets and high-dimensional matrices},
	Year = {2018}}

@inproceedings{ARCH18:Lane_change_maneuver_for,
	Author = {Nikolaos Kekatos and Daniel He\{\textbackslash{}ss\} and Goran Frehse},
	Bibsource = {EasyChair, https://easychair.org},
	Booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems},
	Date-Added = {2018-10-26 14:45:10 +0000},
	Date-Modified = {2018-10-26 14:45:10 +0000},
	Doi = {10.29007/5hxt},
	Editor = {Goran Frehse},
	Issn = {2398-7340},
	Pages = {229--241},
	Publisher = {EasyChair},
	Series = {EPiC Series in Computing},
	Title = {Lane change maneuver for autonomous vehicles (Benchmark Proposal)},
	Url = {https://easychair.org/publications/paper/Hx1f},
	Volume = {54},
	Year = {2018},
	Bdsk-Url-1 = {https://easychair.org/publications/paper/Hx1f},
	Bdsk-Url-2 = {http://dx.doi.org/10.29007/5hxt}}

@inproceedings{ARCH18:ARCH_COMP18_Nonlin,
	Author = {Fabian Immler and Matthias Althoff and Xin Chen and Chuchu Fan and Goran Frehse and Niklas Kochdumper and Yangge Li and Sayan Mitra and Mahendra Singh Tomar and Majid Zamani},
	Bibsource = {EasyChair, https://easychair.org},
	Booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems},
	Date-Added = {2018-10-26 14:44:25 +0000},
	Date-Modified = {2018-10-26 14:44:38 +0000},
	Doi = {10.29007/mskf},
	Editor = {Goran Frehse},
	Issn = {2398-7340},
	Pages = {53--70},
	Publisher = {EasyChair},
	Series = {EPiC Series in Computing},
	Title = {ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics},
	Url = {https://easychair.org/publications/paper/gjfh},
	Volume = {54},
	Year = {2018},
	Bdsk-Url-1 = {https://easychair.org/publications/paper/gjfh},
	Bdsk-Url-2 = {http://dx.doi.org/10.29007/mskf}}

@inproceedings{ARCH18:ARCH_COMP18_Category_Report_Continuous,
	Author = {Matthias Althoff and Stanley Bak and Xin Chen and Chuchu Fan and Marcelo Forets and Goran Frehse and Niklas Kochdumper and Yangge Li and Sayan Mitra and Rajarshi Ray and Christian Schilling and Stefan Schupp},
	Bibsource = {EasyChair, https://easychair.org},
	Booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems},
	Date-Added = {2018-10-26 14:43:55 +0000},
	Date-Modified = {2018-10-26 14:43:55 +0000},
	Doi = {10.29007/73mb},
	Editor = {Goran Frehse},
	Issn = {2398-7340},
	Pages = {23--52},
	Publisher = {EasyChair},
	Series = {EPiC Series in Computing},
	Title = {ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics},
	Url = {https://easychair.org/publications/paper/4cGr},
	Volume = {54},
	Year = {2018},
	Bdsk-Url-1 = {https://easychair.org/publications/paper/4cGr},
	Bdsk-Url-2 = {http://dx.doi.org/10.29007/73mb}}

@inproceedings{ARCH18:ARCH_COMP18_Category_Report_Hybrid,
	Author = {Goran Frehse and Alessandro Abate and Dieky Adzkiya and Lei Bu and Mirco Giacobbe and Muhammad Syifa'Ul Mufid and Enea Zaffanella},
	Bibsource = {EasyChair, https://easychair.org},
	Booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems},
	Date-Added = {2018-10-26 14:43:27 +0000},
	Date-Modified = {2018-10-26 14:43:27 +0000},
	Doi = {10.29007/p11g},
	Editor = {Goran Frehse},
	Issn = {2398-7340},
	Pages = {1--13},
	Publisher = {EasyChair},
	Series = {EPiC Series in Computing},
	Title = {ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics},
	Url = {https://easychair.org/publications/paper/bXtM},
	Volume = {54},
	Year = {2018},
	Bdsk-Url-1 = {https://easychair.org/publications/paper/bXtM},
	Bdsk-Url-2 = {http://dx.doi.org/10.29007/p11g}}

@inproceedings{Bogomolov2017,
	Author = {S. Bogomolov and G. Frehse and M. Giacobbe and T. Henzinger},
	Booktitle = {23rd Int.\ Conf.\ on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
	Publisher = {Springer},
	Series = {LNCS},
	Title = {Counterexample-guided refinement of template polyhedra},
	Year = {2017}}

@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{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{FrehseBGSP15,
	Author = {Goran Frehse and Sergiy Bogomolov and Marius Greitschus and Thomas Strump and Andreas Podelski},
	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},
	Publisher = {{ACM}},
	Title = {Eliminating spurious transitions in reachability with support functions},
	Year = {2015}}

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

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

@inproceedings{MinopoliF15,
	Author = {Stefano Minopoli and Goran Frehse},
	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.},
	Pages = {196--206},
	Publisher = {EasyChair},
	Series = {EPiC Series in Computing},
	Title = {Running SpaceEx on the {ARCH14} Benchmarks},
	Volume = {34},
	Year = {2015}}

@proceedings{AlthoffF2017,
	Editor = {M. Althoff and G. Frehse},
	Publisher = {EasyChair},
	Series = {EPiC Series in Computing},
	Title = {ARCH16. Proceedings of 3rd International Workshop on Applied Verification of Continuous and Hybrid Systems},
	Volume = {43},
	Year = {2017}}

@proceedings{AlthoffF2016,
	Editor = {M. Althoff and G. Frehse},
	Publisher = {EasyChair},
	Series = {EPiC Series in Computing},
	Title = {Post-Proceedings of the 1st and 2nd International Workshop on Applied Verification of Continuous and Hybrid Systems},
	Volume = {34},
	Year = {2015}}
