Search

Now showing items 21-30 of 62

VIATRA: Visual Automated Transformations for Formal Verification and Validation of UML Models

Csertán, György; Huszerl, Gábor; Majzik, István; Pap Zs; Pataricza, András; Varró, Dániel (IEEE Press, 2002)

Megbízhatósági modellek automatikus generálása gráftranszformációval

Domokos P; Majzik, István; Varró, Dániel (Erdélyi Múzeum-Egyesület (EME), 2004)

Tool Support for Engineering Certifiable Software

Gönczy, László; Majzik, István; Horváth, Ákos; Varró, Dániel; Balogh András; Micskei, Zoltán Imre; Pataricza, András (2008)

Generic Representation of PLC Programming Languages for Formal Verification

Darvas, Dániel; Majzik, István; Blanco Viñuela, Enrique (2016)

Evaluation of Fault Tolerance Mechanisms with Model Checking

Molnár, Vince; Majzik, István (2016)

Robustness Comparison of High Availability Middleware Systems

Micskei, Zoltán; Majzik, István (2007)

International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008)

A Bondavalli; Majzik, István; A van Moorsel (2008)

Supporting design and development of safety critical applications by model based tools

Pintér, Gergely; Micskei, Zoltán Imre; Majzik, István (2009)

Aspect-Oriented Modelling and Analysis of Information Systems

Majzik, István; P Domokos (Budapest University of Technology and Economics, 2007)

In this paper we introduce an approach of aspect-oriented modelling and analysis of information systems. First we give an overview of the concepts of Aspect Oriented Programming and provide an outlook to model aspect-oriented ...

Model-based Integration, Execution and Certiﬁcation of Development Tool-chains

Polgár, Balázs; Ráth, István Zoltán; Szatmári, Zoltán; Adam Horvath; Majzik, István (2009)

1
2
3
4
5
6
. . .
7