Martin Fabian

Professor

Chalmers tekniska högskola

Sweden

Research Interests

Explore related searches

Professors in Sweden

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

About

Professor Martin Fabian is a faculty member at Chalmers tekniska högskola in Sweden. His research interests focus on formal methods in software engineering, particularly in the context of autonomous driving software, safety PLC code testing, and the synthesis of finite automata. Professor Fabian also explores data-driven approaches in manufacturing and optimization algorithms for bin packing and covering.

Articles (6)

Year:

2022

Year:

2021

Year:

2021

Year:

2021

Year:

2021

Year:

2020

Collaborators (3)

Wolfgang Ahrendt

Professor

Chalmers University of Technology

SWEDEN

View details

Wan Fokkink

University of Amsterdam

NETHERLANDS

View details

Martijn Goorden

Aalborg University

DENMARK

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Martin Fabian

Research Interests

Explore related searches

Contact this professor

About

Articles (6)

Automatically Learning Formal Models from Autonomous Driving Software

Compositional coordinator synthesis of extended finite automata

Model properties for efficient synthesis of nonblocking modular supervisors

On testing and automatic mending of safety PLC code

On the Use of Equivalence Classes for Optimal and Suboptimal Bin Packing and Bin Covering

Towards data-driven approaches in manufacturing: an architecture to collect sequences of operations

Collaborators (3)

Wolfgang Ahrendt

Wan Fokkink

Martijn Goorden

Make your next move.