Publikációk

Export 138 results:
Rendezés: Szerző Cím [ Típus (Asc)] Év
Szűrők: Az Utónév Első Betűje = P  [Minden szűrő visszaállítása]
Book
Pataricza, A., Bartha, T., Csertán, G., Gyapay, S., Majzik, I., and Varró, D., Formális módszerek az informatikában, : Typotex, 2004.
In Hungarian
Book Chapter
Bonfiglio, V., Brancati, F., Rossi, F., Bondavalli, A., Montecchi, L., Pataricza, A., Kocsis, I., and Molnár, V., "Composable Framework Support for Software-FMEA through Model Execution", Certifications of Critical Systems – The CECRIS Experience, Delft, Netherlands, River Publishers, pp. 183–200, 2017.
Tóth, T., Vörös, A., and Majzik, I., "A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol", Software Engineering for Resilient Systems, vol. 9274: Springer International Publishing, pp. 31-45, 09/15, 2015.
Pataricza, A., Kocsis, I., Salánki, Á., and Gönczy, L., "Empirical Assessment of Resilience", Software Engineering for Resilient Systems, vol. 8166: Springer Berlin Heidelberg, 2013.
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.
Pataricza, A., and Varró, D., Formal Methods in Computing, : {Akadémiai Kiadó, pp. 357–425, 2005.
Darvas, D., Fernández Adiego, B., Vörös, A., Bartha, T., Blanco Viñuela, E., and González Suárez, V. M., "Formal verification of complex properties on PLC programs", Formal Techniques for Distributed Objects, Components, and Systems, vol. 8461: Springer, pp. 284-299, 2014.
Bergmann, G., Horváth, Á., Ráth, I., and Varró, D., "Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery", Modelling Foundations and Applications, vol. 6698: Springer Berlin / Heidelberg, pp. 389-390, 2011. Abstract
10.1007/978-3-642-21470-7_32
Pintér, G., Micskei, Z., Kövi, A., Égel, Z., Kocsis, I., Huszerl, G., and Pataricza, A., "Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services", Architecting Dependable Systems V, Berlin ; Heidelberg, Springer-Verlag, pp. 150 - 174, 2008.
Pataricza, A., and Salánki, Á., "Ritka események", Intelligens adatelemzés: Typotex Kft., 2014.
Bergmann, G., Massacci, F., Paci, F., Tun, T., Varró, D., and Yu, Y., "SeCMER: A Tool to Gain Control of Security Requirements Evolution", Towards a Service-Based Internet, vol. 6994: Springer Berlin / Heidelberg, pp. 321-322, 2011. Abstract
10.1007/978-3-642-24755-2_35
Paljak, G J., Kocsis, I., Égel, Z., Tóth, D., and Pataricza, A., "Sensor Selection for IT Infrastructure Monitoring", Autonomic Computing and Communications Systems, vol. 23: Springer Berlin Heidelberg, pp. 130-143, 2010.
10.1007/978-3-642-11482-3_9
Bergmann, G., Massacci, F., Paci, F., Tun, T T., Varró, D., and Yu, Y., "A Tool for Managing Evolving Security Requirements", IS Olympics: Information Systems in a Diverse World, vol. 107: Springer Berlin Heidelberg, pp. 110-125, 2012. Abstract
10.1007/978-3-642-29749-6_8
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.
Journal Article
Polgár, B., "Comparison based diagnostics as a probabilistic deduction problem", LECTURE NOTES IN COMPUTER SCIENCE, vol. 3038, pp. 1153 - 1161, 2004. Abstract
Majzik, I., and Pataricza, A., "Control Flow Checking in Multitasking Systems", PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 39, issue 1, pp. 27 - 36, 1995.
Pintér, G., Madeira, H., Vieira, M., Majzik, I., and Pataricza, A., "A Data Mining Approach to Identify Key Factors in Dependability Experiments", LECTURE NOTES IN COMPUTER SCIENCE, vol. 3463, pp. 263 - 280, 2005. Abstract
Bondavalli, A., Dal Cin, M., Latella, D., Majzik, I., Pataricza, A., and Savoia, G., "Dependability Analysis in The Early Phases of Uml-based System Design", COMPUTER SYSTEMS SCIENCE AND ENGINEERING, vol. 16, issue 5, pp. 265 - 275, 2001. Abstract
Varró, D., Varró, G., and Pataricza, A., "Designing the Automatic Transformation of Visual Languages", Science of Computer Programming, vol. 44, no. 2: Elsevier, pp. 205–227, August, 2002. Abstract
Sakr, S., Bonifati, A., Voigt, H., Iosup, A., Ammar, K., Angles, R., Aref, W., Arenas, M., Besta, M., Boncz, P. A., et al., "The Future is Big Graphs! A Community View on Graph Processing Systems", Communications of the ACM, 2021.
To be published in CACM
Polgár, B., and Selényi, E., "Gradient Based System-level diagnosis", PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 51, issue 1-2, Barborak, M., Malek, M., Dahbura, A., The consensus problem in faulttolerant computing (1993) ACM Computing Surveys, 25 (2), pp. 171-220. , June;Barsi, F., Grandoni, F., Maestrini, P., A theory of diagnosability of digital systems (1976) IEEE Transactions, pp. 43 - 55, 2007.
Majzik, I., and Péceli, G., "Idő- és eseményvezérelt kommunikáció beágyazott számítógépes rendszerekben", ELEKTROTECHNIKA, vol. 97, issue Tudományos különszám, pp. 19 - 22, 2004.
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
Paige, R. F., and Varró, D., "Lessons Learned from Building Model-Driven Development Tools", Software and Systems Modeling, 2012. Abstract
Pap, Z., Majzik, I., Pataricza, A., and Szegi, A., "Methods of Checking General Safety Criteria in Uml Statechart Specifications", RELIABILITY ENGINEERING & SYSTEM SAFETY, vol. 87, issue 1, pp. 89 - 107, 2005. Abstract

Nyelvek

  • English
  • Magyar

Belépés

Navigáció