Istvan Majzik
Cím
Hivatkozott rá
Hivatkozott rá
É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
4131999
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
2971999
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
2792002
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
1712001
Stochastic dependability analysis of system architecture based on UML models
I Majzik, A Pataricza, A Bondavalli
Architecting dependable systems, 219-244, 2003
932003
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
731999
Automated dependability analysis of UML designs
A Bondavalli, I Majzik, I Mura
Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time …, 1999
701999
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
642002
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
412012
Watchdog processors in parallel systems
A Pataricza, I Majzik, W Hohl, J Hönig
Microprocessing and Microprogramming 39 (2-5), 69-74, 1993
331993
Formal verification of safety PLC based control software
D Darvas, I Majzik, EB Viñuela
International Conference on Integrated Formal Methods, 508-522, 2016
312016
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
292005
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
292001
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
272010
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
Formális módszerek az informatikában
P András
Typotex, 2006
27*2006
Program code generation based on UML statechart models
G Pintér, I Majzik
Periodica Polytechnica Electrical Engineering 47 (3-4), 187-204, 2003
272003
Multiprocessor checking using watchdog processors
I Majzik, W Hohl, A Pataricza, V Sieh
Computer Systems Science and Engineering 11 (5), 301-310, 1996
251996
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20