István Majzik

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 31

Top Topics

Formal Verification

Top Venues

Period. Polytech. Electr. Eng. Comput. Sci.

Publications

Dániel Szekeres, Kristóf Marussy, István Majzik
A Lazy Abstraction Algorithm for Markov Decision Processes: Theory and Initial Evaluation. CoRR (2024)
Bence Graics, Milán Mondok, Vince Molnár, István Majzik
Model-Based Testing of Asynchronously Communicating Distributed Controllers. FACS (2023)
Bence Graics, Vince Molnár, István Majzik
Component-based specification, design and verification of adaptive systems. Syst. Eng. 26 (5) (2023)
Bence Graics, Vince Molnár, István Majzik
Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers. FMICS (2023)
Dániel Szekeres, István Majzik
Towards Abstraction-based Probabilistic Program Analysis. Acta Cybern. 26 (3) (2023)
Tamás Tóth, István Majzik
Configurable verification of timed automata with discrete variables. Acta Informatica 59 (1) (2022)
Máté Földiák, Kristóf Marussy, Dániel Varró, István Majzik
System architecture synthesis for performability by logic solvers. MoDELS (2022)
Dániel Szekeres, Kristóf Marussy, István Majzik
Tensor-based reliability analysis of complex static fault trees. EDCC (2021)
Bence Graics, Vince Molnár, András Vörös, István Majzik, Dániel Varró
Mixed-semantics composition of statecharts for the component-based design of reactive systems. Softw. Syst. Model. 19 (6) (2020)
Vince Molnár, István Majzik
Saturation Enhanced with Conditional Locality: Application to Petri Nets. Petri Nets (2019)
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ó
Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles. MoDELS (2019)
Kristóf Marussy, István Majzik
Constructing Dependability Analysis Models of Reconfigurable Production Systems. CASE (2018)
Vince Molnár, Bence Graics, András Vörös, István Majzik, Dániel Varró
The Gamma statechart composition framework: : design, verification and code generation for component-based reactive systems. ICSE (Companion Volume) (2018)
Rupert Schlick, Michael Felderer, István Majzik, Roberto Nardone, Alexander Raschke, Colin F. Snook, Valeria Vittorini
A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods. ISoLA (4) (2018)
András Vörös, Dániel Darvas, Ákos Hajdu, Attila Klenik, Kristóf Marussy, Vince Molnár, Tamás Bartha, István Majzik
Industrial applications of the PetriDotNet modelling and analysis tool. Sci. Comput. Program. 157 (2018)
Tamás Tóth, István Majzik
Lazy Reachability Checking for Timed Automata with Discrete Variables. SPIN (2018)
Tamás Tóth, István Majzik
Formal Verification of Real-Time Systems with Data Processing. Period. Polytech. Electr. Eng. Comput. Sci. 61 (2) (2017)
Vince Molnár, István Majzik
Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms. Period. Polytech. Electr. Eng. Comput. Sci. 61 (2) (2017)
Bence Czipó, Ákos Hajdu, Tamás Tóth, István Majzik
Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers. FESCA@ETAPS (2017)
Tamás Tóth, Ákos Hajdu, András Vörös, Zoltán Micskei, István Majzik
Theta: A framework for abstraction refinement-based model checking. FMCAD (2017)
Kristóf Marussy, Vince Molnár, András Vörös, István Majzik
Getting the Priorities Right: Saturation for Prioritised Petri Nets. Petri Nets (2017)
Tamás Tóth, István Majzik
Lazy Reachability Checking for Timed Automata Using Interpolants. FORMATS (2017)
David Honfi, Gábor Molnár, Zoltán Micskei, István Majzik
Model-Based Regression Testing of Autonomous Robots. SDL Forum (2017)
Dániel Darvas, István Majzik, Enrique Blanco Viñuela
PLC Program Translation for Verification Purposes. Period. Polytech. Electr. Eng. Comput. Sci. 61 (2) (2017)
Kristóf Marussy, Attila Klenik, Vince Molnár, András Vörös, István Majzik, Miklós Telek
Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models. Petri Nets (2016)
András Vörös, Dániel Darvas, Vince Molnár, Attila Klenik, Ákos Hajdu, Attila Jámbor, Tamás Bartha, István Majzik
PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research. Petri Nets (2016)
Vince Molnár, András Vörös, Dániel Darvas, Tamás Bartha, István Majzik
Component-wise incremental LTL model checking. Formal Aspects Comput. 28 (3) (2016)
Dániel Darvas, Enrique Blanco Viñuela, István Majzik
PLC code generation based on a formal specification language. INDIN (2016)
Ákos Hajdu, Tamás Tóth, András Vörös, István Majzik
A Configurable CEGAR Framework with Interpolation-Based Refinements. FORTE (2016)
Dániel Darvas, István Majzik, Enrique Blanco Viñuela
Conformance checking for programmable logic controller programs and specifications. SIES (2016)
Dániel Darvas, István Majzik, Enrique Blanco Viñuela
Formal Verification of Safety PLC Based Control Software. IFM (2016)
Tamás Tóth, András Vörös, István Majzik
A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol. SERENE (2015)
Tamás Tóth, András Vörös, István Majzik
K-Induction Based Verification of Real-Time Safety Critical Systems. DepCoS-RELCOMEX (2013)
Gergo Horányi, Zoltán Micskei, István Majzik
Scenario-based Automated Evaluation of Test Traces of Autonomous Systems. DECS@SAFECOMP (2013)
Zoltán Micskei, Zoltán Szatmári, János Oláh, István Majzik
A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems. KES-AMSTA (2012)
Andrea Bondavalli, Ossama Hamouda, Mohamed Kaâniche, Paolo Lollini, István Majzik, Hans-Peter Schwefel
The HIDENETS Holistic Approach for the Analysis of Large Critical Mobile Systems. IEEE Trans. Mob. Comput. 10 (6) (2011)
János Oláh, István Majzik
Search-Based Functional Test Data Generation Using Data Metamodel. SSBSE (2011)
Zoltán Szatmári, János Oláh, István Majzik
Ontology-based Test Data Generation using Metaheuristics. ICINCO (2) (2011)
András Balogh, Gábor Bergmann, György Csertán, László Gönczy, Ákos Horváth, István Majzik, András Pataricza, Balázs Polgár, István Ráth, Dániel Varró, Gergely Varró
Workflow-Driven Tool Integration Using Model Transformations. Graph Transformations and Model-Driven Engineering (2010)
Balázs Polgár, István Ráth, István Majzik
Model-based Integration Framework for Development and Testing Tool-chains. FORMS/FORMAT (2010)
Melinda Magyar, István Majzik
Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported Approach. QEST (2009)
László Gönczy, István Majzik, Ákos Horváth, Dániel Varró, András Balogh, Zoltán Micskei, András Pataricza
Tool Support for Engineering Certifiable Software. Electron. Notes Theor. Comput. Sci. 238 (4) (2009)
Henrique Madeira, István Majzik
From assessment to standardised benchmarking: Will it happen? What could we do about it? DSN (2009)
János Oláh, István Majzik
A Model Based Framework for Specifying and Executing Fault Injection Experiments. DepCoS-RELCOMEX (2009)
Andrea Bondavalli, István Majzik, Aad P. A. van Moorsel
International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008). DSN (2008)
Andrea Ceccarelli, István Majzik, Danilo Iovino, Fausto Caneschi, Gergely Pintér, Andrea Bondavalli
A Resilient SIL 2 Driver Machine Interface for Train Control Systems. DepCoS-RELCOMEX (2008)
Máté Kovács, Paolo Lollini, István Majzik, Andrea Bondavalli
An integrated framework for the dependability evaluation of distributed mobile applications. SERENE (2008)
Zoltán Micskei, István Majzik, Francis Tam
Comparing Robustness of AIS-Based Middleware Implementations. ISAS (2007)
István Majzik, Zoltán Micskei, Gergely Pintér
Development of Model Based Tools to Support the Design of Railway Control Applications. SAFECOMP (2007)
Zoltán Micskei, István Majzik
Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers. DepCoS-RELCOMEX (2006)
Péter Domokos, István Majzik
Automated Construction of Dependability Models by Aspect-Oriented Modeling and Model Transformation. ARCS Workshops (2006)
Zsigmond Pap, István Majzik, András Pataricza, András Szegi
Methods of checking general safety criteria in UML statechart specifications. Reliab. Eng. Syst. Saf. 87 (1) (2005)
Péter Domokos, István Majzik
Design and Analysis of Fault Tolerant Architectures by Model Weaving. HASE (2005)
Gergely Pintér, István Majzik
Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements. HASE (2005)
Gergely Pintér, Henrique Madeira, Marco Vieira, István Majzik, András Pataricza
A Data Mining Approach to Identify Key Factors in Dependability Experiments. EDCC (2005)
Gergely Pintér, István Majzik
Impact of Statechart Implementation Techniques on the Effectiveness of Fault Detection Mechanisms. EUROMICRO (2004)
Gergely Pintér, István Majzik
Runtime Verification of Statechart Implementations. WADS (2004)
István Majzik, Gergely Pintér, Péter Tamás Kovács
UML Based Design of Time Triggered Systems. ISORC (2004)
Gergely Pintér, István Majzik
Modeling and Analysis of Exception Handling by Using UML Statecharts. FIDJI (2004)
György Csertán, Gábor Huszerl, István Majzik, Zsigmond Pap, András Pataricza, Dániel Varró
VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models. ASE (2002)
Gábor Huszerl, István Majzik, András Pataricza, Konstantinos Kosmidis, Mario Dal Cin
Quantitative Analysis of UML Statechart Models of Dependable Systems. Comput. J. 45 (3) (2002)
István Majzik, Gábor Huszerl
Towards Dependability Modeling of FT-CORBA Architectures. EDCC (2002)
István Majzik, András Pataricza, Andrea Bondavalli
Stochastic Dependability Analysis of System Architecture Based on UML Models. WADS (2002)
Gábor Huszerl, István Majzik
Modeling and Analysis of Redundancy Management in Distributed Object-Oriented Systems by Using UML Statecharts. EUROMICRO (2001)
Andrea Bondavalli, Mario Dal Cin, Diego Latella, István Majzik, András Pataricza, Giancarlo Savoia
Dependability analysis in the early phases of UML-based system design. Comput. Syst. Sci. Eng. 16 (5) (2001)
Zsigmond Pap, István Majzik, András Pataricza
Checking General Safety Criteria on UML Statecharts. SAFECOMP (2001)
Gábor Huszerl, István Majzik
Quantitative analysis of dependability critical systems based on UML statechart models. HASE (2000)
Andrea Bondavalli, Ivan Mura, István Majzik
Automatic Dependability Analysis for Supporting Design Decisions in UML. HASE (1999)
Andrea Bondavalli, Ivan Mura, István Majzik
Automated Dependability Analysis of UML Designs. ISORC (1999)
Diego Latella, István Majzik, Mieke Massink
Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker. Formal Aspects Comput. 11 (6) (1999)
Diego Latella, István Majzik, Mieke Massink
Towards a Formal Operational Semantics of UML Statechart Diagrams. FMOODS (1999)
Cinzia Bernardeschi, Andrea Bondavalli, György Csertán, István Majzik, Luca Simoncini
Temporal analysis of data flow control systems. Autom. 34 (2) (1998)
István Majzik
Software Monitoring and Debugging Using Compressed Signature Sequences. EUROMICRO (1996)
B. Antal, György Csertán, István Majzik, Andrea Bondavalli, Luca Simoncini
Reachability and Timing Analysis in Data Flow Networks: A Case Study. EUROMICRO (1996)
István Majzik, András Pataricza, Mario Dal Cin, Wolfgang Hohl, Joachim Hönig, Volkmar Sieh
Hierarchical Checking of Multiprocessors Using Watchdog Processors. EDCC (1994)
András Pataricza, István Majzik, Wolfgang Hohl, Joachim Hönig
Watchdog processors in parallel systems. Microprocess. Microprogramming 39 (2-5) (1993)