_MG_0213
_MG_0193
_MG_0196
_MG_0208
previous arrow
next arrow

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

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

Wir nutzen Cookies auf unserer Website. Einige von ihnen sind essenziell für den Betrieb der Seite, während andere uns helfen, diese Website und die Nutzererfahrung zu verbessern (Tracking Cookies). Sie können selbst entscheiden, ob Sie die Cookies zulassen möchten. Bitte beachten Sie, dass bei einer Ablehnung womöglich nicht mehr alle Funktionalitäten der Seite zur Verfügung stehen.