var bibbase_data = {"data":"\"Loading..\"\n\n
\n\n \n\n \n\n \n \n\n \n\n \n \n\n \n\n \n
\n generated by\n \n \"bibbase.org\"\n\n \n
\n \n\n
\n\n \n\n\n
\n\n Excellent! Next you can\n create a new website with this list, or\n embed it in an existing web page by copying & pasting\n any of the following snippets.\n\n
\n JavaScript\n (easiest)\n
\n \n <script src=\"https://bibbase.org/show?bib=https://marc-zeller.github.io/pubs.bib&jsonp=1&jsonp=1\"></script>\n \n
\n\n PHP\n
\n \n <?php\n $contents = file_get_contents(\"https://bibbase.org/show?bib=https://marc-zeller.github.io/pubs.bib&jsonp=1\");\n print_r($contents);\n ?>\n \n
\n\n iFrame\n (not recommended)\n
\n \n <iframe src=\"https://bibbase.org/show?bib=https://marc-zeller.github.io/pubs.bib&jsonp=1\"></iframe>\n \n
\n\n

\n For more details see the documention.\n

\n
\n
\n\n
\n\n This is a preview! To use this list on your own web site\n or create a new web site from it,\n create a free account. The file will be added\n and you will be able to edit it in the File Manager.\n We will show you instructions once you've created your account.\n
\n\n
\n\n

To the site owner:

\n\n

Action required! Mendeley is changing its\n API. In order to keep using Mendeley with BibBase past April\n 14th, you need to:\n

    \n
  1. renew the authorization for BibBase on Mendeley, and
  2. \n
  3. update the BibBase URL\n in your page the same way you did when you initially set up\n this page.\n
  4. \n
\n

\n\n

\n \n \n Fix it now\n

\n
\n\n
\n\n\n
\n \n \n
\n
\n  \n 2023\n \n \n (7)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Open Dependability Exchange Metamodel: A Format to Exchange Safety Information.\n \n \n \n\n\n \n Zeller, M.; Sorokos, I.; Reich, J.; Adler, R.; and Schneider, D.\n\n\n \n\n\n\n In 2023 Annual Reliability and Maintainability Symposium (RAMS), pages 1-7, 2023. \n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@INPROCEEDINGS{10088190,\n  author={Zeller, Marc and Sorokos, Ioannis and Reich, Jan and Adler, Rasmus and Schneider, Daniel},\n  booktitle={2023 Annual Reliability and Maintainability Symposium (RAMS)}, \n  title={Open Dependability Exchange Metamodel: A Format to Exchange Safety Information}, \n  year={2023},\n  volume={},\n  number={},\n  pages={1-7},\n  doi={10.1109/RAMS51473.2023.10088190}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Safety Assurance of Autonomous Systems using Machine Learning: An Industrial Case Study and Lessons Learnt.\n \n \n \n\n\n \n \n\n\n \n\n\n\n In INCOSE International Symposium, volume 33, pages 320–333, 2023. Wiley Online Library, Wiley\n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Challenges and Solution Strategies to Setup an MLOps Process to Develop and Assess a Driverless Regional Train Example.\n \n \n \n\n\n \n Zeller, M.; Rothfelder, M.; and Klein, C.\n\n\n \n\n\n\n Presentation at the 45th IEEE/ACM International Conference on Software Engineering (ICSE 2023) Industry Forum, May 2023.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@misc{Zeller2023b,\n  author       = {Marc Zeller and Martin Rothfelder and Cornel Klein},\n  title        = {Challenges and Solution Strategies to Setup an MLOps Process to Develop and Assess a Driverless Regional Train Example},\n  howpublished = {Presentation at the 45th {IEEE/ACM} International Conference on Software Engineering ({ICSE} 2023) Industry Forum},\n  month        = may,\n  year         = {2023},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n safe.trAIn - Engineering and Assurance of a Driverless Regional Train.\n \n \n \n \n\n\n \n Zeller, M.; Rothfelder, M.; and Klein, C.\n\n\n \n\n\n\n In 2nd IEEE/ACM International Conference on AI Engineering - Software Engineering for AI, CAIN 2023, Melbourne, Australia, May 15-16, 2023, pages 197, 2023. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"safe.trAInPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{ZellerRK23,\n  author       = {Marc Zeller and\n                  Martin Rothfelder and\n                  Cornel Klein},\n  title        = {safe.trAIn - Engineering and Assurance of a Driverless Regional Train},\n  booktitle    = {2nd {IEEE/ACM} International Conference on {AI} Engineering - Software\n                  Engineering for AI, {CAIN} 2023, Melbourne, Australia, May 15-16,\n                  2023},\n  pages        = {197},\n  publisher    = {{IEEE}},\n  year         = {2023},\n  url          = {https://doi.org/10.1109/CAIN58948.2023.00036},\n  doi          = {10.1109/CAIN58948.2023.00036},\n  timestamp    = {Fri, 07 Jul 2023 16:19:17 +0200},\n  biburl       = {https://dblp.org/rec/conf/cain/ZellerRK23.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n DevCertOps: Strategies to Realize Continuous Delivery of Safe Software in Regulated Domain.\n \n \n \n \n\n\n \n Zeller, M.\n\n\n \n\n\n\n In 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, Melbourne, Australia, May 14-20, 2023, pages 334–335, 2023. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"DevCertOps:Paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{Zeller2023a,\n  author       = {Marc Zeller},\n  title        = {DevCertOps: Strategies to Realize Continuous Delivery of Safe Software\n                  in Regulated Domain},\n  booktitle    = {45th {IEEE/ACM} International Conference on Software Engineering:\n                  {ICSE} 2023 Companion Proceedings, Melbourne, Australia, May 14-20,\n                  2023},\n  pages        = {334--335},\n  publisher    = {{IEEE}},\n  year         = {2023},\n  url          = {https://doi.org/10.1109/ICSE-Companion58688.2023.00094},\n  doi          = {10.1109/ICSE-Companion58688.2023.00094}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Automated Traceability between Requirements and Model-Based Design.\n \n \n \n \n\n\n \n Bonner, M.; Zeller, M.; Schulz, G.; Beyer, D.; and Olteanu, M.\n\n\n \n\n\n\n In Joint Proceedings of REFSQ-2023 Workshops, Doctoral Symposium, Posters & Tools Track and Journal Early Feedback co-located with the 28th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2023), Barcelona, Catalunya, Spain, April 17-20, 2023, volume 3378, of CEUR Workshop Proceedings, 2023. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"Automated pdf\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{BonnerZSBO23,\n  author       = {Maria Bonner and Marc Zeller and Gabor Schulz and Dagmar Beyer and Mihaela Olteanu},\n  title        = {Automated Traceability between Requirements and Model-Based Design},\n  booktitle    = {Joint Proceedings of {REFSQ-2023} Workshops, Doctoral Symposium, Posters\n                  {\\&} Tools Track and Journal Early Feedback co-located with the\n                  28th International Conference on Requirements Engineering: Foundation\n                  for Software Quality {(REFSQ} 2023), Barcelona, Catalunya, Spain,\n                  April 17-20, 2023},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {3378},\n  publisher    = {CEUR-WS.org},\n  year         = {2023},\n  url_pdf      = {https://ceur-ws.org/Vol-3378/PT-paper3.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Towards a safe MLOps Process for the Continuous Development and Safety Assurance of ML-based Systems in the Railway Domain.\n \n \n \n \n\n\n \n Zeller, M.; Waschulzik, T.; Schmid, R. N.; and Bahlmann, C.\n\n\n \n\n\n\n , abs/2307.02867. 2023.\n \n\n\n\n
\n\n\n\n \n \n \"Towards pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{Zeller2023,\n  author       = {Marc Zeller and\n                  Thomas Waschulzik and\n                  Reiner N. Schmid and\n                  Claus Bahlmann},\n  title        = {Towards a safe MLOps Process for the Continuous Development and Safety\n                  Assurance of ML-based Systems in the Railway Domain},\n  volume       = {abs/2307.02867},\n  year         = {2023},\n  url_pdf          = {https://arxiv.org/pdf/2307.02867.pdf},\n  doi          = {10.48550/arXiv.2307.02867}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2022\n \n \n (5)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Safe.trAIn.\n \n \n \n \n\n\n \n Zeller, M.; and Waschulzik, T.\n\n\n \n\n\n\n Presentation at the 31th SafeTRANS Industrial DayConfiance.ai Days 2022, October 2022.\n \n\n\n\n
\n\n\n\n \n \n \"Safe.trAIn link\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Misc{Zeller2022b,\n  author       = {Marc Zeller and Thomas Waschulzik},\n  howpublished = {Presentation at the 31th SafeTRANS Industrial DayConfiance.ai Days 2022},\n  month        = oct,\n  title        = {{Safe.trAIn}},\n  year         = {2022},\n  url_link\t   = {https://www.youtube.com/watch?v=zzqsWa0bgJg}  \n}\n  \n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Combining functional safety and SOTIF Analysis using Component Fault and Deficiency Trees (CFDTs).\n \n \n \n\n\n \n Zeller, M.\n\n\n \n\n\n\n Presentation at the 31th SafeTRANS Industrial Day, dez 2022.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Misc{Zeller2022a,\n  author       = {Marc Zeller},\n  howpublished = {Presentation at the 31th SafeTRANS Industrial Day},\n  month        = dez,\n  title        = {Combining functional safety and SOTIF Analysis using Component Fault and Deficiency Trees (CFDTs)},\n  year         = {2022}  \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n safe.trAIn - Sichere KI am Beispiel fahrerloser Regionalzug.\n \n \n \n\n\n \n Klein, C.; and Zeller, M.\n\n\n \n\n\n\n Presentation at the 30th SafeTRANS Industrial Day, June 2022.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Misc{Klein2022,\n  author       = {Cornel Klein and Marc Zeller},\n  howpublished = {Presentation at the 30th SafeTRANS Industrial Day},\n  month        = jun,\n  title        = {safe.trAIn - Sichere KI am Beispiel fahrerloser Regionalzug},\n  year         = {2022}  \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings.\n \n \n \n \n\n\n \n Seguin, C.; Zeller, M.; and Prosvirnova, T.,\n editors.\n \n\n\n \n\n\n\n Volume 13525, of Lecture Notes in Computer Science.Springer. 2022.\n \n\n\n\n
\n\n\n\n \n \n \"Model-BasedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@proceedings{Seguin2022,\n  editor       = {Christel Seguin and\n                  Marc Zeller and\n                  Tatiana Prosvirnova},\n  title        = {Model-Based Safety and Assessment - 8th International Symposium, {IMBSA}\n                  2022, Munich, Germany, September 5-7, 2022, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {13525},\n  publisher    = {Springer},\n  year         = {2022},\n  url          = {https://doi.org/10.1007/978-3-031-15842-1},\n  doi          = {10.1007/978-3-031-15842-1},\n  isbn         = {978-3-031-15841-4}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Component Fault and Deficiency Tree (CFDT): Combining Functional Safety and SOTIF Analysis.\n \n \n \n\n\n \n \n\n\n \n\n\n\n In null, editor(s), Model-Based Safety and Assessment, pages 146–152, Cham, 2022. Springer International Publishing\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
\n
\n\n\n
\n In order to assess AI/ML-based systems in terms of safety, is it not sufficient to assure the system in terms of possible failure but also consider functional weaknesses/insufficiencies of the used algorithms according to Safety Of The Intended Functionality (SOTIF). Therefore, we introduce the concept of the so-called Component Fault and Deficiency Tree (CFDT). With this extension of the Component Fault Tree (CFT) methodology cause-effect-relationships between individual failures as well as functional insufficiencies and system hazards of the specified system can be described. Hence, it is possible to conduct safety analysis to apply for AI/ML-based systems. Thereby, we are able to show that all risks have been sufficiently mitigated and document efficiently the various mitigation schemes on different system levels.\n
\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2021\n \n \n (8)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Continual Model-Based Analysis.\n \n \n \n \n\n\n \n Johnson, K.; Zeller, M.; Vetter, A.; and Varro, D.\n\n\n \n\n\n\n In Heinrich, R.; Durán, F.; Talcott, C.; and Zschaler, S., editor(s), Composing Model-Based Analysis Tools, pages 97–127, Cham, 2021. Springer International Publishing\n \n\n\n\n
\n\n\n\n \n \n \"ContinualPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Johnson2021,\n  author    = {Johnson, Kenneth and Zeller, Marc and Vetter, Arthur and Varro, Daniel},\n  editor    = {Heinrich, Robert and Dur{\\'a}n, Francisco and Talcott, Carolyn and Zschaler, Steffen},\n  pages     = {97--127},\n  publisher = {Springer International Publishing},\n  title     = {Continual Model-Based Analysis},\n  year      = {2021},\n  address   = {Cham},\n  isbn      = {978-3-030-81915-6},\n  abstract  = {In this chapter, we describe the continual model-based analysis (CMBA) framework as an approach for analysing a system under continual change. We give a formal specification of the CMBA framework and apply it to case studies from incremental verification, safety-critical systems, and business processes.},\n  booktitle = {Composing Model-Based Analysis Tools},\n  doi       = {10.1007/978-3-030-81915-6_6},\n  url       = {https://doi.org/10.1007/978-3-030-81915-6_6}\n}\n\n
\n
\n\n\n
\n In this chapter, we describe the continual model-based analysis (CMBA) framework as an approach for analysing a system under continual change. We give a formal specification of the CMBA framework and apply it to case studies from incremental verification, safety-critical systems, and business processes.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n DevCertOps – Towards Continuous Delivery for Safety-relevantSystems.\n \n \n \n\n\n \n Zeller, M.\n\n\n \n\n\n\n Presentation at TdSE 2021, November 2021.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Misc{Zeller2021,\n  author       = {Marc Zeller},\n  howpublished = {Presentation at TdSE 2021},\n  month        = nov,\n  title        = {DevCertOps – Towards Continuous Delivery for Safety-relevantSystems},\n  year         = {2021}  \n}\n\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n PANORover: Autonomous Driving System Development Platform.\n \n \n \n \n\n\n \n Zeller, M.; Kupriyanov, O.; and Beck, N.\n\n\n \n\n\n\n Presentation at Eclipse SAAM Mobility 2021, June 2021.\n \n\n\n\n
\n\n\n\n \n \n \"PANORover: link\n  \n \n \n \"PANORover: pdf\n  \n \n \n \"PANORover: paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Misc{Zeller2021b,\n  author       = {Marc Zeller and Olexiy Kupriyanov and Norbert Beck},\n  howpublished = {Presentation at Eclipse SAAM Mobility 2021},\n  month        = jun,\n  title        = {PANORover: Autonomous Driving System Development Platform},\n  year         = {2021},\n  url_link\t   = {https://youtu.be/RFOjGpvkWzs},\n  url_pdf\t     = {https://events.eclipse.org/2021/saam-mobility/presentations/D1-05-Presentation.pdf},\n  url_Paper    = {http://ceur-ws.org/Vol-3028/D1-05D-ESAAMM_2021_paper_12.pdf}\n}\n\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n DDI: A novel technology and innovation model for dependable, collaborative and autonomous systems.\n \n \n \n\n\n \n Armengaud, E.; Schneider, D.; Reich, J.; Sorokos, I.; Papadopoulos, Y.; Zeller, M.; Regan, G.; Macher, G.; Veledar, O.; Thalmann, S.; and Kabir, S.\n\n\n \n\n\n\n In 2021 Design, Automation Test in Europe Conference Exhibition (DATE), pages 1626-1631, 2021. \n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Armengaud2021,\n  author    = {Armengaud, Eric and Schneider, D. and Reich, J. and Sorokos, I. and Papadopoulos, Yiannis and Zeller, Marc and Regan, Gilbert and Macher, Georg and Veledar, Omar and Thalmann, Stefan and Kabir, Sohag},\n  booktitle = {2021 Design, Automation Test in Europe Conference Exhibition (DATE)},\n  title     = {DDI: A novel technology and innovation model for dependable, collaborative and autonomous systems},\n  year      = {2021},\n  pages     = {1626-1631},\n  doi       = {10.23919/DATE51398.2021.9474049}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n The MobSTr Dataset – An Exemplar for Traceability and Model-based Safety Assessment.\n \n \n \n \n\n\n \n Steghöfer, J.; Koopmann, B.; Steffen Becker, J.; Stierand, I.; Zeller, M.; Bonner, M.; Schmelter, D.; and Maro, S.\n\n\n \n\n\n\n In 2021 IEEE 29th International Requirements Engineering Conference (RE), pages 444-445, 2021. \n \n\n\n\n
\n\n\n\n \n \n \"The link\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Steghoefer2021,\n  author    = {Steghöfer, Jan-Philipp and Koopmann, Björn and Steffen Becker, Jan and Stierand, Ingo and Zeller, Marc and Bonner, Maria and Schmelter, David and Maro, Salome},\n  booktitle = {2021 IEEE 29th International Requirements Engineering Conference (RE)},\n  title     = {The MobSTr Dataset – An Exemplar for Traceability and Model-based Safety Assessment},\n  year      = {2021},\n  pages     = {444-445},\n  doi       = {10.1109/RE51729.2021.00062},\n  url_link\t= {https://github.com/panorama-research/mobstr-dataset}  \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Towards Continuous Safety Assessment in Context of DevOps.\n \n \n \n \n\n\n \n Zeller, M.\n\n\n \n\n\n\n In Habli, I.; Sujan, M.; Gerasimou, S.; Schoitsch, E.; and Bitsch, F., editor(s), Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops, pages 145–157, Cham, 2021. Springer International Publishing\n \n\n\n\n
\n\n\n\n \n \n \"Towards pdf\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Zeller2021a,\n  author    = {Zeller, Marc},\n  booktitle = {Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops},\n  title     = {Towards Continuous Safety Assessment in Context of DevOps},\n  year      = {2021},\n  address   = {Cham},\n  editor    = {Habli, Ibrahim and Sujan, Mark and Gerasimou, Simos and Schoitsch, Erwin and Bitsch, Friedemann},\n  pages     = {145--157},\n  publisher = {Springer International Publishing},\n  abstract  = {Promoted by the internet companies, continuous delivery is more and more appealing to industries which develop systems with safety-critical functions. Since safety-critical systems must meet regulatory requirements and require specific safety assessment processes in addition to the normal development steps, enabling continuous delivery of software in safety-critical systems requires the automation of the safety assessment process in the delivery pipeline. In this paper, we outline a continuous delivery pipeline for realizing continuous safety assessment in software-intensive safety-critical systems based on model-based safety assessment methods.},\n  isbn      = {978-3-030-83906-2},\n  url_pdf\t= {https://arxiv.org/pdf/2106.07200.pdf}\n}\n\n
\n
\n\n\n
\n Promoted by the internet companies, continuous delivery is more and more appealing to industries which develop systems with safety-critical functions. Since safety-critical systems must meet regulatory requirements and require specific safety assessment processes in addition to the normal development steps, enabling continuous delivery of software in safety-critical systems requires the automation of the safety assessment process in the delivery pipeline. In this paper, we outline a continuous delivery pipeline for realizing continuous safety assessment in software-intensive safety-critical systems based on model-based safety assessment methods.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n SAT-MARL: Specification Aware Training in Multi-Agent Reinforcement Learning.\n \n \n \n \n\n\n \n Ritz, F.; Phan, T.; Müller, R.; Gabor, T.; Sedlmeier, A.; Zeller, M.; Wieghardt, J.; Schmid, R. N.; Sauer, H.; Klein, C.; and Linnhoff-Popien, C.\n\n\n \n\n\n\n In Rocha, A. P.; Steels, L.; and van den Herik, H. J., editor(s), Proceedings of the 13th International Conference on Agents and Artificial Intelligence, ICAART 2021, Volume 1, Online Streaming, February 4-6, 2021, pages 28–37, 2021. SCITEPRESS\n \n\n\n\n
\n\n\n\n \n \n \"SAT-MARL: pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{RitzPMGSZWSSKL21,\n  author    = {Fabian Ritz and\n               Thomy Phan and\n               Robert M{\\"{u}}ller and\n               Thomas Gabor and\n               Andreas Sedlmeier and\n               Marc Zeller and\n               Jan Wieghardt and\n               Reiner N. Schmid and\n               Horst Sauer and\n               Cornel Klein and\n               Claudia Linnhoff{-}Popien},\n  editor    = {Ana Paula Rocha and\n               Luc Steels and\n               H. Jaap van den Herik},\n  title     = {{SAT-MARL:} Specification Aware Training in Multi-Agent Reinforcement\n               Learning},\n  booktitle = {Proceedings of the 13th International Conference on Agents and Artificial\n               Intelligence, {ICAART} 2021, Volume 1, Online Streaming, February\n               4-6, 2021},\n  pages     = {28--37},\n  publisher = {{SCITEPRESS}},\n  year      = {2021},\n  doi       = {10.5220/0010189500280037},\n  url_pdf\t= {https://arxiv.org/pdf/2012.07949.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Dynamic Safety Certification for Collaborative Embedded Systems at Runtime.\n \n \n \n \n\n\n \n Moncada, D. S. V.; Schneider, D.; Petrovska, A.; Laxman, N.; Möhrle, F.; Rothbauer, S.; Zeller, M.; Koo, C. H.; and Safdari, S.\n\n\n \n\n\n\n In Böhm, W.; Broy, M.; Klein, C.; Pohl, K.; Rumpe, B.; and Schröck, S., editor(s), Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology, pages 171–196, Cham, 2021. Springer International Publishing\n \n\n\n\n
\n\n\n\n \n \n \"Dynamic pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Moncada2021,\n  pages     = {171--196},\n  title     = {Dynamic Safety Certification for Collaborative Embedded Systems at Runtime},\n  publisher = {Springer International Publishing},\n  year      = {2021},\n  author    = {Moncada, David Santiago Velasco and Schneider, Daniel and Petrovska, Ana and Laxman, Nishanth and M{\\"o}hrle, Felix and Rothbauer, Stefan and Zeller, Marc and Koo, Chee Hung and Safdari, Samira},\n  editor    = {B{\\"o}hm, Wolfgang and Broy, Manfred and Klein, Cornel and Pohl, Klaus and Rumpe, Bernhard and Schr{\\"o}ck, Sebastian},\n  address   = {Cham},\n  isbn      = {978-3-030-62136-0},\n  abstract  = {Traditionally, integration and quality assurance of embedded systems are done entirely at development time. Moreover, since such systems often perform safety-critical tasks and work in human environments, safety analyses are performed and safety argumentations devised to convince certification authorities of their safety and to certify the systems if necessary. Collaborative embedded systems, however, are designed to integrate and collaborate with other systems dynamically at runtime. A complete prediction and analysis of all relevant properties during the design phase is usually not possible, as many influencing factors are not yet known. This makes the application of traditional safety analysis and certification techniques impractical, as they usually require a complete specification of the system and its context in advance. In the following chapter, we introduce new techniques to meet this challenge and outline a safety certification concept specifically tailored to collaborative embedded systems.},\n  booktitle = {Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology},\n  doi       = {10.1007/978-3-030-62136-0_8},\n  url_pdf   = {https://link.springer.com/content/pdf/10.1007%2F978-3-030-62136-0_8.pdf}\n}\n\n
\n
\n\n\n
\n Traditionally, integration and quality assurance of embedded systems are done entirely at development time. Moreover, since such systems often perform safety-critical tasks and work in human environments, safety analyses are performed and safety argumentations devised to convince certification authorities of their safety and to certify the systems if necessary. Collaborative embedded systems, however, are designed to integrate and collaborate with other systems dynamically at runtime. A complete prediction and analysis of all relevant properties during the design phase is usually not possible, as many influencing factors are not yet known. This makes the application of traditional safety analysis and certification techniques impractical, as they usually require a complete specification of the system and its context in advance. In the following chapter, we introduce new techniques to meet this challenge and outline a safety certification concept specifically tailored to collaborative embedded systems.\n
\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2020\n \n \n (15)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Model-Based Safety and Assessment - 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings.\n \n \n \n\n\n \n Zeller, M.; and Höfig, K.,\n editors.\n \n\n\n \n\n\n\n Volume 12297, of Lecture Notes in Computer Science.Springer. 2020.\n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@proceedings{Zeller2020b,\n  editor    = {Marc Zeller and\n               Kai H{\\"{o}}fig},\n  title     = {Model-Based Safety and Assessment - 7th International Symposium, {IMBSA}\n               2020, Lisbon, Portugal, September 14-16, 2020, Proceedings},\n  series    = {Lecture Notes in Computer Science},\n  volume    = {12297},\n  publisher = {Springer},\n  year      = {2020},\n  doi       = {10.1007/978-3-030-58920-2},\n  isbn      = {978-3-030-58919-6},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n An Industrial Roadmap for Continuous Delivery of Software for Safety-critical Systems.\n \n \n \n \n\n\n \n Zeller, M.; Ratiu, D.; Rothfelder, M.; and Buschmann, F.\n\n\n \n\n\n\n In 39th International Conference on Computer Safety, Reliability and Security (SAFECOMP), Position Paper, Lisbon, Portugal, September 2020. \n \n\n\n\n
\n\n\n\n \n \n \"An paper\n  \n \n \n \"An link\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Zeller2020a,\n  author      = {Zeller, Marc and Ratiu, Daniel and Rothfelder, Martin and Buschmann, Frank},\n  title       = {{An Industrial Roadmap for Continuous Delivery of Software for Safety-critical Systems}},\n  booktitle   = {{39th International Conference on Computer Safety, Reliability and Security (SAFECOMP), Position Paper}},\n  year        = {2020},\n  address     = {Lisbon, Portugal},\n  month       = Sep,\n  hal_id      = {hal-02931767},\n  hal_version = {v1},\n  url_Paper\t  = {paper/SafecComp2020.pdf},\n  url_link    = {https://hal-laas.archives-ouvertes.fr/SAFECOMP2020/hal-02931767},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n An Eclipse Epsilon-Based Safety Engineering Tool Framework for the Creation, Integration and Validation of Digital Dependability Identities.\n \n \n \n \n\n\n \n Reich, J.; Sorokos, I.; and Zeller, M.\n\n\n \n\n\n\n Tutorial @ IMBSA 2020, September 2020.\n \n\n\n\n
\n\n\n\n \n \n \"An link\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Misc{Reich2020,\n  author       = {Jan Reich and Ioannis Sorokos and Marc Zeller},\n  title        = {An Eclipse Epsilon-Based Safety Engineering Tool Framework for the Creation, Integration and Validation of Digital Dependability Identities},\n  howpublished = {Tutorial @ IMBSA 2020},\n  month        = sep,\n  year         = {2020},\n  doi          = {10.1007/978-3-030-58920-2},\n  url_link     = {https://www.researchgate.net/publication/342917164_An_Eclipse_Epsilon-Based_Safety_Engineering_Tool_Framework_for_the_Creation_Integration_and_Validation_of_Digital_Dependability_Identities}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Argument-Driven Safety Engineering of a Generic Infusion Pump with Digital Dependability Identities.\n \n \n \n \n\n\n \n Reich, J.; Frey, J.; Cioroaica, E.; Zeller, M.; and Rothfelder, M.\n\n\n \n\n\n\n In Zeller, M.; and Höfig, K., editor(s), Model-Based Safety and Assessment, pages 19–33, Cham, 2020. Springer International Publishing\n \n\n\n\n
\n\n\n\n \n \n \"Argument-Driven pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Reich2020a,\n  author    = {Reich, Jan and Frey, Joshua and Cioroaica, Emilia and Zeller, Marc and Rothfelder, Martin},\n  title     = {Argument-Driven Safety Engineering of a Generic Infusion Pump with Digital Dependability Identities},\n  booktitle = {Model-Based Safety and Assessment},\n  year      = {2020},\n  editor    = {Zeller, Marc and H{\\"o}fig, Kai},\n  pages     = {19--33},\n  address   = {Cham},\n  publisher = {Springer International Publishing},\n  abstract  = {Creating a sound argumentation of why a system is sufficiently safe is a major part of the assurance process. Today, compiling a safety case and maintaining its validity after changes are time-consuming manual work. By using the concept provided by Digital Dependability Identities (DDI), we present a systematic approach for creating a model-connected safety argument that is formally related to safety models such as hazard and risk assessment, safety analysis, architecture, safety requirements or validation. The comprehensively traced DDI model provides the traceability basis to guide argument-driven safety engineering processes. Flaws in arguments or evidence emerging through changes in the product development process are addressed by DDI-based automation. The case study described in this paper evaluates the DDI approach based on the publicly available safety assurance documentation of a Generic Infusion Pump (GIP) system. The evaluation demonstrates that DDIs can capture the relevant safety aspects of the GIP system.},\n  doi\t\t= {10.1007/978-3-030-58920-2_2},\n  url_pdf\t= {https://www.researchgate.net/profile/Jan_Reich/publication/344106625_Argument-Driven_Safety_Engineering_of_a_Generic_Infusion_Pump_with_Digital_Dependability_Identities/links/5f645df7a6fdcc008629795d/Argument-Driven-Safety-Engineering-of-a-Generic-Infusion-Pump-with-Digital-Dependability-Identities.pdf}\n}\n\n
\n
\n\n\n
\n Creating a sound argumentation of why a system is sufficiently safe is a major part of the assurance process. Today, compiling a safety case and maintaining its validity after changes are time-consuming manual work. By using the concept provided by Digital Dependability Identities (DDI), we present a systematic approach for creating a model-connected safety argument that is formally related to safety models such as hazard and risk assessment, safety analysis, architecture, safety requirements or validation. The comprehensively traced DDI model provides the traceability basis to guide argument-driven safety engineering processes. Flaws in arguments or evidence emerging through changes in the product development process are addressed by DDI-based automation. The case study described in this paper evaluates the DDI approach based on the publicly available safety assurance documentation of a Generic Infusion Pump (GIP) system. The evaluation demonstrates that DDIs can capture the relevant safety aspects of the GIP system.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Failure Mode Reasoning in Model Based Safety Analysis.\n \n \n \n \n\n\n \n Jahanian, H.; Parker, D.; Zeller, M.; McIver, A.; and Papadopoulos, Y.\n\n\n \n\n\n\n In Zeller, M.; and Höfig, K., editor(s), Model-Based Safety and Assessment, pages 130–145, Cham, 2020. Springer International Publishing\n \n\n\n\n
\n\n\n\n \n \n \"Failure pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Jahanian2020,\n  author    = {Jahanian, Hamid and Parker, David and Zeller, Marc and McIver, Annabelle and Papadopoulos, Yiannis},\n  title     = {Failure Mode Reasoning in Model Based Safety Analysis},\n  booktitle = {Model-Based Safety and Assessment},\n  year      = {2020},\n  editor    = {Zeller, Marc and H{\\"o}fig, Kai},\n  pages     = {130--145},\n  address   = {Cham},\n  publisher = {Springer International Publishing},\n  abstract  = {Failure Mode Reasoning (FMR) is a novel approach for analyzing failure in a Safety Instrumented System (SIS). The method uses an automatic analysis of an SIS program to calculate potential failures in parts of the SIS. In this paper we use a case study from the power industry to demonstrate how FMR can be utilized in conjunction with other model-based safety analysis methods, such as HiP-HOPS and CFT, in order to achieve a comprehensive safety analysis of SIS. In this case study, FMR covers the analysis of SIS inputs while HiP-HOPS/CFT models the faults of logic solver and final elements. The SIS program is analyzed by FMR and the results are exported to HiP-HOPS/CFT via automated interfaces. The final outcome is the collective list of SIS failure modes along with their reliability measures. We present and review the results from both qualitative and quantitative perspectives.},\n  doi\t\t= {10.1007/978-3-030-58920-2_9},\n  url_pdf = {https://arxiv.org/pdf/2005.06279.pdf}\n}\n\n
\n
\n\n\n
\n Failure Mode Reasoning (FMR) is a novel approach for analyzing failure in a Safety Instrumented System (SIS). The method uses an automatic analysis of an SIS program to calculate potential failures in parts of the SIS. In this paper we use a case study from the power industry to demonstrate how FMR can be utilized in conjunction with other model-based safety analysis methods, such as HiP-HOPS and CFT, in order to achieve a comprehensive safety analysis of SIS. In this case study, FMR covers the analysis of SIS inputs while HiP-HOPS/CFT models the faults of logic solver and final elements. The SIS program is analyzed by FMR and the results are exported to HiP-HOPS/CFT via automated interfaces. The final outcome is the collective list of SIS failure modes along with their reliability measures. We present and review the results from both qualitative and quantitative perspectives.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Achieving Data Privacy with a Dependability Mechanism for Cyber Physical Systems.\n \n \n \n \n\n\n \n Regan, G.; McCaffery, F.; Paul, P. C.; Reich, J.; Sorokos, I.; Armangeud, E.; Zeller, M.; and Longo, S.\n\n\n \n\n\n\n In Systems, Software and Services Process Improvement, pages 511–524, Cham, 2020. Springer International Publishing\n \n\n\n\n
\n\n\n\n \n \n \"Achieving pdf\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Regan2020a,\n  author    = {Gilbert Regan and Fergal McCaffery and Pangkaj Chandra Paul and Jan Reich and Ioannis Sorokos and Eric Armangeud and Marc Zeller and Simone Longo},\n  title     = {Achieving Data Privacy with a Dependability Mechanism for Cyber Physical Systems},\n  booktitle\t= {Systems, Software and Services Process Improvement},\n  year\t\t= {2020},\n  publisher = {Springer International Publishing},\n  address\t= {Cham},\n  pages\t    = {511--524},\n  abstract\t= {Cyber-Physical-Systems (CPS), such as smart cars and implanted medical devices, are systems of collaborating computational entities. The open and cooperative nature of CPS poses a significant new challenge in assuring dependability. The DEIS project addresses this important and unsolved challenge through its key innovation which is the concept of a Digital Dependability Identity (DDI). A DDI contains all the information that uniquely describes the dependability characteristics of a CPS or CPS component. Data protection and privacy is a key component of dependability and is regulated by the General Data Protection Regulation (GDPR) for all European Union (EU) and European Economic Area (EEA) citizens.},\n  url_pdf = {https://www.researchgate.net/profile/Jan-Reich-2/publication/343553832_Achieving_Data_Privacy_with_a_Dependability_Mechanism_for_Cyber_Physical_Systems/links/5f56a7c9a6fdcc9879d62822/Achieving-Data-Privacy-with-a-Dependability-Mechanism-for-Cyber-Physical-Systems.pdf}\n}\n\n
\n
\n\n\n
\n Cyber-Physical-Systems (CPS), such as smart cars and implanted medical devices, are systems of collaborating computational entities. The open and cooperative nature of CPS poses a significant new challenge in assuring dependability. The DEIS project addresses this important and unsolved challenge through its key innovation which is the concept of a Digital Dependability Identity (DDI). A DDI contains all the information that uniquely describes the dependability characteristics of a CPS or CPS component. Data protection and privacy is a key component of dependability and is regulated by the General Data Protection Regulation (GDPR) for all European Union (EU) and European Economic Area (EEA) citizens.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Automatic Generation of RAMS Analyses from Model-based Functional Descriptions using UML State Machines.\n \n \n \n \n\n\n \n Kaukewitsch, C.; Papist, H.; Zeller, M.; and Rothfelder, M.\n\n\n \n\n\n\n In 2020 Annual Reliability and Maintainability Symposium (RAMS), pages 1-6, 2020. \n \n\n\n\n
\n\n\n\n \n \n \"Automatic pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Kaukewitsch2020,\n  author        = {Christof Kaukewitsch and Henrik Papist and Marc Zeller and Martin Rothfelder},\n  title         = {Automatic Generation of {RAMS} Analyses from Model-based Functional Descriptions using {UML} State Machines},\n  booktitle     = {2020 Annual Reliability and Maintainability Symposium (RAMS)},\n  year          = {2020},\n  pages\t\t\t= {1-6},\n  doi\t\t\t= {10.1109/RAMS48030.2020.9153667},\n  archiveprefix = {arXiv},\n  eprint        = {2005.01993},\n  url_pdf \t\t= {https://arxiv.org/ftp/arxiv/papers/2005/2005.01993.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481).\n \n \n \n \n\n\n \n Durán, F.; Heinrich, R.; Pérez-Palacı́n, D.; Talcott, C. L.; and Zschaler, S.\n\n\n \n\n\n\n Dagstuhl Reports, 9(11): 97–116. 2020.\n \n\n\n\n
\n\n\n\n \n \n \"Composing pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Article{Duran2020,\n  author    = {Francisco Dur{\\'a}n and Robert Heinrich and Diego P{\\'e}rez-Palac{\\'\\i}n and Carolyn L. Talcott and Steffen Zschaler},\n  title     = {{Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481)}},\n  journal   = {Dagstuhl Reports},\n  year      = {2020},\n  volume    = {9},\n  number    = {11},\n  pages     = {97--116},\n  issn      = {2192-5283},\n  address   = {Dagstuhl, Germany},\n  annote    = {Keywords: Modelling, Simulation, Semantics, Formal Methods, Software Engineering},\n  doi       = {10.4230/DagRep.9.11.97},\n  editor    = {Francisco Dur{\\'a}n and Robert Heinrich and Diego P{\\'e}rez-Palac{\\'\\i}n and Carolyn L. Talcott and Steffen Zschaler},\n  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},\n  url_pdf\t= {https://drops.dagstuhl.de/opus/volltexte/2020/11985/pdf/dagrep_v009_i011_p097_19481.pdf},\n  urn       = {urn:nbn:de:0030-drops-119853},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Learning and Testing Resilience in Cooperative Multi-Agent Systems.\n \n \n \n \n\n\n \n Phan, T.; Gabor, T.; Sedlmeier, A.; Ritz, F.; Kempter, B.; Klein, C.; Sauer, H.; Schmid, R. N.; Wieghardt, J.; Zeller, M.; and Linnhoff-Popien, C.\n\n\n \n\n\n\n In Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS '20, Auckland, New Zealand, May 9-13, 2020, pages 1055–1063, 2020. \n \n\n\n\n
\n\n\n\n \n \n \"Learning pdf\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Phan2020,\n  author    = {Thomy Phan and Thomas Gabor and Andreas Sedlmeier and Fabian Ritz and Bernhard Kempter and Cornel Klein and Horst Sauer and Reiner N. Schmid and Jan Wieghardt and Marc Zeller and Claudia Linnhoff{-}Popien},\n  title     = {Learning and Testing Resilience in Cooperative Multi-Agent Systems},\n  booktitle = {Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, {AAMAS} '20, Auckland, New Zealand, May 9-13, 2020},\n  year      = {2020},\n  pages     = {1055--1063},\n  url_pdf  = {https://dl.acm.org/doi/pdf/10.5555/3398761.3398884},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Quality Improvement Mechanism for Cyber Physical Systems – An Evaluation.\n \n \n \n \n\n\n \n Regan, G.; Caffery, F. M.; Paul, P. C.; Reich, J.; Armengaud, E.; Kaypmaz, C.; Zeller, M.; Guo, J. Z.; Longo, S.; O'Carroll, E.; and Sorokos, I.\n\n\n \n\n\n\n Journal of Software: Evolution and Process, 32(11): e2295. 2020.\n \n\n\n\n
\n\n\n\n \n \n \"Quality pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n \n \n \n \n\n\n\n
\n
@Article{Regan2020b,\n  author  = {Gilbert Regan and Fergal Mc Caffery and Pangkaj Chandra Paul and Jan Reich and Eric Armengaud and Cem Kaypmaz and Marc Zeller and Joe Zhensheng Guo and Simone Longo and Eoin O'Carroll and Ioannis Sorokos},\n  title   = {Quality Improvement Mechanism for Cyber Physical Systems – An Evaluation},\n  journal = {Journal of Software: Evolution and Process},\n  volume  = {32},\n  number  = {11},\n  pages   = {e2295},\n  year    = {2020},\n  doi     = {10.1002/smr.2295},\n  keywords = {cyber physical system, cyber security, dependability, devaluation},\n  abstract = {Abstract The future will encompass heavily interconnected, distributed, heterogeneous and intelligent systems which are bound to have a significant economic and social impact. Cyber physical systems (CPS) such as autonomous cars, smart electric grid, implanted medical devices and smart manufacturing are some practical examples of these intelligent systems. However, due to the open and cooperative nature of CPS, assuring their dependability is a challenge. The DEIS project addresses this important and unsolved challenge by developing the concept of a digital dependability identity (DDI). A DDI contains all the information that uniquely describes the dependability characteristics of a CPS or CPS component. DDIs are synthesised at development time and are the basis for the (semi)automated integration of components into systems during development, as well as for the fully automated dynamic integration of systems into systems of systems in the field.},\n  %url_link = {https://onlinelibrary.wiley.com/doi/abs/10.1002/smr.2295},\n  url_pdf = {https://eprints.dkit.ie/738/1/Quality%20Improvement%20Mechanism%20for%20Cyber%20Physical%20Systems%20%E2%80%93%20An%20Evaluation.pdf}\n}\n\n
\n
\n\n\n
\n Abstract The future will encompass heavily interconnected, distributed, heterogeneous and intelligent systems which are bound to have a significant economic and social impact. Cyber physical systems (CPS) such as autonomous cars, smart electric grid, implanted medical devices and smart manufacturing are some practical examples of these intelligent systems. However, due to the open and cooperative nature of CPS, assuring their dependability is a challenge. The DEIS project addresses this important and unsolved challenge by developing the concept of a digital dependability identity (DDI). A DDI contains all the information that uniquely describes the dependability characteristics of a CPS or CPS component. DDIs are synthesised at development time and are the basis for the (semi)automated integration of components into systems during development, as well as for the fully automated dynamic integration of systems into systems of systems in the field.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Realization of model-based safety analysis and Integration with Capella.\n \n \n \n \n\n\n \n Zeller, M.\n\n\n \n\n\n\n Talk @ SiriusCon 2020, June 2020.\n \n\n\n\n
\n\n\n\n \n \n \"Realization link\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Misc{Zeller2020,\n  author       = {Marc Zeller},\n  title        = {Realization of model-based safety analysis and Integration with Capella},\n  howpublished = {Talk @ SiriusCon 2020},\n  month        = jun,\n  year         = {2020},\n  url_link     = {https://www.slideshare.net/Obeo_corp/siriuscon-2020-realization-of-modelbased-safety-analysis-and-integration-with-capella}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n DEIS - Dependability Engineering Innovation for smart transportation.\n \n \n \n \n\n\n \n Armengaud, E.; Kaypmaz, C.; Ozkaya, E.; Zeller, M.; Longo, S.; Melis, M.; Groppo, R.; O'Carroll, E.; Schneider, D.; Reich, J.; Papadopoulos, Y.; Sorokos, I.; Kelly, T.; Habli, I.; Wei, R.; Villa, F.; and Regan, G.\n\n\n \n\n\n\n In 8th Transport Research Arena TRA 2020, 2020. \n \n\n\n\n
\n\n\n\n \n \n \"DEIS link\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Armengaud2020,\n  author    = {Eric Armengaud and Cem Kaypmaz and Erhan Ozkaya and M. Zeller and S. Longo and M. Melis and R. Groppo and E. O'Carroll and D. Schneider and J. Reich and Y. Papadopoulos and I. Sorokos and T. Kelly and I. Habli and R. Wei and F. Villa and G. Regan},\n  title     = {DEIS - Dependability Engineering Innovation for smart transportation},\n  booktitle = {8th Transport Research Arena TRA 2020},\n  year      = {2020},\n  url_link = {https://www.researchgate.net/profile/Jan-Reich-2/publication/341072793_DEIS_-Dependability_Engineering_Innovation_for_smart_transportation/links/5eac1055a6fdcc70509e0aae/DEIS-Dependability-Engineering-Innovation-for-smart-transportation.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Securing a Dependability Improvement Mechanism for Cyber Physical Systems.\n \n \n \n \n\n\n \n Regan, G.; McCaffery, F.; Paul, P. C.; amd Jan Reich, I. S.; Armengaud, E.; and Zeller, M.\n\n\n \n\n\n\n In Proceedings of the 18th International Conference on Software Engineering Research and Practice (SERP), 2020. \n \n\n\n\n
\n\n\n\n \n \n \"Securing link\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Regan2020,\n  author    = {Gilbert Regan and Fergal McCaffery and Pangkaj Chandra Paul and Ioannis Sorokos amd Jan Reich and Eric Armengaud and Marc Zeller},\n  title     = {Securing a Dependability Improvement Mechanism for Cyber Physical Systems},\n  booktitle = {Proceedings of the 18th International Conference on Software Engineering Research and Practice (SERP)},\n  year      = {2020},\n  abstract  = {The open and cooperative nature of Cyber-Physical Systems (CPS) poses a signifi-cant new challenge in assuring dependability. A European funded project named DEIS addresses this important and unsolved challenge by developing technologies that facilitate the efficient synthesis of components and systems based on their de-pendability information. The key innovation that is the aim of DEIS is the corre-sponding concept of a Digital Dependability Identity (DDI). A DDI contains all the information that uniquely describes the dependability characteristics of a CPS or CPS component. In this paper we present an overview of the DDI, and provide the protocol for ensur-ing the security of the DDI while it is in transit and rest. Additionally, we provide con-fidentiality, integrity and availability validation of the protocol.},\n  url_link  = {https://eprints.dkit.ie/739/}\n}\n\n
\n
\n\n\n
\n The open and cooperative nature of Cyber-Physical Systems (CPS) poses a signifi-cant new challenge in assuring dependability. A European funded project named DEIS addresses this important and unsolved challenge by developing technologies that facilitate the efficient synthesis of components and systems based on their de-pendability information. The key innovation that is the aim of DEIS is the corre-sponding concept of a Digital Dependability Identity (DDI). A DDI contains all the information that uniquely describes the dependability characteristics of a CPS or CPS component. In this paper we present an overview of the DDI, and provide the protocol for ensur-ing the security of the DDI while it is in transit and rest. Additionally, we provide con-fidentiality, integrity and availability validation of the protocol.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Simulation-Based Robust Scheduling for Smart Factories Considering Improved Test Strategies.\n \n \n \n\n\n \n Hipp, U.; Zeh, T.; Klein, W.; Joanni, A.; Rothbauer, S.; and Zeller, M.\n\n\n \n\n\n\n In 2020 Annual Reliability and Maintainability Symposium (RAMS), pages 1-7, 2020. \n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Hipp2020,\n  author    = {Ulrich Hipp and Tobias Zeh and Wolfram Klein and Andreas Joanni and Stefan Rothbauer and Marc Zeller},\n  title     = {Simulation-Based Robust Scheduling for Smart Factories Considering Improved Test Strategies},\n  booktitle = {2020 Annual Reliability and Maintainability Symposium (RAMS)},\n  year      = {2020},\n  pages\t\t= {1-7},\n  doi\t\t= {10.1109/RAMS48030.2020.9153657}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n The scenario coevolution paradigm: adaptive quality assurance for adaptive systems.\n \n \n \n \n\n\n \n Gabor, T.; Sedlmeier, A.; Phan, T.; Ritz, F.; Kiermeier, M.; Belzner, L.; Kempter, B.; Klein, C.; Sauer, H.; Schmid, R.; and others\n\n\n \n\n\n\n International Journal on Software Tools for Technology Transfer,1433-2787. March 2020.\n \n\n\n\n
\n\n\n\n \n \n \"The pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Article{Gabor2020,\n  author    = {Gabor, Thomas and Sedlmeier, Andreas and Phan, Thomy and Ritz, Fabian and Kiermeier, Marie and Belzner, Lenz and Kempter, Bernhard and Klein, Cornel and Sauer, Horst and Schmid, Reiner and others},\n  title     = {The scenario coevolution paradigm: adaptive quality assurance for adaptive systems},\n  journal   = {International Journal on Software Tools for Technology Transfer},\n  year      = {2020},\n  pages     = {1433-2787},\n  month     = mar,\n  abstract  = {Systems are becoming increasingly more adaptive, using techniques like machine learning to enhance their behavior on their own rather than only through human developers programming them. We analyze the impact the advent of these new techniques has on the discipline of rigorous software engineering, especially on the issue of quality assurance. To this end, we provide a general description of the processes related to machine learning and embed them into a formal framework for the analysis of adaptivity, recognizing that to test an adaptive system a new approach to adaptive testing is necessary. We introduce scenario coevolution as a design pattern describing how system and test can work as antagonists in the process of software evolution. While the general pattern applies to large-scale processes (including human developers further augmenting the system), we show all techniques on a smaller-scale example of an agent navigating a simple smart factory. We point out new aspects in software engineering for adaptive systems that may be tackled naturally using scenario coevolution. This work is a substantially extended take on Gabor et al. (International symposium on leveraging applications of formal methods, Springer, pp 137–154, 2018).},\n  doi       = {10.1007/s10009-020-00560-5},\n  publisher = {Springer},\n  url_pdf  = {https://link.springer.com/content/pdf/10.1007/s10009-020-00560-5.pdf},\n}\n\n
\n
\n\n\n
\n Systems are becoming increasingly more adaptive, using techniques like machine learning to enhance their behavior on their own rather than only through human developers programming them. We analyze the impact the advent of these new techniques has on the discipline of rigorous software engineering, especially on the issue of quality assurance. To this end, we provide a general description of the processes related to machine learning and embed them into a formal framework for the analysis of adaptivity, recognizing that to test an adaptive system a new approach to adaptive testing is necessary. We introduce scenario coevolution as a design pattern describing how system and test can work as antagonists in the process of software evolution. While the general pattern applies to large-scale processes (including human developers further augmenting the system), we show all techniques on a smaller-scale example of an agent navigating a simple smart factory. We point out new aspects in software engineering for adaptive systems that may be tackled naturally using scenario coevolution. This work is a substantially extended take on Gabor et al. (International symposium on leveraging applications of formal methods, Springer, pp 137–154, 2018).\n
\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2019\n \n \n (13)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n A Meta-model for Process Failure Mode and Effects Analysis (PFMEA).\n \n \n \n \n\n\n \n Höfig, K.; Klein, C.; Rothbauer, S.; Zeller, M.; Vorderer, M.; and Koo, C. H.\n\n\n \n\n\n\n In 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, pages 1199–1202, 2019. \n \n\n\n\n
\n\n\n\n \n \n \"A pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Hoefig2019,\n  author    = {Kai H{\\"{o}}fig and Cornel Klein and Stefan Rothbauer and Marc Zeller and Marian Vorderer and Chee Hung Koo},\n  title     = {A Meta-model for Process Failure Mode and Effects Analysis {(PFMEA)}},\n  booktitle = {24th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2019},\n  year      = {2019},\n  pages     = {1199--1202},\n  doi       = {10.1109/ETFA.2019.8869087},\n  url_pdf   = {https://arxiv.org/pdf/2106.11035.pdf},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n A Seamless Description Approach for Engineering - Methods Illustrated for Industrie 4.0 Scenarios.\n \n \n \n\n\n \n Wehrstedt, J. C.; Groos, B.; Klein, W.; Malik, V.; Rothbauer, S.; Marc Zeller, undefined; Weiß, S.; Böhm, B.; Brings, J.; Daun, M.; Caesar, B.; Fay, A.; Koo, C. H.; and Vorderer, M.\n\n\n \n\n\n\n In AUTOMATION 2019, 2019. VDI – Verein Deutscher Ingenieure e.V.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Wehrstedt2019,\n  author    = {Jan Christoph Wehrstedt and Benedikt Groos and Wolfram Klein and Vincent Malik and Stefan Rothbauer and Marc Zeller, and Stefanie Wei{\\ss} and Birthe B{\\"o}hm and Jennifer Brings and Marian Daun and Birte Caesar and Alexander Fay and Chee Hung Koo and Marian Vorderer},\n  title     = {A Seamless Description Approach for Engineering - Methods Illustrated for Industrie 4.0 Scenarios},\n  booktitle = {AUTOMATION 2019},\n  year      = {2019},\n  publisher = {VDI – Verein Deutscher Ingenieure e.V.},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Automated Evidence Analysis of Safety Arguments Using Digital Dependability Identities.\n \n \n \n \n\n\n \n Reich, J.; Zeller, M.; and Schneider, D.\n\n\n \n\n\n\n In Lecture Notes in Computer Science, pages 254–268. Springer International Publishing, 2019.\n \n\n\n\n
\n\n\n\n \n \n \"Automated pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InCollection{Reich2019,\n  author    = {Jan Reich and Marc Zeller and Daniel Schneider},\n  title     = {Automated Evidence Analysis of Safety Arguments Using Digital Dependability Identities},\n  booktitle = {Lecture Notes in Computer Science},\n  publisher = {Springer International Publishing},\n  year      = {2019},\n  pages     = {254--268},\n  doi       = {10.1007/978-3-030-26601-1_18},\n  url_pdf\t= {https://www.researchgate.net/profile/Jan-Reich-2/publication/333633951_Automated_Evidence_Analysis_of_Safety_Arguments_using_Digital_Dependability_Identities/links/5cf7fd714585153c3db72941/Automated-Evidence-Analysis-of-Safety-Arguments-using-Digital-Dependability-Identities.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n DPN - Dependability Priority Numbers.\n \n \n \n \n\n\n \n Guo, Z.; and Zeller, M.\n\n\n \n\n\n\n In Proceedings of the 6th International Symposium Model-Based Safety and Assessment, IMBSA 2019, pages 173–187, 2019. \n \n\n\n\n
\n\n\n\n \n \n \"DPN pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Guo2019,\n  author    = {Zhensheng Guo and Marc Zeller},\n  title     = {{DPN} - Dependability Priority Numbers},\n  booktitle = {Proceedings of the 6th International Symposium Model-Based Safety and Assessment, {IMBSA} 2019},\n  year      = {2019},\n  pages     = {173--187},\n  doi       = {10.1007/978-3-030-32872-6\\_12},\n  url_pdf  = {https://arxiv.org/ftp/arxiv/papers/2005/2005.01994.pdf},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Iterative and Incremental Development of Reliable Systems.\n \n \n \n \n\n\n \n Zeller, M.; and Klabes, S.\n\n\n \n\n\n\n In Proceedings of the 29th European Safety and Reliability Conference, pages 2433-2439, 2019. \n \n\n\n\n
\n\n\n\n \n \n \"Iterative pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Zeller2019a,\n  author    = {Marc Zeller and Sebastian Klabes},\n  title     = {Iterative and Incremental Development of Reliable Systems},\n  booktitle = {Proceedings of the 29th European Safety and Reliability Conference},\n  year      = {2019},\n  pages     = {2433-2439},\n  doi       = {10.3850/978-981-11-2724-3_0928-cd},\n  url_pdf\t= {http://rpsonline.com.sg/proceedings/9789811127243/pdf/0928.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Meta Model Application for Consistency Management of Models for Avionic Systems Design.\n \n \n \n \n\n\n \n Stegen, J.; Dutre, S.; Guo, J. Z.; Zeller, M.; and Rothbauer, S.\n\n\n \n\n\n\n In 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), sep 2019. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"Meta pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Stegen2019,\n  author    = {Jef Stegen and Stefan Dutre and Joe Zhensheng Guo and Marc Zeller and Stefan Rothbauer},\n  title     = {Meta Model Application for Consistency Management of Models for Avionic Systems Design},\n  booktitle = {2019 {ACM}/{IEEE} 22nd International Conference on Model Driven Engineering Languages and Systems Companion ({MODELS}-C)},\n  year      = {2019},\n  month     = {sep},\n  publisher = {{IEEE}},\n  doi       = {10.1109/models-c.2019.00125},\n  url_pdf\t= {https://arxiv.org/ftp/arxiv/papers/2106/2106.00974.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Model-based safety analysis on Capella using Component Fault Trees (CFTs).\n \n \n \n\n\n \n Zeller, M.\n\n\n \n\n\n\n Presentation at Capella Day 2019, September 2019.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Misc{Zeller2019,\n  author       = {Marc Zeller},\n  title        = {Model-based safety analysis on Capella using Component Fault Trees (CFTs)},\n  howpublished = {Presentation at Capella Day 2019},\n  month        = sep,\n  year         = {2019},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Model-based safety assessment of complex system using the Component Fault Tree(CFT) methodology.\n \n \n \n\n\n \n Zeller, M.\n\n\n \n\n\n\n Tutorial @ IMBSA 2019, 2019.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Misc{Zeller2019b,\n  author       = {Marc Zeller},\n  title        = {Model-based safety assessment of complex system using the Component Fault Tree(CFT) methodology},\n  howpublished = {Tutorial @ IMBSA 2019},\n  year         = {2019},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Model-based Safety Assurance in Industrial Practice - Quo Vadis?.\n \n \n \n\n\n \n Zeller, M.\n\n\n \n\n\n\n Keynote 8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2019), September 2019.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Misc{Zeller2019d,\n  author       = {Marc Zeller},\n  title        = {Model-based Safety Assurance in Industrial Practice - Quo Vadis?},\n  howpublished = {Keynote 8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2019)},\n  month        = sep,\n  year         = {2019},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Safety assessment of ETCS using Component Fault Trees: A Case Study.\n \n \n \n\n\n \n Zeller, M.\n\n\n \n\n\n\n Presentation at IQPC RAMS in Rails Conference, August 2019.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Misc{Zeller2019c,\n  author       = {Marc Zeller},\n  title        = {Safety assessment of ETCS using Component Fault Trees: A Case Study},\n  howpublished = {Presentation at IQPC RAMS in Rails Conference},\n  month        = aug,\n  year         = {2019},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n SQUADfps: Integrated Model-Based Machine Safety and Product Quality for Flexible Production Systems.\n \n \n \n \n\n\n \n Koo, C. H.; Rothbauer, S.; Vorderer, M.; Höfig, K.; and Zeller, M.\n\n\n \n\n\n\n In Proceedings of the 6th International SymposiumModel-Based Safety and Assessment, IMBSA 2019, pages 222–236, 2019. \n \n\n\n\n
\n\n\n\n \n \n \"SQUADfps: pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Koo2019,\n  author    = {Chee Hung Koo and Stefan Rothbauer and Marian Vorderer and Kai H{\\"{o}}fig and Marc Zeller},\n  title     = {SQUADfps: Integrated Model-Based Machine Safety and Product Quality for Flexible Production Systems},\n  booktitle = {Proceedings of the 6th International SymposiumModel-Based Safety and Assessment, {IMBSA} 2019},\n  year      = {2019},\n  pages     = {222--236},\n  doi       = {10.1007/978-3-030-32872-6\\_15},\n  url_pdf   = {https://arxiv.org/pdf/2105.14817.pdf},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Towards Standardizing the Generation of Component Fault Trees through the Engineering Life Cycle.\n \n \n \n \n\n\n \n Berres, A.; Bittner, T.; and Zeller, M.\n\n\n \n\n\n\n In Proceedings of the 29th European Safety and Reliability Conference, pages 2591-2597, 2019. \n \n\n\n\n
\n\n\n\n \n \n \"Towards pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Berres2019,\n  author    = {Berres, Axel and Bittner, Tim and Zeller, Marc},\n  title     = {Towards Standardizing the Generation of Component Fault Trees through the Engineering Life Cycle},\n  booktitle = {Proceedings of the 29th European Safety and Reliability Conference},\n  year      = {2019},\n  pages     = {2591-2597},\n  doi       = {10.3850/978-981-11-2724-3_0043-cd},\n  url_pdf   = {http://rpsonline.com.sg/proceedings/9789811127243/pdf/0043.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Using Digital Dependability Identities for Dependability Model Exchange and Integration across the Supply Chain.\n \n \n \n\n\n \n Sorokos, I.; and Zeller, M.\n\n\n \n\n\n\n Tutorial @ IMBSA 2019, 2019.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Misc{Sorokos2019,\n  author       = {Ioannis Sorokos and Marc Zeller},\n  title        = {Using Digital Dependability Identities for Dependability Model Exchange and Integration across the Supply Chain},\n  howpublished = {Tutorial @ IMBSA 2019},\n  year         = {2019},\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2018\n \n \n (8)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Advances in Component Fault Trees.\n \n \n \n \n\n\n \n Kaiser, B.; Schneider, D.; Adler, R.; Domis, D.; Möhrle, F.; Berres, A.; Zeller, M.; Höfig, K.; and Rothfelder, M.\n\n\n \n\n\n\n In Safety and Reliability – Safe Societies in a Changing World, Proceedings of ESREL 2018, pages 815-823, 2018. \n \n\n\n\n
\n\n\n\n \n \n \"Advances link\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Kaiser2018,\n  author    = {B. Kaiser and D. Schneider and R. Adler and D. Domis and F. M{\\"o}hrle and A. Berres and M. Zeller and K. H{\\"o}fig and M. Rothfelder},\n  title     = {Advances in Component Fault Trees},\n  booktitle = {Safety and Reliability – Safe Societies in a Changing World, Proceedings of ESREL 2018},\n  year      = {2018},\n  pages     = {815-823},\n  url_link\t= {https://doi.org/10.1201/9781351174664-103}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Challenges in the Engineering of Adaptable and Flexible Industrial Factories.\n \n \n \n \n\n\n \n Böhm, B.; Zeller, M.; Vollmar, J.; Weiß, S.; Höfig, K.; Mali, V.; Unverdorben, S.; and Hildebrandt, C.\n\n\n \n\n\n\n In Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018, Braunschweig, Germany, February 21, 2018., pages 101–110, 2018. \n \n\n\n\n
\n\n\n\n \n \n \"Challenges pdf\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Boehm2018,\n  author    = {Birthe B{\\"{o}}hm and Marc Zeller and Jan Vollmar and Stefanie Wei{\\ss} and Kai H{\\"{o}}fig and Vincent Mali and Stephan Unverdorben and Constantin Hildebrandt},\n  title     = {Challenges in the Engineering of Adaptable and Flexible Industrial Factories},\n  booktitle = {Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018, Braunschweig, Germany, February 21, 2018.},\n  year      = {2018},\n  pages     = {101--110},\n  url_pdf = {http://ceur-ws.org/Vol-2060/mekes7.pdf},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Combination of Component Fault Trees and Markov Chains to Analyze Complex, Software-Controlled Systems.\n \n \n \n \n\n\n \n Zeller, M.; and Montrone, F.\n\n\n \n\n\n\n In 2018 3rd International Conference on System Reliability and Safety (ICSRS), pages 13-20, 2018. \n \n\n\n\n
\n\n\n\n \n \n \"Combination pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Zeller2018,\n  author    = {Marc Zeller and Francesco Montrone},\n  title     = {Combination of Component Fault Trees and Markov Chains to Analyze Complex, Software-Controlled Systems},\n  booktitle = {2018 3rd International Conference on System Reliability and Safety (ICSRS)},\n  year      = {2018},\n  pages     = {13-20},\n  doi       = {10.1109/ICSRS.2018.8688854},\n  url_pdf\t= {https://arxiv.org/pdf/2106.00247.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Designing Fail-Safe Architectures for Aircraft Electrical Power Systems.\n \n \n \n \n\n\n \n Menu, J.; Nicolai, M.; and Zeller, M.\n\n\n \n\n\n\n In 2018 AIAA/IEEE Electric Aircraft Technologies Symposium, AIAA Propulsion and Energy Forum (AIAA 2018-5032), 2018. \n \n\n\n\n
\n\n\n\n \n \n \"Designing pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Menu2018,\n  author    = {Jonathan Menu and Mike Nicolai and Marc Zeller},\n  title     = {Designing Fail-Safe Architectures for Aircraft Electrical Power Systems},\n  booktitle = {2018 AIAA/IEEE Electric Aircraft Technologies Symposium, AIAA Propulsion and Energy Forum (AIAA 2018-5032)},\n  year      = {2018},\n  doi       = {10.2514/6.2018-5032},\n  url_pdf   = {http://dlb.isrc.ac.ir:8080/xmlui/bitstream/handle/isrc/1634520/6.2018-5032.pdf?sequence=1}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Fault Trees vs. Component Fault Trees: An Empirical Study.\n \n \n \n \n\n\n \n Gonschorek, T.; Zeller, M.; Ortmeier, F.; and Höfig, K.\n\n\n \n\n\n\n In Gallina, B.; Skavhaug, A.; Schoitsch, E.; and Bitsch, F., editor(s), Computer Safety, Reliability, and Security, of Lecture Notes in Computer Science, pages 239–251. Springer International Publishing, 2018.\n \n\n\n\n
\n\n\n\n \n \n \"Fault pdf\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InCollection{Gonschorek2018,\n  author    = {Tim Gonschorek and Marc Zeller and Frank Ortmeier and Kai Höfig},\n  title     = {Fault Trees vs. Component Fault Trees: An Empirical Study},\n  booktitle = {Computer Safety, Reliability, and Security},\n  publisher = {Springer International Publishing},\n  year      = {2018},\n  editor    = {Gallina, Barbara and Skavhaug, Amund and Schoitsch, Erwin and Bitsch, Friedemann"},\n  series    = {Lecture Notes in Computer Science},\n  pages     = {239--251},\n  url_pdf\t= {https://www.researchgate.net/profile/Tim-Gonschorek/publication/326943138_Fault_Trees_vs_Component_Fault_Trees_An_Empirical_Study/links/5b6d7d4192851ca65054a688/Fault-Trees-vs-Component-Fault-Trees-An-Empirical-Study.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Model-based Reliability and Safety: Reducing the complexity of safety analyses using component fault trees.\n \n \n \n \n\n\n \n Kai Höfig, A. J.; Marc Zeller, F. M.; Martin Rothfelder, R. A.; and Peter Munk, A. N.\n\n\n \n\n\n\n In 2018 Annual Reliability and Maintainability Symposium (RAMS), pages 1-7, 2018. \n \n\n\n\n
\n\n\n\n \n \n \"Model-based pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{KaiHofig2018,\n  author    = {Kai Höfig, Andreas Joanni, Marc Zeller, Francesco Montrone, Martin Rothfelder, Rakshith Amarnath, Peter Munk, Arne Nordmann},\n  title     = {Model-based Reliability and Safety: Reducing the complexity of safety analyses using component fault trees},\n  booktitle = {2018 Annual Reliability and Maintainability Symposium (RAMS)},\n  year      = {2018},\n  pages\t\t= {1-7},\n  doi\t\t= {10.1109/RAM.2018.8463058},\n  url_pdf\t= {https://arxiv.org/ftp/arxiv/papers/2105/2105.15015.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Safety assessment of ETCS using Component Fault Trees: A Case Study.\n \n \n \n\n\n \n Klabes, S.; Zeller, M.; and Schwinn, J.\n\n\n \n\n\n\n In INCOSE EMEA Sector Systems Engineering Conference (EMEASEC) / TdSE, 2018. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Klabes2018,\n  author    = {Sebastian Klabes and Marc Zeller and Jean-Pascal Schwinn},\n  title     = {Safety assessment of {ETCS} using Component Fault Trees: A Case Study},\n  booktitle = {INCOSE EMEA Sector Systems Engineering Conference (EMEASEC) / TdSE},\n  year      = {2018},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Towards Dependability Engineering for Cyber-Physical Systems using Digital Dependability Identities.\n \n \n \n\n\n \n Zeller, M.\n\n\n \n\n\n\n Üresetnation at IQPC Non Road Mobile Machinery: Functional Safety, November 2018.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Misc{,\n  author       = {Marc Zeller},\n  title        = {Towards Dependability Engineering for Cyber-Physical Systems using Digital Dependability Identities},\n  howpublished = {Üresetnation at IQPC Non Road Mobile Machinery: Functional Safety},\n  month        = nov,\n  year         = {2018},\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2017\n \n \n (9)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n A Formal Approach for Automating Compositional Safety Analysis Using Flow Type Annotations in Component Fault Trees.\n \n \n \n \n\n\n \n Möhrle, F.; Bizik, K.; Zeller, M.; Höfig, K.; Rothfelder, M.; and Liggesmeyer, P.\n\n\n \n\n\n\n In Proceedings of the 27th European Safety and Reliability Conference (ESREL): Safety and Reliability – Theory and Applications, Portorož, Slovenia, May 2017. Taylor & Francis (CRC Press)\n \n\n\n\n
\n\n\n\n \n \n \"A pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Moehrle2017,\n  author    = {M{\\"o}hrle, Felix and Bizik, Kai and Zeller, Marc and H{\\"o}fig, Kai and Rothfelder, Martin and Liggesmeyer, Peter},\n  title     = {A Formal Approach for Automating Compositional Safety Analysis Using Flow Type Annotations in Component Fault Trees},\n  booktitle = {Proceedings of the 27th European Safety and Reliability Conference (ESREL): Safety and Reliability – Theory and Applications},\n  year      = {2017},\n  address   = {Portorož, Slovenia},\n  month     = {May},\n  publisher = {Taylor \\& Francis (CRC Press)},\n  doi       = {10.1201/9781315210469-442},\n  url_pdf   = {https://www.researchgate.net/profile/Felix_Moehrle/publication/317392902_A_formal_approach_for_automating_compositional_safety_analysis_using_flow_type_annotations_in_component_fault_trees/links/598c1e59458515c333a655a9/A-formal-approach-for-automating-compositional-safety-analysis-using-flow-type-annotations-in-component-fault-trees.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n ArChes - Automatic Generation of Component Fault Trees from Continuous Function Charts.\n \n \n \n \n\n\n \n Zeller, M.; Höfig, K.; and Schwinn, J.\n\n\n \n\n\n\n In Proceedings of the 2017 IEEE 15th International Conference on Industrial Informatics (INDIN), pages 577-582, 2017. \n \n\n\n\n
\n\n\n\n \n \n \"ArChes pdf\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Zeller2017a,\n  author    = {M. Zeller and K. H{\\"o}fig and Schwinn, J.-P.},\n  title     = {ArChes - Automatic Generation of Component Fault Trees from Continuous Function Charts},\n  booktitle = {Proceedings of the 2017 IEEE 15th International Conference on Industrial Informatics (INDIN)},\n  year      = {2017},\n  pages     = {577-582},\n  url_pdf\t= {https://arxiv.org/pdf/2105.15002.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n DEIS: Dependability engineering innovation for automotive CPS.\n \n \n \n \n\n\n \n Armengaud, E.; Macher, G.; Massoner, A.; Frager, S.; Adler, R.; Schneider, D.; Longo, S.; Melis, M.; Groppo, R.; Villa, F.; O’Leary, P.; Bambury, K.; Finnegan, A.; Zeller, M.; Höfig, K.; Papadopoulos, Y.; Hawkins, R.; and Kelly, T.\n\n\n \n\n\n\n In 21st International Forum on Advanced Microsystems for Automotive Applications, 2017. \n \n\n\n\n
\n\n\n\n \n \n \"DEIS: pdf\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Armengaud2017,\n  author    = {E. Armengaud and G. Macher and A. Massoner and S. Frager and R. Adler and D. Schneider and S. Longo and M. Melis and R. Groppo and F. Villa and P. O’Leary and K. Bambury and A. Finnegan and M. Zeller and K. H{\\"o}fig and Y. Papadopoulos and R. Hawkins and T. Kelly},\n  title     = {DEIS: Dependability engineering innovation for automotive CPS},\n  booktitle = {21st International Forum on Advanced Microsystems for Automotive Applications},\n  year      = {2017},\n  url_pdf \t= {https://arxiv.org/ftp/arxiv/papers/2106/2106.01729.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Development of complex safety-critical systems using model-based safety engineering: An industrial perspective.\n \n \n \n\n\n \n Zeller, M.\n\n\n \n\n\n\n Presentation at 4th Annual Symposium of the Swiss Society of Systems Engineering (SWISSED), 2017.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Misc{Zeller2017b,\n  author       = {Marc Zeller},\n  title        = {Development of complex safety-critical systems using model-based safety engineering: An industrial perspective},\n  howpublished = {Presentation at 4th Annual Symposium of the Swiss Society of Systems Engineering (SWISSED)},\n  year         = {2017},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Safety analysis of complex systems using Component Fault Trees.\n \n \n \n\n\n \n Zeller, M.\n\n\n \n\n\n\n Presentation at IQPC Non Road Mobile Machinery: Functional Safety, 2017.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Misc{Zeller2017c,\n  author       = {Marc Zeller},\n  title        = {Safety analysis of complex systems using Component Fault Trees},\n  howpublished = {Presentation at IQPC Non Road Mobile Machinery: Functional Safety},\n  year         = {2017},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n SpeCTRA — automated synchronization of component fault TRee and Model-Dased FME(D)A.\n \n \n \n \n\n\n \n Zeller, M.; and Höfig, K.\n\n\n \n\n\n\n In Proceedings of the 27th European Safety and Reliability Conference (ESREL): Safety and Reliability – Theory and Applications, pages 516-516, Portorož, Slovenia, May 2017. Taylor & Francis (CRC Press)\n \n\n\n\n
\n\n\n\n \n \n \"SpeCTRA pdf\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Zeller2017,\n  author    = {M. Zeller and K. H{\\"o}fig},\n  title     = {SpeCTRA — automated synchronization of component fault TRee and Model-Dased FME(D)A},\n  booktitle = {Proceedings of the 27th European Safety and Reliability Conference (ESREL): Safety and Reliability – Theory and Applications},\n  year      = {2017},\n  pages     = {516-516},\n  address   = {Portorož, Slovenia},\n  month     = {May},\n  publisher = {Taylor \\& Francis (CRC Press)},\n  url_pdf\t= {https://www.researchgate.net/profile/Marc-Zeller/publication/317390885_SpeCTRA-automated_synchronization_of_Component_fault_TRee_and_Model-based_FMEDA/links/5ea84175299bf1dcb09ecabe/SpeCTRA-automated-synchronization-of-Component-fault-TRee-and-Model-based-FMEDA.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Towards Automated Design Space Exploration For Safety-Critical Systems Using Type-Annotated Component Fault Trees.\n \n \n \n \n\n\n \n Möhrle, F.; Zeller, M.; Höfig, K.; Rothfelder, M.; and Liggesmeyer, P.\n\n\n \n\n\n\n Poster presentation at 5th International Symposium on Model-Based Safety and Assessment (IMBSA 2017), 2017.\n \n\n\n\n
\n\n\n\n \n \n \"Towards pdf\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Misc{Moehrle2017a,\n  author       = {Felix Möhrle and Marc Zeller and Kai Höfig and Martin Rothfelder and Peter Liggesmeyer},\n  title        = {Towards Automated Design Space Exploration For Safety-Critical Systems Using Type-Annotated Component Fault Trees},\n  howpublished = {Poster presentation at 5th International Symposium on Model-Based Safety and Assessment (IMBSA 2017)},\n  year         = {2017},\n  url_pdf\t   = {https://www.researchgate.net/profile/Felix-Moehrle/publication/320100818_Towards_Automated_Design_Space_Exploration_For_Safety-Critical_Systems_Using_Type-Annotated_Component_Fault_Trees/links/59cdf7df458515cc6aa9dcc7/Towards-Automated-Design-Space-Exploration-For-Safety-Critical-Systems-Using-Type-Annotated-Component-Fault-Trees.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Towards Dependability Engineering for Cyber-Physical Systems using Digital Dependability Identities.\n \n \n \n\n\n \n Zeller, M.\n\n\n \n\n\n\n Presentation at 23. SafeTrans Industrial Day, November 2017.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Misc{Zeller2017d,\n  author       = {Marc Zeller},\n  title        = {Towards Dependability Engineering for Cyber-Physical Systems using Digital Dependability Identities},\n  howpublished = {Presentation at 23. SafeTrans Industrial Day},\n  month        = nov,\n  year         = {2017}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Verification of Component Fault Trees using Error Effect Simulations.\n \n \n \n \n\n\n \n Reiter, S.; Zeller, M.; Höfig, K.; Viehl, A.; Bringmann, O.; and Rosenstiel, W.\n\n\n \n\n\n\n In Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, pages 212-226, 2017. \n \n\n\n\n
\n\n\n\n \n \n \"Verification pdf\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Reiter2017,\n  author    = {Sebastian Reiter and Marc Zeller and Kai H{\\"o}fig and Alexander Viehl and Oliver Bringmann and Wolfgang Rosenstiel},\n  title     = {Verification of Component Fault Trees using Error Effect Simulations},\n  booktitle = {Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017},\n  year      = {2017},\n  pages     = {212-226},\n  url_pdf   = {https://arxiv.org/pdf/2106.03368.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2016\n \n \n (6)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n AGenTS: Automatic Generation of Component Fault Tree Stubs.\n \n \n \n \n\n\n \n Zeller, M.; and Höfig, K.\n\n\n \n\n\n\n In Walls, L.; Revie, M.; and Bedford, T., editor(s), Risk, Reliability and Safety: Innovating Theory and Practice: Proceedings of ESREL 2016, pages 1562-1569, 2016. \n \n\n\n\n
\n\n\n\n \n \n \"AGenTS: pdf\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Zeller2016b,\n  author    = {Zeller, M. and H{\\"o}fig, K.},\n  title     = {AGenTS: Automatic Generation of Component Fault Tree Stubs},\n  booktitle = {Risk, Reliability and Safety: Innovating Theory and Practice: Proceedings of ESREL 2016},\n  year      = {2016},\n  editor    = {Lesley Walls and Matthew Revie and Tim Bedford},\n  pages     = {1562-1569},\n  url_pdf\t= {https://www.researchgate.net/profile/Marc-Zeller/publication/313806923_AGenTS_Automatic_generation_of_component_fault_tree_stubs/links/5eb93b50a6fdcc1f1dd011c9/AGenTS-Automatic-generation-of-component-fault-tree-stubs.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Automating Compositional Safety Analysis Using a Failure Type Taxonomy for Component Fault Trees.\n \n \n \n \n\n\n \n Möhrle, F.; Zeller, M.; Höfig, K.; Rothfelder, M.; and Liggesmeyer, P.\n\n\n \n\n\n\n In Walls, L.; Revie, M.; and Bedford, T., editor(s), Risk, Reliability and Safety: Innovating Theory and Practice: Proceedings of ESREL 2016, pages 1380–1387, Glasgow, Scotland, Sep 2016. \n \n\n\n\n
\n\n\n\n \n \n \"Automating pdf\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Moehrle2016,\n  author    = {Möhrle, Felix and Zeller, Marc and Höfig, Kai and Rothfelder, Martin and Liggesmeyer, Peter},\n  title     = {Automating Compositional Safety Analysis Using a Failure Type Taxonomy for Component Fault Trees},\n  booktitle = {Risk, Reliability and Safety: Innovating Theory and Practice: Proceedings of ESREL 2016},\n  year      = {2016},\n  editor    = {Lesley Walls and Matthew Revie and Tim Bedford},\n  pages     = {1380--1387},\n  address   = {Glasgow, Scotland},\n  month     = {Sep},\n  url_pdf\t= {https://www.researchgate.net/profile/Felix-Moehrle/publication/308903233_Automating_Compositional_Safety_Analysis_Using_a_Failure_Type_Taxonomy_for_Component_Fault_Trees/links/58232edc08aeebc4f898622e/Automating-Compositional-Safety-Analysis-Using-a-Failure-Type-Taxonomy-for-Component-Fault-Trees.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n INSiDER: Incorporation of system and safety analysis models using a dedicated reference model.\n \n \n \n \n\n\n \n Zeller, M.; and Höfig, K.\n\n\n \n\n\n\n In 2016 Annual Reliability and Maintainability Symposium (RAMS), pages 1-6, 2016. \n \n\n\n\n
\n\n\n\n \n \n \"INSiDER: pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Zeller2016a,\n  author    = {M. Zeller and K. H{\\"o}fig},\n  title     = {{INSiDER: Incorporation of system and safety analysis models using a dedicated reference model}},\n  booktitle = {2016 Annual Reliability and Maintainability Symposium (RAMS)},\n  year      = {2016},\n  pages     = {1-6},\n  doi       = {10.1109/RAMS.2016.7448074},\n  url_pdf\t= {https://arxiv.org/ftp/arxiv/papers/2105/2105.14992.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Model-based safety engineering: Challenges and opportunities in practice.\n \n \n \n\n\n \n Zeller, M.\n\n\n \n\n\n\n Keynote held at Flenders Make Seminar \"Model-based functional safety engineering: challenges and opportunities in practice\", Feb 2016.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Misc{Zeller2016,\n  author       = {Marc Zeller},\n  title        = {Model-based safety engineering: Challenges and opportunities in practice},\n  howpublished = {Keynote held at Flenders Make Seminar "Model-based functional safety engineering: challenges and opportunities in practice"},\n  month        = {Feb},\n  year         = {2016}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n SpARTA - State-Aware Fault Tree Analysis.\n \n \n \n \n\n\n \n Höfig, K.; and Zeller, M.\n\n\n \n\n\n\n In 42nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2016. \n \n\n\n\n
\n\n\n\n \n \n \"SpARTA paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Hoefig2016,\n  author    = {Kai H\\"{o}fig and Marc Zeller},\n  title     = {{SpARTA - State-Aware Fault Tree Analysis}},\n  booktitle = {42nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA)},\n  year      = {2016},\n  url_Paper\t= {paper/SEAA2016.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Towards the Adoption of Model-Based Engineering for the Development of Safety-Critical Systems in Industrial Practice.\n \n \n \n \n\n\n \n Zeller, M.; Ratiu, D.; and Höfig, K.\n\n\n \n\n\n\n In Skavhaug, A.; Guiochet, J.; Schoitsch, E.; and Bitsch, F., editor(s), Computer Safety, Reliability, and Security: SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings, pages 322–333, 2016. Springer International Publishing\n \n\n\n\n
\n\n\n\n \n \n \"Towards pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Zeller2016c,\n  author    = {Zeller, Marc and Ratiu, Daniel and H{\\"o}fig, Kai},\n  title     = {Towards the Adoption of Model-Based Engineering for the Development of Safety-Critical Systems in Industrial Practice},\n  booktitle = {Computer Safety, Reliability, and Security: SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings},\n  publisher = {Springer International Publishing},\n  year      = {2016},\n  pages     = {322--333},\n  editor    = {Skavhaug, Amund and Guiochet, J{\\'e}r{\\'e}mie and Schoitsch, Erwin and Bitsch, Friedemann},\n  doi       = {10.1007/978-3-319-45480-1_26},\n  url_pdf   = {https://arxiv.org/pdf/2106.02273.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2015\n \n \n (8)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n ALFRED: A Methodology to Enable Component Fault Trees for Layered Architectures.\n \n \n \n \n\n\n \n Höfig, K.; Zeller, M.; and Heilmann, R.\n\n\n \n\n\n\n In 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), pages 167-176, 2015. \n \n\n\n\n
\n\n\n\n \n \n \"ALFRED: pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Hoefig2015a,\n  author    = {Kai H\\"{o}fig and Marc Zeller and Reiner Heilmann},\n  title     = {ALFRED: A Methodology to Enable Component Fault Trees for Layered Architectures},\n  booktitle = {41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA)},\n  year      = {2015},\n  pages     = {167-176},\n  url_pdf\t= {https://arxiv.org/ftp/arxiv/papers/2106/2106.00965.pdf},\n  doi       = {10.1109/SEAA.2015.26}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Automated Compositional Safety Analysis using Component Fault Trees.\n \n \n \n\n\n \n Möhrle, F.; Zeller, M.; Höfig, K.; Rothfelder, M.; and Liggesmeyer, P.\n\n\n \n\n\n\n In 2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pages 152-159, 2015. \n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Moehrle2015,\n  author    = {Felix M{\\"o}hrle and Marc Zeller and Kai H{\\"o}fig and Martin Rothfelder and Peter Liggesmeyer},\n  title     = {Automated Compositional Safety Analysis using Component Fault Trees},\n  booktitle = {2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)},\n  year      = {2015},\n  pages     = {152-159},\n  doi       = {10.1109/ISSREW.2015.7392061},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Automated Failure Propagation Using Inner Port Dependency Traces.\n \n \n \n \n\n\n \n Höfig, K.; Zeller, M.; and Schorp, K.\n\n\n \n\n\n\n In Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures, of QoSA '15, pages 123–128, New York, NY, USA, 2015. ACM\n \n\n\n\n
\n\n\n\n \n \n \"Automated pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Hoefig2015,\n  author    = {H\\"{o}fig, Kai and Zeller, Marc and Schorp, Konstantin},\n  title     = {Automated Failure Propagation Using Inner Port Dependency Traces},\n  booktitle = {Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures},\n  year      = {2015},\n  series    = {QoSA '15},\n  pages     = {123--128},\n  address   = {New York, NY, USA},\n  publisher = {ACM},\n  acmid     = {2737191},\n  doi       = {10.1145/2737182.2737191},\n  groups    = {eigene_publikationen},\n  isbn      = {978-1-4503-3470-9},\n  numpages  = {6},\n  url_pdf   = {https://dl.acm.org/doi/pdf/10.1145/2737182.2737191?casa_token=BWnOAxDqGYgAAAAA:UXCMco9F8HTkCYeFKOQPciTvb0i3AuRJJONQOMi_9IS5wJEBuznMq0_ubbNr8e9u9EHN4Of2gevv5g},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n CONFeTTI – Component Fault Tree-Based Testing.\n \n \n \n \n\n\n \n Zeller, M.; and Höfig, K.\n\n\n \n\n\n\n In Podofillini, L.; Sudret, B.; Stojadinovic, B.; Zio, E.; and Kröger, W., editor(s), Safety and Reliability of Complex Engineered Systems: Proceedings of the 25th European Safety and Reliability Conference (ESREL), pages 4011-4017, 2015. \n \n\n\n\n
\n\n\n\n \n \n \"CONFeTTI pdf\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Zeller2015a,\n  author    = {Zeller, M. and H{\\"o}fig, K.},\n  title     = {CONFeTTI – Component Fault Tree-Based Testing},\n  booktitle = {Safety and Reliability of Complex Engineered Systems: Proceedings of the 25th European Safety and Reliability Conference (ESREL)},\n  year      = {2015},\n  editor    = {Luca Podofillini and Bruno Sudret and Bozidar Stojadinovic and Enrico Zio and Wolfgang Kr{\\"o}ger},\n  pages     = {4011-4017},\n  url_pdf   = {https://www.researchgate.net/profile/Marc_Zeller/publication/341287554_CONFeTTI_-_Component_Fault_Tree-Based_Testing/links/5eb93d8c4585152169c59453/CONFeTTI-Component-Fault-Tree-Based-Testing.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Future ICT system platform and functional safety.\n \n \n \n\n\n \n Zeller, M.; Höfig, K.; Armbruster, M.; and Schmid, R.\n\n\n \n\n\n\n Presentation held at 5th International Conference ISO 26262, 2015.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Misc{Zeller2015,\n  author       = {Zeller, M. and Höfig, K. and Armbruster, M. and Schmid, R.},\n  title        = {Future ICT system platform and functional safety},\n  howpublished = {Presentation held at 5th International Conference ISO 26262},\n  year         = {2015},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Model-based safety engineering: Challenges and opportunities in practice.\n \n \n \n \n\n\n \n Zeller, M.\n\n\n \n\n\n\n In Cleland-Huang, J.; Rayadurgam, S.; Mäder, P.; and Schäfer, W., editor(s), Software and Systems Traceability for Safety-Critical Projects (Dagstuhl Seminar 15162), volume 5, of Dagstuhl Reports, pages 96, Dagstuhl, Germany, 2015. Schloss Dagstuhl - Leibniz-Zentrum für Informatik\n \n\n\n\n
\n\n\n\n \n \n \"Model-basedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Zeller2015b,\n  author    = {Zeller, Marc},\n  title     = {Model-based safety engineering: Challenges and opportunities in practice},\n  booktitle = {Software and Systems Traceability for Safety-Critical Projects (Dagstuhl Seminar 15162)},\n  year      = {2015},\n  editor    = {Cleland-Huang, Jane and Rayadurgam, Sanjai and M{\\"a}der, Patrick and Sch{\\"a}fer, Wilhelm},\n  volume    = {5},\n  number    = {4},\n  series    = {Dagstuhl Reports},\n  pages     = {96},\n  address   = {Dagstuhl, Germany},\n  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\\"u}r Informatik},\n  doi       = {http://dx.doi.org/10.4230/DagRep.5.4.76},\n  issn      = {2192-5283},\n  url       = {http://drops.dagstuhl.de/opus/volltexte/2015/5351},\n  urn       = {urn:nbn:de:0030-drops-53518},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Safety.Lab: Model-based Domain Specific Tooling for Safety Argumentation.\n \n \n \n \n\n\n \n Ratiu, D.; Zeller, M.; and Kilian, L.\n\n\n \n\n\n\n In Koornneef, F.; and van Gulijk, C., editor(s), Computer Safety, Reliability, and Security, volume 9338, of Lecture Notes in Computer Science, pages 72-82. Springer International Publishing, 2015.\n \n\n\n\n
\n\n\n\n \n \n \"Safety.Lab: pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InCollection{Ratiu2015,\n  author    = {Ratiu, D. and Zeller, M. and Kilian, L.},\n  title     = {Safety.Lab: Model-based Domain Specific Tooling for Safety Argumentation},\n  booktitle = {Computer Safety, Reliability, and Security},\n  publisher = {Springer International Publishing},\n  year      = {2015},\n  editor    = {Koornneef, Floor and van Gulijk, Coen},\n  volume    = {9338},\n  series    = {Lecture Notes in Computer Science},\n  pages     = {72-82},\n  doi       = {10.1007/978-3-319-24249-1_7},\n  isbn      = {978-3-319-24248-4},\n  url_pdf   = {hhttp://mbeddr.com/files/ratiu_etal_safety_lab.pdf},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n WAP: Digital Dependability Identities.\n \n \n \n \n\n\n \n Schneider, D.; Trapp, M.; Papadopoulos, Y.; Armengaud, E.; Zeller, M.; and Höfig, K\n\n\n \n\n\n\n In 2015 IEEE International Symposium on Software Reliability Engineering (ISSRE), pages 324-329, 2015. \n \n\n\n\n
\n\n\n\n \n \n \"WAP: pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Schneider2015,\n  author    = {Schneider, D. and Trapp, M. and Papadopoulos, Y. and Armengaud, E. and Zeller, M. and Höfig, K},\n  title     = {WAP: Digital Dependability Identities},\n  booktitle = {2015 IEEE International Symposium on Software Reliability Engineering (ISSRE)},\n  year      = {2015},\n  pages     = {324-329},\n  doi       = {10.1109/ISSRE.2015.7381825},\n  url_pdf\t= {https://arxiv.org/ftp/arxiv/papers/2105/2105.14984.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2014\n \n \n (4)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n metaFMEA - A Framework for Reusable FMEAs.\n \n \n \n \n\n\n \n Höfig, K.; Zeller, M.; and Grunske, L.\n\n\n \n\n\n\n In Ortmeier, F.; and Rauzy, A., editor(s), Model-Based Safety and Assessment, volume 8822, of Lecture Notes in Computer Science, pages 110-122. Springer International Publishing, 2014.\n \n\n\n\n
\n\n\n\n \n \n \"metaFMEA pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InCollection{Hoefig2014,\n  author    = {Höfig, Kai and Zeller, Marc and Grunske, Lars},\n  title     = {metaFMEA - A Framework for Reusable FMEAs},\n  booktitle = {Model-Based Safety and Assessment},\n  publisher = {Springer International Publishing},\n  year      = {2014},\n  editor    = {Ortmeier, Frank and Rauzy, Antoine},\n  volume    = {8822},\n  series    = {Lecture Notes in Computer Science},\n  pages     = {110-122},\n  doi       = {10.1007/978-3-319-12214-4_9},\n  isbn      = {978-3-319-12213-7},\n  url_pdf   = {https://www.researchgate.net/profile/Kai_Hoefig2/publication/270758006_metaFMEA-A_Framework_for_Reusable_FMEAs/links/54b3d7860cf28ebe92e42dfe.pdf},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n SafeAdapt - Safe Adaptive Software for Fully Electric Vehicles.\n \n \n \n \n\n\n \n Schleiss, P.; Zeller, M.; Weiss, G.; and Eilers, D.\n\n\n \n\n\n\n In Conference on Future Automotive Technology (CoFAT), 2014. \n \n\n\n\n
\n\n\n\n \n \n \"SafeAdapt pdf\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Schleiss2014,\n  author    = {Schleiss, Philipp and Zeller, Marc and Weiss, Gereon and Eilers, Dirk},\n  title     = {{SafeAdapt - Safe Adaptive Software for Fully Electric Vehicles}},\n  booktitle = {Conference on Future Automotive Technology (CoFAT)},\n  year      = {2014},\n  url_pdf\t= {https://mediatum.ub.tum.de/doc/1226685/file.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Memory concepts for enabling adaptivity in distributed embedded systems.\n \n \n \n \n\n\n \n Schleiss, P.; Zeller, M.; and Weiss, G.\n\n\n \n\n\n\n SIGBED Review, 11(3): 66–69. 2014.\n \n\n\n\n
\n\n\n\n \n \n \"Memory pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Article{Schleiss2014a,\n  author  = {Philipp Schleiss and Marc Zeller and Gereon Weiss},\n  title   = {Memory concepts for enabling adaptivity in distributed embedded systems},\n  journal = {{SIGBED} Review},\n  year    = {2014},\n  volume  = {11},\n  number  = {3},\n  pages   = {66--69},\n  doi     = {10.1145/2692385.2692398},\n  url_pdf = {https://dl.acm.org/doi/pdf/10.1145/2692385.2692398?casa_token=11r6BrJz9voAAAAA:uSdxI7nTT6ZVsWD2_yGL3IQsfVpyKFbv3it4q9rdvCJwindNzNGGZoJjQjZDbEFFEZOuxLWGozMELg}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Towards a Cross-Domain Software Safety Assurance Process for Embedded Systems.\n \n \n \n \n\n\n \n Zeller, M.; Höfig, K.; and Rothfelder, M.\n\n\n \n\n\n\n In Bondavalli, A.; Ceccarelli, A.; and Ortmeier, F., editor(s), Computer Safety, Reliability, and Security, volume 8696, of Lecture Notes in Computer Science, pages 396-400. Springer International Publishing, 2014.\n \n\n\n\n
\n\n\n\n \n \n \"Towards pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InCollection{Zeller2014,\n  author    = {Zeller, Marc and Höfig, Kai and Rothfelder, Martin},\n  title     = {Towards a Cross-Domain Software Safety Assurance Process for Embedded Systems},\n  booktitle = {Computer Safety, Reliability, and Security},\n  publisher = {Springer International Publishing},\n  year      = {2014},\n  editor    = {Bondavalli, Andrea and Ceccarelli, Andrea and Ortmeier, Frank},\n  volume    = {8696},\n  series    = {Lecture Notes in Computer Science},\n  pages     = {396-400},\n  doi       = {10.1007/978-3-319-10557-4_43},\n  url_pdf   = {https://arxiv.org/pdf/2106.02140.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2013\n \n \n (6)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Modeling and efficient solving of extra-functional properties for adaptation in networked embedded real-time systems.\n \n \n \n\n\n \n Zeller, M.; and Prehofer, C.\n\n\n \n\n\n\n Journal of Systems Architecture, 59(10, Part C): 1067 - 1082. 2013.\n Embedded Systems Software Architecture\n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Article{Zeller2013,\n  author   = {Marc Zeller and Christian Prehofer},\n  title    = {Modeling and efficient solving of extra-functional properties for adaptation in networked embedded real-time systems},\n  journal  = {Journal of Systems Architecture},\n  year     = {2013},\n  volume   = {59},\n  number   = {10, Part C},\n  pages    = {1067 - 1082},\n  note     = {Embedded Systems Software Architecture},\n  doi      = {10.1016/j.sysarc.2012.11.003},\n  issn     = {1383-7621},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Selbst-Adaptivität in vernetzten eingebetteten Systemen unter Berücksichtigung nicht-funktionaler Anforderungen.\n \n \n \n \n\n\n \n Zeller, M.\n\n\n \n\n\n\n Ph.D. Thesis, University of Augsburg, 2013.\n \n\n\n\n
\n\n\n\n \n \n \"Selbst-AdaptivitätPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@PhdThesis{Zeller2013a,\n  author    = {Marc Zeller},\n  title     = {Selbst-Adaptivit{\\"{a}}t in vernetzten eingebetteten Systemen unter Ber{\\"{u}}cksichtigung nicht-funktionaler Anforderungen},\n  school    = {University of Augsburg},\n  year      = {2013},\n  type      = {phdthesis},\n  url       = {http://www.dr.hut-verlag.de/978-3-8439-0994-5.html},\n  urn       = {urn:nbn:de:101:1-2013052414286}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Control Flow Analysis of Automotive Software Components Using Model-Based Specifications of Dynamic Behavior.\n \n \n \n\n\n \n Pramsohler, T.; Kafkas, M.; Paulić, A.; Zeller, M.; and Baumgarten, U.\n\n\n \n\n\n\n SAE International Journal of Passenger Cars–Electronic and Electrical Systems, 6(2013-01-0435): 425–436. 2013.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Article{Pramsohler2013,\n  author  = {Pramsohler, Thomas and Kafkas, Mahmut and Pauli{\\'c}, Annette and Zeller, Marc and Baumgarten, Uwe},\n  title   = {Control Flow Analysis of Automotive Software Components Using Model-Based Specifications of Dynamic Behavior},\n  journal = {SAE International Journal of Passenger Cars--Electronic and Electrical Systems},\n  year    = {2013},\n  volume  = {6},\n  number  = {2013-01-0435},\n  pages   = {425--436},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Interface Verification Using Executable Reference Models: An Application in the Automotive Infotainment.\n \n \n \n \n\n\n \n Drabek, C.; Pramsohler, T.; Zeller, M.; and Weiss, G.\n\n\n \n\n\n\n In Proceedings of the 6th International Workshop on Model Based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, Florida, USA, September 29th, 2013, 2013. \n \n\n\n\n
\n\n\n\n \n \n \"InterfacePaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Drabek2013,\n  author    = {Christian Drabek and Thomas Pramsohler and Marc Zeller and Gereon Weiss},\n  title     = {Interface Verification Using Executable Reference Models: An Application in the Automotive Infotainment},\n  booktitle = {Proceedings of the 6th International Workshop on Model Based Architecting and Construction of Embedded Systems co-located with {ACM/IEEE} 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, Florida, USA, September 29th, 2013},\n  year      = {2013},\n  url       = {http://ceur-ws.org/Vol-1084/paper7.pdf},\n}\n\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Towards runtime adaptation in AUTOSAR.\n \n \n \n \n\n\n \n Zeller, M.; Prehofer, C.; Krefft, D.; and Weiss, G.\n\n\n \n\n\n\n SIGBED Review, 10(4): 17–20. 2013.\n \n\n\n\n
\n\n\n\n \n \n \"Towards pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Article{Zeller2013b,\n  author  = {Marc Zeller and Christian Prehofer and Daniel Krefft and Gereon Weiss},\n  title   = {Towards runtime adaptation in {AUTOSAR}},\n  journal = {{SIGBED} Review},\n  year    = {2013},\n  volume  = {10},\n  number  = {4},\n  pages   = {17--20},\n  doi     = {10.1145/2583687.2583691},\n  url_pdf = {https://dl.acm.org/doi/pdf/10.1145/2583687.2583691?casa_token=3EgXQWaCIz4AAAAA:vIzp9VW_YrNlSzN_6GkqLuZzIk8AZ-qiruMhMkUiC5CDuLR1PholYEfCLaEpQjxLtIMYa2qh2JPMSQ},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Verifying & Validating Non-functional Properties of Automotive Software Architectures in Early Design Stages.\n \n \n \n\n\n \n Stante, A. K.; and Benjamin; Zeller, M. W.\n\n\n \n\n\n\n In AUTOREG 2013 : Steuerung und Regelung von Fahrzeugen und Motoren, of VDI-Berichte, pages 421-430, 2013. VDI Verlag\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Stante2013,\n  author    = {Stante, Alexander; Kamphausen, Benjamin; Zeller, Marc; Weiß, Gereon},\n  title     = {Verifying \\& Validating Non-functional Properties of Automotive Software Architectures in Early Design Stages},\n  booktitle = {AUTOREG 2013 : Steuerung und Regelung von Fahrzeugen und Motoren},\n  year      = {2013},\n  number    = {2196},\n  series    = {VDI-Berichte},\n  pages     = {421-430},\n  publisher = {VDI Verlag},\n  isbn      = {978-3-18-092196-9},\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2012\n \n \n (6)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n A hierarchical transaction concept for runtime adaptation in real-time, networked embedded systems.\n \n \n \n\n\n \n Prehofer, C.; and Zeller, M.\n\n\n \n\n\n\n In Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, ETFA 2012, Krakow, Poland, September 17-21, 2012, pages 1–8, 2012. \n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Prehofer2012a,\n  author    = {Christian Prehofer and Marc Zeller},\n  title     = {A hierarchical transaction concept for runtime adaptation in real-time, networked embedded systems},\n  booktitle = {Proceedings of 2012 {IEEE} 17th International Conference on Emerging Technologies {\\&} Factory Automation, {ETFA} 2012, Krakow, Poland, September 17-21, 2012},\n  year      = {2012},\n  pages     = {1--8},\n  doi       = {10.1109/ETFA.2012.6489585},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n A Multi-Layered Control Approach for Self-Adaptation in Automotive Embedded Systems.\n \n \n \n \n\n\n \n Zeller, M.; and Prehofer, C.\n\n\n \n\n\n\n Adv. Softw. Eng., 2012: 971430:1–971430:15. 2012.\n \n\n\n\n
\n\n\n\n \n \n \"A pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Article{Zeller2012b,\n  author  = {Marc Zeller and Christian Prehofer},\n  title   = {A Multi-Layered Control Approach for Self-Adaptation in Automotive Embedded Systems},\n  journal = {Adv. Softw. Eng.},\n  year    = {2012},\n  volume  = {2012},\n  pages   = {971430:1--971430:15},\n  doi     = {10.1155/2012/971430},\n  url_pdf = {https://downloads.hindawi.com/archive/2012/971430.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Self-adaptation in Automotive Embedded Systems using a Multi-layered Control Approach.\n \n \n \n \n\n\n \n Zeller, M.; and Prehofer, C.\n\n\n \n\n\n\n In PECCS 2012 - Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems, Rome, Italy, 24-26 February, 2012, pages 459–468, 2012. \n \n\n\n\n
\n\n\n\n \n \n \"Self-adaptation pdf\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Zeller2012,\n  author    = {Marc Zeller and Christian Prehofer},\n  title     = {Self-adaptation in Automotive Embedded Systems using a Multi-layered Control Approach},\n  booktitle = {{PECCS} 2012 - Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems, Rome, Italy, 24-26 February, 2012},\n  year      = {2012},\n  pages     = {459--468},\n  url_pdf\t= {https://www.scitepress.org/papers/2012/39423/39423.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Timing constraints for runtime adaptation in real-time, networked embedded systems.\n \n \n \n\n\n \n Zeller, M.; and Prehofer, C.\n\n\n \n\n\n\n In 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2012, Zurich, Switzerland, June 4-5, 2012, pages 73–82, 2012. \n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Zeller2012a,\n  author    = {Marc Zeller and Christian Prehofer},\n  title     = {Timing constraints for runtime adaptation in real-time, networked embedded systems},\n  booktitle = {7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, {SEAMS} 2012, Zurich, Switzerland, June 4-5, 2012},\n  year      = {2012},\n  pages     = {73--82},\n  doi       = {10.1109/SEAMS.2012.6224393},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Towards Efficient On-line Schedulability Tests for Adaptive Networked Embedded Real-time Systems.\n \n \n \n \n\n\n \n Becker, K.; Zeller, M.; and Weiss, G.\n\n\n \n\n\n\n In PECCS 2012 - Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems, Rome, Italy, 24-26 February, 2012, pages 440–449, 2012. \n \n\n\n\n
\n\n\n\n \n \n \"Towards pdf\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Becker2012,\n  author    = {Klaus Becker and Marc Zeller and Gereon Weiss},\n  title     = {Towards Efficient On-line Schedulability Tests for Adaptive Networked Embedded Real-time Systems},\n  booktitle = {{PECCS} 2012 - Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems, Rome, Italy, 24-26 February, 2012},\n  year      = {2012},\n  pages     = {440--449},\n  url_pdf\t= {https://www.scitepress.org/Papers/2012/39418/39418.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Towards runtime adaptation in real-time, networked embedded systems.\n \n \n \n\n\n \n Prehofer, C.; and Zeller, M.\n\n\n \n\n\n\n In 7th IEEE International Symposium on Industrial Embedded Systems, SIES 2012, Karlsruhe, Germany, June 20-22, 2012, pages 271–274, 2012. \n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Prehofer2012,\n  author    = {Christian Prehofer and Marc Zeller},\n  title     = {Towards runtime adaptation in real-time, networked embedded systems},\n  booktitle = {7th {IEEE} International Symposium on Industrial Embedded Systems, {SIES} 2012, Karlsruhe, Germany, June 20-22, 2012},\n  year      = {2012},\n  pages     = {271--274},\n  doi       = {10.1109/SIES.2012.6356594},\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2011\n \n \n (3)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n An approach for providing dependable self-adaptation in distributed embedded systems.\n \n \n \n \n\n\n \n Zeller, M.; Weiss, G.; Eilers, D.; and Knorr, R.\n\n\n \n\n\n\n In Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011, pages 236–237, 2011. \n \n\n\n\n
\n\n\n\n \n \n \"An pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Zeller2011,\n  author    = {Marc Zeller and Gereon Weiss and Dirk Eilers and Rudi Knorr},\n  title     = {An approach for providing dependable self-adaptation in distributed embedded systems},\n  booktitle = {Proceedings of the 2011 {ACM} Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011},\n  year      = {2011},\n  pages     = {236--237},\n  doi       = {10.1145/1982185.1982239},\n  url_pdf\t= {https://dl.acm.org/doi/pdf/10.1145/1982185.1982239?casa_token=uA1jwlkA8xgAAAAA:TDFaPkOEaxbixjmNCZOQSEarIZMT-KcJmez0LHnGHNpxC384EE-c-FuJKyqCMkVkc06PhSGIfOaOdw}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Towards Automotive Embedded Systems with Self-X Properties.\n \n \n \n \n\n\n \n Weiss, G.; Zeller, M.; and Eilers, D.\n\n\n \n\n\n\n In Chiaberge, M., editor(s), New Trends and Developments in Automotive System Engineering, 21. IntechOpen, Rijeka, 2011.\n \n\n\n\n
\n\n\n\n \n \n \"Towards pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InCollection{Weiss2011,\n  author    = {Gereon Weiss and Marc Zeller and Dirk Eilers},\n  title     = {Towards Automotive Embedded Systems with Self-X Properties},\n  booktitle = {New Trends and Developments in Automotive System Engineering},\n  publisher = {IntechOpen},\n  year      = {2011},\n  editor    = {Marcello Chiaberge},\n  chapter   = {21},\n  address   = {Rijeka},\n  doi       = {10.5772/13559},\n  url_pdf\t= {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.456.7491&rep=rep1&type=pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Towards Self-Adaptation in Real-Time, Networked Systems: Efficient Solving of System Constraints for Automotive Embedded Systems.\n \n \n \n \n\n\n \n Zeller, M.; Prehofer, C.; Weiss, G.; Eilers, D.; and Knorr, R.\n\n\n \n\n\n\n In 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2011, Ann Arbor, MI, USA, October 3-7, 2011, pages 79–88, 2011. \n \n\n\n\n
\n\n\n\n \n \n \"Towards pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Zeller2011a,\n  author    = {Marc Zeller and Christian Prehofer and Gereon Weiss and Dirk Eilers and Rudi Knorr},\n  title     = {Towards Self-Adaptation in Real-Time, Networked Systems: Efficient Solving of System Constraints for Automotive Embedded Systems},\n  booktitle = {5th {IEEE} International Conference on Self-Adaptive and Self-Organizing Systems, {SASO} 2011, Ann Arbor, MI, USA, October 3-7, 2011},\n  year      = {2011},\n  pages     = {79--88},\n  doi       = {10.1109/SASO.2011.19},\n  url_pdf\t= {https://www.researchgate.net/profile/Christian-Prehofer/publication/220706324_Towards_Self-Adaptation_in_Real-Time_Networked_Systems_Efficient_Solving_of_System_Constraints_for_Automotive_Embedded_Systems/links/57ff554c08aeaf819a5f4855/Towards-Self-Adaptation-in-Real-Time-Networked-Systems-Efficient-Solving-of-System-Constraints-for-Automotive-Embedded-Systems.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2010\n \n \n (3)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Approach for iterative validation of automotive embedded systems.\n \n \n \n \n\n\n \n Weiss, G.; Zeller, M.; Eilers, D.; and Knorr, R.\n\n\n \n\n\n\n In Proceedings of the 3rd International Workshop on Model Based Architecting and Construction of Embedded Systems, pages 69–83, 2010. \n \n\n\n\n
\n\n\n\n \n \n \"Approach pdf\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Weiss2010,\n  author    = {Weiss, Gereon and Zeller, Marc and Eilers, Dirk and Knorr, Rudi},\n  title     = {Approach for iterative validation of automotive embedded systems},\n  booktitle = {Proceedings of the 3rd International Workshop on Model Based Architecting and Construction of Embedded Systems},\n  year      = {2010},\n  pages     = {69--83},\n  url_pdf\t= {https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.204.4387&rep=rep1&type=pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Co-Simulation of Self-Adaptive Automotive Embedded Systems.\n \n \n \n\n\n \n Zeller, M.; Weiss, G.; Eilers, D.; and Knorr, R.\n\n\n \n\n\n\n In IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, EUC 2010, Hong Kong, China, 11-13 December 2010, pages 73–80, 2010. \n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Zeller2010a,\n  author    = {Marc Zeller and Gereon Weiss and Dirk Eilers and Rudi Knorr},\n  title     = {Co-Simulation of Self-Adaptive Automotive Embedded Systems},\n  booktitle = {{IEEE/IFIP} 8th International Conference on Embedded and Ubiquitous Computing, {EUC} 2010, Hong Kong, China, 11-13 December 2010},\n  year      = {2010},\n  pages     = {73--80},\n  doi       = {10.1109/EUC.2010.21},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Fail-Safe Data Management in Self-Healing Automotive Systems.\n \n \n \n\n\n \n Zeller, M.; Grosse, S.; Eilers, D.; and Knorr, R.\n\n\n \n\n\n\n In Sixth International Conference on Autonomic and Autonomous Systems, ICAS 2010, Cancun, Mexico, March 7-13, 2010, pages 24–29, 2010. \n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Zeller2010,\n  author    = {Marc Zeller and Stefan Grosse and Dirk Eilers and Rudi Knorr},\n  title     = {Fail-Safe Data Management in Self-Healing Automotive Systems},\n  booktitle = {Sixth International Conference on Autonomic and Autonomous Systems, {ICAS} 2010, Cancun, Mexico, March 7-13, 2010},\n  year      = {2010},\n  pages     = {24--29},\n  doi       = {10.1109/ICAS.2010.12},\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2009\n \n \n (3)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n A Multi-layered Control Architecture for Self-Management in Adaptive Automotive Systems.\n \n \n \n\n\n \n Zeller, M.; Weiss, G.; Eilers, D.; and Knorr, R.\n\n\n \n\n\n\n In 2009 International Conference on Adaptive and Intelligent Systems, pages 63-68, 2009. \n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Zeller2009a,\n  author    = {M. {Zeller} and G. {Weiss} and D. {Eilers} and R. {Knorr}},\n  title     = {A Multi-layered Control Architecture for Self-Management in Adaptive Automotive Systems},\n  booktitle = {2009 International Conference on Adaptive and Intelligent Systems},\n  year      = {2009},\n  pages     = {63-68},\n  doi\t\t= {10.1109/ICAIS.2009.20}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n DynaSoft: Dynamisch selbstorganisierende Softwaresysteme für Automobile.\n \n \n \n \n\n\n \n Zeller, M.; Weiss, G.; Langer, F.; and Heidrich, M.\n\n\n \n\n\n\n In Informatik 2009: Im Focus das Leben, Beiträge der 39. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 28.9.-2.10.2009, Lübeck, Deutschland, Proceedings, pages 2253–2267, 2009. \n \n\n\n\n
\n\n\n\n \n \n \"DynaSoft: pdf\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Zeller2009,\n  author    = {Marc Zeller and Gereon Weiss and Falk Langer and Mike Heidrich},\n  title     = {DynaSoft: Dynamisch selbstorganisierende Softwaresysteme f{\\"{u}}r Automobile},\n  booktitle = {Informatik 2009: Im Focus das Leben, Beitr{\\"{a}}ge der 39. Jahrestagung der Gesellschaft f{\\"{u}}r Informatik e.V. (GI), 28.9.-2.10.2009, L{\\"{u}}beck, Deutschland, Proceedings},\n  year      = {2009},\n  pages     = {2253--2267},\n  url_pdf   = {https://dl.gi.de/bitstream/handle/20.500.12116/31212/cd-2253.pdf?sequence=2&isAllowed=y},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Towards Self-organization in Automotive Embedded Systems.\n \n \n \n \n\n\n \n Weiss, G.; Zeller, M.; Eilers, D.; and Knorr, R.\n\n\n \n\n\n\n In Autonomic and Trusted Computing, 6th International Conference, ATC 2009, Brisbane, Australia, July 7-9, 2009, Proceedings, pages 32–46, 2009. \n \n\n\n\n
\n\n\n\n \n \n \"Towards pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Weiss2009,\n  author    = {Gereon Weiss and Marc Zeller and Dirk Eilers and Rudi Knorr},\n  title     = {Towards Self-organization in Automotive Embedded Systems},\n  booktitle = {Autonomic and Trusted Computing, 6th International Conference, {ATC} 2009, Brisbane, Australia, July 7-9, 2009, Proceedings},\n  year      = {2009},\n  pages     = {32--46},\n  doi       = {10.1007/978-3-642-02704-8\\_4},\n  url_pdf   = {http://140.128.95.1/bitstream/987654321/6547/2/184357.pdf#page=44},\n}\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n\n\n\n
\n\n\n \n\n \n \n \n \n\n
\n"}; document.write(bibbase_data.data);