Publikációk

Export 44 results:
Rendezés: Szerző Cím [ Típus (Asc)] Év
Szűrők: A Cím Első Betűje = T  [Minden szűrő visszaállítása]
Conference Paper
Izsó, B., Szatmári, Z., Bergmann, G., Horváth, Á., and Ráth, I., "Towards Precise Metrics for Predicting Graph Query Performance", 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE), Silicon Valley, CA, USA, IEEE, pp. 412--431, 11/2013. Abstract
Acceptance Rate: 23%
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.
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
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.
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
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.
Conference Proceedings
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.
Report
Izsó, B., Szárnyas, G., Ráth, I., and Varró, D., Train Benchmark Technical Report, : Budapest University of Technology and Economics, 2014.
Paljak, G J., Transaction Tracking in Large Scale Datacenters, , no. RZ3743: IBM Zürich Research Laboratory, 2009.
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.
Miscellaneous
Varró, D., Varró, G., and Pataricza, A., Towards an XMI–Based Model Interchange Format for Graph Transformation Systems, : Budapest University of Technology and Economics, Department of Measurement and Information Systems, September, 2000. Abstract

Nyelvek

  • English
  • Magyar

Belépés

Navigáció