Registered user since Mon 28 May 2018
Name: Istvan Majzik
Bio: Istvan Majzik is Associate Professor at the Dept. of Measurement and Information Systems of the Budapest University of Technology and Economics. His fields of research and education include construction, evaluation and verification of dependable and safety critical computer systems. He is author or co-author of more than 50 journal or conference papers. He was co-chair of the 31st International Symposium on Reliable Distributed Systems, and he is regular programme committee member of international scientific conferences.
Affiliation: Budapest University of Technology and Economics
Personal website: http://www.mit.bme.hu/eng/general/staff/majzik
Research interests: Software verification, Formal methods, Dependable computer systems
|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|