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.

2024

Book chapter

ASAP-repair - API-specific automated program repair based on API usage graphs

Nielebock, Sebastian; Blockhaus, Paul; Kruger, Jacob; Ortmeier, Frank

In: 2024 IEEE/ACM International Workshop on Automated Program Repair - Piscataway, NJ : Association for Computing Machinery, insges. 4 S. [Workshop: 5th ACM/IEEE International Workshop on Automated Program Repair, APR '24, Lisbon, Portugal, 20 April 2024]

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]

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. [Konferenz: 33rd European Safety and Reliability Conference (ESREL 2023), Southampton, UK, 3 - 8 September 2023]

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]

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]

2022

Book chapter

High speed RCS for robot task sequencing optimization

Schillreff, Nadia; Scholle, Julian Benedikt; Kirchheim, Konstantin; Ortmeier, Frank

In: 54th International Symposium on Robotics , 2022 - Berlin : VDE VERLAG, S. 136-141 [Symposium: 54th International Symposium on Robotics, ISR Europe 2022, Munich, Germany, 20-21 June 2022]

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]

PyTorch-OOD - a library for Out-of-Distribution Detection based on PyTorch

Kirchheim, Konstantin; Filax, Marco; Ortmeier, Frank

In: 2021 IEEE/CVF Conference on Computer Vision and Pattern Recognition workshops / IEEE/CVF Computer Vision and Pattern Recognition Conference , 2022 - Piscataway, NJ : IEEE, S. 4350-4359 [Konferenz: IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, CVPRW, Orleans, LA, USA, 19-20 June 2022]

Peer-reviewed journal article

Semi-automatic acquisition of datasets for retail recognition

Filax, Marco; Gonschorek, Tim; Ortmeier, Frank

In: Journal of WSCG - Plzen : [Verlag nicht ermittelbar], Bd. 30 (2022), Heft 1-2, S. 86-94 [Konferenz: 30. Jubilee International Conference on Computer Graphics, Visualization and Computer Vision 2022]

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) / International Conference on Machine Vision and Applications , 2021 - IEEE : IEEE, Artikel P2-5, insges. 4 S. [Konferenz: 17th International Conference on Machine Vision and Applications, MVA, Aichi, Japan, 25-27 July 2021]

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 , 2021 - Piscataway, NJ : IEEE, S. 214-225 [Konferenz: 21st IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2021, Online, 27 - 28 September 2021]

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 [Konferenz: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE '21, Athens, Greece, August 23 - 28, 2021]

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 (MSR) / IEEE/ACM International Conference on Mining Software Repositories , 2021 - New York, New York : The Association for Computing Machinery, S. 535-539 [Konferenz: IEEE/ACM 18th International Conference on Mining Software Repositories, MSR, Madrid, Spain, 17-19 May 2021]

Grocery recognition in the wild - a new mining strategy for metric learning

Filax, Marco; Gonschorek, Tim; Ortmeier, Frank

In: VISIGRAPP 2021 ; Volume 4: VISAPP , 2021 - [Sétubal] : SCITEPRESS - Science and Technology Publications, Lda. ; Farinella, Giovanni Maria, S. 498-505 [Konferenz: 16th International Conference on Computer Vision Theory and Applications, VISAPP, Online, 08.-10.02.2021]

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), Artikel 15, insges. 48 S.

Dissertation

Guaranteed set-based controller design for hybrid dynamical systems

Andonov, Petar; Findeisen, Rolf; Ortmeier, Frank

In: Magdeburg: Universitätsbibliothek, Dissertation Otto-von-Guericke-Universität Magdeburg, Fakultät für Elektrotechnik und Informationstechnik 2021, 1 Online-Ressource (II, 121 Seiten, 7,57 MB) [Literaturverzeichnis: Seite 105-121][Literaturverzeichnis: Seite 105-121]

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, Artikel 2103.01357, insges. 12 S. [Accepted Paper at the 21st IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM) in the Replication and Negative Results (RENE) Track]

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, S. 73-76 [Konferenz: 42nd International Conference on Software Engineering, ICSE '20, Seoul, South Korea, June, 2020]

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 , 2020 - Piscataway, NJ : IEEE ; Pogromsky, Alexander, S. 362-367 [Konferenz: 2020 European Control Conference, ECC, Saint Petersburg, Russia, 12-15 May 2020]

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, S. 1-2 [Konferenz: 42nd International Conference on Software Engineering Workshops, ICSEW '20, Seoul, South Korea, June, 2020]

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.

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

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 - 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][Literaturverzeichnis: Seite 115-135]

2019

Book chapter

SpecTackle - a specification mining experimentation platform

Heumüller, Robert; Nielebock, Sebastian; Ortmeier, Frank

In: SEAA 2019 - Piscataway, NJ : IEEE ; Staron, Miroslaw, S. 178-181 [Konferenz: 45th Euromicro Conference on Software Engineering and Advanced Applications, SEAA, Kallithea-Chalkidiki, Greece, 28-30 August 2019]

Integrating safety design artifacts into system development models using SafeDeML

Gonschorek, Tim; Bergt, Philipp; Filax, Marco; Ortmeier, Frank

In: Model-Based Safety and Assessment , 1st ed. 2019 - Cham : Springer ; Papadopoulos, Yiannis, S. 93-106 - ( Lecture Notes in Computer Science; volume 11842) [Symposium: 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 1618, 2019]

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, S. 61-68 [Konferenz: Smart SysTech 2019, 4-5 June 2019, Magdeburg, Germany]

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, S. 1-4 [ 2018 Computing in Cardiology Conference, CinC, Maastricht, Netherlands, 23-26 September 2018]

Cardiotocograph data classification improvement by using empirical mode decomposition*

Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank

In: Biomedical engineering ranging from wellness to intensive care / IEEE Engineering in Medicine and Biology Society , 2019 - [Piscataway, NJ] : IEEE ; Barbieri, Ricardo, S. 5646-5649 [Konferenz: 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC, Berlin, Germany, 23-27 July 2019]

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, S. 900-907 [Konferenz: 8th International Conference on Pattern Recognition Applications and Methods,February 19-21, 2019, Prague, Czech Republic]

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 , 1st ed. 2019 - Cham : Springer, S. 271-285 - (Programming and Software Engineering; 11698) [Konferenz: 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019]

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), Heft 1, S. 381-383

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

