• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 120 matches

• 2024
• 
  Marc Zeller, Thomas Waschulzik, Reiner N. Schmid, Claus Bahlmann:
  Toward a safe MLOps process for the continuous development and safety assurance of ML-based systems in the railway domain. AI Ethics 4(1): 123-130 (2024)
• 
  Gereon Weiss, Marc Zeller, Hannes Schoenhaar, Christian Drabek, Andreas Kreutz:
  Approach for Argumenting Safety on Basis of an Operational Design Domain. CAIN 2024: 184-193
• 
  Marc Zeller, Thomas Waschulzik, Carmen Carlan, Marat Serahlazau, Claus Bahlmann, Zhiliang Wu, Sigurd Spieckermann, Denis Krompass, Simon Geerkens, Christian Sieberichs, Konstantin Kirchheim, Batu Kaan Özen, Lucia Diez Robles:
  Continuous Development and Safety Assurance Pipeline for ML-Based Systems in the Railway Domain. SAFECOMP (Workshops) 2024: 446-459
• 2023
• 
  Marc Zeller, Martin Rothfelder, Cornel Klein:
  safe.trAIn - Engineering and Assurance of a Driverless Regional Train. CAIN 2023: 197
• 
  Marc Zeller:
  DevCertOps: Strategies to Realize Continuous Delivery of Safe Software in Regulated Domain. ICSE Companion 2023: 334-335
• 
  Marc Zeller, Thomas Waschulzik, Martin Rothfelder, Cornel Klein:
  Safety Assurance of a Driverless Regional Train -Insight in the safe.trAIn Project. ISSREW 2023: 41-42
• 
  Maria Bonner, Marc Zeller, Gabor Schulz, Dagmar Beyer, Mihaela Olteanu:
  Automated Traceability between Requirements and Model-Based Design. REFSQ Workshops 2023
• 
  Marc Zeller, Thomas Waschulzik, Reiner N. Schmid, Claus Bahlmann:
  Towards a safe MLOps Process for the Continuous Development and Safety Assurance of ML-based Systems in the Railway Domain. CoRR abs/2307.02867 (2023)
• 
  Wenqi Jiang, Marco Zeller, Roger Waleffe, Torsten Hoefler, Gustavo Alonso:
  Chameleon: a Heterogeneous and Disaggregated Accelerator System for Retrieval-Augmented Language Models. CoRR abs/2310.09949 (2023)
• 
  Marcel Böhme, Maria Christakis, Rohan Padhye, Kostya Serebryany, Andreas Zeller, Hasan Ferit Eniser:
  Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131). Dagstuhl Reports 13(3): 92-105 (2023)
• 2022
• 
  Marc Zeller:
  Component Fault and Deficiency Tree (CFDT): Combining Functional Safety and SOTIF Analysis. IMBSA 2022: 146-152
• 
  Christel Seguin, Marc Zeller, Tatiana Prosvirnova:
  Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings. Lecture Notes in Computer Science 13525, Springer 2022, ISBN 978-3-031-15841-4 [contents]
• 2021
• 
  Elizabeth Hehir, Marc Zeller, Joanna Luckhurst, Tara Chandler:
  Developing student connectedness under remote learning using digital resources: A systematic review. Educ. Inf. Technol. 26(5): 6531-6548 (2021)
• 
  Ezekiel O. Soremekun, Lukas Kirschner, Marcel Böhme, Andreas Zeller:
  Locating faults with program slicing: an empirical analysis. Empir. Softw. Eng. 26(3): 51 (2021)
• 
  Eric Armengaud, Daniel Schneider, Jan Reich, Ioannis Sorokos, Yiannis Papadopoulos, Marc Zeller, Gilbert Regan, Georg Macher, Omar Veledar, Stefan Thalmann, Sohag Kabir:
  DDI: A novel technology and innovation model for dependable, collaborative and autonomous systems. DATE 2021: 1626-1631
