Publications

Export 44 results:
Sort by: Author Title Type [ Year  (Desc)]
Filters: First Letter Of Title is A  [Clear All Filters]
2020
Marussy, K., Semeráth, O., and Varró, D., "Automated Generation of Consistent Graph Models with Multiplicity Reasoning", IEEE Transactions on Software Engineering: IEEE, pp. 1-20, 09/2020. Abstract
Semeráth, O., Babikian, A. A., Li, A., Marussy, K., and Varró, D., "Automated Generation of Consistent Models with Structural and Attribute Constraints", 23rd International Conference on Model Driven Engineering Languages and Systems, Canada, ACM / IEEE, 2020. Abstract
Artifacts (tool and measurement results) are availables as a virtual machine at https://zenodo.org/record/3950552
2019
Farkas, R., Bergmann, G., and Horváth, Á., "Adaptive Step Size Control for Hybrid CT Simulation without Rollback", 13th International Modelica Conference, OTH Regensburg, Germany, 2019.
2017
Debreceni, C., "Advanced Techniques and Tools in Secure Collaborative Modeling", ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Austin, Texas, USA, ACM, 09/2017.
Preprinted version
Farkas, R., and Hajdu, Á., "Activity-Based Abstraction Refinement for Timed Systems", Proceedings of the 24th PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 18–21, 2017. Abstract
2016
Debreceni, C., Ráth, I., Varró, D., Carlos, X D., Mendialdua, X., and Trujillo, S., "Automated Model Merge by Design Space Exploration", 19th International Conference on Fundamental Approaches to Software Engineering, Eindhoven, The Netherlands, 04/2016.
2015
Fernández Adiego, B., Darvas, D., Blanco Viñuela, E., Tournier, J-C., Bliudze, S., Blech, J O., and González Suárez, V. M., "Applying Model Checking to Industrial-Sized PLC Programs", IEEE Transactions on Industrial Informatics, vol. 11, issue 6: IEEE, pp. 1400-1410, 12/2015.
2014
2013
Horányi, G., and Majzik, I., Automated Evaluation of the Test Traces of Autonomous Systems, , Budapest, Budapest University of Technology and Economics, Dept. of Measurement and Information Systems, pp. 25 pages, 01/2013.
2012
Bergmann, G., Horváth, D., and Horváth, Á., "Applying Incremental Graph Transformation to Existing Models in Relational Databases", Sixth International Conference on Graph Transformation, vol. 7562/2012, Bremen, Germany , Springer, pp. 371-385, 09/2012.
2010
Oláh, J., "Automated Robustness Test Generation using OCL Constraints", Proc. of the 17th PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 32-33, February, 2010.
2008
Lollini, P., Montecchi, L., Magyar, M., Majzik, I., and Bondavalli, A., "Analysis of the Impact of Communication Protocols on Service Quality in ERTMS Automatic Train Control Systems", Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008), Budapest, L'Harmattan Kiadó, pp. 225 - 232, 2008.
Szatmári, Z., Kövi, A., and Reitenspieß, M., "Applying MDA approach for the SA Forum platform", 3rd Federated Event on Distributed Computing Techniques 2008, Oslo, pp. 1 - 6, 2008.
Sisak, Á., Pintér, G., and Majzik, I., "Automated Verification of Complex Behavioral Models Using the SAL Model Checker", Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008), Budapest, L'Harmattan Kiadó, pp. 35 - 42, 2008.
2007
Majzik, I., and Domokos, P., "Aspect-Oriented Modelling and Analysis of Information Systems", PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 51, issue 1-2, pp. 21 - 31, 2007.
Pintér, G., Majzik, I., and Pataricza, A., "Application of Data Mining in Failure Data Analysis", Workshop on Reliability Analysis of System Failure Data, pp. * - 2, 2007.
Varró, D., and Balogh, Z., "Automating Model Transformation by Example Using Inductive Logic Programming", Proceedings of the 2007 ACM Symposium on Applied Computing (SAC 2007), Seoul, Korea, March 11-15, 2007: ACM Press, pp. 978-984, 2007. Abstract
Acceptance rate: 32%
2006
Horváth, Á., Varró, D., and Varró, G., "Automatic generation of platform-specific transformation", Info-Communications-Technology, vol. LXI, no. 7, pp. 40–45, 2006. Abstract
Horváth, Á., "Automatic Generation of Compiled Model Transformations", Proc. of Fifth Conference of PhD Students in Computer Science (CSCS), Szeged, Hungary, Institute of Informatics of the University of Szeged, pp. 54–55, Jun. 27-30, 2006.
Balogh, A., and Varró, D., "Advanced Model Transformation Language Constructs in the VIATRA2 Framework", ACM Symposium on Applied Computing –- Model Transformation Track (SAC 2006), Dijon, France, ACM Press, pp. 1280–1287, April, 2006. Abstract
Acceptance rate: 32%