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.

175 Einträge « 2 von 4 »

2016

Anders, Anton

Indoor-Positionsbestimmung mit Hilfe von Bluetooth-Low-Energy-Beacons und Pedestrian Dead Reckoning Abschlussarbeit

Otto-von-Guericke-Universität Magdeburg, 2016.

Links | BibTeX | Schlagwörter: Augmented Reality, Bluetooth

Klockmann, Maximilian

Analyse von Crowd-Simulation Algorithmen beim Durchqueren von Engstellen Abschlussarbeit

Otto-von-Guericke-Universität Magdeburg, 2016.

Links | BibTeX | Schlagwörter: virtual reality

Filax, Marco; Gonschorek, Tim; Hebecker, Tanja; Lipaczewski, Michael; Madalinski, Agnes; Ortmeier, Frank; Fietze, Mario; Schumacher, Rolf

Bringing formal methods “on the rail” - Modellbasierte Systemanalyse in der Sicherheitsnachweisführung Artikel

Der Eisenbahn Ingenieur, S. 24 -27, 2016.

Abstract | Links | BibTeX | Schlagwörter: Formal Modelling Process, Railway System Verification, Requirements Traceability, System Verification, VIP-MoBaSA

2015

Bahl, Benedikt

Konzepte zur Optimierung des Betriebshofmanagements mit pervasiven Assistenzsystemen Abschlussarbeit

Otto-von-Guericke-Universität Magdeburg, 2015.

Links | BibTeX | Schlagwörter: Augmented Reality

Hamannn, Dominik

Kopplung formaler Modelle mit realweltlichen Umgebungsmodellen Abschlussarbeit

Otto-von-Guericke-Universität Magdeburg, 2015.

Abstract | Links | BibTeX | Schlagwörter: co-simulation of system models, model-based verfication

Heumüller, Robert

Multi-Abstraction Model Based Software Development for Embedded Low-Cost Applications Abschlussarbeit

2015.

Links | BibTeX | Schlagwörter: arm, compiler, embedded, llvm, mdd, mde, model based

Hebecker, Tanja; Ortmeier, Frank

Safe Prediction-Based Local Path Planning using Obstacle Probability Sections Inproceedings

Laugier, Christian; Martinet, Philippe; Nunes, Urbano; stiller, Christoph (Hrsg.): Proceedings of the 7th IROS Workshop on Planning, Perception and Navigation for Intelligent Vehicles, S. 183 - 188, 2015.

Abstract | Links | BibTeX | Schlagwörter: local path planning, Obstacle probability sections

Orth, Severin

Trace refinement with reduced interpolant automata for binary programs Abschlussarbeit

Otto-von-Guericke-Universität Magdeburg, 2015.

Links | BibTeX | Schlagwörter: binary programs, trace refinement

Nykolaichuk, Mykhaylo; Ortmeier, Frank

Coverage Path Re-Planning for Processing Faults Inproceedings

Springer, (Hrsg.): The 8th International Conference on Intelligent Robotics and Applications (ICIRA2015) , S. 358-368 , 2015.

Abstract | Links | BibTeX | Schlagwörter: coverage path planning, online path planning

Alatartsev, Sergey

Robot Trajectory Optimization for Relaxed Effective Tasks Promotionsarbeit

Otto-von-Guericke University of Magdeburg, 2015.

Abstract | Links | BibTeX | Schlagwörter: robotics, travelling salesman problem

Hühne, Patrick

Innenraumlokalisierung von Mobilgeräten mittels Bluetooth LE Abschlussarbeit

Otto-von-Guericke-Universität Magdeburg, 2015.

Links | BibTeX | Schlagwörter: Augmented Reality, Bluetooth

Gonschorek, Tim; Ortmeier, Frank

Slice or Unfold - Experiments on Checking Synchronous Models with Backwards Slicing Inproceedings

