Loading [MathJax]/extensions/MathMenu.js
István Majzik - IEEE Xplore Author Profile
Subscribe
ADVANCED SEARCH

Author details

< Back

István Majzik

Also published under: I. Majzik, Istvan Majzik

Publications
25
Citations
232
Publications by Year
19962021
Co-Authors:
Show All Co-Authors (39)
Image of author István Majzik

István Majzik

Also published under: I. Majzik, Istvan Majzik

Affiliation

Dept. of Meas. and Inform. Syst.
Budapest Univ. of Technol. and Econ.
Budapest, Hungary

Publication Topics

Biography

Istvan Majzik received the MSc and PhD degrees in electrical engineering from the Budapest University of Technology and Economics in 1992 and 1997, respectively. He is currently an associate professor in the Department of Measurement and Information Systems of the same University, where he is conducting research on dependable computing and software verification. He was the recipient of the Bolyai Fellowship of the Hungarian Academy of Sciences, the CNR-NATO Research Fellowship, and the IBM Faculty Award. He has published more than 60 technical papers in peer-reviewed journals and conference proceedings. He has participated in many research projects funded by the European Community and has served regularly in the organization and program com...
Publications
25
Citations
232
Publications by Year
19962021
Co-Authors:
Show All Co-Authors (39)
Author's Published Works

Showing 1-25 of 25 results

  • Sort

Filter Results

Show

Sort By

Results

Tensor-based reliability analysis of complex static fault trees: Regular paper

Dániel Szekeres;Kristóf Marussy;István Majzik

2021 17th European Dependable Computing Conference (EDCC)
Year: 2021 | Conference Paper |
Cited by: Papers (1)
Fault Tree Analysis is widely used in the reliability evaluation of critical systems, such as railway and automotive systems, power grids, and nuclear power plants. While there are efficient algorithms for calculating the probability of failure in static fault trees, Mean Time to First Failure (MTFF) evaluation remains challenging due to state space explosion. Recently, structural and symmetry red...Show More

Tensor-based reliability analysis of complex static fault trees: Regular paper

Dániel Szekeres;Kristóf Marussy;István Majzik

Year: 2021 | Conference Paper |

Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles

István Majzik;Oszkár Semeráth;Csaba Hajdu;Kristóf Marussy;Zoltán Szatmári;Zoltán Micskei;András Vörös;Aren A. Babikian;Dániel Varró

2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS)
Year: 2019 | Conference Paper |
Cited by: Papers (28)
Since safety-critical autonomous vehicles need to interact with an immensely complex and continuously changing environment, their assurance is a major challenge. While systems engineering practice necessitates assurance on multiple levels, existing research focuses dominantly on component-level assurance while neglecting complex system-level traffic scenarios. In this paper, we aim to address the ...Show More

Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles

István Majzik;Oszkár Semeráth;Csaba Hajdu;Kristóf Marussy;Zoltán Szatmári;Zoltán Micskei;András Vörös;Aren A. Babikian;Dániel Varró

Year: 2019 | Conference Paper |

Constructing Dependability Analysis Models of Reconfigurable Production Systems

Kristóf Marussy;István Majzik

2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)
Year: 2018 | Conference Paper |
Cited by: Papers (1)
Model-driven engineering methodologies are often used for the design and integration of the software and hardware components in automated production systems. Architecture models in general purpose or domain specific modeling languages allow the modular and systematic construction of formal analysis models for the evaluation of dependability and performability. The on-line reconfiguration and fault...Show More

Constructing Dependability Analysis Models of Reconfigurable Production Systems

Kristóf Marussy;István Majzik

Year: 2018 | Conference Paper |

The Gamma Statechart Composition Framework: Design, Verification and Code Generation for Component-Based Reactive Systems

Vince Molnár;Bence Graics;András Vörös;István Majzik;Dániel Varró

2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion)
Year: 2018 | Conference Paper |
Cited by: Papers (1)
The Gamma Statechart Composition Framework is an integrated tool to support the design, verification and validation as well as code generation for component-based reactive systems. The behavior of each component is captured by a statechart, while assembling the system from components is driven by a domain-specific composition language. Gamma automatically synthesizes executable Java code extending...Show More

The Gamma Statechart Composition Framework: Design, Verification and Code Generation for Component-Based Reactive Systems

Vince Molnár;Bence Graics;András Vörös;István Majzik;Dániel Varró

Year: 2018 | Conference Paper |

Theta: A framework for abstraction refinement-based model checking

Tamás Tóth;Ákos Hajdu;András Vörös;Zoltán Micskei;István Majzik

