The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

István Majzik: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.005secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002