Programmers do not favor lambda expressions for concurrent object-oriented code

Nielebock, Sebastian; Heumüller, Robert; Ortmeier, Frank

In: Empirical software engineering - Dordrecht [u.a.] : Springer Science + Business Media B.V, Bd. 24 (2019), Heft 1, S. 103-138 [Online first]

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) , 2018 - Limassol, Cyprus ; European Control Conference (17.:2018), S. 1035-1041 [Konferenz: 2018 European Control Conference (ECC), June 12-15, 2018, Limassol, Cyprus]

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

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, 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]

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 - IEEE . - 2018, insges. 4 S. [Konferenz: Computing in Cardiology Conference 2017, Cinc 2017, Rennes, France, 24-27 September 2017]

Learning-based kinematic calibration using adjoint error model

Schillreff, Nadia; Ortmeier, Frank

In: ICINCO 2018. Volume 2 / International Conference on Informatics in Control, Automation and Robotics , 2018 - [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]

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 - London : CRC Press . - 2018, S. 741-748 [Konferenz: ESREL 2018, Trondheim, Norway, June 17-21, 2018]

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 / Li , Ming - New York, NY : ACM . - 2018, S. 8-11 [Workshop: 7th International Workshop on Software Mining, Montpellier, France, September 03 - 03, 2018]

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 / Li , Ming - New York, NY : ACM . - 2018, S. 20-23 [Workshop: 7th International Workshop on Software Mining, Montpellier, France, September 03 - 03, 2018]

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 [Workshop: 13th IAPR International Workshop on Document Analysis Systems, DAS 2018, Vienna, Austria, 24-27 April 2018]

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]

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. [First online]

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), Heft 1, S. 579-582

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

Article in conference proceedings

VIOL: Viewpoint invariant object localizator viewpoint invariant planar features in man-made environments

Filax, Marco; Ortmeier, Frank

In: VISAPP / VISIGRAPP , 2018 - [Setúbal, Portugal] : SCITEPRESS - Science and Technology Publications, Lda., S. 581-588 [Konferenz: 13th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2018, Funchal, Madeira, Portugal, January 27-29, 2018]

2017

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 ; Computing in Cardiology (Veranstaltung:44.:2017), S. 1-4 [Konferenz: 2017 Computing in Cardiology, CinC, Rennes, France, 24-27 September 2017]

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 - [Piscataway, NJ] : IEEE . - 2017, S. 15-24 [Konferenz: 5th ACM/IEEE International Conference on Formal Methods and Models for System Design, Vienna, Austria, September 29 - October 02, 2017]

QuadSIFT: unwrapping planar quadrilaterals to enhance feature matching

Filax, Marco; Gonschorek, Tim; Ortmeier, Frank

In: WSCG 2017 - 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]

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, S. 3-18 - (Lecture Notes in Computer Science; 10437) [Symposium: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017]

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 [Konferenz: 21th International Software Product Line Conference, SPLC 2017, Sevilla, Spain,September 25 - 29, 2017]

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

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]

Peer-reviewed journal article

Towards high accuracy robot-assisted surgery

Schillreff, Nadia; Nykolaichuk, Mykhaylo; Ortmeier, Frank

In: IFAC-PapersOnLine / Internationale Förderung für Automatische Lenkung - Frankfurt : Elsevier, Bd. 50 (2017), S. 5666-5671 [Special issue: 20th IFAC World Congress, Toulouse, France, 9-14 July 2017]

Effiziente Sicherheitsnachweisführung mithilfe modellbasierter Systemanalyse

Bitsch, Friedemann; Filax, Marco; Gonschorek, Tim; Ortmeier, Frank; Schumacher, Rolf

