Istvan Majzik
Cited by
Cited by
Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker
D Latella, I Majzik, M Massink
Formal aspects of computing 11, 637-664, 1999
Towards a formal operational semantics of UML statechart diagrams
D Latella, I Majzik, M Massink
International conference on formal methods for open object-based distributed …, 1999
VIATRA-visual automated transformations for formal verification and validation of UML models
G Csertán, G Huszerl, I Majzik, Z Pap, A Pataricza, D Varró
Proceedings 17th IEEE International Conference on Automated Software …, 2002
Dependability analysis in the early phases of UML-based system design
A Bondavalli, M Dal Cin, D Latella, I Majzik, A Pataricza, G Savoia
Comput. Syst. Sci. Eng. 16 (5), 265-275, 2001
Stochastic dependability analysis of system architecture based on UML models
I Majzik, A Pataricza, A Bondavalli
Architecting dependable systems, 219-244, 2007
Automated dependability analysis of UML designs
A Bondavalli, I Majzik, I Mura
Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time …, 1999
Automatic dependability analysis for supporting design decisions in UML
A Bondavalli, I Majzik, I Mura
Proceedings 4th IEEE International Symposium on High-Assurance Systems …, 1999
Quantitative analysis of UML statechart models of dependable systems
G Huszerl, I Majzik, A Pataricza, K Kosmidis, M Dal Cin
The computer journal 45 (3), 260-277, 2002
Theta: a framework for abstraction refinement-based model checking
T Tóth, Á Hajdu, A Vörös, Z Micskei, I Majzik
2017 Formal Methods in Computer Aided Design (FMCAD), 176-179, 2017
A concept for testing robustness and safety of the context-aware behaviour of autonomous systems
Z Micskei, Z Szatmári, J Oláh, I Majzik
Agent and Multi-Agent Systems. Technologies and Applications: 6th KES …, 2012
Formal verification of safety PLC based control software
D Darvas, I Majzik, E Blanco Vińuela
Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016
Checking general safety criteria on UML statecharts
Z Pap, I Majzik, A Pataricza
International Conference on Computer Safety, Reliability, and Security, 46-55, 2001
UML-based design and formal analysis of a safety-critical railway control software module
A Pataricza, I Majzik, G Huszerl, G Várnai
Safety 48 (48V), 48V, 2003
Program code generation based on UML statechart models
G Pintér, I Majzik
Periodica Polytechnica Electrical Engineering (Archives) 47 (3-4), 187-204, 2003
Towards system-level testing with coverage guarantees for autonomous vehicles
I Majzik, O Semeráth, C Hajdu, K Marussy, Z Szatmári, Z Micskei, A Vörös, ...
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019
The Gamma statechart composition framework: design, verification and code generation for component-based reactive systems
V Molnár, B Graics, A Vörös, I Majzik, D Varró
Proceedings of the 40th International Conference on Software Engineering …, 2018
Watchdog processors in parallel systems
A Pataricza, I Majzik, W Hohl, J Hönig
Microprocessing and Microprogramming 39 (2-5), 69-74, 1993
Methods of checking general safety criteria in UML statechart specifications
Z Pap, I Majzik, A Pataricza, A Szegi
Reliability Engineering & System Safety 87 (1), 89-107, 2005
Completeness and consistency analysis of UML statechart specifications
Z Pap, I Majzik, A Pataricza, A Szegi
Proc. of IEEE Design and Diagnostics of Electronic Circuits and Systems …, 2001
Model-based integration, execution and certification of development tool-chains
B Polgár, I Ráth, Z Szatmári, A Horvath, I Majzik
Model Driven Tool and Process Integration 35, 2009
Workflow-driven tool integration using model transformations
A Balogh, G Bergmann, G Csertán, L Gönczy, Á Horváth, I Majzik, ...
Graph Transformations and Model-Driven Engineering: Essays Dedicated to …, 2010
PLC code generation based on a formal specification language
D Darvas, EB Vińuela, I Majzik
2016 IEEE 14th International Conference on Industrial Informatics (INDIN …, 2016
Multiprocessor checking using watchdog processors
I Majzik, W Hohl, A Pataricza, V Sieh
Computer Systems Science and Engineering 11 (5), 301-310, 1996
Formális módszerek az informatikában
P András
Typotex, 2006
Automatic code generation based on formally analyzed UML statechart models
G Pintér, I Majzik
Formal Methods for Railway Operation and Control Systems, 15-16, 2003
Robustness testing techniques and tools
Z Micskei, H Madeira, A Avritzer, I Majzik, M Vieira, N Antunes
Resilience assessment and evaluation of computing systems, 323-339, 2012
Automatic generation of executable assertions for runtime checking temporal requirements
G Pintér, I Majzik
Ninth IEEE International Symposium on High-Assurance Systems Engineering …, 2005
A data mining approach to identify key factors in dependability experiments
G Pintér, H Madeira, M Vieira, I Majzik, A Pataricza
Dependable Computing-EDCC 5: 5th European Dependable Computing Conference …, 2005
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, 200-207, 2001
An integrated framework for the dependability evaluation of distributed mobile applications
M Kovács, P Lollini, I Majzik, A Bondavalli
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software …, 2008
Model-based automatic test generation for event-driven embedded systems using model checkers
Z Micskei, I Majzik
2006 International Conference on Dependability of Computer Systems, 191-198, 2006
Modeling and analysis of exception handling by using UML statecharts
G Pintér, I Majzik
Scientific Engineering of Distributed Java Applications: 4th International …, 2005
Mixed-semantics composition of statecharts for the component-based design of reactive systems
B Graics, V Molnár, A Vörös, I Majzik, D Varró
Software and Systems Modeling 19, 1483-1517, 2020
A configurable CEGAR framework with interpolation-based refinements
Á Hajdu, T Tóth, A Vörös, I Majzik
Formal Techniques for Distributed Objects, Components, and Systems: 36th …, 2016
Verification of UML statechart models of embedded systems
A Darvas, I Majzik, B Beny
Proc. 5th IEEE Design and Diagnostics of Electronic Circuits and Systems …, 2002
Integration of OLAP and data mining for analysis of results from dependability evaluation experiments
G Pintér, H Madeira, M Vieira, I Majzik, A Pataricza
International Journal of Knowledge Management Studies 2 (4), 480-498, 2008
Robustness testing techniques for high availability middleware solutions
Z Micskei, I Majzik, F Tam
Proc. Int. Workshop on Engineering of Fault Tolerant Systems (EFTS 2006 …, 2006
Scenario-based automated evaluation of test traces of autonomous systems
G Horányi, Z Micskei, I Majzik
SAFECOMP 2013-Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and …, 2013
Comparing robustness of AIS-based middleware implementations
Z Micskei, I Majzik, F Tam
Service Availability: 4th International Service Availability Symposium, ISAS …, 2007
A formal specification method for PLC-based applications
D Darvas, E Blanco Vinuela, I Majzik
A model based framework for specifying and executing fault injection experiments
J Oláh, I Majzik
2009 Fourth International Conference on Dependability of Computer Systems …, 2009
Design and evaluation of a safe driver machine interface
A Bondavalli, A Ceccarelli, J Grřnbćk, D Iovino, L Kárná, Š Klapka, ...
International Journal of Performability Engineering 5 (2), 153, 2009
Towards dependability modeling of FT-CORBA architectures
I Majzik, G Huszerl
European Dependable Computing Conference, 121-139, 2002
PLC program translation for verification purposes
D Darvas, I Majzik, EB Vińuela
Periodica Polytechnica Electrical Engineering and Computer Science 61 (2 …, 2017
Runtime verification of statechart implementations
G Pintér, I Majzik
Architecting Dependable Systems III, 148-172, 2005
Hierarchical checking of multiprocessors using watchdog processors
I Majzik, A Pataricza, MD Cin, W Hohl, J Hönig, V Sieh
Dependable Computing—EDCC-1: First European Dependable Computing Conference …, 1994
Design and analysis of fault tolerant architectures by model weaving
P Domokos, I Majzik
Ninth IEEE International Symposium on High-Assurance Systems Engineering …, 2005
Lazy reachability checking for timed automata using interpolants
T Tóth, I Majzik
Formal Modeling and Analysis of Timed Systems: 15th International Conference …, 2017
The hidenets holistic approach for the analysis of large critical mobile systems
A Bondavalli, O Hamouda, M Kaâniche, P Lollini, I Majzik, HP Schwefel
IEEE Transactions on Mobile Computing 10 (6), 783-796, 2010
Industrial applications of the PetriDotNet modelling and analysis tool
A Vörös, D Darvas, Á Hajdu, A Klenik, K Marussy, V Molnár, T Bartha, ...
Science of Computer Programming 157, 17-40, 2018
Generic representation of PLC programming languages for formal verification
D Darvas, I Majzik, E Blanco Vińuela
23rd PhD Mini-Symposium, 6-9, 2016
Tool-supported dependability evaluation of redundant architectures in computer based control systems
I Majzik, P Domokos, M Magyar
Proc. FORMS/FORMAT, 342-352, 2007
Concurrent error detection using watchdog processors
I Majzik
Fault-Tolerant Computing Symposium, 1996
A proposal of an example and experiments repository to foster industrial adoption of formal methods
R Schlick, M Felderer, I Majzik, R Nardone, A Raschke, C Snook, ...
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models
K Marussy, A Klenik, V Molnár, A Vörös, I Majzik, M Telek
Application and Theory of Petri Nets and Concurrency: 37th International …, 2016
Uml based design of time triggered systems
I Majzik, G Pintér, PT Kovács
Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed …, 2004
Concurrent Error Detection of Program Execution Based on Statechart Specification
I Majzik, J Jávorszky, A Pataricza, E Selényi
Österreichische Computer Gesellschaft (ÖCG), 1999
Automatic Dependability Modeling of Systems Described in UML
I Majzik, A Bondavalli
IEEE Computer Society Press, 1998
Conformance checking for programmable logic controller programs and specifications
D Darvas, I Majzik, EB Vińuela
2016 11th IEEE Symposium on Industrial Embedded Systems (SIES), 1-8, 2016
PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research
A Vörös, D Darvas, V Molnár, A Klenik, Á Hajdu, A Jámbor, T Bartha, ...
Application and Theory of Petri Nets and Concurrency: 37th International …, 2016
From structural UML diagrams to Timed Petri nets
A Bondavalli, I Majzik, I Mura
European ESPRIT Project 27439, 1998
Model-based regression testing of autonomous robots
D Honfi, G Molnár, Z Micskei, I Majzik
SDL 2017: Model-Driven Engineering for Future Internet: 18th International …, 2017
Component-wise incremental LTL model checking
V Molnár, A Vörös, D Darvas, T Bartha, I Majzik
Formal Aspects of Computing 28, 345-379, 2016
A resilient SIL 2 driver machine interface for train control systems
A Ceccarelli, I Majzik, D Iovino, F Caneschi, G Pinter, A Bondavalli
2008 Third International Conference on Dependability of Computer Systems …, 2008
Impact of statechart implementation techniques on the effectiveness of fault detection mechanisms
G Pinter, I Majzik
Proceedings. 30th Euromicro Conference, 2004., 136-143, 2004
MDD-based design, configuration, and monitoring of resilient cyber-physical systems
L Gönczy, I Majzik, S Bozóki, A Pataricza
Trustworthy Cyber-Physical Systems Engineering, 395-420, 2016
Ontology-based Test Data Generation using Metaheuristics.
Z Szatmári, J Oláh, I Majzik
ICINCO (2), 217-222, 2011
Tool support for engineering certifiable software
L Gönczy, I Majzik, A Horváth, D Varró, A Balogh, Z Micskei, A Pataricza
Electronic Notes in Theoretical Computer Science 238 (4), 79-85, 2009
Formal operational semantics for UML 2.0 statecharts
G Pintér, I Majzik
Technical Report at Budapest University of Technology and Economics (DMIS/ESRG), 2005
SEIS: a program control flow graph encoding algorithm for flow checking
M István
Technical University of Budapest, 1994
Lazy reachability checking for timed automata with discrete variables
T Tóth, I Majzik
Model Checking Software: 25th International Symposium, SPIN 2018, Malaga …, 2018
Model checking-based software-FMEA: Assessment of fault tolerance and error detection mechanisms
V Molnár, I Majzik
Requirements towards a formal specification language for PLCs
D Darvas, I Majzik, E Blanco Vińuela
22nd PhD Mini-Symposium, 18-21, 2015
Modelling and model-based assessment
A Bondavalli, P Lollini, I Majzik, L Montecchi
Resilience Assessment and Evaluation of Computing Systems, 153-165, 2012
Model-based Integration Framework for Development and Testing Tool-chains
B Polgár, I Ráth, I Majzik
FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and …, 2011
Modular construction of dependability models from system architecture models: a tool-supported approach
M Magyar, I Majzik
2009 Sixth International Conference on the Quantitative Evaluation of …, 2009
High-level supervision of program execution based on formal specification
G Pintér, I Majzik
Proc. DSN-2004 Workshop on Architecting Dependable Systems, Florence, Italy …, 2004
UML based Visual Design of Embedded Systems
I Majzik, G Pintér, PT Kovács
Proc. The 7th IEEE International Workshop on Design and Diagnostics of …, 2004
Stochastic Dependability Analysis of System Architecture based on UML Designs
A Bondavalli, I Majzik, A Pataricza
Lecture Notes in Computer Science 2677, 2003
Software monitoring and debugging using compressed signature sequences
I Majzik
Proceedings of EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000 …, 1996
Control flow checking in multitasking systems
I Majzik, A Pataricza
Periodica Polytechnica Electrical Engineering (Archives) 39 (1), 27-36, 1995
What is special about PLC software model checking
D Darvas, EB Vińuela, I Majzik
Proc. 16th Int. Conf. Accel. Large Exp. Phys. Control Syst., THPHA159, 2017
Constraint programming with multi-valued decision diagrams: a saturation approach
V Molnár, I Majzik
24th PhD Mini-Symposium (Minisy@ DMIS 2017), 54-57, 2017
Configurable numerical analysis for stochastic systems
K Marussy, A Klenik, V Molnár, A Voros, M Telek, I Majzik
2016 International Workshop on Symbolic and Numerical Methods for …, 2016
K-induction based verification of real-time safety critical systems
T Tóth, A Vörös, I Majzik
New Results in Dependability and Computer Systems: Proceedings of the 8th …, 2013
Saturation enhanced with conditional locality: application to Petri Nets
V Molnár, I Majzik
Application and Theory of Petri Nets and Concurrency: 40th International …, 2019
Constructing dependability analysis models of reconfigurable production systems
K Marussy, I Majzik
2018 IEEE 14th International Conference on Automation Science and …, 2018
Exploiting hierarchy in the abstraction-based verification of statecharts using SMT solvers
B Czipó, A Hajdu, T Tóth, I Majzik
arXiv preprint arXiv:1703.07350, 2017
The Integra tool integration framework
B Polgár, I Ágoston, G Huhász, I Majzik
Symp. on Programming Languages and Software Tools, 66-77, 2011
Error Detection in Control Flow of Event-Driven State Based Applications
G Pintér, I Majzik
Software Engineering of Fault Tolerant Systems, 150-174, 2007
Model based automatic code generation for embedded systems
G Pintér, I Majzik
Proceedings of the Regional Conference on Embedded and Ambient Systems …, 2007
Development of model based tools to support the design of railway control applications
I Majzik, Z Micskei, G Pintér
Computer Safety, Reliability, and Security: 26th International Conference …, 2007
Temporal analysis of data flow control systems
C Bernardeschi, A Bondavalli, G Csertán, I Majzik, L Simoncini
Automatica 34 (2), 169-182, 1998
A high-speed watchdog processor for multitasking systems
I Majzik, A Pataricza, W Hohl, J Hönig, V Sieh
8th Symposium on microcomputer and microprocessor applications, 1994
Integration Test Generation and Formal Verification for Distributed Controllers
B Graics, I Majzik
30th Minisymposium of the Department of Measurement and Information Systems, 1-4, 2023
Getting the priorities right: saturation for prioritised Petri Nets
K Marussy, V Molnár, A Vörös, I Majzik
Application and Theory of Petri Nets and Concurrency: 38th International …, 2017
Formal modeling of real-time systems with data processing
T Tóth, I Majzik
23rd PhD Mini-Symposium, 46-49, 2016
A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol
T Tóth, A Vörös, I Majzik
Software Engineering for Resilient Systems: 7th International Workshop …, 2015
Automated evaluation of the test traces of autonomous systems
G Horányi, I Majzik
Technical report, BME, 2013
Ontology-based assessment of software models and development processes for safety-critical systems
Z Szatmári, B Izsó, B Polgár, I Majzik
The system can't perform the operation now. Try again later.
Articles 1–100