default search action
Frank Ortmeier
Person information
- affiliation: Otto von Guericke University Magdeburg, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c92]Sebastian Nielebock, Paul Blockhaus, Jacob Krüger, Frank Ortmeier:
ASAP-Repair: API-Specific Automated Program Repair Based on API Usage Graphs. APR 2024: 1-4 - [c91]Konstantin Kirchheim, Tim Gonschorek, Frank Ortmeier:
Out-of-Distribution Detection with Logical Reasoning (Extended Abstract). KI 2024: 346-349 - [c90]Konstantin Kirchheim, Frank Ortmeier:
Language Models as Reasoners for Out-of-Distribution Detection. SAFECOMP (Workshops) 2024: 379-390 - [c89]Konstantin Kirchheim, Tim Gonschorek, Frank Ortmeier:
Out-of-Distribution Detection with Logical Reasoning. WACV 2024: 2111-2120 - [i8]Sebastian Nielebock, Paul Blockhaus, Jacob Krüger, Frank Ortmeier:
ASAP-Repair: API-Specific Automated Program Repair Based on API Usage Graphs. CoRR abs/2402.07542 (2024) - 2023
- [c88]Marcel Dix, Gianluca Manca, Kenneth Chigozie Okafor, Reuben Borrison, Konstantin Kirchheim, Divyasheel Sharma, Chandrika K. R., Deepti Maduskar, Frank Ortmeier:
Measuring the Robustness of ML Models Against Data Quality Issues in Industrial Time Series Data. INDIN 2023: 1-8 - [c87]Ricardo Hormann, Daniel Bokelmann, Frank Ortmeier:
Analysis of Security Events in Industrial Networks Using Self-Organizing Maps by the Example of Log4j. IoTBDS 2023: 51-60 - [c86]Venkatesh Thirugnana Sambandham, Konstantin Kirchheim, Frank Ortmeier:
Evaluating and Increasing Segmentation Robustness in CARLA. SAFECOMP Workshops 2023: 390-396 - 2022
- [c85]Konstantin Kirchheim, Marco Filax, Frank Ortmeier:
PyTorch-OOD: A Library for Out-of-Distribution Detection based on PyTorch. CVPR Workshops 2022: 4350-4359 - [c84]Konstantin Kirchheim, Marco Filax, Frank Ortmeier:
Multi-Class Hypersphere Anomaly Detection. ICPR 2022: 2636-2642 - [c83]Konstantin Kirchheim, Marco Filax, Frank Ortmeier:
On Challenging Aspects of Reproducibility in Deep Anomaly Detection. RRPR 2022: 57-66 - [i7]Konstantin Kirchheim, Tim Gonschorek, Frank Ortmeier:
Addressing Randomness in Evaluation Protocols for Out-of-Distribution Detection. CoRR abs/2203.00382 (2022) - [i6]Sebastian Nielebock, Paul Blockhaus, Jacob Krüger, Frank Ortmeier:
Automated Change Rule Inference for Distance-Based API Misuse Detection. CoRR abs/2207.06665 (2022) - [i5]Venkatesh Thirugnana Sambandham, Konstantin Kirchheim, Sayan Mukhopadhaya, Frank Ortmeier:
Towards Transformer-based Homogenization of Satellite Imagery for Landsat-8 and Sentinel-2. CoRR abs/2210.07654 (2022) - 2021
- [j11]Sebastian Nielebock, Robert Heumüller, Kevin Michael Schott, Frank Ortmeier:
Guided pattern mining for API misuse detection by change-based code analysis. Autom. Softw. Eng. 28(2): 15 (2021) - [c82]Sebastian Nielebock, Paul Blockhaus, Jacob Krüger, Frank Ortmeier:
AndroidCompass: A Dataset of Android Compatibility Checks in Code Repositories. MSR 2021: 535-539 - [c81]Marco Filax, Frank Ortmeier:
On the Influence of Viewpoint Change for Metric Learning. MVA 2021: 1-4 - [c80]Sebastian Nielebock, Paul Blockhaus, Jacob Krüger, Frank Ortmeier:
An Experimental Analysis of Graph-Distance Algorithms for Comparing API Usages. SCAM 2021: 214-225 - [c79]Robert Heumüller, Sebastian Nielebock, Frank Ortmeier:
Exploit those code reviews! bigger data for deeper learning. ESEC/SIGSOFT FSE 2021: 1505-1509 - [c78]Marco Filax, Tim Gonschorek, Frank Ortmeier:
Grocery Recognition in the Wild: A New Mining Strategy for Metric Learning. VISIGRAPP (4: VISAPP) 2021: 498-505 - [i4]Sebastian Nielebock, Paul Blockhaus, Jacob Krüger, Frank Ortmeier:
AndroidCompass: A Dataset of Android Compatibility Checks in Code Repositories. CoRR abs/2103.09620 (2021) - [i3]Sebastian Nielebock, Paul Blockhaus, Jacob Krüger, Frank Ortmeier:
An Experimental Analysis of Graph-Distance Algorithms for Comparing API Usages. CoRR abs/2108.12511 (2021) - 2020
- [j10]Robert Heumüller, Sebastian Nielebock, Jacob Krüger, Frank Ortmeier:
Publish or perish, but do not forget your software artifacts. Empir. Softw. Eng. 25(6): 4585-4616 (2020) - [c77]Janine Matschek, Tim Gonschorek, Magnus Hanses, Norbert Elkmann, Frank Ortmeier, Rolf Findeisen:
Learning References with Gaussian Processes in Model Predictive Control applied to Robot Assisted Surgery. ECC 2020: 362-367 - [c76]Nadia Schillreff, Frank Ortmeier:
Reduced Error Model for Learning-based Calibration of Serial Manipulators. ICINCO 2020: 478-483 - [c75]Sebastian Nielebock, Robert Heumüller, Jacob Krüger, Frank Ortmeier:
Using API-Embedding for API-Misuse Repair. ICSE (Workshops) 2020: 1-2 - [c74]Sebastian Nielebock, Robert Heumüller, Jacob Krüger, Frank Ortmeier:
Cooperative API misuse detection using correction rules. ICSE (NIER) 2020: 73-76 - [e6]António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira:
Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings. Lecture Notes in Computer Science 12234, Springer 2020, ISBN 978-3-030-54548-2 [contents] - [e5]António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro M. Ferreira:
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops - DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings. Lecture Notes in Computer Science 12235, Springer 2020, ISBN 978-3-030-55582-5 [contents] - [i2]Sebastian Nielebock, Robert Heumüller, Kevin Michael Schott, Frank Ortmeier:
Guided Pattern Mining for API Misuse Detection by Change-Based Code Analysis. CoRR abs/2008.00277 (2020)
2010 – 2019
- 2019
- [j9]Patricio Fuentealba, Alfredo Illanes, Frank Ortmeier:
Cardiotocographic Signal Feature Extraction Through CEEMDAN and Time-Varying Autoregressive Spectral-Based Analysis for Fetal Welfare Assessment. IEEE Access 7: 159754-159772 (2019) - [j8]Sebastian Nielebock, Robert Heumüller, Frank Ortmeier:
Programmers do not favor lambda expressions for concurrent object-oriented code. Empir. Softw. Eng. 24(1): 103-138 (2019) - [j7]Sebastian Nielebock, Dariusz Krolikowski, Jacob Krüger, Thomas Leich, Frank Ortmeier:
Commenting source code: is it worth it for small programming tasks? Empir. Softw. Eng. 24(3): 1418-1457 (2019) - [c73]Patricio Fuentealba, Alfredo Illanes, Frank Ortmeier:
Cardiotocograph Data Classification Improvement by Using Empirical Mode Decomposition. EMBC 2019: 5646-5649 - [c72]Robert Heumüller, Sebastian Nielebock, Frank Ortmeier:
SpecTackle - A Specification Mining Experimentation Platform. SEAA 2019: 178-181 - [c71]Marco Filax, Tim Gonschorek, Frank Ortmeier:
Data for Image Recognition Tasks: An Efficient Tool for Fine-Grained Annotations. ICPRAM 2019: 900-907 - [c70]Tim Gonschorek, Philipp Bergt, Marco Filax, Frank Ortmeier:
Integrating Safety Design Artifacts into System Development Models Using SafeDeML. IMBSA 2019: 93-106 - [c69]Tim Gonschorek, Philipp Bergt, Marco Filax, Frank Ortmeier, Jan von Hoyningen-Hüne, Thorsten Piper:
SafeDeML: On Integrating the Safety Design into the System Model. SAFECOMP 2019: 271-285 - [i1]Janine Matschek, Tim Gonschorek, Magnus Hanses, Norbert Elkmann, Frank Ortmeier, Rolf Findeisen:
Learning References with Gaussian Processes in Model Predictive Control applied to Robot Assisted Surgery. CoRR abs/1911.10793 (2019) - 2018
- [c68]Patricio Fuentealba, Alfredo Illanes, Frank Ortmeier:
Spectral-Based Analysis of Progressive Dynamical Changes in the Fetal Heart Rate Signal During Labor by Using Empirical Mode Decomposition. CinC 2018: 1-4 - [c67]Maximilian Klockmann, Marco Filax, Frank Ortmeier, Martin ReiB:
On the Similarities of Fingerprints and Railroad Tracks: Using Minutiae Detection Algorithms to Digitize Track Plans. DAS 2018: 311-316 - [c66]Markus J. Kögel, Petar Andonov, Marco Filax, Frank Ortmeier, Rolf Findeisen:
Predictive Tracking Control of a Camera - Head Mounted Display System subject to Communication Constraints. ECC 2018: 1035-1041 - [c65]Nadia Schillreff, Frank Ortmeier:
Learning-based Kinematic Calibration using Adjoint Error Model. ICINCO (2) 2018: 382-389 - [c64]Robert Heumüller, Sebastian Nielebock, Frank Ortmeier:
Who plays with whom? ... and how? mining API interaction patterns from source code. SoftwareMining@ASE 2018: 8-11 - [c63]Sebastian Nielebock, Robert Heumüller, Frank Ortmeier:
Commits as a basis for API misuse detection. SoftwareMining@ASE 2018: 20-23 - [c62]Tim Gonschorek, Marc Zeller, Kai Höfig, Frank Ortmeier:
Fault Trees vs. Component Fault Trees: An Empirical Study. SAFECOMP Workshops 2018: 239-251 - [c61]Marco Filax, Frank Ortmeier:
VIOL: Viewpoint Invariant Object Localizator - Viewpoint Invariant Planar Features in Man-Made Environments. VISIGRAPP (4: VISAPP) 2018: 581-588 - 2017
- [c60]Patricio Fuentealba, Alfredo Illanes, Frank Ortmeier:
Progressive Fetal Distress Estimation by Characterization of Fetal Heart Rate Decelerations Response Based on Signal Variability in Cardiotocographic Recordings. CinC 2017 - [c59]Marco Filax, Tim Gonschorek, Frank Ortmeier:
Building Models We Can Rely On: Requirements Traceability for Model-Based Verification Techniques. IMBSA 2017: 3-18 - [c58]Tim Gonschorek, Ben Rabeler, Frank Ortmeier, Dirk Schomburg:
On improving rare event simulation for probabilistic safety analysis. MEMOCODE 2017: 15-24 - [c57]Jacob Krüger, Sebastian Nielebock, Sebastian Krieter, Christian Diedrich, Thomas Leich, Gunter Saake, Sebastian Zug, Frank Ortmeier:
Beyond Software Product Lines: Variability Modeling in Cyber-Physical Systems. SPLC (A) 2017: 237-241 - 2016
- [c56]Marek Stess, Christian Schildwachter, Vera Mersheeva, Frank Ortmeier, Bernardo Wagner:
Multi-sensor tracking with SPRT in an autonomous vehicle. Intelligent Vehicles Symposium 2016: 252-257 - [c55]Marco Filax, Tim Gonschorek, Frank Ortmeier:
Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models. RSSRail 2016: 106-122 - 2015
- [j6]Tanja Hebecker, Robert Buchholz, Frank Ortmeier:
Model-Based Local Path Planning for UAVs. J. Intell. Robotic Syst. 78(1): 127-142 (2015) - [j5]Sergey Alatartsev, Sebastian Stellmacher, Frank Ortmeier:
Robotic Task Sequencing Problem: A Survey. J. Intell. Robotic Syst. 80(2): 279-298 (2015) - [j4]Michael Lipaczewski, Frank Ortmeier, Tatiana Prosvirnova, Antoine Rauzy, Simon Struck:
Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica. Reliab. Eng. Syst. Saf. 140: 191-199 (2015) - [c54]Mykhaylo Nykolaychuk, Frank Ortmeier:
Coverage Path Re-planning for Processing Faults. ICIRA (2) 2015: 358-368 - 2014
- [c53]Sergey Alatartsev, Anton Belov, Mykhaylo Nykolaychuk, Frank Ortmeier:
Robot Trajectory Optimization for the Relaxed End-effector Path. ICINCO (1) 2014: 385-390 - [c52]Mykhaylo Nykolaychuk, Michael Lipaczewski, Tino Liebusch, Frank Ortmeier:
On Efficiently Specifying Models for Model Checking. IMBSA 2014: 14-27 - [c51]Sergey Alatartsev, Frank Ortmeier:
Improving the sequence of robotic tasks with freedom of execution. IROS 2014: 4503-4510 - [c50]Lukas Mäurer, Tanja Hebecker, Torben Stolte, Michael Lipaczewski, Uwe Möhrstädt, Frank Ortmeier:
On Bringing Object-Oriented Software Metrics into the Model-Based World - Verifying ISO 26262 Compliance in Simulink. SAM 2014: 207-222 - [e4]Frank Ortmeier, Antoine Rauzy:
Model-Based Safety and Assessment - 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings. Lecture Notes in Computer Science 8822, Springer 2014, ISBN 978-3-319-12213-7 [contents] - [e3]Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier:
Computer Safety, Reliability, and Security - SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings. Lecture Notes in Computer Science 8696, Springer 2014, ISBN 978-3-319-10556-7 [contents] - 2013
- [j3]Simon Struck, Matthias Güdemann, Frank Ortmeier:
Efficient optimization of large probabilistic models. J. Syst. Softw. 86(10): 2488-2501 (2013) - [c49]Matthias Trojahn, Frank Ortmeier:
Toward Mobile Authentication with Keystroke Dynamics on Mobile Phones and Tablets. AINA Workshops 2013: 697-702 - [c48]Sergey Alatartsev, Marcus Augustine, Frank Ortmeier:
Constricting Insertion Heuristic for Traveling Salesman Problem with Neighborhoods. ICAPS 2013 - [c47]Matthias Trojahn, Florian Arndt, Frank Ortmeier:
Authentication with Time Features for Keystroke Dynamics on Touchscreens. Communications and Multimedia Security 2013: 197-199 - [c46]Michael Lipaczewski, Frank Ortmeier:
Teaching and Training Formal Methods for Safety Critical Systems. EUROMICRO-SEAA 2013: 408-413 - [c45]Matthias Trojahn, Florian Arndt, Markus Weinmann, Frank Ortmeier:
Emotion Recognition through Keystroke Dynamics on Touchscreen Keyboards. ICEIS (3) 2013: 31-37 - [c44]Matthias Trojahn, Frank Ortmeier:
Keystroke Authentication on Mobile Devices with a Capacitive Display. ICPRAM 2013: 637-640 - [c43]Sergey Alatartsev, Vera Mersheeva, Marcus Augustine, Frank Ortmeier:
On optimizing a sequence of robotic tasks. IROS 2013: 217-223 - [c42]Frank Ortmeier, Simon Struck:
Optimizing Formal Specifications - Why and How. MBEES 2013: 70-79 - [c41]Frank Ortmeier, Simon Struck, Jens Meinicke:
A Pragmatic Approach For Debugging Parameter-Driven Software. Software Engineering 2013: 199-212 - [c40]Matthias Trojahn, Christian Schadewald, Frank Ortmeier:
Keystroke Authentication with a Capacitive Display using Different Mobile Devices. SECRYPT 2013: 580-585 - [c39]Matthias Trojahn, Frank Ortmeier:
Designing an Enterprise Security Strategy for Mobile Intranet Access. SERE (Companion) 2013: 8-15 - 2012
- [j2]Frank Ortmeier:
Dependability in Pervasive Computing: Challenges and Chances. J. Inf. Technol. Res. 5(1): 1-17 (2012) - [c38]Michael Lipaczewski, Frank Ortmeier:
Handlungsadaptive Produktionsassistenz. GI-Jahrestagung 2012: 585-596 - [c37]Michael Lipaczewski, Simon Struck, Frank Ortmeier:
Using Tool-Supported Model Based Safety Analysis - Progress and Experiences in SAML Development. HASE 2012: 159-166 - [c36]Simon Struck, Michael Lipaczewski, Frank Ortmeier, Matthias Güdemann:
Multi-objective Optimization of Formal Specifications. HASE 2012: 201-208 - [c35]Michael Lipaczewski, Simon Struck, Frank Ortmeier:
SAML goes eclipse: combining model-based safety analysis and high-level editor support. TOPI@ICSE 2012: 67-72 - [c34]Frank Ortmeier, Matthias Güdemann, Michael Lipaczewski, Simon Struck:
Unifying Probabilistic and Traditional Formal Model Based Analysis. MBEES 2012: 123-132 - [c33]Marcus Augustine, Frank Ortmeier, Elmar Mair, Darius Burschka, Annett Stelzer, Michael Suppa:
Landmark-Tree map: A biologically inspired topological map for long-distance robot navigation. ROBIO 2012: 128-135 - [c32]Sergey Alatartsev, Matthias Güdemann, Frank Ortmeier:
Trajectory Description Conception for Industrial Robots. ROBOTIK 2012 - [c31]Sebastian Nielebock, Frank Ortmeier, Marco Schumann, André Winge:
From Discrete Event Simulation to Virtual Reality Environments. SAFECOMP Workshops 2012: 508-516 - [c30]Frank Ortmeier, Simon Struck, Michael Lipaczewski:
Using model-based analysis in certification of critical software-intensive systems. Software Engineering (Workshops) 2012: 155-162 - [e2]Frank Ortmeier, Peter Daniel:
Computer Safety, Reliability, and Security - 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings. Lecture Notes in Computer Science 7612, Springer 2012, ISBN 978-3-642-33677-5 [contents] - [e1]Frank Ortmeier, Peter Daniel:
Computer Safety, Reliability, and Security - SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings. Lecture Notes in Computer Science 7613, Springer 2012, ISBN 978-3-642-33674-4 [contents] - 2011
- [c29]Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier, Marco Schumann, Robert Eschbach:
Towards Making Dependability Visual - Combining Model-Based Design and Virtual Realities. PRDC 2011: 274-275 - [c28]Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier:
Tool Supported Model-Based Safety Analysis and Optimization. PRDC 2011: 294-295 - [c27]Matthias Güdemann, Frank Ortmeier:
Model-Based Multi-objective Safety Optimization. SAFECOMP 2011: 423-436 - 2010
- [c26]Matthias Güdemann, Frank Ortmeier:
A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis. HASE 2010: 132-141 - [c25]Matthias Güdemann, Stefan Kegel, Frank Ortmeier, Olaf Poenicke, Klaus Richter:
SysML in digital engineering. IWDE 2010: 1-8 - [c24]Frank Ortmeier, Matthias Güdemann:
ProMoSA - Probabilistic Models for Safety Analysis. MBEES 2010: 7-12 - [c23]Matthias Güdemann, Frank Ortmeier:
Quantitative Model-Based Safety Analysis: A Case Study. Sicherheit 2010: 37-48 - [c22]Matthias Güdemann, Frank Ortmeier:
Probabilistic Model-Based Safety Analysis. QAPL 2010: 114-128
2000 – 2009
- 2009
- [c21]Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif:
A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems. ATC 2009: 17-31 - [c20]Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif:
A generic software framework for role-based Organic Computing systems. SEAMS 2009: 96-105 - [c19]Alwin Hoffmann, Andreas Angerer, Frank Ortmeier, Michael Vistein, Wolfgang Reif:
Hiding real-time: A new approach for the software development of industrial robots. IROS 2009: 2108-2113 - [c18]Michael Vistein, Frank Ortmeier, Wolfgang Reif, Ralf Huuck, Ansgar Fehnker:
An Abstract Specification Language for Static Program Analysis. SSV 2009: 181-197 - 2008
- [c17]Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif:
Organic Computing for Health Care Systems - Possible Benefits and Challenges. HEALTHINF (2) 2008: 286-290 - [c16]Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif:
Implementing Organic Computing Systems with AgentService. ENASE 2008: 64-71 - [c15]Matthias Güdemann, Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif:
A Specification and Construction Paradigm for Organic Computing Systems. SASO 2008: 233-242 - 2007
- [c14]Hella Seebach, Frank Ortmeier, Wolfgang Reif:
Design and construction of organic computing systems. IEEE Congress on Evolutionary Computation 2007: 4215-4221 - [c13]Matthias Güdemann, Andreas Angerer, Frank Ortmeier, Wolfgang Reif:
Modeling of self-adaptive systems with SCADE. ISCAS 2007: 2922-2925 - [c12]Matthias Güdemann, Frank Ortmeier, Wolfgang Reif:
Using Deductive Cause-Consequence Analysis (DCCA) with SCADE. SAFECOMP 2007: 465-478 - [c11]Frank Ortmeier, Wolfgang Reif, Giovanna Di Marzo Serugendo, Hartmut Schmeck:
WG2: Software engineering for organic computing applications (SE4OC). Software Engineering 2007: 275-276 - 2006
- [b1]Frank Ortmeier:
Formale Sicherheitsanalyse. University of Augsburg, 2006, ISBN 978-3-8325-1277-4, pp. 1-180 - [c10]Matthias Güdemann, Frank Ortmeier, Wolfgang Reif:
Formal Modeling and Verification of Systems with Self-x Properties. ATC 2006: 38-47 - [c9]Matthias Güdemann, Frank Ortmeier, Wolfgang Reif:
Safety and Dependability Analysis of Self-Adaptive Systems. ISoLA 2006: 177-184 - [c8]Frank Ortmeier, Gerhard Schellhorn:
Formal Fault Tree Analysis - Practical Experiences. AVoCS 2006: 139-151 - 2005
- [c7]Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn:
Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA). EDCC 2005: 210-224 - 2004
- [c6]Andreas Thums, Gerhard Schellhorn, Frank Ortmeier, Wolfgang Reif:
Interactive Verification of Statecharts. SoftSpez Final Report 2004: 355-373 - [c5]Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn:
Introduction to Subject Area "Verification". SoftSpez Final Report 2004: 419-422 - [c4]Frank Ortmeier, Andreas Thums, Gerhard Schellhorn, Wolfgang Reif:
Combining Formal Methods and Safety Analysis - The ForMoSA Approach. SoftSpez Final Report 2004: 474-493 - [c3]Frank Ortmeier, Wolfgang Reif:
Safety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques. DSN 2004: 651-658 - [c2]Wolfgang Reif, Frank Ortmeier, Andreas Thums, Gerhard Schellhorn:
Integrated formal methods for safety analysis of train systems. IFIP Congress Topical Sessions 2004: 637-642 - 2003
- [j1]Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh:
Safety analysis of the height control system for the Elbtunnel. Reliab. Eng. Syst. Saf. 81(3): 259-268 (2003) - 2002
- [c1]Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh:
Safety Analysis of the Height Control System for the Elbtunnel. SAFECOMP 2002: 296-308
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-04 20:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint