BibTeX records: Andrey Morozov 0001

download as .bib file

@inproceedings{DBLP:conf/visigrapp/SiedelSV024,
  author       = {Georg Siedel and
                  Weijia Shao and
                  Silvia Vock and
                  Andrey Morozov},
  editor       = {Petia Radeva and
                  Antonino Furnari and
                  Kadi Bouatouch and
                  A. Augusto de Sousa},
  title        = {Investigating the Corruption Robustness of Image Classifiers with
                  Random p-norm Corruptions},
  booktitle    = {Proceedings of the 19th International Joint Conference on Computer
                  Vision, Imaging and Computer Graphics Theory and Applications, {VISIGRAPP}
                  2024, Volume 2: VISAPP, Rome, Italy, February 27-29, 2024},
  pages        = {171--181},
  publisher    = {{SCITEPRESS}},
  year         = {2024},
  url          = {https://doi.org/10.5220/0012397100003660},
  doi          = {10.5220/0012397100003660},
  timestamp    = {Mon, 08 Apr 2024 14:14:40 +0200},
  biburl       = {https://dblp.org/rec/conf/visigrapp/SiedelSV024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-14147,
  author       = {Philipp Grimmeisen and
                  Friedrich Sautter and
                  Andrey Morozov},
  title        = {Concept: Dynamic Risk Assessment for AI-Controlled Robotic Systems},
  journal      = {CoRR},
  volume       = {abs/2401.14147},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2401.14147},
  doi          = {10.48550/ARXIV.2401.14147},
  eprinttype    = {arXiv},
  eprint       = {2401.14147},
  timestamp    = {Tue, 06 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2401-14147.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-18246,
  author       = {Joachim Grimstad and
                  Andrey Morozov},
  title        = {Reinforcement Learning and Graph Neural Networks for Probabilistic
                  Risk Assessment},
  journal      = {CoRR},
  volume       = {abs/2402.18246},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2402.18246},
  doi          = {10.48550/ARXIV.2402.18246},
  eprinttype    = {arXiv},
  eprint       = {2402.18246},
  timestamp    = {Thu, 11 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2402-18246.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/GrimmeisenGMM23,
  author       = {Philipp Grimmeisen and
                  Rucha Golwalkar and
                  Yuliang Ma and
                  Andrey Morozov},
  title        = {Automated and Continuous Risk Assessment for ROS-Based Software-Defined
                  Robotic Systems},
  booktitle    = {19th {IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2023, Auckland, New Zealand, August 26-30, 2023},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/CASE56687.2023.10260416},
  doi          = {10.1109/CASE56687.2023.10260416},
  timestamp    = {Thu, 05 Oct 2023 18:00:33 +0200},
  biburl       = {https://dblp.org/rec/conf/case/GrimmeisenGMM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/MaGM23,
  author       = {Yuliang Ma and
                  Philipp Grimmeisen and
                  Andrey Morozov},
  title        = {Case Study: ROS-Based Fault Injection for Risk Analysis of Robotic
                  Manipulator},
  booktitle    = {19th {IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2023, Auckland, New Zealand, August 26-30, 2023},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/CASE56687.2023.10260634},
  doi          = {10.1109/CASE56687.2023.10260634},
  timestamp    = {Thu, 05 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/MaGM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/AttarFMAM23,
  author       = {Arman Aghaei Attar and
                  Tagir Fabarisov and
                  Andrey Morozov and
                  Maurice Artelt and
                  Ilshat Mamaev},
  title        = {Hybrid Lightweight Deep Learning-Based Error Detection Model on Edge
                  Computing Devices},
  booktitle    = {28th {IEEE} International Conference on Emerging Technologies and
                  Factory Automation, {ETFA} 2023, Sinaia, Romania, September 12-15,
                  2023},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ETFA54631.2023.10275725},
  doi          = {10.1109/ETFA54631.2023.10275725},
  timestamp    = {Mon, 23 Oct 2023 09:15:55 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/AttarFMAM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/FabarisovNAM23,
  author       = {Tagir Fabarisov and
                  Vishnu Gangadhara Naik and
                  Arman Aghaei Attar and
                  Andrey Morozov},
  title        = {Remedy: Automated Design and Deployment of Hybrid Deep Learning-based
                  Error Detectors},
  booktitle    = {49th Annual Conference of the {IEEE} Industrial Electronics Society,
                  {IECON} 2023, Singapore, October 16-19, 2023},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/IECON51785.2023.10312506},
  doi          = {10.1109/IECON51785.2023.10312506},
  timestamp    = {Sat, 25 Nov 2023 16:52:31 +0100},
  biburl       = {https://dblp.org/rec/conf/iecon/FabarisovNAM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-05400,
  author       = {Georg Siedel and
                  Silvia Vock and
                  Andrey Morozov},
  title        = {Investigating the Corruption Robustness of Image Classifiers with
                  Random Lp-norm Corruptions},
  journal      = {CoRR},
  volume       = {abs/2305.05400},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2305.05400},
  doi          = {10.48550/ARXIV.2305.05400},
  eprinttype    = {arXiv},
  eprint       = {2305.05400},
  timestamp    = {Mon, 15 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2305-05400.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/FabarisovMMG22,
  author       = {Tagir Fabarisov and
                  Andrey Morozov and
                  Ilshat Mamaev and
                  Philipp Grimmeisen},
  title        = {{FIDGET:} Deep Learning-Based Fault Injection Framework for Safety
                  Analysis and Intelligent Generation of Labeled Training Data},
  booktitle    = {27th {IEEE} International Conference on Emerging Technologies and
                  Factory Automation, {ETFA} 2022, Stuttgart, Germany, September 6-9,
                  2022},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ETFA52439.2022.9921507},
  doi          = {10.1109/ETFA52439.2022.9921507},
  timestamp    = {Wed, 02 Nov 2022 18:01:35 +0100},
  biburl       = {https://dblp.org/rec/conf/etfa/FabarisovMMG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/GrimmeisenMFWK22,
  author       = {Philipp Grimmeisen and
                  Andrey Morozov and
                  Tagir Fabarisov and
                  Andreas Wortmann and
                  Chee Hung Koo},
  title        = {Automated Model-Based Reliability Assessment of Software-Defined Manufacturing},
  booktitle    = {27th {IEEE} International Conference on Emerging Technologies and
                  Factory Automation, {ETFA} 2022, Stuttgart, Germany, September 6-9,
                  2022},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ETFA52439.2022.9921704},
  doi          = {10.1109/ETFA52439.2022.9921704},
  timestamp    = {Mon, 07 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/etfa/GrimmeisenMFWK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SiedelVMV22,
  author       = {Georg Siedel and
                  Silvia Vock and
                  Andrey Morozov and
                  Stefan Vo{\ss}},
  editor       = {Gabriel Pedroza and
                  Xin Cynthia Chen and
                  Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
                  Xiaowei Huang and
                  Hu{\'{a}}scar Espinoza and
                  Richard Mallah and
                  John A. McDermid and
                  Mauricio Castillo{-}Effen},
  title        = {Utilizing Class Separation Distance for the Evaluation of Corruption
                  Robustness of Machine Learning Classifiers},
  booktitle    = {Proceedings of the Workshop on Artificial Intelligence Safety 2022
                  (AISafety 2022) co-located with the Thirty-First International Joint
                  Conference on Artificial Intelligence and the Twenty-Fifth European
                  Conference on Artificial Intelligence (IJCAI-ECAI-2022), Vienna, Austria,
                  July 24-25, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3215},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3215/20.pdf},
  timestamp    = {Wed, 14 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/SiedelVMV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/DingAM22,
  author       = {Sheng Ding and
                  Skander Ayoub and
                  Andrey Morozov},
  editor       = {Christel Seguin and
                  Marc Zeller and
                  Tatiana Prosvirnova},
  title        = {Tool Paper: Time Series Anomaly Detection Platform for {MATLAB} Simulink},
  booktitle    = {Model-Based Safety and Assessment - 8th International Symposium, {IMBSA}
                  2022, Munich, Germany, September 5-7, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13525},
  pages        = {204--218},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-15842-1\_15},
  doi          = {10.1007/978-3-031-15842-1\_15},
  timestamp    = {Wed, 14 Sep 2022 17:01:23 +0200},
  biburl       = {https://dblp.org/rec/conf/imbsa/DingAM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Grimmeisen0022,
  author       = {Philipp Grimmeisen and
                  Andreas Wortmann and
                  Andrey Morozov},
  editor       = {Thomas K{\"{u}}hn and
                  Vasco Sousa},
  title        = {Case study on automated and continuous reliability assessment of software-defined
                  manufacturing based on digital twins},
  booktitle    = {Proceedings of the 25th International Conference on Model Driven Engineering
                  Languages and Systems: Companion Proceedings, {MODELS} 2022, Montreal,
                  Quebec, Canada, October 23-28, 2022},
  pages        = {511--518},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3550356.3561601},
  doi          = {10.1145/3550356.3561601},
  timestamp    = {Thu, 10 Nov 2022 12:50:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/Grimmeisen0022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-13405,
  author       = {Georg Siedel and
                  Silvia Vock and
                  Andrey Morozov and
                  Stefan Vo{\ss}},
  title        = {Utilizing Class Separation Distance for the Evaluation of Corruption
                  Robustness of Machine Learning Classifiers},
  journal      = {CoRR},
  volume       = {abs/2206.13405},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2206.13405},
  doi          = {10.48550/ARXIV.2206.13405},
  eprinttype    = {arXiv},
  eprint       = {2206.13405},
  timestamp    = {Wed, 14 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2206-13405.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-01283,
  author       = {Tagir Fabarisov and
                  Ilshat Mamaev and
                  Andrey Morozov and
                  Klaus Janschek},
  title        = {Model-based Fault Injection Experiments for the Safety Analysis of
                  Exoskeleton System},
  journal      = {CoRR},
  volume       = {abs/2101.01283},
  year         = {2021},
  url          = {https://arxiv.org/abs/2101.01283},
  eprinttype    = {arXiv},
  eprint       = {2101.01283},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-01283.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/MoradiOSMJD20,
  author       = {Mehrdad Moradi and
                  Bentley James Oakes and
                  Mustafa Saraoglu and
                  Andrey Morozov and
                  Klaus Janschek and
                  Joachim Denil},
  title        = {Exploring Fault Parameter Space Using Reinforcement Learning-based
                  Fault Injection},
  booktitle    = {50th Annual {IEEE/IFIP} International Conference on Dependable Systems
                  and Networks Workshops, {DSN} Workshops 2020, Valencia, Spain, June
                  29 - July 2, 2020},
  pages        = {102--109},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/DSN-W50199.2020.00028},
  doi          = {10.1109/DSN-W50199.2020.00028},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsn/MoradiOSMJD20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MorozovVBDGS20,
  author       = {Andrey Morozov and
                  Emil Valiev and
                  Michael Beyer and
                  Kai Ding and
                  Lydia Gauerhof and
                  Christoph Schorn},
  editor       = {Hu{\'{a}}scar Espinoza and
                  John A. McDermid and
                  Xiaowei Huang and
                  Mauricio Castillo{-}Effen and
                  Xin Cynthia Chen and
                  Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
                  Se{\'{a}}n {\'{O}} h{\'{E}}igeartaigh and
                  Richard Mallah},
  title        = {Bayesian Model for Trustworthiness Analysis of Deep Learning Classifiers},
  booktitle    = {Proceedings of the Workshop on Artificial Intelligence Safety 2020
                  co-located with the 29th International Joint Conference on Artificial
                  Intelligence and the 17th Pacific Rim International Conference on
                  Artificial Intelligence {(IJCAI-PRICAI} 2020), Yokohama, Japan, January,
                  2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2640},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2640/paper\_6.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:32 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/MorozovVBDGS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/DingMVWJ20,
  author       = {Sheng Ding and
                  Andrey Morozov and
                  Silvia Vock and
                  Michael Weyrich and
                  Klaus Janschek},
  editor       = {Marc Zeller and
                  Kai H{\"{o}}fig},
  title        = {Model-Based Error Detection for Industrial Automation Systems Using
                  {LSTM} Networks},
  booktitle    = {Model-Based Safety and Assessment - 7th International Symposium, {IMBSA}
                  2020, Lisbon, Portugal, September 14-16, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12297},
  pages        = {212--226},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-58920-2\_14},
  doi          = {10.1007/978-3-030-58920-2\_14},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/imbsa/DingMVWJ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2004-13287,
  author       = {Clemens Dubslaff and
                  Andrey Morozov and
                  Christel Baier and
                  Klaus Janschek},
  editor       = {Ansgar Fehnker and
                  Hubert Garavel},
  title        = {Iterative Variable Reordering: Taming Huge System Families},
  booktitle    = {Proceedings of the 4th Workshop on Models for Formal Analysis of Real
                  Systems, MARS@ETAPS 2020, Dublin, Ireland, April 26, 2020},
  series       = {{EPTCS}},
  volume       = {316},
  pages        = {121--133},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.316.5},
  doi          = {10.4204/EPTCS.316.5},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-13287.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-06637,
  author       = {Clemens Dubslaff and
                  Andrey Morozov and
                  Christel Baier and
                  Klaus Janschek},
  title        = {Reduction Methods on Probabilistic Control-flow Programs for Reliability
                  Analysis},
  journal      = {CoRR},
  volume       = {abs/2004.06637},
  year         = {2020},
  url          = {https://arxiv.org/abs/2004.06637},
  eprinttype    = {arXiv},
  eprint       = {2004.06637},
  timestamp    = {Mon, 01 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-06637.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-07037,
  author       = {Michael Beyer and
                  Andrey Morozov and
                  Emil Valiev and
                  Christoph Schorn and
                  Lydia Gauerhof and
                  Kai Ding and
                  Klaus Janschek},
  title        = {Fault Injectors for TensorFlow: Evaluation of the Impact of Random
                  Hardware Faults on Deep CNNs},
  journal      = {CoRR},
  volume       = {abs/2012.07037},
  year         = {2020},
  url          = {https://arxiv.org/abs/2012.07037},
  eprinttype    = {arXiv},
  eprint       = {2012.07037},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2012-07037.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/DingDMFJ19,
  author       = {Kai Ding and
                  Sheng Ding and
                  Andrey Morozov and
                  Tagir Fabarisov and
                  Klaus Janschek},
  title        = {On-Line Error Detection and Mitigation for Time-Series Data of Cyber-Physical
                  Systems using Deep Learning Based Methods},
  booktitle    = {15th European Dependable Computing Conference, {EDCC} 2019, Naples,
                  Italy, September 17-20, 2019},
  pages        = {7--14},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/EDCC.2019.00015},
  doi          = {10.1109/EDCC.2019.00015},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/edcc/DingDMFJ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BeyerMDDJ19,
  author       = {Michael Beyer and
                  Andrey Morozov and
                  Kai Ding and
                  Sheng Ding and
                  Klaus Janschek},
  editor       = {Katinka Wolter and
                  Ina Schieferdecker and
                  Barbara Gallina and
                  Michel Cukier and
                  Roberto Natella and
                  Naghmeh Ramezani Ivaki and
                  Nuno Laranjeiro},
  title        = {Quantification of the Impact of Random Hardware Faults on Safety-Critical
                  {AI} Applications: CNN-Based Traffic Sign Recognition Case Study},
  booktitle    = {{IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops 2019, Berlin, Germany, October 27-30,
                  2019},
  pages        = {118--119},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ISSREW.2019.00058},
  doi          = {10.1109/ISSREW.2019.00058},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issre/BeyerMDDJ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/MorozovDSJ19,
  author       = {Andrey Morozov and
                  Kai Ding and
                  Mikael Steurer and
                  Klaus Janschek},
  editor       = {Katinka Wolter and
                  Ina Schieferdecker and
                  Barbara Gallina and
                  Michel Cukier and
                  Roberto Natella and
                  Naghmeh Ramezani Ivaki and
                  Nuno Laranjeiro},
  title        = {OpenErrorPro: {A} New Tool for Stochastic Model-Based Reliability
                  and Resilience Analysis},
  booktitle    = {30th {IEEE} International Symposium on Software Reliability Engineering,
                  {ISSRE} 2019, Berlin, Germany, October 28-31, 2019},
  pages        = {303--312},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ISSRE.2019.00038},
  doi          = {10.1109/ISSRE.2019.00038},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issre/MorozovDSJ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/DingMJ19,
  author       = {Kai Ding and
                  Andrey Morozov and
                  Klaus Janschek},
  editor       = {Alexander B. Romanovsky and
                  Elena Troubitsyna and
                  Friedemann Bitsch},
  title        = {Efficient Model-Level Reliability Analysis of Simulink Models},
  booktitle    = {Computer Safety, Reliability, and Security - 38th International Conference,
                  {SAFECOMP} 2019, Turku, Finland, September 11-13, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11698},
  pages        = {139--154},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-26601-1\_10},
  doi          = {10.1007/978-3-030-26601-1\_10},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/DingMJ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-05364,
  author       = {Clemens Dubslaff and
                  Kai Ding and
                  Andrey Morozov and
                  Christel Baier and
                  Klaus Janschek},
  title        = {Breaking the Limits of Redundancy Systems Analysis},
  journal      = {CoRR},
  volume       = {abs/1912.05364},
  year         = {2019},
  url          = {http://arxiv.org/abs/1912.05364},
  eprinttype    = {arXiv},
  eprint       = {1912.05364},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1912-05364.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/DingMJ18,
  author       = {Kai Ding and
                  Andrey Morozov and
                  Klaus Janschek},
  editor       = {Sudipto Ghosh and
                  Roberto Natella and
                  Bojan Cukic and
                  Robin S. Poston and
                  Nuno Laranjeiro},
  title        = {Reliability Evaluation of Functionally Equivalent Simulink Implementations
                  of a {PID} Controller under Silent Data Corruption},
  booktitle    = {29th {IEEE} International Symposium on Software Reliability Engineering,
                  {ISSRE} 2018, Memphis, TN, USA, October 15-18, 2018},
  pages        = {47--57},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/ISSRE.2018.00016},
  doi          = {10.1109/ISSRE.2018.00016},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/DingMJ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/DingMJ18,
  author       = {Kai Ding and
                  Andrey Morozov and
                  Klaus Janschek},
  editor       = {Barbara Gallina and
                  Amund Skavhaug and
                  Friedemann Bitsch},
  title        = {{MORE:} MOdel-based REdundancy for Simulink},
  booktitle    = {Computer Safety, Reliability, and Security - 37th International Conference,
                  {SAFECOMP} 2018, V{\"{a}}ster{\aa}s, Sweden, September 19-21,
                  2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11093},
  pages        = {250--264},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99130-6\_17},
  doi          = {10.1007/978-3-319-99130-6\_17},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/DingMJ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasc/DingMJ17,
  author       = {Kai Ding and
                  Andrey Morozov and
                  Klaus Janschek},
  title        = {Classification of Hierarchical Fault-Tolerant Design Patterns},
  booktitle    = {15th {IEEE} Intl Conf on Dependable, Autonomic and Secure Computing,
                  15th Intl Conf on Pervasive Intelligence and Computing, 3rd Intl Conf
                  on Big Data Intelligence and Computing and Cyber Science and Technology
                  Congress, DASC/PiCom/DataCom/CyberSciTech 2017, Orlando, FL, USA,
                  November 6-10, 2017},
  pages        = {612--619},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/DASC-PICom-DataCom-CyberSciTec.2017.108},
  doi          = {10.1109/DASC-PICOM-DATACOM-CYBERSCITEC.2017.108},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dasc/DingMJ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/SaraogluMSJ17,
  author       = {Mustafa Saraoglu and
                  Andrey Morozov and
                  Mehmet Turan S{\"{o}}ylemez and
                  Klaus Janschek},
  editor       = {Stefano Tonetta and
                  Erwin Schoitsch and
                  Friedemann Bitsch},
  title        = {ErrorSim: {A} Tool for Error Propagation Analysis of Simulink Models},
  booktitle    = {Computer Safety, Reliability, and Security - 36th International Conference,
                  {SAFECOMP} 2017, Trento, Italy, September 13-15, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10488},
  pages        = {245--254},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66266-4\_16},
  doi          = {10.1007/978-3-319-66266-4\_16},
  timestamp    = {Mon, 01 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/SaraogluMSJ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sate/MorozovDCJ17,
  author       = {Andrey Morozov and
                  Kai Ding and
                  Tao Chen and
                  Klaus Janschek},
  editor       = {Wei Dong and
                  Xiaoyuan Xie},
  title        = {Test Suite Prioritization for Efficient Regression Testing of Model-Based
                  Automotive Software},
  booktitle    = {2017 International Conference on Software Analysis, Testing and Evolution,
                  {SATE} 2017, Harbin, China, November 3-4, 2017},
  pages        = {20--29},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/SATE.2017.11},
  doi          = {10.1109/SATE.2017.11},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sate/MorozovDCJ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocup/MorozovJKS16,
  author       = {Andrey Morozov and
                  Klaus Janschek and
                  Thomas Kr{\"{u}}ger and
                  Andr{\'{e}} Schiele},
  editor       = {Uwe A{\ss}mann and
                  Davide Brugali and
                  Christian Piechnick},
  title        = {Stochastic Error Propagation Analysis of Model-driven Space Robotic
                  Software Implemented in Simulink},
  booktitle    = {Proceedings of the 3rd Workshop on Model-Driven Robot Software Engineering,
                  MORSE@RoboCup 2016, Leipzig, Germany, July 1, 2016},
  pages        = {24--31},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/3022099.3022103},
  doi          = {10.1145/3022099.3022103},
  timestamp    = {Mon, 01 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/robocup/MorozovJKS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmech/JanschekM15,
  author       = {Klaus Janschek and
                  Andrey Morozov},
  title        = {Dependability aspects of model-based systems design for mechatronic
                  systems},
  booktitle    = {{IEEE} International Conference on Mechatronics, {ICM} 2015, Nagoya,
                  Japan, March 6-8, 2015},
  pages        = {15--22},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICMECH.2015.7083940},
  doi          = {10.1109/ICMECH.2015.7083940},
  timestamp    = {Mon, 01 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icmech/JanschekM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Morozov12,
  author       = {Andrey Morozov},
  title        = {Dual-graph model for error propagation analysis of mechatronic systems},
  school       = {Dresden University of Technology, Germany},
  year         = {2012},
  url          = {https://d-nb.info/1027859526},
  isbn         = {978-3-938860-56-4},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Morozov12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics