Publications

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

• BibTex

Majzik, I., and Pataricza, A., "Többprocesszoros rendszerek ellenőrzése watchdog processzorok felhasználásával", XIV. Tudományos Ülésszak, Kandó Kálmán Műszaki Főiskola, pp. - , 1994.

• BibTex

Varró, D., Varró-Gyapay, S., Ehrig, H., Prange, U., and Taentzer, G., "Termination Analysis of Model Transformations by Petri Nets", Proc. Third International Conference on Graph Transformation (ICGT 2006), vol. 4178, Natal, Brazil, Springer, pp. 260–274, 2006. Abstract

• BibTex

Polgár, B., "System Level Diagnostics and Percolation Theory", Proceedings of the 7th PhD Mini-Symposium of the Department of Measurement and Information Systems, pp. 48 - 49, 2000.

• BibTex

Waudby, J., Steer, B. A., Prat-Pérez, A., and Szárnyas, G., "Supporting Dynamic Graphs and Temporal Entity Deletions in the LDBC Social Network Benchmark's Data Generator", GRADES-NDA at SIGMOD/PODS: ACM, 2020.

• BibTex

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.

• BibTex

Majzik, I., Pataricza, A., and Bondavalli, A., "Stochastic Dependability Analysis of System Architecture Based on UML Models", LECTURE NOTES IN COMPUTER SCIENCE, vol. 2677, pp. 219 - 244, 2003. Abstract

• BibTex

Pap, Z., and Varró, D., "Static Safety Analysis of UML Action Semantics for Critical Systems Development", GI Jahrestagung (1), vol. 50: GI, pp. 57-61, September, 2004. Abstract

• BibTex

Bajkai, D V., and Hajdu, Á., "Software Model Checking with a Combination of Explicit Values and Predicates", Proceedings of the 26th PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 4–7, 01/2019. Abstract

• BibTex

Suri, N., Jhumka, A., Hiller, M., Pataricza, A., Islam, S., and Sârbu, C., "A software integration approach for designing and assessing dependable embedded systems", Journal of Systems and Software, vol. 83, no. 10, pp. 1780-1800, 2010.

• BibTex

Wirsing, M., Hölzl, M. M., Acciai, L., Banti, F., Clark, A., Fantechi, A., Gilmore, S., Gnesi, S., Gönczy, L., Koch, N., et al., "SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity", Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, vol. 17: Springer, pp. 170-190, 2008. Abstract

• BibTex

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.

• BibTex

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

• BibTex

Pintér, G., and Majzik, I., "Runtime verification of statechart implementations", LECTURE NOTES IN COMPUTER SCIENCE, vol. 3549, pp. 148 - 172, 2005. Abstract

• BibTex

Pintér, G., and Majzik, I., "Run-time Verification of Statechart Implementations", Proceedings of the 12th PhD Mini-Symposium of the Department of Measurement and Information Systems: BME, pp. 46 - 47, 2005.

• BibTex

Micskei, Z., Majzik, I., and Tam, F., "Robustness Testing Techniques For High Availability Middleware Solutions", Proc. of International Workshop on Engineering of Fault Tolerant Systems (EFTS2006): University of Luxembourg, pp. 55 - 66, 2006.

• BibTex

Pataricza, A., and Salánki, Á., "Ritka események", Intelligens adatelemzés: Typotex Kft., 2014.

• BibTex

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.

• BibTex

Csertán, G., Majzik, I., Pataricza, A., and Allmaier, S., "Reachability Analysis of Petri-nets by FPGA Based Accelerators", Proc. Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS'98), pp. 307 - 312, 1998.

• BibTex

Huszerl, G., Majzik, I., Pataricza, A., Kosmidis, K., and Dal Cin, M., "Quantitative Analysis of Uml Statechart Models of Dependable Systems", COMPUTER JOURNAL, vol. 45, issue 3, pp. 260 - 277, 2002. Abstract

• BibTex

Paljak, G J., Égel, Z., Tóth, D., Kocsis, I., Kovácsházy, T., and Pataricza, A., "Qualitative performance control in supervised IT infrastructures", Dependable Systems and Networks Workshops (DSN-W), 2010 International Conference on, pp. 59 -65, jun., 2010.

• BibTex

Salánki, Á., Kocsis, I., Pataricza, A., and Kocsis, Z., "Qualitative Characterization of Quality of Service Interference between Virtual Machines", ARCS 2011 - ARCHITECTURE OF COMPUTING SYSTEMS, Como, Italy , VDE VERLAG GmbH, 01/2011.

• BibTex

Pintér, G., and Majzik, I., "Program Code Generation Based on Uml Statechart Models", PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 47, issue 3-4, pp. 187 - 204, 2003.

• BibTex

Polgár, B., "Process-graph Based Formulation of The Syndrome-decoding Problem", Proc. of Mini-symposium 2001, pp. 46 - 47, 2001.

• BibTex

Polgár, B., Nováki, S., Pataricza, A., and Friedler, F., "A Process Graph Based Formulation of The Syndrome-decoding Problem", Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS 2001): SZIF-Universitas, pp. 267 - 272, 2001.

• BibTex