In: Signal + Draht - Hamburg : DVV Media Group . - 2017, Heft 6

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), Heft 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 - Cambridge, Mass. : ResearchGATE Corp. . - 2017, insges. 1 S. [Symposium: 5th International Symposium on Model-Based Safety and Assessment, IMBSA2017, Trento, 11-13 September 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]

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 - Hamburg : DVV Media Group . - 2016, S. 24-27

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][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

Robotic task sequencing problem - a survey

Alatartsev, Sergey; Stellmacher, Sebastian; Ortmeier, Frank

In: Journal of intelligent & robotic systems - Dordrecht [u.a.] : Springer Science + Business Media B.V, Bd. 80 (2015), Heft 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.

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

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)

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)

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

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)

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

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

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)

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)

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

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)

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)

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, 101 S. - (Res electricae Magdeburgenses; 62), ISBN: 978-3-944722-23-8 Kongress: ELECON Workshop 2 Magdeburg 2014.10.28-29[Literaturangaben]

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)

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)

Biometric Keystroke Authentication on Smartphones Using a Capacitive Display

Trojahn, Matthias; Ortmeier, Frank

In: 2. Doktorandentagung Mgdeburger-Informatik-Tage 2013 (MIT 2013)

Keystroke authentication with a capacitive display using different mobile devices

Trojahn, Matthias; Schadewald, Christian; Ortmeier, Frank

In: SECRYPT 2013. - Reykjavik

Keystroke Authentication with a Capacitive Display using Different Mobile Devices

Ortmeier, Frank

In: 10th International Conference on Security and Cryptography (SECRYPT)

Emotion Recognition through Keystroke Dynamics on Touchscreen Keyboards

Trojahn, Sebastian; Arndt, Florian; Weinmann, Markus; Ortmeier, Frank

In: 15th International Conference on Enterprise Information Systems

Designing an Enterprise Security Strategy for Mobile Intranet Access

Trojahn, Matthias; Ortmeier, Frank

In: International Workshop on Trustworthy Computing

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)

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)

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)

Constricting insertion heuristic for traveling salesman problem with neighborhoods

Alatartsev, Sergey; Augustine, Marcus; Ortmeier, Frank

In: AAAI publications. - Menlo Park, Calif : AAAI Press, 2013

Re-authentication model for mobile devices

Trojahn, Matthias; Ortmeier, Frank

In: 8. GI FG SIDAR Graduierten-Workshop über Reaktive Sicherheit, SPRING, S. 9, 2013

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

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

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

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

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

Teaching and training formal methods for safety critical systems

Ortmeier, Frank; Lipaczewski, Michael

In: SEAA 2013. - Piscataway, NJ : IEEE, S. 408-413

A pragmatic approach for debugging parameter-driven software

Ortmeier, Frank; Struck, Simon; Meinicke, Jens

In: Software Engineering 2013 / Tagung Software Engineering , 2013 - Bonn : GI, Ges. für Informatik, 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

A Pragmatic Approach For Debugging Parameter-Driven Software

Ortmeier, Frank; Struck, Simon; Meinicke, Jens; Quante, Jochen

In: Software Engineering 2013 pages 199-212

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

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

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

Unifying Probabilistic and Traditional Formal Model-Based Analysis

Güdemann, Matthias; Lipaczewski, Michael; Struck, Simon; Ortmeier, Frank

In: 2012

Toward mobile multi-factor authentification

Trojahn, Matthias; Ortmeier, Frank

In: 2012

Using model-based analysis in certification of critical software-intensive systems

Struck, Simon; Ortmeier, Frank; Lipaczewski, Michael

In: Issue 199, 2012

Multi-Objective Optimization of Formal Specifications

Struck, Simon; Güdemann, Matthias; Lipaczewski, Michael; Ortmeier, Frank

In: 2012

Self-healing data structures

Peilicke, Sascha; Ortmeier, Frank

In: 2012

A Pragmatic Approach For Debugging Parameter-Driven Software

Ortmeier, Frank; Struck, Simon; Meinicke, Jens; Quante, Jochen

In: 2012

SAML goes Eclipse - Combining Model-Based Safety Analysis and High-Level Editor Support

Lipaczewski, Michael; Struck, Simon; Ortmeier, Frank

In: S. 67-72, 2012

Using Tool-Supported Model Based Safety Analysis - Progress and Experiences in SAML Development

Lipaczewski, Michael; Struck, Simon; Ortmeier, Frank

In: 2012

Handlungsadaptive Produktionsassistenz

Lipaczewski, Michael; Ortmeier, Frank

In: 2012

An approach to determine mechanical hazards in VR-models semi-automatically

Kroys, Alexander; Ortmeier, Frank

In: 2012

On modeling probabilistic aspects of failure modes efficiently

Güdemann, Matthias; Mäurer, Lukas; Ortmeier, Frank

In: 2012

Trajectory Description Conception for Industrial robots

Alatartsev, Sergey; Güdemann, Matthias; 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

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

Dependability in pervasive computing

Ortmeier, Frank

In: Pervasive computing and communications design and deployment. - Hershey, Pa. : Information Science Reference, 2011

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

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

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

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

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

Last Modification: 10.11.2023 - Contact Person: Webmaster