Search dblp for Publications

export results for "toc:db/conf/cyphy/cyphy2014.bht:"

 download as .bib file

@inproceedings{DBLP:conf/cyphy/000114,
  author       = {Christian Berger},
  editor       = {Ralf L{\"{a}}mmel and
                  Walid Taha},
  title        = {Saving virtual testing time for {CPS} by analyzing code coverage on
                  the example of a lane-following algorithm},
  booktitle    = {Proceedings of the 4th {ACM} {SIGBED} International Workshop on Design,
                  Modeling, and Evaluation of Cyber-Physical Systems, CyPhy 2014, Berlin,
                  Germany, April 14-17, 2014},
  pages        = {7--10},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2593458.2593466},
  doi          = {10.1145/2593458.2593466},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cyphy/000114.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cyphy/AlharthiT14,
  author       = {Mohannad A. Alharthi and
                  Abd{-}Elhamid M. Taha},
  editor       = {Ralf L{\"{a}}mmel and
                  Walid Taha},
  title        = {Modeling mobility for networked mobile cyber-physical systems},
  booktitle    = {Proceedings of the 4th {ACM} {SIGBED} International Workshop on Design,
                  Modeling, and Evaluation of Cyber-Physical Systems, CyPhy 2014, Berlin,
                  Germany, April 14-17, 2014},
  pages        = {1--6},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2593458.2593468},
  doi          = {10.1145/2593458.2593468},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cyphy/AlharthiT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cyphy/Bak14,
  author       = {Stanley Bak},
  editor       = {Ralf L{\"{a}}mmel and
                  Walid Taha},
  title        = {Reducing the wrapping effect in flowpipe construction using pseudo-invariants},
  booktitle    = {Proceedings of the 4th {ACM} {SIGBED} International Workshop on Design,
                  Modeling, and Evaluation of Cyber-Physical Systems, CyPhy 2014, Berlin,
                  Germany, April 14-17, 2014},
  pages        = {40--43},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2593458.2593471},
  doi          = {10.1145/2593458.2593471},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cyphy/Bak14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cyphy/BujorianuM14,
  author       = {Manuela{-}Luminita Bujorianu and
                  Robert S. MacKay},
  editor       = {Ralf L{\"{a}}mmel and
                  Walid Taha},
  title        = {Complex systems techniques for cyber-physical systems: position paper},
  booktitle    = {Proceedings of the 4th {ACM} {SIGBED} International Workshop on Design,
                  Modeling, and Evaluation of Cyber-Physical Systems, CyPhy 2014, Berlin,
                  Germany, April 14-17, 2014},
  pages        = {27--30},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2593458.2593460},
  doi          = {10.1145/2593458.2593460},
  timestamp    = {Tue, 21 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cyphy/BujorianuM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cyphy/BundS14,
  author       = {Tobias Bund and
                  Frank Slomka},
  editor       = {Ralf L{\"{a}}mmel and
                  Walid Taha},
  title        = {Controller/platform co-design of networked control systems based on
                  density functions},
  booktitle    = {Proceedings of the 4th {ACM} {SIGBED} International Workshop on Design,
                  Modeling, and Evaluation of Cyber-Physical Systems, CyPhy 2014, Berlin,
                  Germany, April 14-17, 2014},
  pages        = {11--14},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2593458.2593467},
  doi          = {10.1145/2593458.2593467},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cyphy/BundS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cyphy/Cheng14,
  author       = {Albert M. K. Cheng},
  editor       = {Ralf L{\"{a}}mmel and
                  Walid Taha},
  title        = {An undergraduate cyber-physical systems course},
  booktitle    = {Proceedings of the 4th {ACM} {SIGBED} International Workshop on Design,
                  Modeling, and Evaluation of Cyber-Physical Systems, CyPhy 2014, Berlin,
                  Germany, April 14-17, 2014},
  pages        = {31--34},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2593458.2593464},
  doi          = {10.1145/2593458.2593464},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cyphy/Cheng14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cyphy/EmfingerKDG14,
  author       = {William Emfinger and
                  Gabor Karsai and
                  Abhishek Dubey and
                  Aniruddha S. Gokhale},
  editor       = {Ralf L{\"{a}}mmel and
                  Walid Taha},
  title        = {Analysis, verification, and management toolsuite for cyber-physical
                  applications on time-varying networks},
  booktitle    = {Proceedings of the 4th {ACM} {SIGBED} International Workshop on Design,
                  Modeling, and Evaluation of Cyber-Physical Systems, CyPhy 2014, Berlin,
                  Germany, April 14-17, 2014},
  pages        = {44--47},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2593458.2593459},
  doi          = {10.1145/2593458.2593459},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cyphy/EmfingerKDG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cyphy/KleunenMH14,
  author       = {Wouter van Kleunen and
                  Nirvana Meratnia and
                  Paul J. M. Havinga},
  editor       = {Ralf L{\"{a}}mmel and
                  Walid Taha},
  title        = {aLS-Coop-Loc: cooperative combined localization and time-synchronization
                  in underwater acoustic networks},
  booktitle    = {Proceedings of the 4th {ACM} {SIGBED} International Workshop on Design,
                  Modeling, and Evaluation of Cyber-Physical Systems, CyPhy 2014, Berlin,
                  Germany, April 14-17, 2014},
  pages        = {23--26},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2593458.2593462},
  doi          = {10.1145/2593458.2593462},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cyphy/KleunenMH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cyphy/KrainerK14,
  author       = {Clemens Krainer and
                  Christoph M. Kirsch},
  editor       = {Ralf L{\"{a}}mmel and
                  Walid Taha},
  title        = {Cyber-physical cloud computing implemented as PaaS},
  booktitle    = {Proceedings of the 4th {ACM} {SIGBED} International Workshop on Design,
                  Modeling, and Evaluation of Cyber-Physical Systems, CyPhy 2014, Berlin,
                  Germany, April 14-17, 2014},
  pages        = {15--18},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2593458.2593461},
  doi          = {10.1145/2593458.2593461},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cyphy/KrainerK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cyphy/KumarS14,
  author       = {Admar Ajith Kumar Somappa and
                  Kent Inge Fagerland Simonsen},
  editor       = {Ralf L{\"{a}}mmel and
                  Walid Taha},
  title        = {Towards a model-based development approach for wireless sensor-actuator
                  network protocols},
  booktitle    = {Proceedings of the 4th {ACM} {SIGBED} International Workshop on Design,
                  Modeling, and Evaluation of Cyber-Physical Systems, CyPhy 2014, Berlin,
                  Germany, April 14-17, 2014},
  pages        = {35--39},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2593458.2593465},
  doi          = {10.1145/2593458.2593465},
  timestamp    = {Sat, 11 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cyphy/KumarS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cyphy/NguyenNVZWSJ14,
  author       = {Luan Viet Nguyen and
                  Eric J. Nelson and
                  Amol Vengurlekar and
                  Ruoshi Zhang and
                  Kristopher I. White and
                  Victor Salinas and
                  Taylor T. Johnson},
  editor       = {Ralf L{\"{a}}mmel and
                  Walid Taha},
  title        = {Model-based design and analysis of a reconfigurable continuous-culture
                  bioreactor},
  booktitle    = {Proceedings of the 4th {ACM} {SIGBED} International Workshop on Design,
                  Modeling, and Evaluation of Cyber-Physical Systems, CyPhy 2014, Berlin,
                  Germany, April 14-17, 2014},
  pages        = {48--51},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2593458.2593469},
  doi          = {10.1145/2593458.2593469},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cyphy/NguyenNVZWSJ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cyphy/RamanMD14,
  author       = {Vasumathi Raman and
                  Mehdi Maasoumy and
                  Alexandre Donz{\'{e}}},
  editor       = {Ralf L{\"{a}}mmel and
                  Walid Taha},
  title        = {Model predictive control from signal temporal logic specifications:
                  a case study},
  booktitle    = {Proceedings of the 4th {ACM} {SIGBED} International Workshop on Design,
                  Modeling, and Evaluation of Cyber-Physical Systems, CyPhy 2014, Berlin,
                  Germany, April 14-17, 2014},
  pages        = {52--55},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2593458.2593472},
  doi          = {10.1145/2593458.2593472},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cyphy/RamanMD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cyphy/SimkoLMS14,
  author       = {Gabor Simko and
                  Tihamer Levendovszky and
                  Miklos Maroti and
                  Janos Sztipanovits},
  editor       = {Ralf L{\"{a}}mmel and
                  Walid Taha},
  title        = {Towards a theory for cyber-physical systems modeling},
  booktitle    = {Proceedings of the 4th {ACM} {SIGBED} International Workshop on Design,
                  Modeling, and Evaluation of Cyber-Physical Systems, CyPhy 2014, Berlin,
                  Germany, April 14-17, 2014},
  pages        = {56--61},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2593458.2593463},
  doi          = {10.1145/2593458.2593463},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cyphy/SimkoLMS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cyphy/Stahle0K14,
  author       = {Hauke St{\"{a}}hle and
                  Kai Huang and
                  Alois C. Knoll},
  editor       = {Ralf L{\"{a}}mmel and
                  Walid Taha},
  title        = {Drive-by-wireless with the eCar demonstrator},
  booktitle    = {Proceedings of the 4th {ACM} {SIGBED} International Workshop on Design,
                  Modeling, and Evaluation of Cyber-Physical Systems, CyPhy 2014, Berlin,
                  Germany, April 14-17, 2014},
  pages        = {19--22},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2593458.2593470},
  doi          = {10.1145/2593458.2593470},
  timestamp    = {Fri, 24 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cyphy/Stahle0K14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cyphy/2014,
  editor       = {Ralf L{\"{a}}mmel and
                  Walid Taha},
  title        = {Proceedings of the 4th {ACM} {SIGBED} International Workshop on Design,
                  Modeling, and Evaluation of Cyber-Physical Systems, CyPhy 2014, Berlin,
                  Germany, April 14-17, 2014},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {http://dl.acm.org/citation.cfm?id=2593458},
  isbn         = {978-1-4503-2871-5},
  timestamp    = {Thu, 26 Nov 2015 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cyphy/2014.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.