Search dblp for Publications

export results for "toc:db/conf/cpsweek/arch2014-15.bht:"

 download as .bib file

@inproceedings{DBLP:conf/cpsweek/0002SA15,
  author       = {Xin Chen and
                  Sriram Sankaranarayanan and
                  Erika {\'{A}}brah{\'{a}}m},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {Flow* 1.2: More Effective to Play with Hybrid Systems},
  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},
  pages        = {152--159},
  publisher    = {EasyChair},
  year         = {2015},
  url          = {https://doi.org/10.29007/1w4t},
  doi          = {10.29007/1W4T},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/0002SA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/Althoff15,
  author       = {Matthias Althoff},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {An Introduction to {CORA} 2015},
  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},
  pages        = {120--151},
  publisher    = {EasyChair},
  year         = {2015},
  url          = {https://doi.org/10.29007/zbkv},
  doi          = {10.29007/ZBKV},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/Althoff15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/BaeKG15,
  author       = {Kyungmin Bae and
                  Soonho Kong and
                  Sicun Gao},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {{SMT} Encoding of Hybrid Systems in dReal},
  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},
  pages        = {188--195},
  publisher    = {EasyChair},
  year         = {2015},
  url          = {https://doi.org/10.29007/s3b9},
  doi          = {10.29007/S3B9},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/BaeKG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/BakBGJ15,
  author       = {Stanley Bak and
                  Sergiy Bogomolov and
                  Marius Greitschus and
                  Taylor T. Johnson},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {Benchmark Generator for Stratified Controllers of Tank Networks},
  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},
  pages        = {73--79},
  publisher    = {EasyChair},
  year         = {2015},
  url          = {https://doi.org/10.29007/2ljt},
  doi          = {10.29007/2LJT},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/BakBGJ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/Cunha15,
  author       = {Antonio Eduardo Carrilho da Cunha},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {Benchmark: Quadrotor Attitude Control},
  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},
  pages        = {57--72},
  publisher    = {EasyChair},
  year         = {2015},
  url          = {https://doi.org/10.29007/dc68},
  doi          = {10.29007/DC68},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/Cunha15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/DeshmukhIJKBGSW15,
  author       = {Jyotirmoy V. Deshmukh and
                  Hisahiro Ito and
                  Xiaoqing Jin and
                  James Kapinski and
                  Kenneth R. Butts and
                  J{\"{u}}rgen Gerhard and
                  Behzad Samadi and
                  Kevin Walker and
                  Yuzhen Xie},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {Piecewise-Affine Approximations for a Powertrain Control Verification
                  Benchmark},
  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},
  pages        = {98--112},
  publisher    = {EasyChair},
  year         = {2015},
  url          = {https://doi.org/10.29007/w3x7},
  doi          = {10.29007/W3X7},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/DeshmukhIJKBGSW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/DonzeR15,
  author       = {Alexandre Donz{\'{e}} and
                  Vasumathi Raman},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {BluSTL: Controller Synthesis from Signal Temporal Logic Specifications},
  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},
  pages        = {160--168},
  publisher    = {EasyChair},
  year         = {2015},
  url          = {https://doi.org/10.29007/g39q},
  doi          = {10.29007/G39Q},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/DonzeR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/FanDM015,
  author       = {Chuchu Fan and
                  Parasara Sridhar Duggirala and
                  Sayan Mitra and
                  Mahesh Viswanathan},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {Progress on Powertrain Verification Challenge with {C2E2}},
  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},
  pages        = {207--212},
  publisher    = {EasyChair},
  year         = {2015},
  url          = {https://doi.org/10.29007/1kq2},
  doi          = {10.29007/1KQ2},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/FanDM015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/Immler15,
  author       = {Fabian Immler},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {Tool Presentation: Isabelle/HOL for Reachability Analysis of Continuous
                  Systems},
  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},
  pages        = {180--187},
  publisher    = {EasyChair},
  year         = {2015},
  url          = {https://doi.org/10.29007/b3wr},
  doi          = {10.29007/B3WR},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/Immler15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/MinopoliF15,
  author       = {Stefano Minopoli and
                  Goran Frehse},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  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},
  pages        = {196--206},
  publisher    = {EasyChair},
  year         = {2015},
  url          = {https://doi.org/10.29007/m1cd},
  doi          = {10.29007/M1CD},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/MinopoliF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/ParoliniSA15,
  author       = {Luca Parolini and
                  Simone Schuler and
                  Adolfo Anta},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {Benchmark problem: an air brake model for trains},
  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},
  pages        = {43--48},
  publisher    = {EasyChair},
  year         = {2015},
  url          = {https://doi.org/10.29007/1bln},
  doi          = {10.29007/1BLN},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/ParoliniSA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/RoehmGHOW15,
  author       = {Hendrik Roehm and
                  Rainer Gmehlich and
                  Thomas Heinz and
                  Jens Oehlerking and
                  Matthias Woehrle},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {Industrial Examples of Formal Specifications for Test Case Generation},
  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},
  pages        = {80--88},
  publisher    = {EasyChair},
  year         = {2015},
  url          = {https://doi.org/10.29007/z9ph},
  doi          = {10.29007/Z9PH},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/RoehmGHOW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/StrathmannO15,
  author       = {Thomas Strathmann and
                  Jens Oehlerking},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {Verifying Properties of an Electro-Mechanical Braking System},
  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},
  pages        = {49--56},
  publisher    = {EasyChair},
  year         = {2015},
  url          = {https://doi.org/10.29007/x87p},
  doi          = {10.29007/X87P},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/StrathmannO15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/TranNJ15,
  author       = {Hoang{-}Dung Tran and
                  Luan Viet Nguyen and
                  Taylor T. Johnson},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {Benchmark: {A} Nonlinear Reachability Analysis Test Set from Numerical
                  Analysis},
  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},
  pages        = {89--97},
  publisher    = {EasyChair},
  year         = {2015},
  url          = {https://doi.org/10.29007/6dcf},
  doi          = {10.29007/6DCF},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/TranNJ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cpsweek/2014-15arch,
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {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},
  year         = {2015},
  url          = {https://easychair.org/publications/volume/ARCH15},
  timestamp    = {Fri, 13 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/2014-15arch.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/ChenMT14,
  author       = {Hongxu Chen and
                  Sayan Mitra and
                  Guangyu Tian},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {Motor-Transmission Drive System: a Benchmark Example for Safety Verification},
  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},
  pages        = {9--18},
  publisher    = {EasyChair},
  year         = {2014},
  url          = {https://doi.org/10.29007/ct87},
  doi          = {10.29007/CT87},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/ChenMT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/GanDM14,
  author       = {Victor Gan and
                  Guy Albert Dumont and
                  Ian Mitchell},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {Benchmark Problem: {A} {PK/PD} Model and Safety Constraints for Anesthesia
                  Delivery},
  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},
  pages        = {1--8},
  publisher    = {EasyChair},
  year         = {2014},
  url          = {https://doi.org/10.29007/8drm},
  doi          = {10.29007/8DRM},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/GanDM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/HeinzOW14,
  author       = {Thomas Heinz and
                  Jens Oehlerking and
                  Matthias Woehrle},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {Benchmark: Reachability on a model with holes},
  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},
  pages        = {31--36},
  publisher    = {EasyChair},
  year         = {2014},
  url          = {https://doi.org/10.29007/cv59},
  doi          = {10.29007/CV59},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/HeinzOW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/HoxhaAF14,
  author       = {Bardh Hoxha and
                  Houssam Abbas and
                  Georgios Fainekos},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {Benchmarks for Temporal Logic Requirements for Automotive Systems},
  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},
  pages        = {25--30},
  publisher    = {EasyChair},
  year         = {2014},
  url          = {https://doi.org/10.29007/xwrs},
  doi          = {10.29007/XWRS},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/HoxhaAF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/HoxhaAF14a,
  author       = {Bardh Hoxha and
                  Houssam Abbas and
                  Georgios Fainekos},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {Using S-TaLiRo on Industrial Size AuImmlertomotive Models},
  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},
  pages        = {113--119},
  publisher    = {EasyChair},
  year         = {2014},
  url          = {https://doi.org/10.29007/kwp3},
  doi          = {10.29007/KWP3},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/HoxhaAF14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/MakhloufK14,
  author       = {Ibtissem Ben Makhlouf and
                  Stefan Kowalewski},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {Networked Cooperative Platoon of Vehicles for Testing Methods and
                  Verification Tools},
  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},
  pages        = {37--42},
  publisher    = {EasyChair},
  year         = {2014},
  url          = {https://doi.org/10.29007/zvkb},
  doi          = {10.29007/ZVKB},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/MakhloufK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/MakhloufK14a,
  author       = {Ibtissem Ben Makhlouf and
                  Stefan Kowalewski},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {Optimizing Safe Control of a Networked Platoon of Trucks Using Reachability},
  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},
  pages        = {169--179},
  publisher    = {EasyChair},
  year         = {2014},
  url          = {https://doi.org/10.29007/kxk7},
  doi          = {10.29007/KXK7},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/MakhloufK14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/NguyenJ14,
  author       = {Luan Viet Nguyen and
                  Taylor T. Johnson},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters,
                  Boost Converters, and Buck-Boost Converters)},
  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},
  pages        = {19--24},
  publisher    = {EasyChair},
  year         = {2014},
  url          = {https://doi.org/10.29007/23pm},
  doi          = {10.29007/23PM},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/NguyenJ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.