ARCH15:BibTeX Entries

Volume

@proceedings{ARCH15,
  title     = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {34},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340}}

Papers

@inproceedings{ARCH15:Benchmark_Problem_PK_PD_Model,
  author    = {Victor Gan and Guy Dumont and Ian Mitchell},
  title     = {Benchmark Problem: A PK/PD Model and Safety Constraints for Anesthesia Delivery},
  booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {34},
  pages     = {1--8},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/R8kX},
  doi       = {10.29007/8drm}}

@inproceedings{ARCH15:Motor_Transmission_Drive_System_Benchmark,
  author    = {Hongxu Chen and Sayan Mitra and Guangyu Tian},
  title     = {Motor-Transmission Drive System: a Benchmark Example for Safety Verification},
  booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {34},
  pages     = {9--18},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/cwl},
  doi       = {10.29007/ct87}}

@inproceedings{ARCH15:Benchmark_DC_to_DC_Switched_Mode_Power,
  author    = {Luan Viet Nguyen and Taylor T Johnson},
  title     = {Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters)},
  booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {34},
  pages     = {19--24},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/swLb},
  doi       = {10.29007/23pm}}

@inproceedings{ARCH15:Benchmarks_for_Temporal_Logic,
  author    = {Bardh Hoxha and Houssam Abbas and Georgios Fainekos},
  title     = {Benchmarks for Temporal Logic Requirements for Automotive Systems},
  booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {34},
  pages     = {25--30},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/4bfq},
  doi       = {10.29007/xwrs}}

@inproceedings{ARCH15:Benchmark_Reachability_on_model,
  author    = {Thomas Heinz and Jens Oehlerking and Matthias Woehrle},
  title     = {Benchmark: Reachability on a model with holes},
  booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {34},
  pages     = {31--36},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/sPgl},
  doi       = {10.29007/cv59}}

@inproceedings{ARCH15:Networked_Cooperative_Platoon_of,
  author    = {Ibtissem Ben Makhlouf and Stefan Kowalewski},
  title     = {Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools},
  booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {34},
  pages     = {37--42},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/3QLs},
  doi       = {10.29007/zvkb}}

@inproceedings{ARCH15:Benchmark_problem_an_air,
  author    = {Luca Parolini and Simone Schuler and Adolfo Anta},
  title     = {Benchmark problem: an air brake model for trains},
  booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {34},
  pages     = {43--48},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/4H},
  doi       = {10.29007/1bln}}

@inproceedings{ARCH15:Verifying_Properties_of_an,
  author    = {Thomas Strathmann and Jens Oehlerking},
  title     = {Verifying Properties of an Electro-Mechanical Braking System},
  booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {34},
  pages     = {49--56},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/1ff2},
  doi       = {10.29007/x87p}}

@inproceedings{ARCH15:Benchmark_Quadrotor_Attitude_Control,
  author    = {A. E. C. Da Cunha},
  title     = {Benchmark: Quadrotor Attitude Control},
  booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {34},
  pages     = {57--72},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/mwnd},
  doi       = {10.29007/dc68}}

@inproceedings{ARCH15:Benchmark_Generator_for_Stratified,
  author    = {Stanley Bak and Sergiy Bogomolov and Marius Greitschus and Taylor T Johnson},
  title     = {Benchmark Generator for Stratified Controllers of Tank Networks},
  booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {34},
  pages     = {73--79},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/sjv},
  doi       = {10.29007/2ljt}}

@inproceedings{ARCH15:Industrial_Examples_of_Formal,
  author    = {Hendrik Roehm and Rainer Gmehlich and Thomas Heinz and Jens Oehlerking and Matthias Woehrle},
  title     = {Industrial Examples of Formal Specifications for Test Case Generation},
  booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {34},
  pages     = {80--88},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/4Xd},
  doi       = {10.29007/z9ph}}

@inproceedings{ARCH15:Benchmark_Nonlinear_Reachability_Analysis,
  author    = {Hoang-Dung Tran and Luan Viet Nguyen and Taylor T Johnson},
  title     = {Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis},
  booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {34},
  pages     = {89--97},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/714m},
  doi       = {10.29007/6dcf}}

@inproceedings{ARCH15:Piecewise_Affine_Approximations_for_Powertrain,
  author    = {Jyotirmoy Deshmukh and Hisahiro Ito and Xiaoqing Jin and James Kapinski and Ken Butts and Juergen Gerhard and Behzad Samadi and Kevin Walker and Yuzhen Xie},
  title     = {Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark},
  booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {34},
  pages     = {98--112},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/vgJJ},
  doi       = {10.29007/w3x7}}

@inproceedings{ARCH15:Using_S_TaLiRo_on_Industrial,
  author    = {Bardh Hoxha and Houssam Abbas and Georgios Fainekos},
  title     = {Using S-TaLiRo on Industrial Size Automotive Models},
  booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {34},
  pages     = {113--119},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/r8gZ},
  doi       = {10.29007/kwp3}}

@inproceedings{ARCH15:An_Introduction_to_CORA,
  author    = {Matthias Althoff},
  title     = {An Introduction to CORA 2015},
  booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {34},
  pages     = {120--151},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/xMm},
  doi       = {10.29007/zbkv}}

@inproceedings{ARCH15:Flow_star_1.2_More_Effective,
  author    = {Xin Chen and Sriram Sankaranarayanan and Erika Abraham},
  title     = {Flow* 1.2: More Effective to Play with Hybrid Systems},
  booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {34},
  pages     = {152--159},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/QrVj},
  doi       = {10.29007/1w4t}}

@inproceedings{ARCH15:BluSTL_Controller_Synthesis_from,
  author    = {Alexandre Donz\textbackslash{}'e and Vasumathi Raman},
  title     = {BluSTL: Controller Synthesis from Signal Temporal Logic Specifications},
  booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {34},
  pages     = {160--168},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/9cVk},
  doi       = {10.29007/g39q}}

@inproceedings{ARCH15:Optimizing_Safe_Control_of,
  author    = {Ibtissem Ben Makhlouf and Stefan Kowalewski},
  title     = {Optimizing  Safe Control of a Networked Platoon of Trucks Using Reachability},
  booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {34},
  pages     = {169--179},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/kSR9},
  doi       = {10.29007/kxk7}}

@inproceedings{ARCH15:Tool_Presentation_Isabelle_HOL_for,
  author    = {Fabian Immler},
  title     = {Tool Presentation: Isabelle/HOL for Reachability Analysis of Continuous Systems},
  booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {34},
  pages     = {180--187},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/nVRl},
  doi       = {10.29007/b3wr}}

@inproceedings{ARCH15:SMT_Encoding_of_Hybrid,
  author    = {Kyungmin Bae and Soonho Kong and Sicun Gao},
  title     = {SMT Encoding of Hybrid Systems in dReal},
  booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {34},
  pages     = {188--195},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/4Qr},
  doi       = {10.29007/s3b9}}

@inproceedings{ARCH15:Running_SpaceEx_on_ARCH14,
  author    = {Stefano Minopoli and Goran Frehse},
  title     = {Running SpaceEx on the ARCH14 Benchmarks},
  booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {34},
  pages     = {196--206},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/bX},
  doi       = {10.29007/m1cd}}

@inproceedings{ARCH15:Progress_on_Powertrain_Verification,
  author    = {Chuchu Fan and Parasara Sridhar Duggirala and Sayan Mitra and Mahesh Viswanathan},
  title     = {Progress on Powertrain Verification Challenge with C2E2},
  booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {34},
  pages     = {207--212},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/LS},
  doi       = {10.29007/1kq2}}