Prof. Dr. Maik Merten

Kontakt

E-Mail: Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein.
Telefon: +49(0)228/ 303 - 95672
Adresse: Gescherweg 100, 48161 Münster
Büro: Raum 9124

Sprechstunde: nach Vereinbarung

Kurzprofil

Ich bin promovierter Informatiker mit einem Forschungshintergrund bei Prozessen und maschinellem Lernen, einem Teilgebiet der künstlichen Intelligenz. Durch Projekt- und Lehrtätigkeiten, kombiniert mit ausgeprägter Neugier auf aktuelle Technologien, verfüge ich über praxisnahe Erfahrung mit einer breiten Auswahl von IT-Themen, beispielsweise der Programmierung, Netzwerktechnik, Web-Technologien oder der generellen Architektur von datenverarbeitenden Systemen.

Vita

04/2013	Eintritt in die Bundesfinanzverwaltung als Lehrender für den neu eingerichteten Studiengang Verwaltungsinformatik
01/2013	Promotion auf dem Gebiet maschineller Lernverfahren
2007-2013	Wissenschaftlicher Mitarbeiter am Lehrstuhl für Programmiersysteme an der TU Dortmund
2002-2007	Studium der Informatik mit Nebenfach Physik an der Universität Dortmund (heute: TU Dortmund)

Lehre

Lehrveranstaltungen im gehobenen Verwaltungsinformatikdienst

M 4 Betriebssysteme
M 5 IT-Architekturen und Rechnernetzwerke
M 6 IT-Sicherheit
M 8 Grundlagen der Programmierung
M 10 Web-Technologie

Diplomarbeiten

An dieser Stelle werden zu gegebener Zeit mögliche zu betreuende Diplomarbeitsthemen eingestellt und ausgewählte Diplomarbeiten veröffentlicht.

Veröffentlichungen

Active automata learning for real life applications, M Merten, 2013, Dissertation
Automata Learning with On-the-Fly Direct Hypothesis Construction, M Merten, F Howar, B Steffen, T Margaria, Leveraging Applications of Formal Methods, Verification, and Validation, 248-260, 2012, Springer
Automated inference of models for black box systems based on interface descriptions, M Merten, F Howar, B Steffen, P Pellicione, M Tivoli, Leveraging Applications of Formal Methods, Verification and Validation, 79-96, 2012, Springer
Simplicity Driven Application Development, M Merten, B Steffen, Journal of Integrated Design and Process Science, 2012, IOS Press
Practical Aspects of Active Automata Learning, F Howar, M Merten, B Steffen, T Margaria, Formal Methods for Industrial Critical Systems: A Survey of Applications, Wiley-IEEE Computer Society Press
Automated continuous quality assurance, J Neubauer, B steffen, O Bauer, S Windmuller, M Merten, T Margaria, F Howar, Software Engineering: Rigourous and Agile Approaches (FormSERA), 2012, IEEE
The Teachers' Crowd: The impact of Distributed Oracles on Active Automata Learning, F Howar, O Bauer, M Merten, B Steffen, T Margaria, Leveraging Applications of Formal Methods, Verification, and Validation, 2012, Springer Berlin Heidelberg
Never-stop learning: Continuous validation of learned models for evolving systems through monitoring, A Bertolino, A Calabrò, M Merten, B Steffen, ERCIM News 2012 (88)
LearnLib tutorial: from finite automata to register interface programs, F Howar, M Isberner, M Merten, B Steffen, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012, Springer Berlin Heidelberg
The RERS grey-box challenge 2012: analysis of event-condition-action systems, F Howar, M Isberner, M Merten, B Steffen, D Beyer, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012, Springer Berlin Heidelberg
Demonstrating learning of register automata, M Merten, F Howar, B Steffen, S Cassel, B Jonsson, Tools and Algorithms for the Construction and Analysis of Systems, 2012, Springer Berlin Heidelberg
Automata Learning with Automated Alphabet Abstraction Refinement, B Steffen, F Howar, M Merten, Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011, Proceedings, Springer Verlag New York Incorporated
A succinct canonical register automaton model, S Cassel, F Howar, B Jonsson, Merten, B Steffen, Automated Technologogy for Verification and Analysis, 2011, Springer Berlin Heidelberg
Introduction to active automata learning from a practical perspective, B Steffen, F Howar, M Merten, Formal Methods for Eternal Networked Software Systems, 256-296, 2011, Springer
Next generation LearnLib, M Merten, B Steffen, F Howar, T Margaria, Tools and Algorithms for the Construction and Analysis of Systems, 220-223, 2011, Springer
Automata learning with automated alphabet abstraction refinement, F Howar, B Steffen, M Merten, Verification, Model Checking, and Abstract Interpretation, 2011, Springer Berlin Heidelberg
Finding Counterexamples Fast: Leassons learned in the ZULU challenge, 2010, F Howar, B Steffen, M Merten
From ZULU to RERS, F Howar, B Steffen, M Merten, Leveraging Applications of Formal Methods, Verification, and Validation, 2010, Springer Berlin Heidelberg
On Handling Data in Automata Learning, F Howar, B Jonsson, M Merten, B Steffen, S Cassel, Leveraging Applications of Formal Methods, Verification, and Validation, 221-235, 2010, Springer
Dynamic testing via automata learning, H Raffelt, M Merten, B Steffen, T Margaria, International journal on software tools for technology transfer 11 (4), 307-324, 2009, Springer
Hybrid test of web applications with webtest, H Raffelt, T Margaria, B Steffen, M Merten, Proceedings of the 2008 workshop on Testing, analysis, and verfication of webservices and applications, ACM, 2008