Search the dblp DataBase

Publications of Author

1. Péter Domokos, István Majzik
   Automated Construction of Dependability Models by Aspect-Oriented Modeling and Model Transformation. [Citation Graph (0, 0)][DBLP]
   ARCS Workshops, 2006, pp:66-75 [Conf]
   
2. Zoltán Micskei, István Majzik
   Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers. [Citation Graph (0, 0)][DBLP]
   DepCoS-RELCOMEX, 2006, pp:191-198 [Conf]
   
3. István Majzik, Gábor Huszerl
   Towards Dependability Modeling of FT-CORBA Architectures. [Citation Graph (0, 0)][DBLP]
   EDCC, 2002, pp:121-139 [Conf]
   
4. István Majzik, András Pataricza, Mario Dal Cin, Wolfgang Hohl, J. Hönig, Volkmar Sieh
   Hierarchical Checking of Multiprocessors Using Watchdog Processors. [Citation Graph (0, 0)][DBLP]
   EDCC, 1994, pp:386-403 [Conf]
   
5. Gergely Pintér, Henrique Madeira, Marco Vieira, István Majzik, András Pataricza
   A Data Mining Approach to Identify Key Factors in Dependability Experiments. [Citation Graph (0, 0)][DBLP]
   EDCC, 2005, pp:263-280 [Conf]
   
6. B. Antal, György Csertán, István Majzik, Andrea Bondavalli, Luca Simoncini
   Reachability and Timing Analysis in Data Flow Networks: A Case Study. [Citation Graph (0, 0)][DBLP]
   EUROMICRO, 1996, pp:193-0 [Conf]
   
7. Gábor Huszerl, István Majzik
   Modeling and Analysis of Redundancy Management in Distributed Object-Oriented Systems by Using UML Statecharts. [Citation Graph (0, 0)][DBLP]
   EUROMICRO, 2001, pp:200-207 [Conf]
   
8. István Majzik
   Software Monitoring and Debugging Using Compressed Signature Sequences. [Citation Graph (0, 0)][DBLP]
   EUROMICRO, 1996, pp:311-318 [Conf]
   
9. Gergely Pintér, István Majzik
   Impact of Statechart Implementation Techniques on the Effectiveness of Fault Detection Mechanisms. [Citation Graph (0, 0)][DBLP]
   EUROMICRO, 2004, pp:136-143 [Conf]
   
10. Gergely Pintér, István Majzik
    Modeling and Analysis of Exception Handling by Using UML Statecharts. [Citation Graph (0, 0)][DBLP]
    FIDJI, 2004, pp:58-67 [Conf]
    
11. Diego Latella, István Majzik, Mieke Massink
    Towards a Formal Operational Semantics of UML Statechart Diagrams. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
    
12. Andrea Bondavalli, Ivan Mura, István Majzik
    Automatic Dependability Analysis for Supporting Design Decisions in UML. [Citation Graph (0, 0)][DBLP]
    HASE, 1999, pp:64-0 [Conf]
    
13. Péter Domokos, István Majzik
    Design and Analysis of Fault Tolerant Architectures by Model Weaving. [Citation Graph (0, 0)][DBLP]
    HASE, 2005, pp:15-24 [Conf]
    
14. Gergely Pintér, István Majzik
    Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements. [Citation Graph (0, 0)][DBLP]
    HASE, 2005, pp:111-120 [Conf]
    
15. Gergely Pintér, István Majzik
    Runtime Verification of Statechart Implementations. [Citation Graph (0, 0)][DBLP]
    WADS, 2004, pp:148-172 [Conf]
    
16. Zoltán Micskei, István Majzik, Francis Tam
    Comparing Robustness of AIS-Based Middleware Implementations. [Citation Graph (0, 0)][DBLP]
    ISAS, 2007, pp:20-30 [Conf]
    
17. Andrea Bondavalli, Ivan Mura, István Majzik
    Automated Dependability Analysis of UML Designs. [Citation Graph (0, 0)][DBLP]
    ISORC, 1999, pp:139-0 [Conf]
    
18. István Majzik, Gergely Pintér, Péter Tamás Kovács
    UML Based Design of Time Triggered Systems. [Citation Graph (0, 0)][DBLP]
    ISORC, 2004, pp:60-63 [Conf]
    
19. György Csertán, Gábor Huszerl, István Majzik, Zsigmond Pap, András Pataricza, Dániel Varró
    VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models. [Citation Graph (0, 0)][DBLP]
    ASE, 2002, pp:267-270 [Conf]
    
20. Zsigmond Pap, István Majzik, András Pataricza
    Checking General Safety Criteria on UML Statecharts. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2001, pp:46-55 [Conf]
    
21. Gábor Huszerl, István Majzik, András Pataricza, Konstantinos Kosmidis, Mario Dal Cin
    Quantitative Analysis of UML Statechart Models of Dependable Systems. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2002, v:45, n:3, pp:260-277 [Journal]
    
22. Andrea Bondavalli, Mario Dal Cin, Diego Latella, István Majzik, András Pataricza, Giancarlo Savoia
    Dependability analysis in the early phases of UML-based system design. [Citation Graph (0, 0)][DBLP]
    Comput. Syst. Sci. Eng., 2001, v:16, n:5, pp:265-275 [Journal]
    
23. Diego Latella, István Majzik, Mieke Massink
    Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:6, pp:637-664 [Journal]
    
24. István Majzik, András Pataricza, Andrea Bondavalli
    Stochastic Dependability Analysis of System Architecture Based on UML Models. [Citation Graph (0, 0)][DBLP]
    WADS, 2002, pp:219-244 [Conf]
    
25. István Majzik, Zoltán Micskei, Gergely Pintér
    Development of Model Based Tools to Support the Design of Railway Control Applications. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2007, pp:430-435 [Conf]
    
26. 
    A Resilient SIL 2 Driver Machine Interface for Train Control Systems. [Citation Graph (, )][DBLP]
    
    
27. 
    International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008). [Citation Graph (, )][DBLP]
    
    
28. 
    From assessment to standardised benchmarking: Will it happen? What could we do about it? [Citation Graph (, )][DBLP]
    
    
29. 
    Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported Approach. [Citation Graph (, )][DBLP]
    
    
30. 
    Tool Support for Engineering Certifiable Software. [Citation Graph (, )][DBLP]