Search

Now showing items 1-10 of 40

Ontology-Based Test Data Generation Using Metaheuristics

Szatmári, Zoltán; Oláh, János; Majzik, István (2011)

Reachability Analysis of Petri-nets by FPGA Based Accelerators

Csertán Gy; Majzik, István; Pataricza, András; Allmaier S C ([s. n.], 1998)

The HIDENETS Holistic Approach for the Analysis of Large Critical Mobile Systems

A Bondavalli; O. Hamouda; M. Kaâniche; P. Lollini; Majzik, István; H-P. Schwefel (2011)

Workflow-Driven Tool Integration Using Model Transformations

Balogh, András; Bergmann, Gábor; Csertán, György; Gönczy, László; Horváth, Ákos; Majzik, István; Pataricza, András; Polgár, Balázs; Ráth, István Zoltán; Varró, Dániel; Varró, Gergely György (Springer-Verlag, 2010)

Ontology-based assessment of software models and development processes for safety-critical systems

Szatmári, Zoltán; Izsó, Benedek; Polgár, Balázs; Majzik, István (2010)

Model-based Integration Framework for Development and Testing Tool-Chains

Polgár, Balázs; Ráth, István Zoltán; Majzik, István (Springer, 2011)

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

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

From assessment to standardised benchmarking: Will it happen? What could we do about it?

H Madeira; Majzik, István (2009)

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

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

Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported Approach

Magyar, Melinda; Majzik, István (IEEE Computer Society Press, 2009)