• 
  Fabian Ritz, Thomy Phan, Robert Müller, Thomas Gabor, Andreas Sedlmeier, Marc Zeller, Jan Wieghardt, Reiner N. Schmid, Horst Sauer, Cornel Klein, Claudia Linnhoff-Popien:
  SAT-MARL: Specification Aware Training in Multi-Agent Reinforcement Learning. ICAART (1) 2021: 28-37
• 
  Fabian Ritz, Thomy Phan, Robert Müller, Thomas Gabor, Andreas Sedlmeier, Marc Zeller, Jan Wieghardt, Reiner N. Schmid, Horst Sauer, Cornel Klein, Claudia Linnhoff-Popien:
  Specification Aware Multi-Agent Reinforcement Learning. ICAART (Revised Selected Papers) 2021: 3-21
• 
  Jan-Philipp Steghöfer, Björn Koopmann, Jan Steffen Becker, Ingo Stierand, Marc Zeller, Maria Bonner, David Schmelter, Salome Maro:
  The MobSTr Dataset - An Exemplar for Traceability and Model-based Safety Assessment. RE 2021: 444-445
• 
  Marc Zeller:
  Towards Continuous Safety Assessment in Context of DevOps. SAFECOMP Workshops 2021: 145-157
• 
  Kenneth Johnson, Marc Zeller, Arthur Vetter, Dániel Varró:
  Continual Model-Based Analysis. Composing Model-Based Analysis Tools 2021: 97-127
• 
  David Santiago Velasco Moncada, Daniel Schneider, Ana Petrovska, Nishanth Laxman, Felix Möhrle, Stefan Rothbauer, Marc Zeller, Chee Hung Koo, Samira Safdari:
  Dynamic Safety Certification for Collaborative Embedded Systems at Runtime. Model-Based Engineering of Collaborative Embedded Systems 2021: 171-196
• 
  Ezekiel O. Soremekun, Lukas Kirschner, Marcel Böhme, Andreas Zeller:
  Locating Faults with Program Slicing: An Empirical Analysis. CoRR abs/2101.03008 (2021)
• 
  Chee Hung Koo, Stefan Rothbauer, Marian Vorderer, Kai Höfig, Marc Zeller:
  SQUADfps: Integrated Model-Based Machine Safety and Product Quality for Flexible Production Systems. CoRR abs/2105.14817 (2021)
• 
  Daniel Schneider, Mario Trapp, Yiannis Papadopoulos, Eric Armengaud, Marc Zeller, Kai Höfig:
  WAP: Digital Dependability Identities. CoRR abs/2105.14984 (2021)
• 
  Marc Zeller, Kai Höfig:
  INSiDER: Incorporation of system and safety analysis models using a dedicated reference model. CoRR abs/2105.14992 (2021)
• 
  Marc Zeller, Kai Höfig, Jean-Pascal Schwinn:
  ArChes - Automatic generation of component fault trees from continuous function charts. CoRR abs/2105.15002 (2021)
• 
  Kai Höfig, Andreas Joanni, Marc Zeller, Francesco Montrone, Martin Rothfelder, Rakshith Amarnath, Peter Munk, Arne Nordmann:
  Model-Based Reliability and Safety: Reducing the Complexity of Safety Analyses Using Component Fault Trees. CoRR abs/2105.15015 (2021)
• 
  Marc Zeller, Francesco Montrone:
  Combination of component fault trees and Markov chains to analyze complex, software-controlled systems. CoRR abs/2106.00247 (2021)
• 
  Kai Höfig, Marc Zeller, Reiner Heilmann:
  ALFRED: a methodology to enable component fault trees for layered architectures. CoRR abs/2106.00965 (2021)
• 
  Jef Stegen, Stefan Dutré, Joe Zhensheng Guo, Marc Zeller, Stefan Rothbauer:
  Meta model application for consistency management of models for avionic systems design. CoRR abs/2106.00974 (2021)

skipping 90 more matches