Publications

Export 36 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: First Letter Of Title is I  [Clear All Filters]
A B C D E F G H [I] J K L M N O P Q R S T U V W X Y Z   [Show ALL]
I
Semeráth, O., and Varró, D., "Iterative Generation of Diverse Models for Testing Specifications of DSL Tools", 21st International Conference on Fundamental Approaches to Software Engineering (FASE), Thessaloniki, Greece, Springer, 2018.
Semeráth, O., Vörös, A., and Varró, D., "Iterative and incremental model generation by logic solvers", 19th International Conference on Fundamental Approaches to Software Engineering, Eindhoven, The Netherlands, 04/2016.
Honfi, D., Micskei, Z., and Vörös, A., Isolation and Pex: case study of cooperation, : Budapest University of Technology and Economics, 09/2013. Abstract
Szombath, I., Investigating Indirect Dependencies in Bipartite Cliques of IT Infrastructure Topology, : IBM Research Zurich, 2008.
Urbanics, G., Kövi, A., Égel, Z., and Pataricza, A., "Introducing Dynamism to SA Forum Cluster", Dependable Network Computing and Mobile Systems, Naples, Italy, 10/2008. Abstract
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.
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
Bergmann, G., Hegedüs, Á., Horváth, Á., Ujhelyi, Z., Ráth, I., and Varró, D., "Integrating Efficient Model Queries in State-of-the-art EMF Tools", TOOLS Europe 2012, Prague, Springer, 05/2012. Abstract
Acceptance rate: 31%
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.
Bartha, T., and Gáspár, P., "Integrált irányítási alkalmazások járműrendszerekben.", Jövő Járműve - Járműipari Innováció, issue 1-2, pp. 28 - 31, 2007.
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
Szabó, T., Bergmann, G., Erdweg, S., and Völter, M., "Incrementalizing Lattice-Based Program Analyses in Datalog", Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2018), Boston, MA, USA, ACM, 11/2018.
Marussy, K., Semeráth, O., and Varró, D., "Incremental View Model Synchronization Using Partial Models", 21th International Conference on Model Driven Engineering Languages and Systems (MODELS '18), Copenhagen, Denmark, 2018.
Submitted version. Artifacts available at https://doi.org/10.5281/zenodo.1318156
Elekes, M., and Szárnyas, G., "Incremental view maintenance in graph databases: A case study in Neo4j", Proceedings of the 27th PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, 2020.
Szárnyas, G., "Incremental View Maintenance for Property Graph Queries", SIGMOD Student Research Competition (SRC), Houston, TX, ACM, 2018.
Won 2nd prize.
Szombath, I., "Incremental Synchronization of IT Infrastructure Model", Proc. of the 16th PhD Mini-Symposium, Budapest, Hungary, pp. 28–30, 2009.
Varró, D., "Incremental Queries and Transformations: From Concepts to Industrial Applications", SOFSEM 2016: Theory and Practice of Computer Science - 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings, vol. 9587, Harrachov, Czech Republic, Springer, pp. 51–59, 2016. Abstract
Bergmann, G., Ökrös, A., Ráth, I., Varró, D., and Varró, G., "Incremental pattern matching in the VIATRA model transformation system", Proc. Graph and Model Transformations (GRAMOT 2008): ACM, 2008. Abstract
Bergmann, G., Ráth, I., Szabó, T., Torrini, P., and Varró, D., "Incremental pattern matching for the efficient computation of transitive closure", Sixth International Conference on Graph Transformation, vol. 7562/2012, Bremen, Germany , Springer, pp. 386-400, 09/2012.
Bergmann, G., Incremental Model Queries in Model-Driven Design, , vol. PhD, Budapest, Budapest University of Technology and Economics, 10/2013.
Elekes, M., and Szárnyas, G., "An incremental GraphBLAS solution for the 2018 TTC Social Media case study", GrAPL (Workshop on Graphs, Architectures, Programming, and Learning) at IPDPS (International Parallel and Distributed Processing Symposium), 2020.
Varró, G., Varró, D., and Schürr, A., "Incremental Graph Pattern Matching: Data Structures and Initial Experiments", Graph and Model Transformation (GraMoT 2006), vol. 4: EASST, 2006. Abstract
Bergmann, G., Incremental graph pattern matching and applications, : Budapest University of Technology and Economics, May, 2008.
Darvas, D., Incremental extension of the saturation algorithm-based bounded model checking of Petri nets, , vol. MSc: Budapest University of Technology and Economics, pp. 127, 05/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

Publications

Languages

  • English
  • Magyar

BME EduID Sign on

Login

User login