2017 Formal Methods in Computer Aided Design (FMCAD)
Year: 2017 | Conference Paper |
Cited by: Papers (24)
In this paper, we present Theta, a configurable model checking framework. The goal of the framework is to support the design, execution and evaluation of abstraction refinement-based reachability analysis algorithms for models of different formalisms. It enables the definition of input formalisms, abstract domains, model interpreters, and strategies for abstraction and refinement. Currently it con...Show More

Theta: A framework for abstraction refinement-based model checking

Tamás Tóth;Ákos Hajdu;András Vörös;Zoltán Micskei;István Majzik

Year: 2017 | Conference Paper |

PLC code generation based on a formal specification language

Dániel Darvas;Enrique Blanco Viñuela;István Majzik

2016 IEEE 14th International Conference on Industrial Informatics (INDIN)
Year: 2016 | Conference Paper |
Cited by: Papers (12)
The complexity and quality needs of PLC-based control system software have largely increased. Formal specification methods can help to cope with these needs. Besides formal verification, another benefit of a formal specification language is the possibility to provide automatic generation of the final source code. This paper overviews PLCspecif, our formal specification language for PLC programs an...Show More

PLC code generation based on a formal specification language

Dániel Darvas;Enrique Blanco Viñuela;István Majzik

Year: 2016 | Conference Paper |

Conformance checking for programmable logic controller programs and specifications

Dániel Darvas;István Majzik;Enrique Blanco Viñuela

2016 11th IEEE Symposium on Industrial Embedded Systems (SIES)
Year: 2016 | Conference Paper |
Cited by: Papers (4)
Verification of industrial control systems' software is an important task, as the cost of failure in these systems is typically high. Formal verification methods can complement the currently used testing techniques, especially if requirements are formally specified. Behavioural specifications can be used to perform conformance checking against the implementation. However, the typical conformance r...Show More

Conformance checking for programmable logic controller programs and specifications

Dániel Darvas;István Majzik;Enrique Blanco Viñuela

Year: 2016 | Conference Paper |

Configurable numerical analysis for stochastic systems

Kristof Marussy;Attila Klenik;Vince Molnar;Andras Voros;Miklos Telek;Istvan Majzik

2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR)
Year: 2016 | Conference Paper |
Stochastic aspects of complex systems require more and more involved analysis approaches. Answering reachability and related analysis questions can often be reduced to steady-state, transient, reward or sensitivity value analysis of stochastic models. In this paper we introduce a configurable stochastic analysis framework which supports the user to combine explicit, symbolic and numerical algorith...Show More

Configurable numerical analysis for stochastic systems

Kristof Marussy;Attila Klenik;Vince Molnar;Andras Voros;Miklos Telek;Istvan Majzik

Year: 2016 | Conference Paper |

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

Andrea Bondavalli;Ossama Hamouda;Mohamed Kaâniche;Paolo Lollini;Istvan Majzik;Hans-Peter Schwefel

IEEE Transactions on Mobile Computing
Year: 2011 | Volume: 10, Issue: 6 | Journal Article |
Cited by: Papers (7)
Dealing with large, critical mobile systems and infrastructures where ongoing changes and resilience are paramount leads to very complex and difficult challenges for system evaluation. These challenges call for approaches that are able to integrate several evaluation methods for the quantitative assessment of QoS indicators which have been applied so far only to a limited extent. In this paper, we...Show More

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

Andrea Bondavalli;Ossama Hamouda;Mohamed Kaâniche;Paolo Lollini;Istvan Majzik;Hans-Peter Schwefel

Year: 2011 | Volume: 10, Issue: 6 | Journal Article |

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

Melinda Magyar;István Majzik

2009 Sixth International Conference on the Quantitative Evaluation of Systems
Year: 2009 | Conference Paper |
Cited by: Papers (2)
Model based dependability analysis can be used to evaluate the effects of architectural choices on system level availability and reliability. In component based systems the dependability model is built typically from sub-models that are assigned to components or subsystems and represent the local fault occurrences and error propagation. We describe the design and application of a tool that is able...Show More

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

Melinda Magyar;István Majzik

Year: 2009 | Conference Paper |

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

Henrique Madeira;Istvan Majzik

2009 IEEE/IFIP International Conference on Dependable Systems & Networks
Year: 2009 | Conference Paper |
Cited by: Patents (1)
Cost pressure, short time to market, and increased complexity are responsible for an evident increase of the failure rate of computing systems, while the cost of failures is growing rapidly, as a result of an unprecedented degree of dependence of our society on computing systems. The combination of these factors has created a dependability and security gap that is often perceived by users as a lac...Show More

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