of Control, International Federation Automatic (Hrsg.): 5th International Workshop on Dependable Control of Discrete Systems (DCDS 2015), 2015, (accepted, will be published this year).

Abstract | Links | BibTeX | Schlagwörter: safety analysis, verification

Rabeler, Ben

Abstraktion kontinuierlichen Verhaltens zur modellbasierten Sicherheitsanalyse Abschlussarbeit

2015.

Abstract | Links | BibTeX | Schlagwörter: hybrid model checking, model based verification, model checking

Dörfler, Stephan

Protokollautomat für die Kommunikation zwischen Ladestation und Elektrofahrzeug Abschlussarbeit

Otto-von-Guericke-Universität Magdeburg, 2015.

Links | BibTeX | Schlagwörter:

Lipaczewski, Michael; Prosvirnova, Tatiana; Ortmeier, Frank; Rauzy, Antoine; Struck, Simon

Comparison of Modeling Formalisms for Safety Analyses: SAML and AltaRica Artikel

Reliability Engineering & System Safety, 2015.

Abstract | Links | BibTeX | Schlagwörter: Altarica, model-based, safety analysis, SAML

Gonschorek, Tim

A Backward Model Checking Approach with Slicing Abschlussarbeit

Otto-von-Guericke-University Magdeburg, 2015.

Abstract | BibTeX | Schlagwörter: formal verification, model checking

Alatartsev, Sergey; Stellmacher, Sebastian; Ortmeier, Frank

Robotic Task Sequencing Problem: A Survey Artikel

Journal of Intelligent and Robotic Systems, 2015, ISSN: 1573-0409.

Abstract | Links | BibTeX | Schlagwörter:

2014

Plauschin, Mathias

Klassifikation latenter Fingerspuren mithilfe von Smartphones Abschlussarbeit

2014.

Links | BibTeX | Schlagwörter:

Fritsch, Michael

Erhöhung von Quellcode-Wartbarkeit durch Entwurfsmusterautomatisierung Abschlussarbeit

2014.

Links | BibTeX | Schlagwörter: Automation, Design Patterns, Maintainability

Dietze, Denis

Semantische Veri kation von selbstbeschreibenden Geratekonfi gurationen Abschlussarbeit

2014.

Links | BibTeX | Schlagwörter:

Dittmann, Denny

Visualisierungskomponente für ein Hochspannungs-Gleichstrom-Übertragungs-Netz Überwachungssystem Abschlussarbeit

2014.

Links | BibTeX | Schlagwörter:

Hebecker, Tanja; Buchholz, Robert; Ortmeier, Frank

Model-Based Local Path Planning for UAVs Artikel

Journal of Intelligent & Robotic Systems, 78 , S. 127-142 , 2014, ISSN: 1573-0409.

Abstract | Links | BibTeX | Schlagwörter: Grid map, Obstacle avoidance, Reachable set, Wavefront algorithm

Jagla, Tim Benedict

Cross-Platform Remote Control of Web-Based Media Abschlussarbeit

2014.

Abstract | Links | BibTeX | Schlagwörter: mobile devices, web communication

Heumüller, Robert; Quante, Jochen; Thums, Andreas

Parsing Variant C Code: An Evaluation on Automotive Software Inproceedings

GI, (Hrsg.): 16. Workshop Software-Reengineering & Evolution, 2014.

BibTeX | Schlagwörter: c, parsing, preprocessor, Software product line

Heumüller, Robert

VECS Dataflow - A SAML Language Extension Allowing Intuitive Creation of Formal Automata Specifications Abschlussarbeit

2014.

Links | BibTeX | Schlagwörter: dataflow, model-based, model-checking, safety

Lipaczewski, Michael; Filax, Marco; Ortmeier, Frank

Bringing VECS to the World - Challenges and Accomplishments in Teaching of Formal Model Analysis Inproceedings

European Conference on Software Engineering Education. - Herzogenrath : Shaker, S. 217-228, 2014.

