I am looking for partners in the research area.

I am looking for partners interested in the Horizon Europe Call.

I am looking for partners for the Horizon Europe research area.

I am looking for laboratory facilities in the research/application area.

Researcher

Balázs Farkas

H-1111 Budapest, Stoczek u. 2. St. Building, 1. floor 111

+3614633656

farkas.balazs@kjk.bme.hu

Groups

Rail Traffic Control and Safety Research Group

Faculty

Faculty of Transportation Engineering and Vehicle Engineering

Department

Department of Control for Transportation and Vehicle Systems

Research keywords: · railway,safety,formal methods
Horizon Europe keywords: · Smart and sustainable transport and mobility

Publications Conferences

Publications

Balázs Farkas, Tamás Bartha: Formal modeling of the design of railway safety devices using Petri nets: identification of track paths using T-invariants, IFFK 2021

Bálint Boldis, Balázs Farkas, Béla Székely: Solving optimization tasks during the design of safety devices - part 2, Railway Safety World 2019/2

Bálint Boldis, Balázs Farkas, Béla Székely: Solving optimization tasks during the design of safety equipment - part 1, Railway Wiring World 2019/1

Balázs Farkas, Gábor Lukács, Dr. Tamás Bartha: Possibilities of applying formal modeling in the field of railway safety equipment - part 2, Railway Wire world XXII. 3/2017

Balázs Farkas, Gábor Lukács, Dr. Tamás Bartha: Possibilities of applying formal modeling in the field of railway safety equipment - part 1, Railway Wire World XXII. 2/2/2017

Conferences

21st International Scientific Conference TRANSPORT MEANS 2017, pp. 20-22 September 2017, Kaunas, co-author
IFFK 2021, 27-29. October 2021, Budapest, presenter