Henrique Madeira;Istvan Majzik

Year: 2009 | Conference Paper |

A Model Based Framework for Specifying and Executing Fault Injection Experiments

János Olah;István Majzik

2009 Fourth International Conference on Dependability of Computer Systems
Year: 2009 | Conference Paper |
Cited by: Papers (6)
Dependability is a fundamental property of computer systems operating in critical environment. The measurement of dependability (and thus the assessment of the solutions applied to improve dependability) typically relies on controlled fault injection experiments that are able to reveal the behavior of the system in case of faults (to test error handling and fault tolerance) or extreme input condit...Show More

A Model Based Framework for Specifying and Executing Fault Injection Experiments

János Olah;István Majzik

Year: 2009 | Conference Paper |

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

Andrea Bondavalli;Istvan Majzik;Aad van Moorsel

2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN)
Year: 2008 | Conference Paper |
This workshop summary gives a brief overview of the workshop on ldquoResilience Assessment and Dependability Benchmarkingrdquo held in conjunction with the 38th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2008). The workshop aims at the presentation and exchange of ideas from the world wide research community and fostering discussions in order to give answers to the ...Show More

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

Andrea Bondavalli;Istvan Majzik;Aad van Moorsel

Year: 2008 | Conference Paper |

A Resilient SIL 2 Driver Machine Interface for Train Control Systems

Andrea Ceccarelli;Istvan Majzik;Danilo Iovino;Fausto Caneschi;Gergely Pinter;Andrea Bondavalli

2008 Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX
Year: 2008 | Conference Paper |
Cited by: Papers (4)
In railway train-borne equipment, the driver machine interface (DMI) acts like a bridge between the train driver and the onboard automatic train control system (European Vital Computer, EVC). While the DMI is required to operate in a critical context, current DMIs have no safety requirements. This implies that the EVC may automatically stop the train whenever the DMI is suspected to misbehave, lea...Show More

A Resilient SIL 2 Driver Machine Interface for Train Control Systems

Andrea Ceccarelli;Istvan Majzik;Danilo Iovino;Fausto Caneschi;Gergely Pinter;Andrea Bondavalli

Year: 2008 | Conference Paper |

Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers

Zoltan Micskei;Istvan Majzik

2006 International Conference on Dependability of Computer Systems
Year: 2006 | Conference Paper |
Cited by: Papers (5)
Testing is an essential, but time and resource consuming activity in the software development process. In the case of model-based development, among other subtasks test construction and test execution can be partially automated. Our paper describes the implementation of a test generator framework that uses an external model checker to construct test sequences. The possible configurations of the mo...Show More

Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers

Zoltan Micskei;Istvan Majzik

Year: 2006 | Conference Paper |

Automatic generation of executable assertions for runtime checking temporal requirements

G. Pinter;I. Majzik

Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05)
Year: 2005 | Conference Paper |
Cited by: Papers (7) | Patents (2)
Checking various temporal requirements is a key dependability concern in safety-critical systems. As model-checking approaches do not scale well to systems of high complexity the runtime verification of temporal requirements has received a growing attention recently. This paper presents a code-generation based method for runtime evaluation of linear temporal logic formulae over program execution t...Show More

Automatic generation of executable assertions for runtime checking temporal requirements

G. Pinter;I. Majzik

Year: 2005 | Conference Paper |

Design and analysis of fault tolerant architectures by model weaving

P. Domokos;I. Majzik

Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05)
Year: 2005 | Conference Paper |
Cited by: Papers (3)
Aspect-oriented modeling is proposed to design the architecture of fault tolerant systems. Notations are introduced that support the separate and modularized design of functional and dependability aspects in UML class diagrams. This notation designates sensitive parts of the architecture and selected architecture patterns that implement common redundancy techniques. A model weaver is presented tha...Show More

Design and analysis of fault tolerant architectures by model weaving

P. Domokos;I. Majzik

Year: 2005 | Conference Paper |

Impact of statechart implementation techniques on the effectiveness of fault detection mechanisms

G. Pinter;I. Majzik