BibTeX | Schlagwörter: model-based, VECS

Gonschorek, Tim; Filax, Marco; Lipaczewski, Michael; Ortmeier, Frank

VECS - Verification Enviroment for Critical Systems - Tool Supported Formal Modeling an Verification Buchkapitel

IMBSA 2014: short & tutorial proceedings of the 4th international symposium on model based safety assessment. - Magdeburg : Univ., S. 63-64, 2014.

Links | BibTeX | Schlagwörter: model-based, VECS

Heumüller, Robert; Lipaczewski, Michael; Ortmeier, Frank

A Dataflow Notation for SAML - Formal Modeling Without Fearing Timing Constraints Inproceedings

IMBSA 2014: short & tutorial proceedings of the 4th international symposium on model based safety assessment. - Magdeburg : Univ., S. 43-50, 2014.

BibTeX | Schlagwörter: model-based, VECS

Filax, Marco; Gonschorek, Tim; Lipaczewski, Michael; Ortmeier, Frank

On Traceability of Informal Specifications for Model-Based Verification Inproceedings

IMBSA 2014: short & tutorial proceedings of the 4th international symposium on model based safety assessment., S. 11-18, Magdeburg : Univ., 2014.

Abstract | Links | BibTeX | Schlagwörter: model-based, VECS, VIP-MoBaSA

Mäurer, Lukas; Hebecker, Tanja; Stolte, Torben; Lipaczewski, Michael; Möhrstädt, Uwe; Ortmeier, Frank

On Bringing Object-Oriented Software Metrics into the Model-Based World - Verifying ISO 26262 Compliance in Simulink Inproceedings

Publishing, Springer International (Hrsg.): System analysis and modeling: models and reusability. - Berlin [u.a.] : Springer, S. 207-222, Springer, 2014, ISBN: 978-3-319-11743-0.

Abstract | Links | BibTeX | Schlagwörter:

Nykolaichuk, Mykhaylo; Lipaczewski, Michael; Liebusch, Tino; Ortmeier, Frank

On Efficiently Specifying Models for Model Checking Inproceedings

Proceedings of 4th International Symposium on Model Based Safety and Assessment (IMBSA 2014), 2014.

Abstract | Links | BibTeX | Schlagwörter: model-based, VECS

Nielebock, Sebastian; Gonschorek, Tim; Ortmeier, Frank

A Graphical Notation for Probabilistic Specifications Inproceedings

2014, (Verification and Assurance - Second VeriSure Workshop 2014).

Abstract | Links | BibTeX | Schlagwörter: graphical specification patterns, specification, specification patterns, verification

Alatartsev, Sergey; Belov, Anton; Nykolaichuk, Mykhaylo; Ortmeier, Frank

Robot Trajectory Optimization for the Relaxed End-Effector Path Inproceedings

Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics (ICINCO), 2014.

Abstract | Links | BibTeX | Schlagwörter:

Alatartsev, Sergey; Ortmeier, Frank

Improving the Sequence of Robotic Tasks with Freedom of Execution Inproceedings

IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2014.

Abstract | Links | BibTeX | Schlagwörter:

2013

Nielebock, Sebastian

Komposition gewöhnlicher Differentialgleichungen mit sicherheitsrelevanten Zustandsautomaten Abschlussarbeit

2013.

Links | BibTeX | Schlagwörter: differential equations, safety, state-based

Gonschorek, Tim

Methodik zur Abstraktion kontinuierlicher Differentialgleichungen Abschlussarbeit

Otto-von-Guericke-University Magdeburg, 2013.

Abstract | Links | BibTeX | Schlagwörter: hybrid model checking, model based verification

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

A Pragmatic Approach For Debugging Parameter-Driven Software Inproceedings

Kowalewski, Stefan; Rumpe, Bernhard (Hrsg.): Software Engineering 2013, S. 199-212, 2013.

