Istvan Majzik
CímIdézteÉv
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 (6), 637-664, 1999
3941999
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
2871999
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
2692002
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
1602001
Stochastic dependability analysis of system architecture based on UML models
I Majzik, A Pataricza, A Bondavalli
Architecting dependable systems, 219-244, 2003
912003
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
701999
Automated dependability analysis of UML designs
A Bondavalli, I Majzik, I Mura
Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time …, 1999
681999
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
582002
Checking general safety criteria on UML statecharts
Z Pap, I Majzik, A Pataricza
International Conference on Computer Safety, Reliability, and Security, 46-55, 2001
452001
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, 2003
432003
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
KES International Symposium on Agent and Multi-Agent Systems: Technologies …, 2012
332012
Watchdog processors in parallel systems
A Pataricza, I Majzik, W Hohl, J Hönig
Microprocessing and Microprogramming 39 (2-5), 69-74, 1993
321993
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, 224-248, 2010
282010
Completeness and consistency analysis of UML statechart specifications
Z Pap, I Majzik, A Pataricza, A Szegi
proceedings IEEE design and diagnostics of electronic circuits and systems …, 2001
282001
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
272009
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
272005
Formális módszerek az informatikában
P András
Typotex, 2006
25*2006
Program code generation based on UML statechart models
G Pintér, I Majzik
Periodica Polytechnica Electrical Engineering 47 (3-4), 187-204, 2003
252003
Formal verification of safety PLC based control software
D Darvas, I Majzik, EB Viñuela
International Conference on Integrated Formal Methods, 508-522, 2016
242016
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
232005
A data mining approach to identify key factors in dependability experiments
G Pintér, H Madeira, M Vieira, I Majzik, A Pataricza
European Dependable Computing Conference, 263-280, 2005
232005
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
222001
Multiprocessor checking using watchdog processors
I Majzik, W Hohl, A Pataricza, V Sieh
Computer Systems Science and Engineering 11 (5), 301-310, 1996
221996
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
212006
Modeling and analysis of exception handling by using UML statecharts
G Pintér, I Majzik
International workshop on scientific engineering of distributed java …, 2004
202004
Automatic code generation based on formally analyzed UML statechart models
G Pintér, I Majzik
Proc. Workshop on Formal Methods for Railway Operation and Control Systems …, 2003
202003
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
182008
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
162002
Comparing robustness of AIS-based middleware implementations
Z Micskei, I Majzik, F Tam
International Service Availability Symposium, 20-30, 2007
152007
Robustness testing techniques for high availability middleware solutions
Z Micskei, I Majzik, F Tam
Proc. of International Workshop on Engineering of Fault Tolerant Systems …, 2006
152006
Runtime verification of statechart implementations
G Pintér, I Majzik
Architecting Dependable Systems III, 148-172, 2005
142005
Towards dependability modeling of FT-CORBA architectures
I Majzik, G Huszerl
European Dependable Computing Conference, 121-139, 2002
142002
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
132008
Hierarchical checking of multiprocessors using watchdog processors
I Majzik, A Pataricza, M Dal Cin, W Hohl, J Hönig, V Sieh
European Dependable Computing Conference, 386-403, 1994
131994
A formal specification method for PLC-based applications
D Darvas, E Blanco Vinuela, I Majzik
122015
Scenario-based automated evaluation of test traces of autonomous systems
G Horányi, Z Micskei, I Majzik
112013
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
112009
Design and analysis of fault tolerant architectures by model weaving
P Domokos, I Majzik
Ninth IEEE International Symposium on High-Assurance Systems Engineering …, 2005
112005
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
102016
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), 2009
102009
Tool-supported dependability evaluation of redundant architectures in computer based control systems
I Majzik, P Domokos, M Magyar
Proc. FORMS/FORMAT, 342-352, 2007
102007
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
101999
A configurable CEGAR framework with interpolation-based refinements
Á Hajdu, T Tóth, A Vörös, I Majzik
International Conference on Formal Techniques for Distributed Objects …, 2016
92016
The HIDENETS holistic approach for the analysis of large critical mobile systems
A Bondavalli, O Hamouda, M Kaaniche, P Lollini, I Majzik, HP Schwefel
IEEE Transactions on Mobile Computing 10 (6), 783-796, 2010
92010
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
92009
Concurrent error detection using watchdog processors
I Majzik
Fault tolerant computing systems 283, 1996
91996
Component-wise incremental LTL model checking
V Molnár, A Vörös, D Darvas, T Bartha, I Majzik
Formal Aspects of Computing 28 (3), 345-379, 2016
82016
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
82012
Impact of statechart implementation techniques on the effectiveness of fault detection mechanisms
G Pinter, I Majzik
Proceedings. 30th Euromicro Conference, 2004., 136-143, 2004
82004
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
82004
Automatic Dependability Modelling of Systems Described in UML
I Majzik
81998
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
72008
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
72005
PLC program translation for verification purposes
D Darvas, I Majzik, EB Viñuela
Periodica Polytechnica Electrical Engineering and Computer Science 61 (2 …, 2017
62017
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
62016
From structural UML diagrams to Timed Petri nets
A Bondavalli, I Majzik, I Mura
European ESPRIT Project HIDE, Deliverable 2, 1998
61998
Control flow checking in multitasking systems
I Majzik, A Pataricza
Periodica Polytechnica Electrical Engineering 39 (1), 27-36, 1995
61995
SEIS: A program control flow graph encoding algorithm for control flow checking
I Majzik
Techn. Univ., 1994
61994
Theta: a framework for abstraction refinement-based model checking
T Tóth, A Hajdu, A Vörös, Z Micskei, I Majzik
2017 Formal Methods in Computer Aided Design (FMCAD), 176-179, 2017
52017
Lazy reachability checking for timed automata using interpolants
T Tóth, I Majzik
International Conference on Formal Modeling and Analysis of Timed Systems …, 2017
52017
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
52015
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
52004
Software monitoring and debugging using compressed signature sequences
I Majzik
Proceedings of EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000 …, 1996
51996
Constraint programming with multi-valued decision diagrams: a saturation approach
V Molnár, I Majzik
BME MIT, 2017
42017
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
42016
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, ...
International Conference on Application and Theory of Petri Nets and …, 2016
42016
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
International Conference on Application and Theory of Petri Nets and …, 2016
42016
Ontology-based Test Data Generation using Metaheuristics.
Z Szatmári, J Oláh, I Majzik
ICINCO (2), 217-222, 2011
42011
Model-based Integration Framework for Development and Testing Tool-chains
B Polgár, I Ráth, I Majzik
FORMS/FORMAT 2010, 227-235, 2011
42011
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
42009
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
42004
Stochastic Dependability Analysis of System Architecture based on UML Designs
A Bondavalli, I Majzik, A Pataricza
Lecture Notes in Computer Science 2677, 2003
42003
Modelling and model-based assessment
A Bondavalli, P Lollini, I Majzik, L Montecchi
Resilience Assessment and Evaluation of Computing Systems, 153-165, 2012
32012
Development of model based tools to support the design of railway control applications
I Majzik, Z Micskei, G Pintér
International Conference on Computer Safety, Reliability, and Security, 430-435, 2007
32007
Model based automatic code generation for embedded systems
G Pintér, I Majzik
Proceedings of the Regional Conference on Embedded and Ambient Systems …, 2007
32007
A High-speed Watchdog Processor for Multitasking Systems
I Majzik, A Pataricza, W Hohl, J Hönig, V Sieh
The 8th Symposium on Microcomputer and Microprocessor Applications, 1994
31994
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, ...
International Symposium on Leveraging Applications of Formal Methods, 249-272, 2018
22018
Constructing dependability analysis models of reconfigurable production systems
K Marussy, I Majzik
2018 IEEE 14th International Conference on Automation Science and …, 2018
22018
The gamma statechart composition framework
V Molnár, B Graics, A Vörös, I Majzik, D Varró
Internation Conference on Software Engineering, 2018
22018
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
22016
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, 469-478, 2013
22013
The integra tool integration framework
B Polgár, I Agoston, G Juhasz, I Majzik
Symp. on Programming Languages and Software Tools, 66-77, 2011
22011
Ontology-based assessment of software models and development processes for safety-critical systems
Z Szatmári, B Izsó, B Polgár, I Majzik
22010
Automated Verification of Complex Behavioral Models Using the SAL Model Checker
Á Sisak, G Pintér, I Majzik
L'Harmattan Kiadó, 2008
22008
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
22007
Supporting Design and Development of Safety Critical Applications
G Pintér, I Majzik, Z Micskei
Proceedings of the 10 th Symposium on Programming Languages and Tools, SPLST …, 2007
22007
Automated construction of dependability models by aspect-oriented modeling and model transformation
P Domokos, I Majzik
Gesellschaft für Informatik, 2006
22006
Abstract Model-Based Checkpoint and Recovery
G Pintér, I Majzik
Conference of PhD Students in Computer Science, Volume of Extended Abstracts …, 2004
22004
Automatic implementation of extended hierarchical automata
G Pintér, I Majzik
Technical report, Budapest University of Technology and Economics, Budapest …, 2003
22003
Code Generation Based on UML Statecharts
G Pintér, I Majzik
Proceedings of the 10th PhD Mini-Symposium: Budapest University of …, 2003
22003
Dependability Analysis in the HIDE Framework
I Majzik, A Bondavalli
HIDE Document, 1998
21998
Temporal analysis of data flow control systems
C Bernardeschi, A Bondavalli, G Csertán, I Majzik, L Simoncini
Automatica 34 (2), 169-182, 1998
21998
Hardware Accelerators for Petri-net Analysis
G Csertan, I Majzik, A Pataricza, I Majzik, A Pataricza, SC Allmaier, ...
21998
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, 0
2
Lazy Reachability Checking for Timed Automata with Discrete Variables
T Tóth, I Majzik
International Symposium on Model Checking Software, 235-254, 2018
12018
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
12018
What is special about PLC software model checking?
D Darvas, E Blanco Viñuela, I Majzik
12018
Getting the priorities right: saturation for prioritised Petri nets
K Marussy, V Molnár, A Vörös, I Majzik
International Conference on Application and Theory of Petri Nets and …, 2017
12017
Timed automata verification using interpolants
T Tóth, I Majzik
Proceedings of the 24th PhD Mini-Symposium, 82-85, 2017
12017
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
12017
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–100