Proceedings. 30th Euromicro Conference, 2004.
Year: 2004 | Conference Paper |
Cited by: Papers (1)
This work presents the analysis of an experiment series aiming at the discovery of the impact of two inherently different statechart implementation methods on the behavior of the resulting executables in the presence of faults. The discussion identifies the key features of implementation techniques influencing the effectiveness of standard fault detection mechanisms (memory protection, assertions ...Show More

Impact of statechart implementation techniques on the effectiveness of fault detection mechanisms

G. Pinter;I. Majzik

Year: 2004 | Conference Paper |

UML based design of time triggered systems

I. Majzik;G. Pinter;P.T. Kovacs

Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. Proceedings.
Year: 2004 | Conference Paper |
Cited by: Papers (2)
This paper presents how the platform-specific development environment of time-triggered (TT) systems can be integrated with a visual design toolkit based on UML. The built-in facilities of UML and the modeling extensions introduced by us enable the unification of the advantages provided by both the embedded development environment and the UML tools. UML offers visual design, automatic code and doc...Show More

UML based design of time triggered systems

I. Majzik;G. Pinter;P.T. Kovacs

Year: 2004 | Conference Paper |

VIATRA - visual automated transformations for formal verification and validation of UML models

G. Csertan;G. Huszerl;I. Majzik;Z. Pap;A. Pataricza;D. Varro

Proceedings 17th IEEE International Conference on Automated Software Engineering,
Year: 2002 | Conference Paper |
The VIATRA (visual automated model transformations) framework is the core of a transformation-based verification and validation environment for improving the quality of systems designed using the Unified Modeling Language by automatically checking consistency, completeness, and dependability requirements. In the current paper, we present an overview of (i) the major design goals and decisions, (ii...Show More

VIATRA - visual automated transformations for formal verification and validation of UML models

G. Csertan;G. Huszerl;I. Majzik;Z. Pap;A. Pataricza;D. Varro

Year: 2002 | Conference Paper |

Modeling and analysis of redundancy management in distributed object-oriented systems by using UML statecharts

G. Huszerl;I. Majzik

Proceedings 27th EUROMICRO Conference. 2001: A Net Odyssey
Year: 2001 | Conference Paper |
Cited by: Papers (8)
The paper presents techniques that enable the modeling and analysis of redundancy schemes in distributed object-oriented systems. The replication manager, as a core part of the redundancy scheme, is modeled by using UML statecharts. The flexibility of the statechart-based modeling, which includes event processing and state hierarchy, enables an easy and efficient modeling of replication strategies...Show More

Modeling and analysis of redundancy management in distributed object-oriented systems by using UML statecharts

G. Huszerl;I. Majzik

Year: 2001 | Conference Paper |

Automatic dependability analysis for supporting design decisions in UML

A. Bondavalli;I. Majzik;I. Mura

Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering
Year: 1999 | Conference Paper |
Even though a thorough system specification improves the quality of the design, it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this paper, we present an application example of one of the activities performed in the European ESPRIT project HIDE, aiming at the creation of an integrated environment where design toolsets based on UML are augmented with mod...Show More

Automatic dependability analysis for supporting design decisions in UML

A. Bondavalli;I. Majzik;I. Mura

Year: 1999 | Conference Paper |

Automated dependability analysis of UML designs

A. Bondavalli;I. Majzik;I. Mura

Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702)
Year: 1999 | Conference Paper |
The paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformation is defined for the generation of models to capture systems dependability attributes, like reliability. The transformation concentrates on structural UML views, available early in the design, to operate at different levels of refinement, and tries to capture only the information rele...Show More

Automated dependability analysis of UML designs

A. Bondavalli;I. Majzik;I. Mura

Year: 1999 | Conference Paper |

Reachability and timing analysis in data flow networks: a case study

B. Antal;G. Csertan;I. Majzik;A. Bondavalli;L. Simoncini

Proceedings of EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000: Hardware and Software Design Strategies
Year: 1996 | Conference Paper |
The need of efficient implementation, safety and performance requires early validation in the design of computer control systems. The detailed timing and reachability analysis in the development process is particularly important if we design equipments or algorithms of high performance and availability. In this paper we present a case study related to the early validation of control systems modele...Show More

Reachability and timing analysis in data flow networks: a case study

B. Antal;G. Csertan;I. Majzik;A. Bondavalli;L. Simoncini

Year: 1996 | Conference Paper |

Software monitoring and debugging using compressed signature sequences

I. Majzik

Proceedings of EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000: Hardware and Software Design Strategies
Year: 1996 | Conference Paper |
Cited by: Papers (1)
Signature based error detection techniques (e.g. the application of watchdog processors) can be easily extended to support software debugging. The run-time sequence of signatures is stored in an extension of the traditional checker. As the signatures identify the states of the program, a trace of the statements executed by the checked processor is available. The signature buffer can be efficiently...Show More

Software monitoring and debugging using compressed signature sequences

I. Majzik

Year: 1996 | Conference Paper |

IEEE Account

Purchase Details

Profile Information

Need Help?

A not-for-profit organization, IEEE is the world's largest technical professional organization dedicated to advancing technology for the benefit of humanity.
© Copyright 2025 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.