Publications

Export 256 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: First Letter Of Last Name is V  [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
Darvas, D., Vörös, A., and Bartha, T., "Improving Saturation-based Bounded Model Checking", Acta Cybernetica, vol. 22, issue 3, no. 3, pp. 573-589, 2016.
Szárnyas, G., Izsó, B., Ráth, I., Harmath, D., Bergmann, G., and Varró, D., "IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud", ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, Valencia, Spain, Springer, 2014.
Acceptance rate: 26%
Izsó, B., Szárnyas, G., Ráth, I., and Varró, D., "IncQuery-D: Incremental Graph Search in the Cloud", Proceedings of the Workshop on Scalability in Model Driven Engineering, BigMDE, Budapest, Hungary, ACM, 2013.
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%
Bergmann, G., Horváth, Á., Ráth, I., Varró, D., Balogh, A., Balogh, Z., and Ökrös, A., "Incremental Evaluation of Model Queries over EMF Models", Model Driven Engineering Languages and Systems, 13th International Conference, MODELS'10: Springer, 10/2010.
Acceptance rate: 21%
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
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.
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 Model Queries in Model-Driven Design, , vol. PhD, Budapest, Budapest University of Technology and Economics, 10/2013.
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., Ö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
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
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
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.
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
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%
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
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
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.
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.
J
Gyapay, S., Schmidt, Á., and Varró, D., "Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time", Proc. GT-VMT 2004, International Workshop on Graph Transformation and Visual Modelling Techniques, vol. 109: Elsevier, pp. 137-147, 2004. Abstract
K
Tóth, T., Majzik, I., and Vörös, A., "K-induction based verification of real-time safety critical systems.", Conference on Dependability and Complex Systems DepCoS-RELCOMEX, Brunów, Poland, Springer International Publishing, 2013.
Huszerl, G., Majzik, I., Pap, Z., Petri, D., Pataricza, A., and Varró, D., "Keretrendszer nagymegbízhatóságú, biztonságkritikus rendszerek fejlesztéséhez és teszteléséhez", OOOK 2002: 5. Országos Objektum-Orientált Konferencia, Dobogókõ, Hungary, October 16–17, 2002.
In Hungarian
L
Paige, R. F., and Varró, D., "Lessons Learned from Building Model-Driven Development Tools", Software and Systems Modeling, 2012. Abstract
Ráth, I., Bergmann, G., Ökrös, A., and Varró, D., "Live Model Transformations Driven by Incremental Pattern Matching", Proc. First International Conference on the Theory and Practice of Model Transformations (ICMT 2008), vol. 5063/2008: Springer Berlin / Heidelberg, pp. 107–121, 2008. Abstract
Acceptance rate: 31%

Publications

Languages

  • English
  • Magyar

BME EduID Sign on

Login

User login