Sprungmarken

Servicenavigation

Hauptnavigation

Sie sind hier:

Hauptinhalt

Falk Howar, Prof. Dr.

Falk Howar, Prof. Dr. Foto von Falk Howar, Prof. Dr.

Telefon
(+49)231 755-7945

Fax
(+49)231 755-7936

Sprechzeiten
Montags 14:30-15:30 (aktuell online).

Bitte schreiben Sie mir eine E-Mail!

Adresse

Raum OH12, 2.009

Inhalt

About Me

I am a professor at the chair for software engineering at Dortmund University of Technology.

I am interested in the development of correct and safe software systems with a particular focus on automated analysis, testing, and verification of such systems. My work is mainly based on automated generation of behavioral models of components, systems, and their environments using dynamic and static analysis techniques, e.g., automata learning, machine learning techniques, symbolic execution, or static code analysis.

I like to work on problems that have a strong motivation in practical challenges. Over the past few years, I applied my research to automotive and aeronautical control software, automated air-traffic management software, and in industrial software development tools.

Publications

Please check the publications page.

Tools

For links and detailed descriptions check the tools page.

  • jConstraints: a constraint solver abstraction layer for Java
  • jDart: a framework for dynamic symbolic execution of Java programs
  • PSYCO: a symbolic behavioral interfaces for Java components
  • RaLib: an extension of LearnLib for Register Automata
  • LearnLib: a library for automata learning

Service

Editor

I am currently one of the managing editors of electronic communications of the European Association of Software Science and Technology (ECEASST)

Program Committees

  • 2020: TACAS 2021, ICGI 2020
  • 2019:  TACAS 2020 (Tool Chair), ETAPS 2020 (Workshop Chair), NFM 2020, JPF-WS 2019, SV-Comp 2020
  • 2018: TACAS 2019, ISoLA 2020 (Chair of industrial track), FMICS (Chair)
  • 2017: TACAS 2018, LearnAut 2017, JPF WS 2017
  • 2016: TACAS 2017, NFM 2016, ICGI 2016, ISoLA 2016
  • 2015: VST2016, SEFM 2015, SOFSEM 2015, JPF WS 2015
  • 2014: Artifact Evaluation of ISSTA 2014 (Chair), SEFM 2014, ICGI 2014, JPF WS 2014, ISoLA 2014
  • 2013: JPF WS 2013
  • 2012: ISoLA 2012, JIMSE 2012
  • 2011: EternalS 2011, Int. ISoLA WS on Machine Learning for Software Construction
  • 2010: RERS Workshop at ISoLA 2010

In the News