Publications

Export 44 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: First Letter Of Title is T  [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]
T
Farkas, R., and Bergmann, G., "Towards Reliable Benchmarks of Timed Automata", Proceedings of the 25th PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, 2018.
de Almeida, D P., Graics, B., Chagas, R A J., de Sousa, F L., and Mattiello-Francisco, F., "Towards Simulation of CubeSat Operational Scenarios under a Cyber-Physical Systems View", 10th Latin-American Symposium on Dependable Computing (LADC 2021), Florianópolis, Brazil, IEEE, 11/2021.
Honfi, D., and Micskei, Z., "Towards Supporting Dynamic Symbolic Execution via Multi-Domain Metrics", Proceedings of the 25th PhD Mini-Symposium, Budapest, Hungary, pp. 36-39., 02/2018.
Varró, D., "Towards Symbolic Analysis of Visual Modelling Languages", Proc. GT-VMT 2002: International Workshop on Graph Transformation and Visual Modelling Techniques, vol. 72 (3), no. 3, Barcelona, Spain, Elsevier, pp. 57–70, October 11-12, 2002. Abstract
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
Waudby, J., Steer, B. A., Karimov, K., Marton, J., Boncz, P., and Szárnyas, G., "Towards Testing ACID Compliance in the LDBC Social Network Benchmark", TPCTC, 2020.
Darabos, A., Pataricza, A., and Varró, D., "Towards Testing the Implementation of Graph Transformations", Proc. of the Fifth International Workshop on Graph Transformation and Visual Modelling Techniques: Elsevier, 2006. Abstract
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., Kővári, Z., Salánki, Á., and Varró, D., "Towards the Characterization of Realistic Models: Evaluation of Multidisciplinary Graph Metrics", ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, MODELS 2016, Saint Malo, France, 2016.
Acceptance rate: 23.7%
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.
Szárnyas, G., Búr, M., and Ráth, I., "Train Benchmark Case: an EMF-IncQuery Solution", 8th Transformation Tool Contest, L'Aquila, Italy, 2015.
Izsó, B., Szárnyas, G., Ráth, I., and Varró, D., Train Benchmark Technical Report, : Budapest University of Technology and Economics, 2014.
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.
Paljak, G J., Transaction Tracking in Large Scale Datacenters, , no. RZ3743: IBM Zürich Research Laboratory, 2009.
Dal Cin, M., Huszerl, G., and Kosmidis, K., "Transformation of Guarded Statecharts for Quantitative Evaluation of Dependable Embedded Systems", Proc. 10th European Workshop on Dependable Computing (EWDC-10): Österreichische Computer Gesellschaft, pp. 143 - 187, 1999.
Varró, D., Asztalos, M., Bisztray, D., Boronat, A., Dang, D-H., Geiss, R., Greenyer, J., Gorp, P V., Kniemeyer, O., Narayanan, A., et al., "Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools", Proc. Third International Workshop and Symposium on Applications of Graph Transormation with Industrial Relevance (AGTIVE 2007), vol. 5088: Springer, pp. 540–565, 2008. Abstract
Darvas, D., Fernández Adiego, B., and Blanco Viñuela, E., Transforming PLC programs into formal models for verification purposes, , no. CERN-ACC-NOTE-2013-0040: CERN, 2013.
Bergmann, G., "Translating OCL to Graph Patterns", ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems, MODELS 2014, Valencia, Spain, Springer, 2014.
Acceptance rate: 26%. Article page and extended version available at: http://incquery.net/content/graph-patterns-ocl-performance-evaluation
Szárnyas, G., Semeráth, O., Ráth, I., and Varró, D., "The TTC 2015 Train Benchmark Case for Incremental Model Validation", Transformation Tool Contest, 2015.

Publications

Languages

  • English
  • Magyar

BME EduID Sign on

Login

User login