Publications

Export 64 results:
Sort by: [ Author (Asc)] Title Type Year
Filters: First Letter Of Title is M  [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]
P
Polgár, B., Ráth, I., Szatmári, Z., Horváth, Ádám, and Majzik, I., "Model-based Integration, Execution and Certification of Development Tool-chains", Proceedings of the 2nd ECMDA Workshop on Model-Driven Tool & Process Integration, Enschede, pp. * - 10, 2009.
R
Ráth, I., "Modelltranszformációk integrált alkalmazása domain-specifikus nyelvekben", Tavaszi Szél Konferenciakiadvány, 2009.
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
Szárnyas, G., "Multidimenziós adatkezelés és bitmap indexelés", Department of Telecommunications and Media Informatics, vol. BSc: Budapest University of Technology and Economics, pp. 82, 12/2011.
Szárnyas, G., Semeráth, O., Izsó, B., Debreceni, C., Hegedüs, Á., Ujhelyi, Z., and Bergmann, G., "Movie Database Case: An EMF-IncQuery Solution", 7th Transformation Tool Contest, York, United Kingdom, 2014. Abstract
T
Tóth, A., Varró, D., and Pataricza, A., "Model-Level Automatic Test Generation for UML Statecharts", Proc. 6th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2003), Poznan, Poland, pp. 293–294, April 14–16, 2003.
U
Ujhelyi, Z., "Modelltranszformációk statikus analízise", Tavaszi Szél Konferenciakiadvány, Szeged, pp. 33–39, 05/2009.

V
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%
Varró, D., "Model Transformation by Example", Proc. Model Driven Engineering Languages and Systems (MODELS 2006), vol. 4199, Genova, Italy, Springer, pp. 410–424, 2006. Abstract
Acceptance rate: 29%
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
Varró, D., and Balogh, A., "The Model Transformation Language of the VIATRA2 Framework", Science of Computer Programming, vol. 68, no. 3, pp. 214–234, October, 2007. Abstract
Varró, D., and Pataricza, A., Mathematical Model Transformations for System Verification, : Budapest University of Technology and Economics, May, 2001.
Vörös, A., Búr, M., Ráth, I., Horváth, Á., Micskei, Z., Balogh, L., Hegyi, B., Horváth, B., Mázló, Z., and Varró, D., "MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems", NASA Formal Methods, Cham, Springer International Publishing, pp. 460–467, 2018. Abstract
W
Waeselynck, H., Micskei, Z., Nguyen, M D., and Rivière, N., "Mobile Systems from a Validation Perspective: a Case Study", Sixth International Symposium on Parallel and Distributed Computing (ISPDC07): IEEE Computer Society Press, pp. 85 - 92, 2007.

Publications

Languages

  • English
  • Magyar

BME EduID Sign on

Login

User login