| 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 | 461 | 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 | 331 | 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 | 325 | 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 | 197 | 2001 |
| Stochastic dependability analysis of system architecture based on UML models I Majzik, A Pataricza, A Bondavalli Architecting dependable systems, 219-244, 2007 | 104 | 2007 |
| 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 | 81 | 2017 |
| Automated dependability analysis of UML designs A Bondavalli, I Majzik, I Mura Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time …, 1999 | 81 | 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 | 74 | 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 | 70 | 2002 |
| 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 | 65 | 2016 |
| 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 | 64 | 2012 |
| Checking general safety criteria on UML statecharts Z Pap, I Majzik, A Pataricza International Conference on Computer Safety, Reliability, and Security, 46-55, 2001 | 49 | 2001 |
| 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 | 46 | 2019 |
| 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 | 46 | 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 | 39 | 2003 |
| 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 | 38 | 2018 |
| 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 | 33 | 2005 |
| Watchdog processors in parallel systems A Pataricza, I Majzik, W Hohl, J Hönig Microprocessing and Microprogramming 39 (2-5), 69-74, 1993 | 33 | 1993 |
| 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 | 32 | 2001 |
| 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 (6), 1483-1517, 2020 | 31 | 2020 |
| 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 | 31 | 2016 |
| 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 | 31 | 2012 |
| 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 | 30 | 2009 |
| Formális módszerek az informatikában P András Typotex, 2006 | 29* | 2006 |
| Workflow-driven tool integration using model transformations A Balogh, G Bergmann, G Csertán, L Gönczy, A Horváth, I Majzik, ... Graph Transformations and Model-Driven Engineering: Essays Dedicated to …, 2010 | 28 | 2010 |
| Multiprocessor checking using watchdog processors I Majzik, W Hohl, A Pataricza, V Sieh Computer Systems Science and Engineering 11 (5), 301-310, 1996 | 28 | 1996 |
| 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 | 27 | 2003 |
| 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 | 26 | 2016 |
| 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 | 26 | 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 | 24 | 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 | 24 | 2001 |
| 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 | 22 | 2006 |
| PLC program translation for verification purposes D Darvas, I Majzik, EB Vińuela Periodica Polytechnica Electrical Engineering and Computer Science 61 (2 …, 2017 | 21 | 2017 |
| 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 | 21 | 2008 |
| Modeling and analysis of exception handling by using UML statecharts G Pintér, I Majzik Scientific Engineering of Distributed Java Applications: 4th International …, 2005 | 21 | 2005 |
| A formal specification method for PLC-based applications D Darvas, E Blanco Vinuela, I Majzik | 20 | 2015 |
| 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 | 18 | 2013 |
| 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 | 18 | 2006 |
| Towards dependability modeling of FT-CORBA architectures I Majzik, G Huszerl European Dependable Computing Conference, 121-139, 2002 | 18 | 2002 |
| 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, 153-166, 2009 | 17 | 2009 |
| 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 | 17 | 2008 |
| Comparing robustness of AIS-based middleware implementations Z Micskei, I Majzik, F Tam Service Availability: 4th International Service Availability Symposium, ISAS …, 2007 | 17 | 2007 |
| 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 | 16 | 2009 |
| Runtime verification of statechart implementations G Pintér, I Majzik Architecting Dependable Systems III, 148-172, 2005 | 16 | 2005 |
| 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 | 16 | 2002 |
| Lazy reachability checking for timed automata using interpolants T Tóth, I Majzik Formal Modeling and Analysis of Timed Systems: 15th International Conference …, 2017 | 14 | 2017 |
| 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 | 14 | 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 | 13 | 2005 |
| 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 | 12 | 2018 |
| 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 | 12 | 2010 |
| Tool-supported dependability evaluation of redundant architectures in computer based control systems I Majzik, P Domokos, M Magyar Proc. FORMS/FORMAT, 342-352, 2007 | 12 | 2007 |
| 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 | 11 | 2018 |
| Generic representation of PLC programming languages for formal verification D Darvas, I Majzik, EB Vińuela Proc. of the 23rd PhD Mini-Symposium, 6-9, 2016 | 11 | 2016 |
| Concurrent error detection using watchdog processors I Majzik Fault-Tolerant Computing Symposium, 1996 | 11 | 1996 |
| 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 | 10 | 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 | 10 | 2008 |
| 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 | 10 | 2004 |
| Concurrent Error Detection of Program Execution Based on Statechart Specification I Majzik, J Jávorszky, A Pataricza, E Selényi na, 1999 | 10 | 1999 |
| Automatic Dependability Modelling of Systems Described in UML I Majzik, A Bondavalli 9th IEEE Int. Symposium on Software Reliability Engineering (ISSRE)-Fast …, 1998 | 10 | 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 | 9 | 2016 |
| 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 | 9 | 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 | 9 | 2016 |
| 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 | 8 | 2017 |
| Impact of statechart implementation techniques on the effectiveness of fault detection mechanisms G Pinter, I Majzik Proceedings. 30th Euromicro Conference, 2004., 136-143, 2004 | 8 | 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, 421-446, 2016 | 7 | 2016 |
| Ontology-based Test Data Generation using Metaheuristics. Z Szatmári, J Oláh, I Majzik ICINCO (2), 217-222, 2011 | 7 | 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 | 7 | 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 | 7 | 2005 |
| From structural UML diagrams to Timed Petri nets A Bondavalli, I Majzik, I Mura European ESPRIT Project 27439, 1998 | 7 | 1998 |
| Configurable verification of timed automata with discrete variables T Tóth, I Majzik Acta Informatica 59 (1), 1-35, 2022 | 6 | 2022 |
| Control flow checking in multitasking systems I Majzik, A Pataricza Periodica Polytechnica Electrical Engineering (Archives) 39 (1), 27-36, 1995 | 6 | 1995 |
| SEIS: A program control flow graph encoding algorithm for control flow checking I Majzik Techn. Univ., 1994 | 6 | 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 | 5 | 2018 |
| Model checking-based software-FMEA: Assessment of fault tolerance and error detection mechanisms V Molnár, I Majzik Periodica Polytechnica Electrical Engineering and Computer Science 61 (2 …, 2017 | 5 | 2017 |
| Requirements towards a formal specification language for PLCs D Darvas, I Majzik, EB Vińuela Proc. of the 22th PhD Mini-Symposium, 18-21, 2015 | 5 | 2015 |
| 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 | 5 | 2013 |
| 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 | 5 | 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 | 5 | 2009 |
| Model based automatic code generation for embedded systems G Pintér, I Majzik Proceedings of the Regional Conference on Embedded and Ambient Systems …, 2007 | 5 | 2007 |
| 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 | 5 | 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 | 5 | 2004 |
| Stochastic Dependability Analysis of System Architecture based on UML Designs A Bondavalli, I Majzik, A Pataricza Lecture Notes in Computer Science 2677, 2003 | 5 | 2003 |
| Software monitoring and debugging using compressed signature sequences I Majzik Proceedings of EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000 …, 1996 | 5 | 1996 |
| Integration test generation and formal verification for distributed controllers B Graics, I Majzik 30TH MINISYMPOSIUM, 1, 2023 | 4 | 2023 |
| 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 | 4 | 2019 |
| 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 | 4 | 2017 |
| 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 | 4 | 2017 |
| Constraint programming with multi-valued decision diagrams: a saturation approach V Molnár, I Majzik BME MIT, 2017 | 4 | 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 | 4 | 2016 |
| Modelling and model-based assessment A Bondavalli, P Lollini, I Majzik, L Montecchi Resilience Assessment and Evaluation of Computing Systems, 153-165, 2012 | 4 | 2012 |
| Model-Based Testing of Asynchronously Communicating Distributed Controllers B Graics, M Mondok, V Molnár, I Majzik International Conference on Formal Aspects of Component Software, 23-44, 2023 | 3 | 2023 |
| Component‐based specification, design and verification of adaptive systems B Graics, V Molnár, I Majzik Systems Engineering 26 (5), 567-589, 2023 | 3 | 2023 |
| System architecture synthesis for performability by logic solvers M Földiák, K Marussy, D Varró, I Majzik Proceedings of the 25th International Conference on Model Driven Engineering …, 2022 | 3 | 2022 |
| Constructing Dependability Analysis Models of Reconfigurable Production Systems K Marussy, I Majzik 2018 IEEE 14th International Conference on Automation Science and …, 2018 | 3 | 2018 |
| 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 | 3 | 2017 |
| The integra tool integration framework B Polgar, I Agoston, G Juhasz, I Majzik Proc. 12th Symp. on Programming Languages and Software Tools, Tallinn …, 2011 | 3 | 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 | 3 | 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 | 3 | 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 | 3 | 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 | 3 | 1994 |
András PatariczaBudapest University of Technology and EconomicsVerified email at vik.bme.hu
