Search dblp for Publications

export results for "toc:db/conf/cpsweek/mt2018.bht:"

 download as .bib file

@inproceedings{DBLP:conf/cpsweek/AbbasAMMR18,
  author       = {Houssam Abbas and
                  Rajeev Alur and
                  Konstantinos Mamouras and
                  Rahul Mangharam and
                  Al{\"{e}}na Rodionova},
  title        = {Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias},
  booktitle    = {3rd Workshop on Monitoring and Testing of Cyber-Physical Systems,
                  MT@CPSWeek 2018, Porto, Portugal, April 10, 2018},
  pages        = {1--2},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/MT-CPS.2018.00007},
  doi          = {10.1109/MT-CPS.2018.00007},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpsweek/AbbasAMMR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/AertsMMR18,
  author       = {Arend Aerts and
                  Bryan Tong Minh and
                  Mohammad Reza Mousavi and
                  Michel A. Reniers},
  title        = {Dynamic Control Points and Independent Time Domains for Temporal Logic
                  Falsification},
  booktitle    = {3rd Workshop on Monitoring and Testing of Cyber-Physical Systems,
                  MT@CPSWeek 2018, Porto, Portugal, April 10, 2018},
  pages        = {7},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/MT-CPS.2018.00010},
  doi          = {10.1109/MT-CPS.2018.00010},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpsweek/AertsMMR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/AvonD18,
  author       = {Xavier Avon and
                  Thao Dang},
  title        = {Stimulus Generator for Circuit Model Generation},
  booktitle    = {3rd Workshop on Monitoring and Testing of Cyber-Physical Systems,
                  MT@CPSWeek 2018, Porto, Portugal, April 10, 2018},
  pages        = {20--21},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/MT-CPS.2018.00017},
  doi          = {10.1109/MT-CPS.2018.00017},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpsweek/AvonD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/BiewerDH18,
  author       = {Sebastian Biewer and
                  Pedro R. D'Argenio and
                  Holger Hermanns},
  title        = {Cyber-Physical Doping Tests},
  booktitle    = {3rd Workshop on Monitoring and Testing of Cyber-Physical Systems,
                  MT@CPSWeek 2018, Porto, Portugal, April 10, 2018},
  pages        = {18--19},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/MT-CPS.2018.00016},
  doi          = {10.1109/MT-CPS.2018.00016},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/BiewerDH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/ClaessenSERAM18,
  author       = {Koen Claessen and
                  Nicholas Smallbone and
                  Johan Lid{\'{e}}n Eddeland and
                  Zahra Ramezani and
                  Knut {\AA}kesson and
                  Sajed Miremadi},
  title        = {Applying Valued Booleans in Testing of Cyber-Physical Systems},
  booktitle    = {3rd Workshop on Monitoring and Testing of Cyber-Physical Systems,
                  MT@CPSWeek 2018, Porto, Portugal, April 10, 2018},
  pages        = {8--9},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/MT-CPS.2018.00011},
  doi          = {10.1109/MT-CPS.2018.00011},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpsweek/ClaessenSERAM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/HavelundPU18,
  author       = {Klaus Havelund and
                  Doron Peled and
                  Dogan Ulus},
  title        = {DejaVu: {A} Monitoring Tool for First-Order Temporal Logic},
  booktitle    = {3rd Workshop on Monitoring and Testing of Cyber-Physical Systems,
                  MT@CPSWeek 2018, Porto, Portugal, April 10, 2018},
  pages        = {12--13},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/MT-CPS.2018.00013},
  doi          = {10.1109/MT-CPS.2018.00013},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpsweek/HavelundPU18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/IvanovWL18,
  author       = {Radoslav Ivanov and
                  James Weimer and
                  Insup Lee},
  title        = {Towards Context-Aware Cyber-Physical Systems},
  booktitle    = {3rd Workshop on Monitoring and Testing of Cyber-Physical Systems,
                  MT@CPSWeek 2018, Porto, Portugal, April 10, 2018},
  pages        = {10--11},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/MT-CPS.2018.00012},
  doi          = {10.1109/MT-CPS.2018.00012},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpsweek/IvanovWL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/KatoIH18,
  author       = {Koki Kato and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  title        = {Falsification of Cyber-Physical Systems with Reinforcement Learning},
  booktitle    = {3rd Workshop on Monitoring and Testing of Cyber-Physical Systems,
                  MT@CPSWeek 2018, Porto, Portugal, April 10, 2018},
  pages        = {5--6},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/MT-CPS.2018.00009},
  doi          = {10.1109/MT-CPS.2018.00009},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpsweek/KatoIH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/LukinaTSEYG18,
  author       = {Anna Lukina and
                  Ashish Tiwari and
                  Scott A. Smolka and
                  Lukas Esterle and
                  Junxing Yang and
                  Radu Grosu},
  title        = {Resilient Control and Safety for Cyber-Physical Systems},
  booktitle    = {3rd Workshop on Monitoring and Testing of Cyber-Physical Systems,
                  MT@CPSWeek 2018, Porto, Portugal, April 10, 2018},
  pages        = {16--17},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/MT-CPS.2018.00015},
  doi          = {10.1109/MT-CPS.2018.00015},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpsweek/LukinaTSEYG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/WagaHS18,
  author       = {Masaki Waga and
                  Ichiro Hasuo and
                  Kohei Suenaga},
  title        = {{MONAA:} {A} Tool for Timed Pattern Matching with Automata-Based Acceleration},
  booktitle    = {3rd Workshop on Monitoring and Testing of Cyber-Physical Systems,
                  MT@CPSWeek 2018, Porto, Portugal, April 10, 2018},
  pages        = {14--15},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/MT-CPS.2018.00014},
  doi          = {10.1109/MT-CPS.2018.00014},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpsweek/WagaHS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/ZhangEHS18,
  author       = {Zhenya Zhang and
                  Gidon Ernst and
                  Ichiro Hasuo and
                  Sean Sedwards},
  title        = {Time-Staging Enhancement of Hybrid System Falsification},
  booktitle    = {3rd Workshop on Monitoring and Testing of Cyber-Physical Systems,
                  MT@CPSWeek 2018, Porto, Portugal, April 10, 2018},
  pages        = {3--4},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/MT-CPS.2018.00008},
  doi          = {10.1109/MT-CPS.2018.00008},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpsweek/ZhangEHS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cpsweek/2018mt,
  title        = {3rd Workshop on Monitoring and Testing of Cyber-Physical Systems,
                  MT@CPSWeek 2018, Porto, Portugal, April 10, 2018},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/8429084/proceeding},
  isbn         = {978-1-5386-6748-4},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/2018mt.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.