Abstract | Links | BibTeX | Schlagwörter: debugging, embedded software, parameter driven software

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

Efficient Optimization of Large Probabilistic Models Artikel

Elsevier Journal of Systems and Software, 03/78 , 2013.

Abstract | Links | BibTeX | Schlagwörter: model checking, optimization, safety

Trojahn, Matthias; Arndt, Florian; Ortmeier, Frank

Authentication with Keystroke Dynamics on Touchscreen Keypads - Effect of different N-Graph Combinations Konferenz

MOBILITY 2013, The Third International Conference on Mobile Services, Resources, and Users, 2013.

BibTeX | Schlagwörter:

Trojahn, Matthias; Ortmeier, Frank

KeyGait Framework for Continuously Biometric Authentication during Usage of a Smartphone Konferenz

MOBILITY 2013, The Third International Conference on Mobile Services, Resources, and Users, 2013.

BibTeX | Schlagwörter:

Alatartsev, Sergey; Ortmeier, Frank

Path Planning for Industrial Robots Among Multiple Underspecified Tasks Inproceedings

Proceedings of the Magdeburger-Informatik-Tage 2. Doktorandentagung (MIT), 2013.

Abstract | Links | BibTeX | Schlagwörter:

Ortmeier, Frank; Lipaczewski, Michael

Teaching and Training Formal Methods for Safety Critical Systems Konferenz

Proceedings of the 39th Euromicro Conference on Iv Software Engineering and Advanced Applications (SEAA 2013), 2013.

Abstract | Links | BibTeX | Schlagwörter: model-based, VECS

Alatartsev, Sergey; Mersheeva, Vera; Augustine, Marcus; Ortmeier, Frank

On Optimizing a Sequence of Robotic Tasks Inproceedings

Proceedings of the International Conference on Intelligent Robots and Systems (IROS), IEEE, 2013.

Abstract | Links | BibTeX | Schlagwörter:

Trojahn, Matthias; Ortmeier, Frank

Biometric Keystroke Authentication on Smartphones Using a Capacitive Display Konferenz

2. Doktorandentagung Magdeburger-Informatik-Tage 2013 (MIT 2013), 2013.

Links | BibTeX | Schlagwörter:

Trojahn, Matthias; Arndt, Florian; Ortmeier, Frank

Authentication with Time Features of Keystroke Dynamics on Touchscreens Inproceedings

14th Conference on Communications and Multimedia Security (CMS), S. 197-199, 2013, ISBN: 978-3-642-40778-9.

Abstract | Links | BibTeX | Schlagwörter:

Trojahn, Matthias; Schadewald, Christian; Ortmeier, Frank

Keystroke Authentication with a Capacitive Display using Different Mobile Devices Konferenz

10th International Conference on Security and Cryptography (SECRYPT), 2013.

Links | BibTeX | Schlagwörter:

Trojahn, Matthias; Beck, Alexander; Ortmeier, Frank

Biometrische Authentifizierung zur Fahrererkennung in Lkws Konferenz

D-A-CH security 2013, 2013.

BibTeX | Schlagwörter:

Trojahn, Matthias; Beck, Alexander; Ortmeier, Frank

Biometrische Alternativen zum Habenfaktor bei Smartphones Konferenz

D-A-CH security 2013, 2013.

BibTeX | Schlagwörter:

Trojahn, Matthias; Ortmeier, Frank

Designing an Enterprise Security Strategy for Mobile Intranet Access Konferenz

Seventh International Conference on Software Security and Reliability Companion (SERE 2013), 2013.

Links | BibTeX | Schlagwörter:

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

Emotion Recognition Through Keystroke Dynamics on Touchscreen Keyboards Buchkapitel mit eigenem Titel

15th International Conference on Enterprise Information Systems, 2013.

Abstract | Links | BibTeX | Schlagwörter:

175 Einträge « 2 von 4 »