MODELS 2020 (series) / 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
| MODELS 2020 | Author of Mixed-semantics composition of statecharts for the component-based design of reactive systems within the Technical Track-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile