Marco Filax

Marco Filax
Mail: marco.filax@ovgu.de
Room: G29, R402
Phone: +49 391 67 52705

Marco Filax received a BSc and an MSc in Computational Visualistics at the Otto von Guericke University. Marco is a research assistant at the Chair of Software Engineering since 2014. His research interests include but are not limited to pattern recognition, computer vision, pervasive cameras, formal verification techniques, and requirement analysis.

Marco Filax

Publications

2020

Ataide, Elmer; Fritzsche, Holger; Filax, Marco; Chittamuri, Dinesh; Potluri, Lakshmi; Friebe, Michael

ENT Endoscopic Surgery and Mixed Reality: Application Development and Integration Buchkapitel mit eigenem Titel

Biomedical and Clinical Engineering for Healthcare Advancement, S. 17-29, IGI Global, 2020.

Links | BibTeX

2019

Gonschorek, Tim; Bergt, Philipp; Filax, Marco; Ortmeier, Frank; von Hoyningen-Hüne, Jan; Piper, Thorsten

SafeDeML: On Integrating the Safety Design into the System Model Inproceedings

Romanovsky, Alexander; Troubitsyna, Elena; Bitsch, Friedemann (Hrsg.): Computer Safety, Reliability, and Security, S. 271–285, Springer International Publishing, Cham, 2019, ISBN: 978-3-030-26601-1.

Abstract | Links | BibTeX

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

Integrating Safety Design Artifacts into System Development Models Using SafeDeML Inproceedings

Papadopoulos, Yiannis; Aslansefat, Koorosh; Katsaros, Panagiotis; Bozzano, Marco (Hrsg.): Model-Based Safety and Assessment, S. 93–106, Springer International Publishing, Cham, 2019, ISBN: 978-3-030-32872-6.

Abstract | Links | BibTeX

Filax, Marco; Gonschorek, Tim; Ortmeier, Frank

Data for Image Recognition Tasks: An Efficient Tool for Fine-Grained Annotations Inproceedings

Proceedings of the 8th International Conference on Pattern Recognition Applications and Methods, 2019.

Abstract | Links | BibTeX

2018

Gonschorek, Tim; Filax, Marco; Ortmeier, Frank

A very first Glance on the Safety Analysis of Self-learning Algorithms for Autonomous Cars Inproceedings

Guiochet, Jérémie (Hrsg.): 37th International Conference on Computer Safety, Reliability, & Security. SAFECOMP2018., HAL, 2018.

Links | BibTeX

Kögel, Markus; Andonov, Petar; Filax, Marco; Ortmeier, Frank; Findeisen, Rolf

Predictive Tracking Control of a Camera - Head Mounted Display System subject to Communication Constraints Inproceedings

16th European Control Conference (ECC), S. 1035-1041, 2018.

BibTeX

Klockmann, Maximilian; Filax, Marco; Ortmeier, Frank; Reiß, Martin

On the Similarities of Fingerprints and Railroad Tracks: Using Minutiae Detection Algorithms to digitize Track Plans. Inproceedings

13th IAPR Workshop on Document Analysis Systems (DAS), 2018.

Abstract | BibTeX

Filax, Marco; Ortmeier, Frank

VIOL: Viewpoint Invariant Object Localizator - Viewpoint Invariant Planar Features in Man-Made Environments Inproceedings

Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISAPP), S. 581-588, 2018, ISBN: 978-989-758-290-5.

Abstract | Links | BibTeX

2017

Gonschorek, Tim; Filax, Marco; Ortmeier, Frank

A Verification Environment for Critical Systems: Integrating Formal Methods into the Safety Development Life-cycle Sonstige

Invited Paper: 5th International Symposium on Model-Based Safety and Assessment (IMBSA 2017), 2017.

Links | BibTeX

Filax, Marco; Gonschorek, Tim; Ortmeier, Frank

Building Models we can rely on: Requirements Traceability for Model-based Verification Techniques Inproceedings

Bozzano M., Papadopoulos Y (Hrsg.): Proceedings of the 5th International Symposium on Model-Based Safety and Assessment (IMBSA 2017), S. 3-18, Springer, Cham, 2017, ISBN: 978-3-319-64118-8 .

Abstract | Links | BibTeX

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

Effiziente Sicherheitsnachweisführung mithilfe modellbasierter Systemanalyse Artikel

Signal + Draht, 2017.

Abstract | Links | BibTeX

Filax, Marco; Gonschorek, Tim; Ortmeier, Frank

QuadSIFT: Unwrapping Planar Quadrilaterals to Enhance Feature Matching Inproceedings

Proceedings of the 25rd International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision, WSCG 2017 - Short Papers Proceedings, 2017.

Abstract | Links | BibTeX

2016

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

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

2014

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

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

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