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.

177 Einträge « 2 von 4 »

2016

Krolikowski, Dariusz

Einfluss unterschiedlicher Kommentararten auf die Lesbarkeit des Quellcodes Abschlussarbeit

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

Links | BibTeX

Filax, Marco; Gonschorek, Tim; Ortmeier, Frank

Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models Inproceedings

Publishing, Springer International (Hrsg.): Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings, S. 106 - 122, 2016, ISBN: 978-3-319-33951-1.

Abstract | Links | BibTeX

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

Klockmann, Maximilian

Analyse von Crowd-Simulation Algorithmen beim Durchqueren von Engstellen Abschlussarbeit

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

Links | BibTeX

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

2015

Bahl, Benedikt

Konzepte zur Optimierung des Betriebshofmanagements mit pervasiven Assistenzsystemen Abschlussarbeit

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

Links | BibTeX

Hamannn, Dominik

Kopplung formaler Modelle mit realweltlichen Umgebungsmodellen Abschlussarbeit

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

Abstract | Links | BibTeX

Heumüller, Robert

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

2015.

Links | BibTeX

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

Orth, Severin

Trace refinement with reduced interpolant automata for binary programs Abschlussarbeit

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

Links | BibTeX

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

Alatartsev, Sergey

Robot Trajectory Optimization for Relaxed Effective Tasks Promotionsarbeit

Otto-von-Guericke University of Magdeburg, 2015.

Abstract | Links | BibTeX

Hühne, Patrick

Innenraumlokalisierung von Mobilgeräten mittels Bluetooth LE Abschlussarbeit

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

Links | BibTeX

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

Rabeler, Ben

Abstraktion kontinuierlichen Verhaltens zur modellbasierten Sicherheitsanalyse Abschlussarbeit

2015.

Abstract | Links | BibTeX

Dörfler, Stephan

Protokollautomat für die Kommunikation zwischen Ladestation und Elektrofahrzeug Abschlussarbeit

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

Links | BibTeX

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

Gonschorek, Tim

A Backward Model Checking Approach with Slicing Abschlussarbeit

Otto-von-Guericke-University Magdeburg, 2015.

Abstract | BibTeX

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

2014

Plauschin, Mathias

Klassifikation latenter Fingerspuren mithilfe von Smartphones Abschlussarbeit

2014.

Links | BibTeX

Fritsch, Michael

Erhöhung von Quellcode-Wartbarkeit durch Entwurfsmusterautomatisierung Abschlussarbeit

2014.

Links | BibTeX

Dietze, Denis

Semantische Veri kation von selbstbeschreibenden Geratekonfi gurationen Abschlussarbeit

2014.

Links | BibTeX

Dittmann, Denny

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

2014.

Links | BibTeX

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

Jagla, Tim Benedict

Cross-Platform Remote Control of Web-Based Media Abschlussarbeit

2014.

Abstract | Links | BibTeX

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

Heumüller, Robert

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

2014.

Links | BibTeX

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

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

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

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

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

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

Nielebock, Sebastian; Gonschorek, Tim; Ortmeier, Frank

A Graphical Notation for Probabilistic Specifications Inproceedings

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

Abstract | Links | BibTeX

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

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

2013

Nielebock, Sebastian

Komposition gewöhnlicher Differentialgleichungen mit sicherheitsrelevanten Zustandsautomaten Abschlussarbeit

2013.

Links | BibTeX

Gonschorek, Tim

Methodik zur Abstraktion kontinuierlicher Differentialgleichungen Abschlussarbeit

Otto-von-Guericke-University Magdeburg, 2013.

Abstract | Links | BibTeX

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

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

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

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

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

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

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

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

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

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

Trojahn, Matthias; Beck, Alexander; Ortmeier, Frank

Biometrische Authentifizierung zur Fahrererkennung in Lkws Konferenz

D-A-CH security 2013, 2013.

BibTeX

Trojahn, Matthias; Beck, Alexander; Ortmeier, Frank

Biometrische Alternativen zum Habenfaktor bei Smartphones Konferenz

D-A-CH security 2013, 2013.

BibTeX

177 Einträge « 2 von 4 »