* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
Istvan Majzik

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.

Country: Hungary

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

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