Publications

Export 71 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: First Letter Of Last Name is K  [Clear All Filters]
2021
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
Szárnyas, G., Bader, D. A., Davis, T. A., Kitchen, J., Mattson, T. G., McMillan, S., and Welch, E., "LAGraph: Linear Algebra, Network Analysis Libraries, and the Study of Graph Algorithms", GrAPL (Workshop on Graphs, Architectures, Programming, and Learning) at IPDPS (International Parallel and Distributed Processing Symposium: IEEE, 2021.
Mhedhbi, A., Lissandrini, M., Kuiper, L., Waudby, J., and Szárnyas, G., "LSQB: A Large-Scale Subgraph Query Benchmark", GRADES-NDA at SIGMOD: ACM, 2021.
2020
Gómez, A., Mendialdua, X., Barmpis, K., Bergmann, G., Cabot, J., Carlos, X D., Debreceni, C., Garmendia, A., Kolovos, D. S., and de Lara, J., "Scalable Modeling Technologies in the Wild: An Experience Report on Wind Turbines Control Applications Development", Software and Systems Modeling, 01/2020.
Hajdu, Á., Ivaki, N., Kocsis, I., Klenik, A., Gönczy, L., Laranjeiro, N., Madeira, H., and Pataricza, A., "Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts", IEEE Access, vol. 8, pp. 190760–190783, 2020.
Azad, A., Aznaveh, M M., Beamer, S., Blanco, M., Chen, J., D'Alessandro, L., Dathathri, R., Davis, T., Deweese, K., Firoz, J., et al., "Evaluation of Graph Analytics Frameworks Using the GAP Benchmark Suite", IEEE International Symposium on Workload Characterization, 2020.
Horváth, B., Graics, B., Hajdu, Á., Micskei, Z., Molnár, V., Ráth, I., Andolfato, L., Gomes, I., and Karban, R., "Model Checking as a Service: Towards Pragmatic Hidden Formal Methods", Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2020.
Aznaveh, M., Chen, J., Davis, T. A., Hegyi, B., Kolodziej, S. P., Mattson, T. G., and Szárnyas, G., "Parallel GraphBLAS with OpenMP", SIAM Workshop on Combinatorial Scientific Computing (CSC) co-located with the SIAM Conference on Parallel Processing for Scientific Computing (PP), Seattle, WA, SIAM, 2020.
Nagy, S J., Graics, B., Kristóf, M., and Vörös, A., "Simulation-based Safety Assessment of High-level Reliability Models", 4th Workshop on Models for Formal Analysis of Real Systems, 2020. Abstract
Waudby, J., Steer, B. A., Karimov, K., Marton, J., Boncz, P., and Szárnyas, G., "Towards Testing ACID Compliance in the LDBC Social Network Benchmark", TPCTC, 2020.
2018
Vörös, A., Darvas, D., Hajdu, Á., Klenik, A., Marussy, K., Molnár, V., Bartha, T., and Majzik, I., "Industrial applications of the PetriDotNet modelling and analysis tool", Science of Computer Programming, vol. 157, pp. 17-40, 2018. Abstract
Szárnyas, G., Prat-Pérez, A., Averbuch, A., Marton, J., Paradies, M., Kaufmann, M., Erling, O., Boncz, P., Haprian, V., and Antal, J B., "An early look at the LDBC Social Network Benchmark's Business Intelligence workload", GRADES-NDA at SIGMOD, Houston, TX, ACM, 2018.
2017
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.
Czipó, B., Hajdu, Á., Tóth, T., and Majzik, I., "Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers", Proceedings of the 14th International Workshop on Formal Engineering Approaches to Software Components and Architectures, vol. 245: Open Publishing Association, pp. 31–45, 2017. Abstract
Gómez, A., Mendialdua, X., Bergmann, G., Cabot, J., Debreceni, C., Garmendia, A., Kolovos, D. S., de Lara, J., and Trujillo, S., "On the Opportunities of Scalable Modeling Technologies: An Experience Report on Wind Turbines Control Applications Development", European Conference on Modelling Foundations and Applications, Marburg, Germany, Springer, 07/2017.
2016
Marussy, K., Klenik, A., Molnár, V., Vörös, A., Majzik, I., and Telek, M., "Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models", Application and Theory of Petri Nets and Concurrency, vol. 9698: Springer, pp. 281-300, 2016.
Vörös, A., Darvas, D., Molnár, V., Klenik, A., Hajdu, Á., Jámbor, A., Bartha, T., and Majzik, I., "PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research", Application and Theory of Petri Nets and Concurrency, vol. 9698: Springer, pp. 123-132, 2016. Abstract
Marussy, K., Klenik, A., Molnár, V., Vörös, A., Telek, M., and Majzik, I., "Configurable Numerical Analysis for Stochastic Systems", Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR): IEEE, 2016.
Szárnyas, G., Kővári, Z., Salánki, Á., and Varró, D., "Towards the Characterization of Realistic Models: Evaluation of Multidisciplinary Graph Metrics", ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, MODELS 2016, Saint Malo, France, 2016.
Acceptance rate: 23.7%
2015
Salánki, Á., Kincses, G., Gönczy, L., and Kocsis, I., "Data Analysis Based Capacity Planning of VCL Clouds", 3rd International IBM Cloud Academy Conference ICACON 2015, Budapest, 05/2015.
2014
Herzig, S. J. I., Kruse, B., Ciccozzi, F., Denil, J., Salay, R., and Varró, D., "Towards an Approach for Orchestrating Design Space Exploration Problems to Fix Multi-Paradigm Inconsistencies", Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, MPM@MODELS 2014, vol. 1237, Valencia, Spain, CEUR-WS.org, pp. 61–66, 09/2014.
Micskei, Z., Konnerth, R-A., Horváth, B., Semeráth, O., Vörös, A., and Varró, D., "On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf", 1st Workshop on Open Source Software for Model Driven Engineering, Valencia, 2014.
Szárnyas, G., Semeráth, O., Izsó, B., Debreceni, C., Hegedüs, Á., Ujhelyi, Z., and Bergmann, G., "Movie Database Case: An EMF-IncQuery Solution", 7th Transformation Tool Contest, York, United Kingdom, 2014. Abstract
Salánki, Á., Kocsis, I., and A, P., Understanding Performance and its Anomalies in a VCL Cloud Using Rare Event Analysis, , 2014.
2013
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.

Publications

Languages

  • English
  • Magyar

BME EduID Sign on

Login

User login