Kontakt
E-Mail:
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