Our Publications
During the years, our research lead to a number of publications at conferences and journals. Publishing ideas and results is the main resource for fruitful discussions and feedback from the worldwide research community. Below you will find an overview of our publications.
2023
Book chapter
On challenging aspects of reproducibility in deep anomaly detection
Kirchheim, Konstantin; Filax, Marco; Ortmeier, Frank
In: Reproducible Research in Pattern Recognition , 1st ed. 2023. - Cham : Springer Nature Switzerland ; Kerautret, Bertrand, S. 57-66 - (Lecture notes in computer science; volume 14068) [Workshop: Fourth International Workshop on Reproducible Research in Pattern Recognition, RRPR 2022, Montreal, Canada, August 21, 2022]
Book chapter
Evaluating and increasing segmentation robustness in CARLA
Thirugnana Sambandham, Venkatesh; Kirchheim, Konstantin; Ortmeier, Frank
In: Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops , 1st ed. 2023. - Cham : Springer Nature Switzerland ; Guiochet, Jérémie, S. 390-396 - (Lecture notes in computer science; volume 14182) [Konferenz: International Conference on Computer Safety, Reliability, and Security, SAFECOMP, Toulouse, France, September 19, 2023]
Book chapter
Measuring the robustness of ML models against data quality issues in industrial time series data
Dix, Marcel; Manca, Gianluca; Okafor, Kenneth Chigozie; Borrison, Reuben; Kirchheim, Konstantin; Sharma, Divyasheel; Chandrika, Kr; Maduskar, Deepti; Ortmeier, Frank
In: 2023 IEEE 21st International Conference on Industrial Informatics / IEEE International Conference on Industrial Informatics , 2023 - [Piscataway, NJ] : IEEE ; Jasperneite, Jürgen, insges. 8 S. [Konferenz: IEEE 21st International Conference on Industrial Informatics, INDIN, Lemgo, Deutschland, 18 - 20 July 2023]
Book chapter
A formal verification framework for model checking safety requirements of a simulink landing gear case study
Gonschorek, Tim; Stützer, Hannes; Ortmeier, Frank; Wehmeier, Leon; Oppermann, Michael
In: European Conference on Safety and Reliability (ESREL), 3rd September - 7th September 2023, insges. 8 S.
2022
Book chapter
High speed RCS for robot task sequencing optimization
Schillreff, Nadia; Scholle, Julian Benedikt; Kirchheim, Konstantin; Ortmeier, Frank
In: Symposium: 54th International Symposium on Robotics, ISR Europe 2022, Munich, Germany, 20-21 June 2022, 54th International Symposium on Robotics/ International Symposium on Robotics - Berlin: VDE VERLAG . - 2022, S. 136-141
Book chapter
Multi-class hypersphere anomaly detection
Kirchheim, Konstantin; Filax, Marco; Ortmeier, Frank
In: 2022 26th International Conference on Pattern Recognition (ICPR) , 2022 - [Piscataway, NJ] : IEEE, insges. 7 S. [Konferenz: 26th International Conference on Pattern Recognition, ICPR, Montreal, QC, Canada, 21-25 August 2022]
Book chapter
PyTorch-OOD - a library for Out-of-Distribution Detection based on PyTorch
Kirchheim, Konstantin; Filax, Marco; Ortmeier, Frank
In: Konferenz: IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, CVPRW, Orleans, LA, USA, 19-20 June 2022, 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops/ IEEE/CVF Computer Vision and Pattern Recognition Conference - Piscataway, NJ: IEEE . - 2022, S. 4350-4359
Peer-reviewed journal article
Semi-automatic acquisition of datasets for retail recognition
Filax, Marco; Gonschorek, Tim; Ortmeier, Frank
In: Journal of WSCG - Plzen, Bd. 30 (2022), 1-2, S. 86-94
2021
Book chapter
On the influence of viewpoint change for metric learning
Filax, Marco; Ortmeier, Frank
In: IAPR International Conference on Machine Vision Applications (MVA) - IEEE . - 2021, insges. 4 S.
Book chapter
An experimental analysis of graph-distance algorithms for comparing API usages
Nielebock, Sebastian; Blockhaus, Paul; Krüger, Jacob; Ortmeier, Frank
In: 21th IEEE International Working Conference on Source Code Analysis & Manipulation (SCAM)/ IEEE International Working Conference on Source Code Analysis and Manipulation - Piscataway, NJ: IEEE . - 2021, S. 214-225
Book chapter
Exploit those code reviews! - bigger data for deeper learning
Heumüller, Robert; Nielebock, Sebastian; Ortmeier, Frank
In: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering / Spinellis , Diomidis - New York,NY,United States : Association for Computing Machinery ; Spinellis, Diomidis . - 2021, S. 1505-1509
Book chapter
AndroidCompass - a dataset of android compatibility checks in code repositories
Nielebock, Sebastian; Blockhaus, Paul; Krüger, Jacob; Ortmeier, Frank
In: 2021 IEEE/ACM 18th International Conference on Mining Software Repositories/ IEEE/ACM International Conference on Mining Software Repositories - Piscataway, NJ: IEEE . - 2021, S. 535-539
Book chapter
Grocery recognition in the wild - a new mining strategy for metric learning
Filax, Marco; Gonschorek, Tim; Ortmeier, Frank
In: VISAPP/ VISIGRAPP - [Sétubal]: SCITEPRESS - Science and Technology Publications, Lda.; Farinella, Giovanni Maria . - 2021, S. 498-505
Peer-reviewed journal article
Guided pattern mining for API misuse detection by change-based code analysis
Nielebock, Sebastian; Heumüller, Robert; Schott, Kevin Michael; Ortmeier, Frank
In: Automated software engineering - Dordrecht [u.a.]: Springer Science + Business Media B.V, Bd. 28 (2021), insges. 48 S.
Dissertation
Guaranteed set-based controller design for hybrid dynamical systems
Andonov, Petar; Findeisen, Rolf; Ortmeier, Frank
In: Magdeburg: Universitätsbibliothek, 2021, 1 Online-Ressource (II, 121 Seiten, 7,57 MB), Illustrationen
Non-peer-reviewed journal article
An experimental analysis of graph-distance algorithms for comparing API usages
Nielebock, Sebastian; Blockhaus, Paul; Krüger, Jacob; Ortmeier, Frank
In: De.arxiv.org - [S.l.]: Arxiv.org . - 2021, insges. 12 S.
2020
Book chapter
Cooperative API misuse detection using correction rules
Nielebock, Sebastian; Heumüller, Robert; Krüger, Jacob; Ortmeier, Frank
In: 2020 IEEE/ACM 42nd International Conference on Software Engineering: New ideas and emerging results - Piscataway, NJ: IEEE . - 2020, S. 73-76
Book chapter
Learning references with Gaussian processes in model predictive control applied to robot assisted surgery
Matschek, Janine; Gonschorek, Tim; Hanses, Magnus; Elkmann, Norbert; Ortmeier, Frank; Findeisen, Rolf
In: European Control Conference 2020/ European Control Conference - Piscataway, NJ: IEEE; Pogromsky, Alexander . - 2020, S. 362-367
Book chapter
Using API-embedding for API-misuse repair
Nielebock, Sebastian; Heumüller, Robert; Krüger, Jacob; Ortmeier, Frank
In: 2020 IEEE/ACM 42nd International Conference on Software Engineering Workshops . - 2020, S. 1-2
Peer-reviewed journal article
Publish or perish, but do not forget your software artifacts
Heumüller, Robert; Nielebock, Sebastian; Krüger, Jacob; Ortmeier, Frank
In: Empirical software engineering - Dordrecht [u.a.]: Springer Science + Business Media B.V, Bd. 25 (2020), S. 4585-4616
Peer-reviewed journal article
Investigating an optimal signal epoch length for cardiotocographic classification
Fuentealba, Patricio; Illanes, Alfredo; Poudel, Prabal; Ortmeier, Frank
In: Current directions in biomedical engineering - Berlin: De Gruyter, 2015, Bd. 6.2020, 3, 20203132, S. 514-517
Dissertation
Automatic fetal distress assessment during labor based on modal and parametrical analysis of the cardiotocographic recording
Fuentealba Ortiz, Patricio; Ortmeier, Frank; Preim, Bernhard
In: Magdeburg, Dissertation Otto-von-Guericke-Universität Magdeburg, Fakultät für Informatik 2020, xvi, 135 Seiten [Literaturverzeichnis: Seite 115-135]
Book chapter
Investigation and optimization of Pt/IrO2 catalyst for unitized regenerative PEM fuel cells
Kühne, Philipp; Wenske, Michael; Wolter, Martin; Baumann, Nils
In: 2020 IEEE Power & Energy Society General Meeting (PESGM)/ IEEE PES General Meeting - [Piscataway, NJ]: IEEE . - 2020, insges. 5 S.
2019
Book chapter
SafeDeML: on integrating the safety design into the system model
Gonschorek, Tim; Bergt, Philipp; Filax, Marco; Ortmeier, Frank; Hoyningen-Hüne, Jan; Piper, Thorsten
In: Computer Safety, Reliability, and Security - Cham: Springer, 2019 . - 2019, S. 271-285 - (Programming and Software Engineering; 11698)[Konferenz: 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019]
Book chapter
Cardiotocograph data classification improvement by using empirical mode decomposition*
Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank
In: 2019 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society - [Piscataway, NJ]: IEEE, 2019 . - 2019, S. 5646-5649[Konferenz: 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC, Berlin, Germany, 23-27 July 2019]
Book chapter
Data for image recognition tasks - an efficient tool for fine-grained annotations
Filax, Marco; Gonschorek, Tim; Ortmeier, Frank
In: Proceedings of the 8th International Conference on Pattern Recognition Applications and Methods. Volume 1 - [Setúbal]: SCITEPRESS - Science and Technology Publications, Lda., 2019 . - 2019, S. 900-907[Konferenz: 8th International Conference on Pattern Recognition Applications and Methods,February 19-21, 2019, Prague, Czech Republic]
Book chapter
Integrating safety design artifacts into system development models using SafeDeML
Gonschorek, Tim; Bergt, Philipp; Filax, Marco; Ortmeier, Frank
In: Model-Based Safety and Assessment - Cham: Springer, 2019; Papadopoulos, Yiannis . - 2019, S. 93-106 - ( Lecture Notes in Computer Science; volume 11842)[Symposium: 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 1618, 2019]
Book chapter
SpecTackle - a specification mining experimentation platform
Heumüller, Robert; Nielebock, Sebastian; Ortmeier, Frank
In: SEAA 2019 - Piscataway, NJ: IEEE, 2019; Staron, Miroslaw . - 2019, S. 178-181[Konferenz: 45th Euromicro Conference on Software Engineering and Advanced Applications, SEAA, Kallithea-Chalkidiki, Greece, 28-30 August 2019]
Book chapter
Companion specifications for smart factories - from machine to process view
Engel, Christoph; Mencke, Steffen; Heumüller, Robert; Ortmeier, Frank
In: Smart SysTech 2019 - Berlin: VDE VERLAG, 2019 . - 2019, S. 61-68[Konferenz: Smart SysTech 2019, 4-5 June 2019, Magdeburg, Germany]
Book chapter
Spectral-based analysis of progressive dynamical changes in the fetal heart rate signal during labor by using empirical mode decomposition
Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank
In: Computing in Cardiology, September 23-26, 2018, Maastricht, the Netherlands - Piscataway, NJ: IEEE, 2019 . - 2019, S. 1-4[ 2018 Computing in Cardiology Conference, CinC, Maastricht, Netherlands, 23-26 September 2018]
Peer-reviewed journal article
Programmers do not favor lambda expressions for concurrent object-oriented code
Nielebock, Sebastian; Heumüller, Robert; Ortmeier, Frank
In: Empirical software engineering: an international journal - Dordrecht [u.a.]: Springer Science + Business Media B.V, 1996, Bd. 24.2019, 1, S. 103-138[Online first]
Peer-reviewed journal article
Foetal heart rate assessment by empirical mode decomposition and spectral analysis
Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank
In: Current directions in biomedical engineering - Berlin: De Gruyter, Bd. 5 (2019), 1, S. 381-383
Peer-reviewed journal article
Cardiotocographic signal feature extraction through CEEMDAN and time-varying autoregressive spectral-based analysis for fetal welfare assessment
Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank
In: IEEE access/ Institute of Electrical and Electronics Engineers - New York, NY: IEEE, Bd. 7 (2019), S. 159754-159772
Peer-reviewed journal article
Unitäre Reversible PEM-Brennstoffzellen für die flexible Energiespeicherung - Projektvorstellung RE-FLEX
Kühne, Philipp; Wolter, Martin
In: gwf. Gas + Energie - Essen: Vulkan Verlag, 2016, Bd. 160.2019, 10, S. 70-74
2018
Abstract
Predictive tracking control of a camera - head mounted display system subject to communication Constraints
Kogel, Markus; Andonov, Petar; Filax, Marco; Ortmeier, Frank; Findeisen, Rolf
In: 2018 European Control Conference (ECC): June 12-15, 2018, Limassol, Cyprus/ European Control Conference - Limassol, Cyprus, 2018; European Control Conference (17.:2018) . - 2018, S. 1035-1041
Abstract
A very first glance on the safety analysis of self-learning algorithms for autonomous cars
Gonschorek, Tim; Filax, Marco; Ortmeier, Frank
In: Archive ouverte HAL - Paris: Centre National de la Recherche Scientifique, 2018, Art. hal-01878562, insgesamt 2 S.[Konferenz: 37th International Conference on Computer Safety, Reliability, & Security, SAFECOMP2018, Vasteras, Sweden, September 19-21, 2018]
Book chapter
Progressive fetal distress estimation by characterization of fetal heart rate decelerations response based on signal variability in cardiotocographic recordings
Fuentealba Ortiz, Patricio; Illanes, Alfredo; Ortmeier, Frank
In: Computing in Cardiology Conference 2017: Rennes, France, 24-27 September 2017 - IEEE, 2018 . - 2018, insges. 4 S.[Konferenz: Computing in Cardiology Conference 2017, Cinc 2017, Rennes, France, 24-27 September 2017]
Book chapter
Learning-based kinematic calibration using adjoint error model
Schillreff, Nadia; Ortmeier, Frank
In: ICINCO 2018. Volume 2: proceedings of the 15th International Conference on Informatics in Control, Automation and Robotics : Porto, Portugal, July 29-31, 2018/ International Conference on Informatics in Control, Automation and Robotics - [Setúbal, Portugal]: SCITEPRESS - Science and Technology Publications, Lda., S. 372-379[Konferenz: 15th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2018, Porto, Portugal, July 29-31, 2018]
Book chapter
Bringing formal methods on the rail - On automatic verifying railroad interlockings from railML models
Gonschorek, Tim; Bedau, Ludwig; Ortmeier, Frank
In: Safety and Reliability Safe Societies in a Changing World: proceedings of ESREL 2018, June 17-21, 2018, Trondheim, Norway - London: CRC Press, S. 741-748[Konferenz: ESREL 2018, Trondheim, Norway, June 17-21, 2018]
Book chapter
Who plays with whom? ... and how? mining API interaction patterns from source code
Heumüller, Robert; Nielebock, Sebastian; Ortmeier, Frank
In: Proceedings of the 7th International Workshop on Software Mining: Ming - New York, NY: ACM, S. 8-11, 2018[Workshop: 7th International Workshop on Software Mining, Montpellier, France, September 03 - 03, 2018]
Book chapter
Commits as a basis for API misuse detection
Nielebock, Sebastian; Heumüller, Robert; Ortmeier, Frank
In: Proceedings of the 7th International Workshop on Software Mining: Ming - New York, NY: ACM, S. 20-23, 2018[Workshop: 7th International Workshop on Software Mining, Montpellier, France, September 03 - 03, 2018]
Book chapter
On the similarities of fingerprints and railroad tracks - using minutiae detection algorithms to digitize track plans
Klockmann, Maximilian; Filax, Marco; Ortmeier, Frank; Reib, Martin
In: 13th IAPR International Workshop on Document Analysis Systems , 2018 - Piscataway, NJ : IEEE, S. 311-316
Book chapter
Fault trees vs. component fault trees - an empirical study
Gonschorek, Tim; Zeller, Marc; Höfig, Kai; Ortmeier, Frank
In: Computer Safety, Reliability, and Security - Cham: Springer, 2018 . - 2018, S. 239-251 - (Lecture Notes in Computer Science; 11094)[Workshop: SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018]
Peer-reviewed journal article
Commenting source code - is it worth it for small programming tasks?
Nielebock, Sebastian; Krolokowski, Dariusz; Krüger, Jacob; Leich, Thomas; Ortmeier, Frank
In: Empirical software engineering - Dordrecht [u.a.]: Springer Science + Business Media B.V . - 2018, insges. 40 S.
Peer-reviewed journal article
Foetal heart rate signal spectral analysis by using time-varying autoregressive modelling
Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank
In: Current directions in biomedical engineering - Berlin : De Gruyter, Bd. 4.2018, 1, S. 579-582
Article in conference proceedings
VIOL: Viewpoint invariant object localizator viewpoint invariant planar features in man-made environments
Filax, Marco; Ortmeier, Frank
In: VISAPP - [Setúbal, Portugal]: SCITEPRESS - Science and Technology Publications, Lda., S. 581-588, 2018[Konferenz: 13th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2018, Funchal, Madeira, Portugal, January 27-29, 2018]
Peer-reviewed journal article
Design, optimisation and testing of a compact, inexpensive elastic element for series elastic actuators
Irmscher, Cornelius; Woschke, Elmar; May, Erik; Daniel, Christian
In: Medical engineering & physics - Amsterdam [u.a.] : Elsevier Science, Bd. 52 (2018), S. 84-89
Book chapter
Experimentelle Charakterisierung einer reversiblen PEM-Brennstoff-zelle als flexibles Energiespeichersystem
Kühne, Philipp; Wenske, Michael; Heuer, Maik; Wolter, Martin
In: Nutzung regenerativer Energiequellen und Wasserstofftechnik 2018 - Stralsund: HOST - Hochschule Stralsund, 2018; Luschtinetz, Thomas . - 2018, S. 85-101[Konferenz: 25. Symposium Nutzung regenerativer Energiequellen und Wasserstofftechnik 2018, Stralsund, 7. - 10. October 2018]
2017
Book chapter
Beyond software product lines - variability modeling in cyber-physical systems
Krüger, Jacob; Nielebock, Sebastian; Krieter, Sebastian; Diedrich, Christian; Leich, Thomas; Saake, Gunter; Zug, Sebastian; Ortmeier, Frank
In: Proceedings of the 21th International Software Product Line Conference. Volume A - New York: ACM; Cohen, Myra . - 2017, S. 237-241
Book chapter
Progressive fetal distress estimation by characterization of fetal heart rate decelerations response based on signal variability in cardiotocographic recordings
Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank
In: Computing in Cardiology 2017 - [Piscataway, NJ]: IEEE, 2017; Computing in Cardiology (Veranstaltung:44.:2017) . - 2017, S. 1-4[Konferenz: 2017 Computing in Cardiology, CinC, Rennes, France, 24-27 September 2017]
Book chapter
On improving rare event simulation for probabilistic safety analysis
Gonschorek, Tim; Rabeler, Ben Lukas; Ortmeier, Frank; Schomburg, Dirk
In: Proceedings of the 15th ACM/IEEE International Conference on Formal Methods and Models for System Design: Vienna, Austria, September 29 - October 02, 2017 - [Piscataway, NJ]: IEEE, S. 15-24[Konferenz: 5th ACM/IEEE International Conference on Formal Methods and Models for System Design, Vienna, Austria, September 29 - October 02, 2017]
Book chapter
QuadSIFT: unwrapping planar quadrilaterals to enhance feature matching
Filax, Marco; Gonschorek, Tim; Ortmeier, Frank
In: WSCG 2017 : 25th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision, WSCG 2017, Plzen, Czech Republic, May 29 - June 2, 2017 ; short paper proceedings - Plzen : Vaclav Skala - Union Agency, S. 7-16 [Konferenz: 25th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision, WSCG 2017, Plzen, Czech Republic, May 29 - June 2, 2017]
Book chapter
Building models we can rely on - requirements traceability for model-based verification techniques
Filax, Marco; Gonschorek, Tim; Ortmeier, Frank
In: Model-Based Safety and Assessment - Cham: Springer, 2017 . - 2017, S. 3-18 - (Lecture Notes in Computer Science; 10437)[Symposium: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017]
Peer-reviewed journal article
Effiziente Sicherheitsnachweisführung mithilfe modellbasierter Systemanalyse
Bitsch, Friedemann; Filax, Marco; Gonschorek, Tim; Ortmeier, Frank; Schumacher, Rolf
In: Signal + Draht : SD - Hamburg : DVV Media Group, 6, 2017
Peer-reviewed journal article
Towards high accuracy robot-assisted surgery
Schillreff, Nadia; Nykolaichuk, Mykhaylo; Ortmeier, Frank
In: IFAC-PapersOnLine - Frankfurt: Elsevier, Bd. 50.2017, S. 5666-5671[Special issue: 20th IFAC World Congress, Toulouse, France, 9-14 July 2017]
Peer-reviewed journal article
Analysis of the foetal heart rate in cardiotocographic recordings through a progressive characterization of decelerations
Fuentealba Ortiz, Patricio; Illanes, Alfredo; Ortmeier, Frank
In: Current directions in biomedical engineering - Berlin: De Gruyter, Bd. 3.2017, 2, S. 423-427
Article in conference proceedings
A verification environment for critical systems - integrating formal methods into the safety development life-cycle
Gonschorek, Tim; Filax, Marco; Ortmeier, Frank
In: ResearchGATE: scientific neetwork ; the leading professional network for scientists - Cambridge, Mass.: ResearchGATE Corp., insges. 1 S., 2017[Symposium: 5th International Symposium on Model-Based Safety and Assessment, IMBSA2017, Trento, 11-13 September 2017]
Book chapter
Impactos da aplicaça︠︢̃o do sistema de tarifação brasileiro no sistema residencial da alemanha
Campos, Dyego; Aranha Neto, Edison; Hauer, Ines; Fernandes, Rubipiara I.; Takigawa, Fabricio Y. C.; Kühne, Philipp; Wenske, Michael
In: XVII ERIAC Decimo Séptimo Encuentro Regional Iberoamericano de CIGRÉ - Ciudad del Este, Paraguay . - 2017, S. 1-8
Book chapter
Unitized reversible PEM fuel cells for flexible electrical energy storage
Kühne, Philipp; Wenske, Michael; Heuer, Maik; Wolter, Martin
In: International ETG Congress 2017: die Energiewende : blueprints for the new energy age : proceedings : November 28-29, 2017, World Conference Center, Bonn/ ETG Congress - Berlin: VDE Verlag, 2017; Speh, Rainer . - 2017, S. 269-374 - (ETG-Fachbericht; 155)[Kongress: International ETG Congress 2017, Bonn, November 28 - 29, 2017]
2016
Book chapter
Multi-sensor tracking with SPRT in an autonomous vehicle
Stess, Marek; Schildwachter, Christian; Mersheeva, Vera; Ortmeier, Frank; Wagner, Bernardo
In: 2016 IEEE Intelligent Vehicles Symposium (IV): 19-22 June 2016 - [Piscataway, NJ]: IEEE[Kongress: 2016 IEEE Intelligent Vehicles Symposium (IV), 19. - 22. June 2016, Gothenburg, Sweden]
Book chapter
Correct formalization of requirement specifications - a V-model for building formal models
Filax, Marco; Gonschorek, Tim; Ortmeier, Frank
In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Cham : Springer , 2016, S. 106-122 - (Lecture Notes in Computer Science; 9707) [Kongress: 1st International Conference, RSSRail 2016, Paris, France, June 28-30, 2016]
Peer-reviewed journal article
Bringing formal methods on the rail - Modellbasierte Systemanalyse in der Sicherheitsnachweisführung
Filax, Marco; Gonschorek, Tim; Hebecker, Tanja; Lipaczewski, Michael; Madalinski, Agnes; Ortmeier, Frank; Fietze, Mario; Schumacher, Rolf
In: Der Eisenbahningenieur: EI : internationale Fachzeitschrift für Schienenverkehr & Technik - Hamburg: DVV Media Group, S. 24-27, 2016
Dissertation
Sichere Multi-Faktor-Authentifizierung an Smartphones mithilfe des Tippverhaltens
Trojahn, Matthias; Ortmeier, Frank
In: Wiesbaden: Springer, Dissertation Otto-von-Guericke-Universität Magdeburg, Fakultät für Informatik 2016, XXI, 228 Seiten - (AutoUni-Schriftenreihe; Band 85), ISBN: 978-3-658-14048-9 [Literaturverzeichnis: Seite [205]-228]
2015
Book chapter
Coverage Path Re-planning for Processing Faults
Nykolaychuk, Mykhaylo; Ortmeier, Frank
In: Vol. 9245, 2015, S. 358-368
Peer-reviewed journal article
Comparison of modeling formalisms for Safety Analyses - SAML and AltaRica
Lipaczewski, Michael; Ortmeier, Frank; Prosvirnova, T.; Rauzy, A.; Struck, Simon
In: Reliability engineering & system safety - London [u.a.]: Elsevier Science, Bd. 140.2015, S. 191-199
Peer-reviewed journal article
Robotic task sequencing problem - a survey
Alatartsev, Sergey; Stellmacher, Sebastian; Ortmeier, Frank
In: Journal of intelligent and robotic systems: theory and applications, incorporating mechatronic systems engineering - Dordrecht [u.a.]: Springer Science + Business Media B.V, Bd. 80.2015, 2, S. 279-298
Dissertation
Robot trajectory optimization for relaxed effective tasks
Alatartsev, Sergey; Ortmeier, Frank
In: Magdeburg, Univ., Fak. für Informatik, Diss., 2015, XIII, 113 S., Ill., graph. Darst.
Article in conference proceedings
Entwicklung und Validierung eines Brennstoffzellen USV-Systems
Wenske, Michael; Kühne, Philipp; Heuer, Maik
In: 16. Dresdener Kreis: Begleitband zum Workshop : Hannover, 25./26. März 2015 / Leibniz Universität Hannover, Institut für Elektrische Energiesysteme, Fachgebiet Elektrische Energieversorgung ; Herausgeber Prof. Dr.-Ing. habil. L. Hofmannn, Dipl.-Ing. A. Pawellek: Begleitband zum Workshop : Hannover, 25./26. März 2015 - Hannover: IfES . - 2015, S. 45-49, 2020
2014
Abstract
A graphical notation for probabilistic specifications
Nielebock, Sebastian; Gonschorek, Tim; Ortmeier, Frank
In: VeriSure: Verification and Assurance: 23 July 2014, Vienna, Austria ; in association with Computer-Aided Verification (CAV) 2014, part of the Vienna Summer of Logic ; programm - ViennaKongress: VeriSure (Vienna, Austria : 2014.07.23)
Abstract
Robot trajectory optimization for the relaxed end-effector path
Alatartsev, Sergey; Belov, Anton; Nykolaychuk, Mykhaylo; Ortmeier, Frank
In: INCINCO 2014: abstracts - INSTICC, 2014, Paper Nr. 230Kongress: ICINCO 2014 (Wien : 2014.09.01-03)
Book chapter
A dataflow Notation for SAML - formal modeling without fearing timing constraints
Heumüller, Robert; Lipaczewski, Michael; Ortmeier, Frank
In: IMBSA 2014: short & tutorial proceedings of the 4th international symposium on model based safety assessment - Magdeburg: Univ., S. 43-50
Book chapter
On bringing object-oriented software metrics into the model-based world - verifying ISO 26262 compliance in simulink
Mäurer, Lukas; Hebecker, Tanja; Stolte, Torben; Lipaczewski, Michael; Möhrstädt, Uwe; Ortmeier, Frank
In: System analysis and modeling: models and reusability: 8th international conference, SAM 2014, Valencia, Spain, September 29 - 30, 2014 ; proceedings - Berlin [u.a.]: Springer, S. 207-222 - (Lecture notes in computer science; 8769)Kongress: SAM 8 (Valencia : 2014.09.29-30)
Book chapter
On traceability of informal specifications for model-based verification
Filax, Marco; Gonschorek, Tim; Lipaczewski, Michael; Ortmeier, Frank
In: IMBSA 2014: short & tutorial proceedings of the 4th international symposium on model based safety assessment - Magdeburg: Univ., S. 11-18
Book chapter
VECS - verification enviroment for critical systems - tool supported formal modeling an verification
Gonschorek, Tim; Filax, Marco; Lipaczewski, Michael; Ortmeier, Frank
In: IMBSA 2014: short & tutorial proceedings of the 4th international symposium on model based safety assessment - Magdeburg: Univ., S. 63-64
Book chapter
On efficiently specifying models for model checking
Nykolaychuk, Mykhaylo; Lipaczewski, Michael; Liebusch, Tino; Ortmeier, Frank
In: Model-based safety and assessment: 4th international symposium, IMBSA 2014, Munich, Germany, October 27 - 29, 2014 ; proceedings - Cham [u.a.]: Springer, S. 14-27 - (Lecture Notes in Computer Science; 8822)Kongress: IMBSA 2014 4 (Munich, Germany : 2014.10.27-29)
Book chapter
Bringing VECS to the World - challenges and accomplishments in teaching of formal model analysis
Lipaczewski, Michael; Filax, Marco; Ortmeier, Frank
In: European Conference on Software Engineering Education - ECSEE 2014: 27th and 28th November 2014, Seeon Monastery - Aachen: Shaker, S. 217-228Kongress: ECSEE 2014 27 (Seeon Monastery, Germany : 2014.11.27-28)
Peer-reviewed journal article
Model-based local path planning for UAVs
Hebecker, Tanja; Buchholz, Robert; Ortmeier, Frank
In: Journal of intelligent and robotic systems: theory and applications, incorporating mechatronic systems engineering - Dordrecht [u.a.]: Springer Science + Business Media B.V, insges. 16 S., 2014
Editor
Model-based safety and assessment - 4th international symposium, IMBSA 2014, Munich, Germany, October 27 - 29, 2014 ; proceedings
Ortmeier, Frank; Rauzy, Antoine
In: Cham [u.a.]: Springer, 2014, Online-Ressource (X, 208 S.) - (Lecture notes in computer science; 8822)Kongress: IMBSA 4 (Munich : 2014.10.27-29)
Editor
IMBSA 2014 - [proceedings] : short & tutorial proceedings of the 4th international symposium on model based safety assessment
Ortmeier, Frank; Rauzy, Antoine
In: Magdeburg: Otto-von-Guericke-University, 2014, 66 Seiten, graph. Darst., 21 cmKongress: International Symposium on Model-Based Safety and Assessment 4 (Munich, Germany : 2014.10.27-29)
Article in conference proceedings
Improving the sequence of robotic tasks with freedom of execution
Alatartsev, Sergey; Ortmeier, Frank
In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2014 : 14 - 18 Sept. 2014, Chicago, Illinois - Piscataway, NJ: IEEE, S. 4503 - 4510Kongress: IROS (Chicago : 2014.09.14-18)
Book chapter
Online-Diagnose zur Verfügbarkeitsprüfungnetzgekoppelter PEM-Brennstoffzellen-USV-Systeme
Kühne, Philipp; Wenske, Michael; heuer, Maik
In: Dresdener Kreis Elektroenergieversorgung 15: Begleitband zum Workshop 2014 : Leipzig, 19./20. März 2014 - Magdeburg: Universität, S. 29 - 33
Editor
Consumer control in smart grids - proceedings of the second ELECON Workshop, October 28 - 29, 2014, Institute of Electrical Energy Systems, Otto-von-Guericke-University Magdeburg, Germany
Styczynski, Zbigniew A.; Richter, André; Kühne, Philipp
In: Magdeburg: Univ., 2014, 1. Aufl., 101 S., graph. Darst., Kt., 21 cm - (Res electricae Magdeburgenses; 62)Kongress: ELECON Workshop 2 (Magdeburg : 2014.10.28-29)
2013
Abstract
Re-Authentication Model for Mobile Devices
Trojahn, Matthias; Ortmeier, Frank
In: Proceedings of the Eight GI SIG SIDAR Graduate Workshop on Reactive Security (SPRING)
Abstract
Biometric Keystroke Authentication on Smartphones Using a Capacitive Display
Trojahn, Matthias; Ortmeier, Frank
In: 2. Doktorandentagung Mgdeburger-Informatik-Tage 2013 (MIT 2013)
Abstract
Keystroke authentication with a capacitive display using different mobile devices
Trojahn, Matthias; Schadewald, Christian; Ortmeier, Frank
In: SECRYPT 2013. - Reykjavik
Abstract
Keystroke Authentication with a Capacitive Display using Different Mobile Devices
Ortmeier, Frank
In: 10th International Conference on Security and Cryptography (SECRYPT)
Abstract
Emotion Recognition through Keystroke Dynamics on Touchscreen Keyboards
Trojahn, Sebastian; Arndt, Florian; Weinmann, Markus; Ortmeier, Frank
In: 15th International Conference on Enterprise Information Systems
Abstract
Designing an Enterprise Security Strategy for Mobile Intranet Access
Trojahn, Matthias; Ortmeier, Frank
In: International Workshop on Trustworthy Computing
Abstract
Constricting Insertion Heuristic for Traveling Salesman Problem with Neighborhoods
Alatartsev, Sergey; Augustine, Marcus; Ortmeier, Frank
In: Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013)
Abstract
On Optimizing a Sequence of Robotic Tasks
Alatartsev, Sergey; Mersheeva, Vera; Augustine, Marcus; Ortmeier, Frank
In: Proceeding of th International Conference in Intelligent Robots and Systems (IROS)
Abstract
Teaching und Training Formal Methods for Safety Critical Systems
Ortmeier, Frank; Lipaczewski,
In: Proceedings for the 39th Euromicro Conference on Iv Software Engineering and Advanced Applications (SEAA 2013)
Abstract
Constricting insertion heuristic for traveling salesman problem with neighborhoods
Alatartsev, Sergey; Augustine, Marcus; Ortmeier, Frank
In: AAAI publications. - Menlo Park, Calif : AAAI Press, 2013
Abstract
Re-authentication model for mobile devices
Trojahn, Matthias; Ortmeier, Frank
In: 8. GI FG SIDAR Graduierten-Workshop über Reaktive Sicherheit, SPRING, S. 9, 2013
Abstract
Emotion recognition through keystroke dynamics on touchscreen keyboards
Trojahn, Matthias; Arndt, Florian; Weinmann, Markus; Ortmeier, Frank
In: ICEIS 2013. - INSTICCKongress: ICEIS; 15 (Angers) : 2013.07.04-07
Book chapter
On optimizing a sequence of robotic tasks
Alatartsev, Sergey; Mersheeva, Vera; Augustine, Marcus; Ortmeier, Frank
In: 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems. - Piscataway, NJ : IEEE, insges. 7 S.Kongress: IROS; (Tokoyo) : 2013.11.03-07
Book chapter
Toward mobile authentication with keystroke dynamics on mobile phones and tablets
Trojahn, M.; Ortmeier, Frank
In: 27th International Conference on Advanced Information Networking and Applications workshops (WAINA), 2013. - Piscataway, NJ : IEEE, S. 697-702Kongress: WAINA; (Barcelona) : 2013.03.25-28
Book chapter
Keystroke authentication on mobile devices with a capacitive display
Trojahn, M.; Ortmeier, Frank
In: Proceedings of the 2nd International Conference on Pattern Recognition Applications and Methods. - [S.l.] : SCITEPRESS, S. 637-640, 2013
Book chapter
Biometric keystroke authentication on smartphones using a capacitive display
Trojahn, Matthias; Ortmeier, Frank
In: Tagungsband der Magdeburger-Informatik-Tage, 2. Doktorandentagung 2013 (MIT 2013). - Magdeburg, S. 23-30Kongress: Doktorandentagung Magdeburger-Informatik-Tage (MIT); 2 (Magdeburg) : 2013.07.16
Book chapter
Designing an enterprise security strategy for mobile intranet access
Trojahn, Matthias; Ortmeier, Frank
In: 2013 Seventh International Conference on Software Security and Reliability Companion (SERE-C 2013). - Piscataway, NJ : IEEE, S. 8-15Kongress: SERE-C; 7 (Gaithersburg, Md.) : 2013.06.18-20
Book chapter
Teaching and training formal methods for safety critical systems
Ortmeier, Frank; Lipaczewski, Michael
In: SEAA 2013. - Piscataway, NJ : IEEE, S. 408-413
Book chapter
A pragmatic approach for debugging parameter-driven software
Ortmeier, Frank; Struck, Simon; Meinicke, Jens
In: Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 1. März 2013 in Aachen / Stefan Kowalewski; Bernhard Rumpe (Hrsg.): Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 1. März 2013 in Aachen/ Tagung Software Engineering - Bonn: GI, Ges. für Informatik, 2013 . - 2013, S. 199-212 - (GI-Edition; Proceedings; 213)Kongress: Fachtagung des GI-Fachbereichs Softwaretechnik (Aachen : 2013.02.26-03.01)
Peer-reviewed journal article
Efficient optimization of large probabilistic models
Struck, Simon; Güdemann, Matthias; Ortmeier, Frank
In: The journal of systems and software. - Amsterdam [u.a.] : Elsevier, Bd. 86.2013, 10, S. 2488-2501
Editor
Tagungsband der Magdeburger-Informatik-Tage, 2. Doktorandentagung 2013 - (MIT 2013) ; 16. Juli 2013
Buchholz, Robert; Krempl, Georg; Krull, Claudia; Schallehn, Eike; Stober, Sebastian; Ortmeier, Frank; Zug, Sebastian
In: Magdeburg, 2013, 4, 30 Seiten, Ill., graph. Darst., 21 cmKongress: Magdeburger-Informatik-Tage, Doktorandentagung (MIT) 2 (Magdeburg : 2013.07.16)
Article in conference proceedings
Developing a cloud computing based approach for forensic analysis using OCR
Trojahn, Matthias; Pan, Lei; Ortmeier, Frank
In: IMF 2013. - SIDAR, insges. 15 S.Kongress: IMF; 7 (Nürnberg) : 2013.03.12-14
Article in conference proceedings
A Pragmatic Approach For Debugging Parameter-Driven Software
Ortmeier, Frank; Struck, Simon; Meinicke, Jens; Quante, Jochen
In: Software Engineering 2013 pages 199-212
Article in conference proceedings
Smart grid communication technologies in the Brazilian electrical sector
Kühne, Philipp; Hauer, Ines; Styczynski, Zbigniew A.; Fernandes, Rubipiara; Valec, Zita
In: Towards efficient European and Brazilian electricity markets: proceedings of the first ELECON Workshop, September 24-25, 2013, Porto, Portugal - Porto, 2013 . - 2013, S. 19-41[Workshop: First ELECON Workshop, Porto, Portugal, September 24-25, 2013]
2012
Book chapter
The ForMoSA approach to qualitative and quantitative model-based safety analysis
Habermaier, Axel; Güdemann, Matthias; Ortmeier, Frank; Reif, Wolfgang; Schellhorn, Gerhard
In: Railway safety, reliability, and security. - Hershey PA : Information Science Reference, insges. 45 S., 2012
Book chapter
The ForMoSA Approach to Qualitative and Quantitative Model-Based Safety Analysis
Habermaier, Axel; Güdemann, Matthias; Ortmeier, Frank; Reif, Wolfgang; Schellhorn, Gerhard
In: 2012
Peer-reviewed journal article
Probabilistic Model-Based Safety Analysis
Güdemann, Matthias; Ortmeier, Frank
In: Elsevier Journal of Theoretical Computer Science on Quantitative Aspects of Programming Languages and Systems, 2012
Editor
Landmark-Tree Map: a Biologically Inspired Topological Map for Long-Distance Robot Navigation
Augustine, Marcus; Mair, Elmar; Stelzer, Annett; Ortmeier, Frank; Burschka, Darius; Suppa, Michael
In: 2012
Editor
Tagungsband der 1. Doktorandentagung Magdeburger-Informatik-Tage 2012 (MIT 2012)
Krempl, Georg; Krull, Claudia; Ortmeier, Frank; Schallehn, Eike; Zug, Sebastian
In: Magdeburg: Univ., 2012, [Online-Ausg.], Online-RessourceKongress: MIT 1 (Magdeburg : 2012.07.17)
Article in conference proceedings
On modeling probabilistic aspects of failure modes efficiently
Güdemann, Matthias; Mäurer, Lukas; Ortmeier, Frank
In: 2012
Article in conference proceedings
Toward mobile multi-factor authentification
Trojahn, Matthias; Ortmeier, Frank
In: 2012
Article in conference proceedings
Using model-based analysis in certification of critical software-intensive systems
Struck, Simon; Ortmeier, Frank; Lipaczewski, Michael
In: Issue 199, 2012
Article in conference proceedings
Multi-Objective Optimization of Formal Specifications
Struck, Simon; Güdemann, Matthias; Lipaczewski, Michael; Ortmeier, Frank
In: 2012
Article in conference proceedings
Self-healing data structures
Peilicke, Sascha; Ortmeier, Frank
In: 2012
Article in conference proceedings
A Pragmatic Approach For Debugging Parameter-Driven Software
Ortmeier, Frank; Struck, Simon; Meinicke, Jens; Quante, Jochen
In: 2012
Article in conference proceedings
SAML goes Eclipse - Combining Model-Based Safety Analysis and High-Level Editor Support
Lipaczewski, Michael; Struck, Simon; Ortmeier, Frank
In: S. 67-72, 2012
Article in conference proceedings
Using Tool-Supported Model Based Safety Analysis - Progress and Experiences in SAML Development
Lipaczewski, Michael; Struck, Simon; Ortmeier, Frank
In: 2012
Article in conference proceedings
Handlungsadaptive Produktionsassistenz
Lipaczewski, Michael; Ortmeier, Frank
In: 2012
Article in conference proceedings
An approach to determine mechanical hazards in VR-models semi-automatically
Kroys, Alexander; Ortmeier, Frank
In: 2012
Article in conference proceedings
Trajectory Description Conception for Industrial robots
Alatartsev, Sergey; Güdemann, Matthias; Ortmeier, Frank
In: 2012
Article in conference proceedings
Unifying Probabilistic and Traditional Formal Model-Based Analysis
Güdemann, Matthias; Lipaczewski, Michael; Struck, Simon; Ortmeier, Frank
In: 2012
2011
Book chapter
Towards making dependability visual - combining model-based design and virtual realities
Güdemann, Matthias; Lipaczewski, Michael; Ortmeier, Frank; Schumann, Marco; Eschbach, Robert
In: Proceedings // 2011 17th IEEE Pacific Rim International Symposium on Dependable Computing. - Piscataway, NJ : IEEE, S. 274-275Kongress: PRDC; 17 (Pasadena, Calif.) : 2011.12.12-14
Book chapter
Towards model-driven safety analysis
Güdemann, Matthias; Ortmeier, Frank
In: 3rd International Workshop on Dependable Control of Discrete Systems 2011, DCDS 2011, Saarbrücken, Germany, 15th-17theJune 2011, insges. 6 S.Kongress: DCDS; 3 (Saarbrücken, Germany) : 2011.06.15-17
Book chapter
Dependability in pervasive computing
Ortmeier, Frank
In: Pervasive computing and communications design and deployment. - Hershey, Pa. : Information Science Reference, 2011
Book chapter
Tool supported model-based safety analysis and optimization
Güdemann, Matthias; Lipaczewski, Michael; Ortmeier, Frank
In: Proceedings // 2011 17th IEEE Pacific Rim International Symposium on Dependable Computing. - Piscataway, NJ : IEEE, S. 294-295Kongress: PRDC; 17 (Pasadena, Calif.) : 2011.12.12-14
Dissertation
Qualitative and quantitative formal model-based safety analysis - push the safety button
Güdemann, Matthias; Ortmeier, Frank; Kruse, Rudolf
In: Magdeburg, Univ., Fak. für Informatik, Diss., 2011, 5, VIII, 195 S., graph. Darst.
Article in conference proceedings
Practical experiences in model-based safety analysis
Ortmeier, Frank; Lipaczewski, Michael; Güdemann, Matthias
In: IWDE 2011: proceedings of the 2nd International Workshop on Digital Engineering 2011. - Magdeburg, S. 31-38
Original article in peer-reviewed periodical-type series
Model-based multi-objective safety optimization
Güdemann, Matthias; Ortmeier, Frank
In: Computer safety, reliability, and security. - Heidelberg [u.a.] : Springer, S. 423-436, 2011 - (Lecture notes in computer science; 6894)Kongress: SAFECOMP; 30 (Naples) : 2011.09.19-22
2010
Book chapter
Metadaten-Modell für ein sicheres eingebettetes Datenmanagement
Fruth, Jana; Dittmann, Jana; Ortmeier, Frank; Feigenspan, Janet
In: D-A-CH Security 2010. - [Klagenfurt] : syssec, S. 359-370Kongress: Arbeitskonferenz D-A-CH Security; (Wien) : 2010.09.21-22
Book chapter
A framework for qualitative and quantitative model-based safety analysis
Güdemann, Matthias; Ortmeier, Frank
In: IEEE 12th International Symposium on High Assurance Systems Engineering. - Los Alamitos [u.a] : IEEE Computer Society, insges. 10 S., 2010Kongress: HASE; 12 (San Jose, CA, USA) : 2010.11.03-04
Article in conference proceedings
ProMoSA - probabilistic models for safety analysis
Ortmeier, Frank; Güdemann, Matthias
In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI. - München : fortiss, S. 7-12, 2010Kongress: Dagstuhl-Workshop MBEES; 6 (Wardern) : 2010.02.03-05
Article in conference proceedings
SysML in digital engineering
Güdemann, Matthias; Kegel, Stefan; Ortmeier, Frank; Poenicke, Olaf; Richter, Klaus
In: IWDE 2010 - proceedings of the 1st International Workshop on Digital Engineering ; Otto-von-Guericke-Universität Magdeburg: proceedings of the 1st International Workshop on Digital Engineering ; Otto-von-Guericke-Universität Magdeburg - Magdeburg: Univ.; Köppen, Veit *1977-* - proceedings of the 1st International Workshop on Digital Engineering ; Otto-von-Guericke-Universität Magdeburg . - 2010, S. 1-8Kongress: IWDE 2010 - proceedings of the 1st International Workshop on Digital Engineering ; Otto-von-Guericke-Universität Magdeburg 1 (Magdeburg : 2010.06.14)
Original article in peer-reviewed international journal
Probabilistic model-based safety analysis
Güdemann, Matthias; Ortmeier, Frank
In: Electronic proceedings in theoretical computer science. - Sydney : NICTA, Bd. 28.2010, 8, S. 114-128[QAPL ; 8 (Paphos, Cyrus) : 2010.03.27-28]
Original article in peer-reviewed periodical-type series
Quantitative Model-Based Safety Analysis - a case study
Güdemann, Matthias; Ortmeier, Frank
In: Sicherheit 2010. - Bonn : Ges. für Informatik, S. 153-164 - (GI-Edition)Kongress: Konferenz Sicherheit, Schutz und Zuverlässigkeit; 5 (Berlin) : 2010.10.05-07
2009
Book chapter
Object-centric programming: A new modeling paradigm for robotic applications
Angerer, Andreas; Hoffmann, Alwin; Ortmeier, Frank; Vistein, Michael; Reif, Wolfgang
In: IEEE International Conference on Automation and Logistics, 2009. - Piscataway, NJ : IEEE, S. 18-23Kongress: ICAL; (Shenyang) : 2009.08.05-07
Book chapter
A generic software framework for role-based Organic Computing systems
Nafz, Florian; Ortmeier, Frank; Seebach, Hella; Steghoefer, Jan-Philipp; Reif, Wolfgang
In: 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems. - Piscataway, NJ : IEEE, S. 96 - 105Kongress: ACM/IEEE International Workshop on Software Engineering for Adaptive and Self-Managing Systems; 4 (Vancouver, BC) : 2009.05.18-19
Book chapter
Hiding real-time - a new approach for the software development of industrial robots
Hoffmann, Alwin; Angerer, Andreas; Ortmeier, Frank; Vistein, Michael; Reif, Wolfgang
In: IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009. - Piscataway, NJ : IEEE, S. 2108 - 2113Kongress: IROS; (St. Louis) : 2009.10.11-15
Original article in peer-reviewed international journal
An abstract specification language for static program analysis
Vistein, Michael; Ortmeier, Frank; Reif, Wolfgang; Huuck, Ralf; Fehnker, Ansgar
In: Electronic notes in theoretical computer science. - Amsterdam [u.a.] : Elsevier Science, Bd. 254.2009, S. 181-197[Proceedings of the 4th International Workshop on Systems Software Verification (SSV 2009)]
Original article in peer-reviewed periodical-type series
A universal self-organization mechanism for role-based organic computing systems
Nafz, Florian; Ortmeier, Frank; Seebach, Hella; Steghöfer, Jan-Philipp; Reif, Wolfgang
In: Autonomic and trusted computing. - Berlin [u.a.] : Springer, S. 17-31, 2009 - (Lecture notes in computer science; 5586)Kongress: ATC; 6 (Brisbane) : 2009.07.07-09
Non-peer-reviewed journal article
Robotik aus Redmond - eine neue Ära?
Ortmeier, Frank; Angerer, Andreas; Hoffmann, Alwin; Vistein, Michael
In: Computer & Automation. - Haar : WEKA-Fachmedien, 4, S. 1-6, 2009