Publikációk

Export 145 results:
Rendezés: Szerző Cím Típus [ Év (Desc)]
Szűrők: Az Utónév Első Betűje = S  [Minden szűrő visszaállítása]
Elküldve
Semeráth, O., Farkas, R., Bergmann, G., and Varró, D., "Diversity of Graph Models and Graph Generators in Mutation Testing", International Journal on Software Tools for Technology Transfer, Elküldve.
2019
Saleem, M., Szárnyas, G., Conrads, F., Bukhari, S A C., Mehmood, Q., and Ngomo, A-C N., "How Representative is a SPARQL Benchmark? An Analysis of RDF Triplestore Benchmarks", The Web Conference (WWW), San Francisco, CA, USA, ACM, 2019.
Semeráth, O., Babikian, A., Pilarski, S., and Varró, D., "VIATRA Solver: A Framework for the Automated Generation of Consistent Domain-Specific Models", 41st International Conference on Software Engineering, Montreal, Canada, ACM/IEEE, 2019.
Majzik, I., Semeráth, O., Hajdu, C., Marussy, K., Szatmári, Z., Micskei, Z., Vörös, A., Babikian, A. A., and Varró, D., "Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles", IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS): IEEE, 2019.
New Ideas and Vision Track
2018
Varró, D., Semeráth, O., Szárnyas, G., and Horváth, Á., "Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models", Graph Transformation, Specifications, and Nets (In Memory of Hartmut Ehrig), no. 10800: Springer, 2018.
Szárnyas, G., Izsó, B., Ráth, I., and Varró, D., "The Train Benchmark: Cross-Technology Performance Evaluation of Continuous Model Queries", Software and Systems Modeling, vol. 17, issue 4, 2018.
Búr, M., Szilágyi, G., Vörös, A., and Varró, D., "Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems", 21st International Conference on Fundamental Approaches to Software Engineering (FASE), Thessaloniki, Greece, 2018.
Semeráth, O., Nagy, A S., and Varró, D., "A Graph Solver for the Automated Generation of Consistent Domain-Specific Models", 40th International Conference on Software Engineering (ICSE 2018), Gothenburg, Sweden, ACM, 2018.
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.
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.
Búr, M., Szilágyi, G., Vörös, A., and Varró, D., "Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems", Fundamental Approaches to Software Engineering, Cham, Springer International Publishing, pp. 111–128, 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.
Szárnyas, G., "Incremental View Maintenance for Property Graph Queries", SIGMOD Student Research Competition (SRC), Houston, TX, ACM, 2018.
Won 2nd prize.
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
2017
Sallai, G., Hajdu, Á., Tóth, T., and Micskei, Z., "Towards Evaluating Size Reduction Techniques for Software Model Checking", Proceedings of the Fifth International Workshop on Verification and Program Transformation, vol. 253: Open Publishing Association, pp. 75-91, 2017. Abstract
Szárnyas, G., Maginecz, J., and Varró, D., "Evaluation of Optimization Strategies for Incremental Graph Queries", Periodica Polytechnica, Electrical Engineering and Computer Science, 01/2017.
Semeráth, O., and Varró, D., "Evaluating Well-Formedness Constraints on Incomplete Models", Acta Cybernetica Szeged, 2017.
CSCS 2016 special issue
Marton, J., Szárnyas, G., and Varró, D., "Formalising openCypher Graph Queries in Relational Algebra", 21st European Conference on Advances in Databases and Information Systems (ADBIS), Nicosia, Cyprus, Springer, 2017.
Szárnyas, G., "Scalable Graph Query Evaluation and Benchmarking with Realistic Models", ACM SRC Grand Finals, online competition, ACM, 05/2017.
This is not a separate publication, but is based on the MODELS ACM SRC paper of the same title, which won 1st place in 2016. This is a significantly enhanced version, so I recommend reading this paper instead of its predecessor.
Semeráth, O., and Varró, D., "Graph Constraint Evaluation over Partial Models by Constraint Rewriting", Proceedings of the 10th International Conference on Theory and Practice of Model Transformation, Marburg, Germany, Springer, 2017.
Marton, J., Szárnyas, G., and Búr, M., "Model-driven engineering of an openCypher engine: using graph queries to compile graph queries", 18th System Design Languages Forum, Budapest, Hungary, 2017.
Tóth, T., Hajdu, Á., Vörös, A., Micskei, Z., and Majzik, I., "Theta: a Framework for Abstraction Refinement-Based Model Checking", Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, Vienna, Austria, FMCAD Inc., pp. 176–179, 2017. Abstract
2016
Semeráth, O., Debreceni, C., Horváth, Á., and Varró, D., "Incremental Backward Change Propagation of View Models by Logic Solvers", 19th International Conference on Model Driven Engineering Languages and Systems, Saint-malo, France, ACM, 07/2016 .
acceptance rate: 23.7%
Semeráth, O., and Varró, D., "Validation of Well-formedness Constraints on Uncertain Models", THE 10TH JUBILEE CONFERENCE OF PHD STUDENTS IN COMPUTER SCIENCE, Szeged, Hungary, 06/2016.
extended abstract
Semeráth, O., Debreceni, C., Horváth, Á., and Varró, D., "Change Propagation of View Models by Logic Synthesis Using SAT Solvers", Fifth International Workshop on Bidirectional Transformations (Bx 2016), Eindhoven, The Netherlands, 04/2016.

Nyelvek

  • English
  • Magyar

Belépés

Navigáció