Publikációk

Export 85 results:
Rendezés: Szerző Cím Típus [ Év (Desc)]
Szűrők: Szerző = István Majzik  [Minden szűrő visszaállítása]
2010
Pataricza, A., Varró, D., Majzik, I., Polgár, B., Ráth, I., and Horváth, Á., "Workflow-Driven Tool Integration Using Model Transformation", Graph Transformations and Model Driven Enginering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday: Springer, pp. 224-248, 2010.
Szatmári, Z., Izsó, B., Polgár, B., and Majzik, I., "Ontology-based assessment of software models and development processes for safety-critical systems", Monographs of System Dependability Vol. 2, Wroclaw, pp. 1 - 12, 2010.
Polgár, B., Ráth, I., and Majzik, I., "Model-based Integration Framework for Development and Testing Tool-chains", FORMS/FORMAT 2010, the 8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, Springer Verlag, Berlin, pp. 204-212, 03/12/2010.
2009
Bondavalli, A., Ceccarelli, A., Gronbaek, J., Iovino, D., Karna, L., Klapka, S., Madsen, T. K., Magyar, M., Majzik, I., and Salzo, A., "Design and Evaluation of a Safe Driver Machine Interface", INTERNATIONAL JOURNAL OF PERFORMABILITY ENGINEERING, vol. 5, issue 2, pp. 153 - 166, 2009.
Pintér, G., Micskei, Z., and Majzik, I., "Supporting design and development of safety critical applications by model based tools", ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTIENSIS DE ROLANDO EOTVOS NOMINATAE - SECTIO COMPUTATORICA, vol. 30, pp. 61 - 78, 2009.
Oláh, J., and Majzik, I., "A Modell Based Framework for Specifying and Executing Fault Injection Experiments.", Proc. of the 4th International Conference on Dependability of Computer Systems., Brunów, Poland, pp. 107-114, June, 2009.
Madeira, H., and Majzik, I., "From assessment to standardised benchmarking: Will it happen? What could we do about it?", Proc. 39th IEEE/IFIP Symposium on Dependable Systems and Networks (DSN 2009), pp. 295 - 296, 2009.
Polgár, B., Ráth, I., Szatmári, Z., Horváth, Ádám, and Majzik, I., "Model-based Integration, Execution and Certification of Development Tool-chains", Proceedings of the 2nd ECMDA Workshop on Model-Driven Tool & Process Integration, Enschede, pp. * - 10, 2009.
Magyar, M., and Majzik, I., "Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported Approach", Proc. 6th Int. Conf. on the Quantitative Evaluation of Systems (QEST 2009), pp. 95 - 96, 2009.
2008
Pintér, G., Madeira, H., Vieira, M., Majzik, I., and Pataricza, A., "Integration of OLAP and Data Mining for Analysis of Results from Dependability Evaluation Experiments", INTERNATIONAL JOURNAL OF KNOWLEDGE MANAGEMENT STUDIES, vol. 2, issue 4, pp. 480 - 498, 2008. Abstract
Gönczy, L., Majzik, I., Horváth, Á., Varró, D., Balogh, A., Micskei, Z., and Pataricza, A., "Tool Support for Engineering Certifiable Software", Electr. Notes Theor. Comput. Sci., vol. 238, no. 4, pp. 79-85, 2008. Abstract
Lollini, P., Montecchi, L., Magyar, M., Majzik, I., and Bondavalli, A., "Analysis of the Impact of Communication Protocols on Service Quality in ERTMS Automatic Train Control Systems", Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008), Budapest, L'Harmattan Kiadó, pp. 225 - 232, 2008.
Sisak, Á., Pintér, G., and Majzik, I., "Automated Verification of Complex Behavioral Models Using the SAL Model Checker", Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008), Budapest, L'Harmattan Kiadó, pp. 35 - 42, 2008.
Majzik, I., Bondavalli, A., Klapka, S., Madsen, T. K., and Iovino, D., "Formal Methods in the Evaluation of a Safe Driver Machine Interface", Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008), Budapest, L'Harmattan Kiadó, pp. 313 - 320, 2008.
Kovács, Máté, Lollini, P., Majzik, I., and Bondavalli, A., "An Integrated Framework for the Dependability Evaluation of Distributed Mobile Applications", Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems: ACM, pp. 29 - 38, 2008.
Bondavalli, A., Majzik, I., and van Moorsel, A., "International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008)", Proc. of the 38th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2008), pp. 542 - 543, 2008.
Ceccarelli, A., Majzik, I., Iovino, D., Caneschi, F., Pintér, G., and Bondavalli, A., "A Resilient SIL 2 Driver Machine Interface for Train Control Systems", Proc. 3rd International Conference on Dependability of Computer Systems (DepCoS - RELCOMEX), pp. 365 - 374, 2008.
2007
Pintér, G., and Majzik, I., "Error Detection in Control Flow of Event-Driven State Based Applications", Software Engineering of Fault Tolerant Systems, New Jersey, World Scientific Publishing Co., pp. 150 - 174, 2007.
Fajta, R., Domokos, P., and Majzik, I., "Adding High Availability Features to Server Applications Using Aspect-Oriented Programming", HÍRADÁSTECHNIKA, vol. LXII, issue 1, pp. 56 - 62, 2007.
Majzik, I., and Domokos, P., "Aspect-Oriented Modelling and Analysis of Information Systems", PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 51, issue 1-2, pp. 21 - 31, 2007.
Pintér, G., Majzik, I., and Pataricza, A., "Application of Data Mining in Failure Data Analysis", Workshop on Reliability Analysis of System Failure Data, pp. * - 2, 2007.
Micskei, Z., Majzik, I., and Tam, F., "Comparing Robustness of AIS-Based Middleware Implementations", Service Availability Symposium, pp. 20 - 30, 2007.
Majzik, I., Micskei, Z., and Pintér, G., "Development of Model Based Tools to Support the Design of Railway Control Applications", Computer Safety, Reliability, and Security, Berlin, Springer-Verlag, pp. 430 - 435, 2007.
Pintér, G., and Majzik, I., "Model Based Automatic Code Generation for Embedded Systems", Proceedings of Regional Conference on Embedded and Ambient Systems, Budapest, Neumann János Számítógép-tudományi Társaság, pp. 97 - 106, 2007.
Majzik, I., Domokos, P., and Magyar, M., "Tool-supported Dependability Evaluation of Redundant Architectures in Computer Based Control Systems", Proc. FORMS/FORMAT 2007, the 6th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems: Gesamtzentrum für Verkehr Braunschweig e.V., pp. 342 - 352, 2007.

Nyelvek

  • English
  • Magyar

Belépés