* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
András Vörös

Registered user since Thu 25 Jan 2018

Name: András Vörös

Bio: András Vörös is a research associate at the Budapest University of Technology and Economics. His main research interest is formal methods and model-driven software and systems engineering. He served as a PC member of FTSCS 2016 (http://www.ftscs.org/) and he is a reviewer of various international conferences in the field like MODELS, FASE, ICGT, DSN and SRDS. He delivered a talk at the RiSE Seminar.

Country: Hungary

Affiliation: Budapest University of Technology and Economics

Personal website: https://inf.mit.bme.hu/en/members/vorosa

Research interests: formal methods, model-based design

Contributions

* ICSE 2018 *Author of The Gamma Statechart Composition Framework: Design, Verification and Code Generation for Component-Based Reactive Systems within the DEMO - Demonstrations -track
Show activities from other conferences

* ICSE 2018 *-profile
View general profile