Frank Ortmeier

128 papers A* 2A 7B 13C 19Misc 3Journal 22Unranked 56

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	Adaptive Robotic Path Planning via Obstacle Trajectory-Guided Reinforcement Learning. CoDIT Ali Nafih Pullani, Frank Ortmeier
2025	B	`conf`	Empirical Analysis of OpenAI Embeddings for Semantic Code Review Comment Similarity. SEAA Robert Heumüller, Theo Langer, Frank Ortmeier
2025	—	`conf`	Functional Safety with Model-Based Safety Analysis: A Perspective from ARP4761A. SAFECOMP (Workshops) Tim Gonschorek, Frank Ortmeier
2025	—	`ed.`	Go Where the Bugs Are - Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday Go Where the Bugs Are Gidon Ernst, Matthias Güdemann, Alexander Knapp, Florian Nafz, Frank Ortmeier, Hella Ponsar, Gerhard Schellhorn, Alexander Schiendorfer
2025	C	`conf`	Guided Importance Sampling for Safety and Reliability: A Pragmatic Comparison of Symbolic and Simulation-Based Approaches. PRDC Tim Gonschorek, Frank Ortmeier
2025	A*	`conf`	Improving Out-of-Distribution Detection with Markov Logic Networks. ICML Konstantin Kirchheim, Frank Ortmeier
2025	J	`jnl`	Improving Out-of-Distribution Detection with Markov Logic Networks. CoRR Konstantin Kirchheim, Frank Ortmeier
2025	J	`jnl`	On Assessing the Relevance of Code Reviews Authored by Generative Models. CoRR Robert Heumüller, Frank Ortmeier
2025	—	`conf`	Out-of-Distribution Detection with Adversarial Outlier Exposure. CVPR Workshops Thomas Botschen, Konstantin Kirchheim, Frank Ortmeier
2025	J	`jnl`	Previously on... Automating Code Review. CoRR Robert Heumüller, Frank Ortmeier
2024	—	`conf`	ASAP-Repair: API-Specific Automated Program Repair Based on API Usage Graphs. APR Sebastian Nielebock, Paul Blockhaus, Jacob Krüger, Frank Ortmeier
2024	J	`jnl`	ASAP-Repair: API-Specific Automated Program Repair Based on API Usage Graphs. CoRR Sebastian Nielebock, Paul Blockhaus, Jacob Krüger, Frank Ortmeier
2024	—	`conf`	Language Models as Reasoners for Out-of-Distribution Detection. SAFECOMP (Workshops) Konstantin Kirchheim, Frank Ortmeier
2024	Misc	`conf`	Out-of-Distribution Detection with Logical Reasoning (Extended Abstract). KI Konstantin Kirchheim, Tim Gonschorek, Frank Ortmeier
2024	A	`conf`	Out-of-Distribution Detection with Logical Reasoning. WACV Konstantin Kirchheim, Tim Gonschorek, Frank Ortmeier
2023	C	`conf`	Analysis of Security Events in Industrial Networks Using Self-Organizing Maps by the Example of Log4j. IoTBDS Ricardo Hormann, Daniel Bokelmann, Frank Ortmeier
2023	—	`conf`	Evaluating and Increasing Segmentation Robustness in CARLA. SAFECOMP Workshops Venkatesh Thirugnana Sambandham, Konstantin Kirchheim, Frank Ortmeier
2023	C	`conf`	Measuring the Robustness of ML Models Against Data Quality Issues in Industrial Time Series Data. INDIN Marcel Dix, Gianluca Manca, Kenneth Chigozie Okafor, Reuben Borrison, Konstantin Kirchheim, Divyasheel Sharma, Chandrika K. R., Deepti Maduskar, Frank Ortmeier
2022	J	`jnl`	Addressing Randomness in Evaluation Protocols for Out-of-Distribution Detection. CoRR Konstantin Kirchheim, Tim Gonschorek, Frank Ortmeier
2022	J	`jnl`	Automated Change Rule Inference for Distance-Based API Misuse Detection. CoRR Sebastian Nielebock, Paul Blockhaus, Jacob Krüger, Frank Ortmeier
2022	B	`conf`	Multi-Class Hypersphere Anomaly Detection. ICPR Konstantin Kirchheim, Marco Filax, Frank Ortmeier
2022	—	`conf`	On Challenging Aspects of Reproducibility in Deep Anomaly Detection. RRPR Konstantin Kirchheim, Marco Filax, Frank Ortmeier
2022	—	`conf`	PyTorch-OOD: A Library for Out-of-Distribution Detection based on PyTorch. CVPR Workshops Konstantin Kirchheim, Marco Filax, Frank Ortmeier
2022	J	`jnl`	Towards Transformer-based Homogenization of Satellite Imagery for Landsat-8 and Sentinel-2. CoRR Venkatesh Thirugnana Sambandham, Konstantin Kirchheim, Sayan Mukhopadhaya, Frank Ortmeier
2021	C	`conf`	An Experimental Analysis of Graph-Distance Algorithms for Comparing API Usages. SCAM Sebastian Nielebock, Paul Blockhaus, Jacob Krüger, Frank Ortmeier
2021	J	`jnl`	An Experimental Analysis of Graph-Distance Algorithms for Comparing API Usages. CoRR Sebastian Nielebock, Paul Blockhaus, Jacob Krüger, Frank Ortmeier
2021	A	`conf`	AndroidCompass: A Dataset of Android Compatibility Checks in Code Repositories. MSR Sebastian Nielebock, Paul Blockhaus, Jacob Krüger, Frank Ortmeier
2021	J	`jnl`	AndroidCompass: A Dataset of Android Compatibility Checks in Code Repositories. CoRR Sebastian Nielebock, Paul Blockhaus, Jacob Krüger, Frank Ortmeier
2021	—	`conf`	Exploit those code reviews! bigger data for deeper learning. ESEC/SIGSOFT FSE Robert Heumüller, Sebastian Nielebock, Frank Ortmeier
2021	—	`conf`	Grocery Recognition in the Wild: A New Mining Strategy for Metric Learning. VISIGRAPP (4: VISAPP) Marco Filax, Tim Gonschorek, Frank Ortmeier
2021	J	`jnl`	Guided pattern mining for API misuse detection by change-based code analysis. Autom. Softw. Eng. Sebastian Nielebock, Robert Heumüller, Kevin Michael Schott, Frank Ortmeier
2021	Misc	`conf`	On the Influence of Viewpoint Change for Metric Learning. MVA Marco Filax, Frank Ortmeier
2020	B	`ed.`	Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings SAFECOMP António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira
2020	—	`ed.`	Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops - DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings "SAFECOMP Workshops António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro M. Ferreira
2020	—	`conf`	Cooperative API misuse detection using correction rules. ICSE (NIER) Sebastian Nielebock, Robert Heumüller, Jacob Krüger, Frank Ortmeier
2020	J	`jnl`	Guided Pattern Mining for API Misuse Detection by Change-Based Code Analysis. CoRR Sebastian Nielebock, Robert Heumüller, Kevin Michael Schott, Frank Ortmeier
2020	—	`conf`	Learning References with Gaussian Processes in Model Predictive Control applied to Robot Assisted Surgery. ECC Janine Matschek, Tim Gonschorek, Magnus Hanses, Norbert Elkmann, Frank Ortmeier, Rolf Findeisen
2020	J	`jnl`	Publish or perish, but do not forget your software artifacts. Empir. Softw. Eng. Robert Heumüller, Sebastian Nielebock, Jacob Krüger, Frank Ortmeier
2020	C	`conf`	Reduced Error Model for Learning-based Calibration of Serial Manipulators. ICINCO Nadia Schillreff, Frank Ortmeier
2020	—	`conf`	Using API-Embedding for API-Misuse Repair. ICSE (Workshops) Sebastian Nielebock, Robert Heumüller, Jacob Krüger, Frank Ortmeier
2019	—	`conf`	Cardiotocograph Data Classification Improvement by Using Empirical Mode Decomposition. EMBC Patricio Fuentealba, Alfredo Illanes, Frank Ortmeier
2019	J	`jnl`	Cardiotocographic Signal Feature Extraction Through CEEMDAN and Time-Varying Autoregressive Spectral-Based Analysis for Fetal Welfare Assessment. IEEE Access Patricio Fuentealba, Alfredo Illanes, Frank Ortmeier
2019	J	`jnl`	Commenting source code: is it worth it for small programming tasks? Empir. Softw. Eng. Sebastian Nielebock, Dariusz Krolikowski, Jacob Krüger, Thomas Leich, Frank Ortmeier
2019	C	`conf`	Data for Image Recognition Tasks: An Efficient Tool for Fine-Grained Annotations. ICPRAM Marco Filax, Tim Gonschorek, Frank Ortmeier
2019	—	`conf`	Integrating Safety Design Artifacts into System Development Models Using SafeDeML. IMBSA Tim Gonschorek, Philipp Bergt, Marco Filax, Frank Ortmeier
2019	J	`jnl`	Learning References with Gaussian Processes in Model Predictive Control applied to Robot Assisted Surgery. CoRR Janine Matschek, Tim Gonschorek, Magnus Hanses, Norbert Elkmann, Frank Ortmeier, Rolf Findeisen
2019	J	`jnl`	Programmers do not favor lambda expressions for concurrent object-oriented code. Empir. Softw. Eng. Sebastian Nielebock, Robert Heumüller, Frank Ortmeier
2019	B	`conf`	SafeDeML: On Integrating the Safety Design into the System Model. SAFECOMP Tim Gonschorek, Philipp Bergt, Marco Filax, Frank Ortmeier, Jan von Hoyningen-Hüne, Thorsten Piper
2019	B	`conf`	SpecTackle - A Specification Mining Experimentation Platform. SEAA Robert Heumüller, Sebastian Nielebock, Frank Ortmeier
2018	—	`conf`	Commits as a basis for API misuse detection. SoftwareMining@ASE Sebastian Nielebock, Robert Heumüller, Frank Ortmeier
2018	—	`conf`	Fault Trees vs. Component Fault Trees: An Empirical Study. SAFECOMP Workshops Tim Gonschorek, Marc Zeller, Kai Höfig, Frank Ortmeier
2018	—	`conf`	Learning-based Kinematic Calibration using Adjoint Error Model. ICINCO (2) Nadia Schillreff, Frank Ortmeier
2018	B	`conf`	On the Similarities of Fingerprints and Railroad Tracks: Using Minutiae Detection Algorithms to Digitize Track Plans. DAS Maximilian Klockmann, Marco Filax, Frank Ortmeier, Martin ReiB
2018	—	`conf`	Predictive Tracking Control of a Camera - Head Mounted Display System subject to Communication Constraints. ECC Markus J. Kögel, Petar Andonov, Marco Filax, Frank Ortmeier, Rolf Findeisen
2018	—	`conf`	Spectral-Based Analysis of Progressive Dynamical Changes in the Fetal Heart Rate Signal During Labor by Using Empirical Mode Decomposition. CinC Patricio Fuentealba, Alfredo Illanes, Frank Ortmeier
2018	—	`conf`	VIOL: Viewpoint Invariant Object Localizator - Viewpoint Invariant Planar Features in Man-Made Environments. VISIGRAPP (4: VISAPP) Marco Filax, Frank Ortmeier
2018	—	`conf`	Who plays with whom? ... and how? mining API interaction patterns from source code. SoftwareMining@ASE Robert Heumüller, Sebastian Nielebock, Frank Ortmeier
2017	—	`conf`	Beyond Software Product Lines: Variability Modeling in Cyber-Physical Systems. SPLC (A) Jacob Krüger, Sebastian Nielebock, Sebastian Krieter, Christian Diedrich, Thomas Leich, Gunter Saake, Sebastian Zug, Frank Ortmeier
2017	—	`conf`	Building Models We Can Rely On: Requirements Traceability for Model-Based Verification Techniques. IMBSA Marco Filax, Tim Gonschorek, Frank Ortmeier
2017	C	`conf`	On improving rare event simulation for probabilistic safety analysis. MEMOCODE Tim Gonschorek, Ben Rabeler, Frank Ortmeier, Dirk Schomburg
2017	—	`conf`	Progressive Fetal Distress Estimation by Characterization of Fetal Heart Rate Decelerations Response Based on Signal Variability in Cardiotocographic Recordings. CinC Patricio Fuentealba, Alfredo Illanes, Frank Ortmeier
2016	—	`conf`	Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models. RSSRail Marco Filax, Tim Gonschorek, Frank Ortmeier
2016	B	`conf`	Multi-sensor tracking with SPRT in an autonomous vehicle. Intelligent Vehicles Symposium Marek Stess, Christian Schildwachter, Vera Mersheeva, Frank Ortmeier, Bernardo Wagner
2015	J	`jnl`	Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica. Reliab. Eng. Syst. Saf. Michael Lipaczewski, Frank Ortmeier, Tatiana Prosvirnova, Antoine Rauzy, Simon Struck
2015	—	`conf`	Coverage Path Re-planning for Processing Faults. ICIRA (2) Mykhaylo Nykolaychuk, Frank Ortmeier
2015	J	`jnl`	Model-Based Local Path Planning for UAVs. J. Intell. Robotic Syst. Tanja Hebecker, Robert Buchholz, Frank Ortmeier
2015	J	`jnl`	Robotic Task Sequencing Problem: A Survey. J. Intell. Robotic Syst. Sergey Alatartsev, Sebastian Stellmacher, Frank Ortmeier
2014	—	`ed.`	Computer Safety, Reliability, and Security - SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings SAFECOMP Workshops Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier
2014	A	`conf`	Improving the sequence of robotic tasks with freedom of execution. IROS Sergey Alatartsev, Frank Ortmeier
2014	—	`ed.`	Model-Based Safety and Assessment - 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings IMBSA Frank Ortmeier, Antoine Rauzy
2014	—	`conf`	On Bringing Object-Oriented Software Metrics into the Model-Based World - Verifying ISO 26262 Compliance in Simulink. SAM Lukas Mäurer, Tanja Hebecker, Torben Stolte, Michael Lipaczewski, Uwe Möhrstädt, Frank Ortmeier
2014	—	`conf`	On Efficiently Specifying Models for Model Checking. IMBSA Mykhaylo Nykolaychuk, Michael Lipaczewski, Tino Liebusch, Frank Ortmeier
2014	—	`conf`	Robot Trajectory Optimization for the Relaxed End-effector Path. ICINCO (1) Sergey Alatartsev, Anton Belov, Mykhaylo Nykolaychuk, Frank Ortmeier
2013	C	`conf`	A Pragmatic Approach For Debugging Parameter-Driven Software. Software Engineering Frank Ortmeier, Simon Struck, Jens Meinicke
2013	—	`conf`	Authentication with Time Features for Keystroke Dynamics on Touchscreens. Communications and Multimedia Security Matthias Trojahn, Florian Arndt, Frank Ortmeier
2013	A*	`conf`	Constricting Insertion Heuristic for Traveling Salesman Problem with Neighborhoods. ICAPS Sergey Alatartsev, Marcus Augustine, Frank Ortmeier
2013	—	`conf`	Designing an Enterprise Security Strategy for Mobile Intranet Access. SERE (Companion) Matthias Trojahn, Frank Ortmeier
2013	J	`jnl`	Efficient optimization of large probabilistic models. J. Syst. Softw. Simon Struck, Matthias Güdemann, Frank Ortmeier
2013	—	`conf`	Emotion Recognition through Keystroke Dynamics on Touchscreen Keyboards. ICEIS (3) Matthias Trojahn, Florian Arndt, Markus Weinmann, Frank Ortmeier
2013	C	`conf`	Keystroke Authentication on Mobile Devices with a Capacitive Display. ICPRAM Matthias Trojahn, Frank Ortmeier
2013	C	`conf`	Keystroke Authentication with a Capacitive Display using Different Mobile Devices. SECRYPT Matthias Trojahn, Christian Schadewald, Frank Ortmeier
2013	A	`conf`	On optimizing a sequence of robotic tasks. IROS Sergey Alatartsev, Vera Mersheeva, Marcus Augustine, Frank Ortmeier
2013	—	`conf`	Optimizing Formal Specifications - Why and How. MBEES Frank Ortmeier, Simon Struck
2013	—	`conf`	Teaching and Training Formal Methods for Safety Critical Systems. EUROMICRO-SEAA Michael Lipaczewski, Frank Ortmeier
2013	—	`conf`	Toward Mobile Authentication with Keystroke Dynamics on Mobile Phones and Tablets. AINA Workshops Matthias Trojahn, Frank Ortmeier
2012	B	`ed.`	Computer Safety, Reliability, and Security - 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings SAFECOMP Frank Ortmeier, Peter Daniel
2012	—	`ed.`	Computer Safety, Reliability, and Security - SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings SAFECOMP Workshops Frank Ortmeier, Peter Daniel
2012	J	`jnl`	Dependability in Pervasive Computing: Challenges and Chances. J. Inf. Technol. Res. Frank Ortmeier
2012	—	`conf`	From Discrete Event Simulation to Virtual Reality Environments. SAFECOMP Workshops Sebastian Nielebock, Frank Ortmeier, Marco Schumann, André Winge
2012	—	`conf`	Handlungsadaptive Produktionsassistenz. GI-Jahrestagung Michael Lipaczewski, Frank Ortmeier
2012	—	`conf`	Landmark-Tree map: A biologically inspired topological map for long-distance robot navigation. ROBIO Marcus Augustine, Frank Ortmeier, Elmar Mair, Darius Burschka, Annett Stelzer, Michael Suppa
2012	—	`conf`	Multi-objective Optimization of Formal Specifications. HASE Simon Struck, Michael Lipaczewski, Frank Ortmeier, Matthias Güdemann
2012	—	`conf`	SAML goes eclipse: combining model-based safety analysis and high-level editor support. TOPI@ICSE Michael Lipaczewski, Simon Struck, Frank Ortmeier
2012	—	`conf`	Trajectory Description Conception for Industrial Robots. ROBOTIK Sergey Alatartsev, Matthias Güdemann, Frank Ortmeier
2012	—	`conf`	Unifying Probabilistic and Traditional Formal Model Based Analysis. MBEES Frank Ortmeier, Matthias Güdemann, Michael Lipaczewski, Simon Struck
2012	—	`conf`	Using Tool-Supported Model Based Safety Analysis - Progress and Experiences in SAML Development. HASE Michael Lipaczewski, Simon Struck, Frank Ortmeier
2012	C	`conf`	Using model-based analysis in certification of critical software-intensive systems. Software Engineering (Workshops) Frank Ortmeier, Simon Struck, Michael Lipaczewski
2011	B	`conf`	Model-Based Multi-objective Safety Optimization. SAFECOMP Matthias Güdemann, Frank Ortmeier
2011	C	`conf`	Tool Supported Model-Based Safety Analysis and Optimization. PRDC Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier
2011	C	`conf`	Towards Making Dependability Visual - Combining Model-Based Design and Virtual Realities. PRDC Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier, Marco Schumann, Robert Eschbach
2010	—	`conf`	A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis. HASE Matthias Güdemann, Frank Ortmeier
2010	—	`conf`	ProMoSA - Probabilistic Models for Safety Analysis. MBEES Frank Ortmeier, Matthias Güdemann
2010	—	`conf`	Probabilistic Model-Based Safety Analysis QAPL Matthias Güdemann, Frank Ortmeier
2010	—	`conf`	Quantitative Model-Based Safety Analysis: A Case Study. Sicherheit Matthias Güdemann, Frank Ortmeier
2010	—	`conf`	SysML in digital engineering. IWDE Matthias Güdemann, Stefan Kegel, Frank Ortmeier, Olaf Poenicke, Klaus Richter
2009	C	`conf`	A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems. ATC Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif
2009	A	`conf`	A generic software framework for role-based Organic Computing systems. SEAMS Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif
2009	—	`conf`	An Abstract Specification Language for Static Program Analysis. SSV Michael Vistein, Frank Ortmeier, Wolfgang Reif, Ralf Huuck, Ansgar Fehnker
2009	A	`conf`	Hiding real-time: A new approach for the software development of industrial robots. IROS Alwin Hoffmann, Andreas Angerer, Frank Ortmeier, Michael Vistein, Wolfgang Reif
2008	—	`conf`	A Specification and Construction Paradigm for Organic Computing Systems. SASO Matthias Güdemann, Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif
2008	B	`conf`	Implementing Organic Computing Systems with AgentService. ENASE Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif
2008	—	`conf`	Organic Computing for Health Care Systems - Possible Benefits and Challenges. HEALTHINF (2) Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif
2007	B	`conf`	Design and construction of organic computing systems. IEEE Congress on Evolutionary Computation Hella Seebach, Frank Ortmeier, Wolfgang Reif
2007	C	`conf`	Modeling of self-adaptive systems with SCADE. ISCAS Matthias Güdemann, Andreas Angerer, Frank Ortmeier, Wolfgang Reif
2007	B	`conf`	Using Deductive Cause-Consequence Analysis (DCCA) with SCADE. SAFECOMP Matthias Güdemann, Frank Ortmeier, Wolfgang Reif
2007	C	`conf`	WG2: Software engineering for organic computing applications (SE4OC). Software Engineering Frank Ortmeier, Wolfgang Reif, Giovanna Di Marzo Serugendo, Hartmut Schmeck
2006	—	`conf`	Formal Fault Tree Analysis - Practical Experiences. AVoCS Frank Ortmeier, Gerhard Schellhorn
2006	C	`conf`	Formal Modeling and Verification of Systems with Self-x Properties. ATC Matthias Güdemann, Frank Ortmeier, Wolfgang Reif
2006	—	`—`	Formale Sicherheitsanalyse. Frank Ortmeier
2006	C	`conf`	Safety and Dependability Analysis of Self-Adaptive Systems. ISoLA Matthias Güdemann, Frank Ortmeier, Wolfgang Reif
2005	Misc	`conf`	Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA). EDCC Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn
2004	—	`conf`	Combining Formal Methods and Safety Analysis - The ForMoSA Approach. SoftSpez Final Report Frank Ortmeier, Andreas Thums, Gerhard Schellhorn, Wolfgang Reif
2004	—	`conf`	Integrated formal methods for safety analysis of train systems. IFIP Congress Topical Sessions Wolfgang Reif, Frank Ortmeier, Andreas Thums, Gerhard Schellhorn
2004	—	`conf`	Interactive Verification of Statecharts. SoftSpez Final Report Andreas Thums, Gerhard Schellhorn, Frank Ortmeier, Wolfgang Reif
2004	—	`conf`	Introduction to Subject Area "Verification". SoftSpez Final Report Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn
2004	A	`conf`	Safety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques. DSN Frank Ortmeier, Wolfgang Reif
2003	J	`jnl`	Safety analysis of the height control system for the Elbtunnel. Reliab. Eng. Syst. Saf. Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh
2002	B	`conf`	Safety Analysis of the Height Control System for the Elbtunnel. SAFECOMP Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh