Dr. Maik Merten

Kontakt

E-Mail: maik.merten@vit-bund.de
Telefon: +49 (0)251 / 8670 - 6784
Telefax: +49 (0)251 / 8670 - 8666
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 Wissenschaflicher 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 9 Modellierung von Systemen und Prozessen
  • Fremdsprachenunterricht Fachenglisch

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

Additional information