István Majzik

83 papers A* 1A 4B 11C 5Misc 4Journal 19Unranked 36

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