András Vörös

Registered user since Thu 25 Jan 2018

Name:András Vörös

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 ( 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.

Affiliation:Budapest University of Technology and Economics
Research interests:formal methods, model-based design


MODELS 2020 Author of Mixed-semantics composition of statecharts for the component-based design of reactive systems within the Technical Track-track
MeTRiD 2019 Committee Member in Program Committee within the MeTRiD-track
* ICSE 2018 * Author of The Gamma Statechart Composition Framework: Design, Verification and Code Generation for Component-Based Reactive Systems within the DEMO - Demonstrations -track