


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
showing all ?? records
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]