Publications

Export 256 results:
Sort by: Author [ Title  (Desc)] 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]
M
Varró, D., and Pataricza, A., "Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models", Proc. Fifth International Conference on the Unified Modeling Language – The Language and its Applications, vol. 2460, Dresden, Germany, Springer-Verlag, pp. 18–33, September 30 – O, 2002. Abstract
Acceptance rate: 30%
Domokos, P., Majzik, I., and Varró, D., "Megbízhatósági modellek automatikus generálása gráftranszformációval", Fiatal Műszakiak Tudományos Ülésszaka IX., Kolozsvár, pp. 101 - 104, 2004.
Varró, D., and Pataricza, A., Mathematical Model Transformations for System Verification, : Budapest University of Technology and Economics, May, 2001.
Varró, D., and Pataricza, A., Mathematical Model Transformation for System Verification, : Budapest University of Technology and Economics, Dept. of Measurement and Information Systems, June, 2000. Abstract
Kövi, A., Varró, D., and Németh, Z., "Making Legacy Services Highly-Available with OpenAIS: An Experience Report", Third International Service Availability Symposium (ISAS 2006), vol. 4328, Helsinki, Finland, Springer, pp. 206–216, 2006. Abstract
L
Búr, M., Ujhelyi, Z., Horváth, Á., and Varró, D., "Local search-based pattern matching features in EMF-IncQuery", 8th International Conference on Graph Transformation, L'Aquila, Italy, Springer, 07/2015. Abstract
Tool demonstration paper
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%
K
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
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.
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
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
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
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., 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.
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
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.