Publications

Export 502 results:
Sort by: [ Author (Asc)] Title Type Year
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 
P
Polgár, B., "Generalisation of The Test Model of Multiprocessor Systems", Proc. of Phd. Mini-symposium 2002: IEEE Hungary Section BUTE Student Branch, pp. 36 - 37, 2002.
R
Rabatin, G., and Vörös, A., "Towards the Verification of Neural Networks for Critical Cyber-Physical Systems", 25th Minisymposium of the Department of Measurement and Information Systems, Budapest, 2018.
Ráth, I., and Varró, D., "Challenges for Advanced Domain-Specific Modeling Frameworks", International Workshop on Domain Specific Program Development (DSPD 2006), Nantes, France, July, 2006. Abstract
Ráth, I., "Declarative mapping between abstract and concrete syntax of domain-specific visual languages", The Proceedings of the Fifth Conference of PhD Students in Computer Science, 2006.
Ráth, I., Declarative Specification of Domain Specific Visual Languages, : Budapest University of Technology and Economics, 2006.
Ráth, I., "Challenges for advanced domain-specific modeling frameworks", Proceedings of the 14th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 118-120, 2007.
Ráth, I., "Modelltranszformációk integrált alkalmazása domain-specifikus nyelvekben", Tavaszi Szél Konferenciakiadvány, 2009.
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%
Ráth, I., "Design-time simulation of domain-specific modeling languages by interactive model transformation", Proceedings of the 15th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 58–62, 2008.
Ráth, I., Schmidt, A., and Vágó, D., Automated Model Transformations in Domain Specific Visual Languages, , October, 2005.
Ráth, I., and Mayer, P., Software Engineering for Service-Oriented Overlay Computers, : Springer, 2009.
Ráth, I., Ökrös, A., and Varró, D., "Synchronization of abstract and concrete syntax in domain-specific modeling languages", Software and Systems Modeling, vol. 9, issue 4, pp. 453-471, 2010. Abstract
Ráth, I., Varró, G., and Varró, D., "Change-Driven Model Transformations", Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, vol. 5795: Springer, pp. 342-356, 2009. Abstract
Springer Best Paper Award and ACM Distinguished Paper Award Acceptance rate: 18%
Ráth, I., Hegedüs, Á., and Varró, D., "Derived Features for EMF by Integrating Advanced Model Queries", 8th European Conference on Modelling Foundations and Applications, Kgs. Lyngby, Denmark, Springer, 06/2012. Abstract
Acceptance rate: 31%
Ráth, I., "Enhancing design-time model execution in domain-specific languages by incremental pattern matching", Proceedings of the 16th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 16–20, 2009.
Ráth, I., Vágó, D., and Varró, D., "Design-time simulation of domain-specific models by incremental pattern matching", IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2008, Herrsching am Ammersee, Germany, 15-19 September 2008, Proceedings: IEEE, pp. 219-222, 2008. Abstract
Acceptance rate: 29%
Rebeka, F., Tóth, T., Hajdu, Á., and Vörös, A., "Backward reachability analysis for timed automata with data variables", Proceedings of the 18th International Workshop on Automated Verification of Critical Systems, vol. 76, Oxford, England, EASST, pp. 1-20, 2018.
Rensink, A., Schmidt, Á., and Varró, D., "Model Checking Graph Transformations: A Comparison of Two Approaches", Proc. ICGT 2004: Second International Conference on Graph Transformation, vol. 3256, Rome, Italy, Springer, pp. 226–241, 2004. Abstract
S
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
Salamon, G., Varró, D., and Pataricza, A., "Formal Verification of Model Transformation Systems", EDCC 2002: Fourth European Dependable Computing Conference: Fast Abstracts, Toulouse, France, pp. 15–16, October 23–25, 2002.
Salánki, Á., and Pataricza, A., "Identification of Dependability Models from Large Observation Sets", 23rd Minisymposium of the Department of Measurement and Information Systems, Budapest, IEEE, 01/2015.
Salánki, Á., Kocsis, I., and A, P., Understanding Performance and its Anomalies in a VCL Cloud Using Rare Event Analysis, , 2014.
Salánki, Á., Kocsis, I., Pataricza, A., and Kocsis, Z., "Qualitative Characterization of Quality of Service Interference between Virtual Machines", ARCS 2011 - ARCHITECTURE OF COMPUTING SYSTEMS, Como, Italy , VDE VERLAG GmbH, 01/2011.
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.
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.

Publications

Languages

  • English
  • Magyar

BME EduID Sign on

Login

User login