Publikációk

Export 108 results:
Rendezés: Szerző Cím Típus [ Év  (Desc)]
Szűrők: Az Utónév Első Betűje = R  [Minden szűrő visszaállítása]
2019
Semeráth, O., Rebeka, F., Bergmann, G., and Varró, D., "Diversity of Graph Models and Graph Generators in Mutation Testing", International Journal on Software Tools for Technology Transfer, 2019.
2018
Debreceni, C., Bergmann, G., Ráth, I., and Varró, D., "Secure Views for Collaborative Modeling", IEEE Software, vol. 35, issue 6, no. 6, pp. 32-38, 11/2018.
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.
Rebeka, F., Tóth, T., Hajdu, Á., and Vörös, A., "Backward reachability analysis for timed automata with data variables", 18th International Workshop on Automated Verification of Critical Systems, Oxford, England, EASST, 2018.
Búr, M., Szilágyi, G., Vörös, A., and Varró, D., "Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems", Fundamental Approaches to Software Engineering, Cham, Springer International Publishing, pp. 111–128, 2018. Abstract
2017
Bonfiglio, V., Brancati, F., Rossi, F., Bondavalli, A., Montecchi, L., Pataricza, A., Kocsis, I., and Molnár, V., "Composable Framework Support for Software-FMEA through Model Execution", Certifications of Critical Systems – The CECRIS Experience, Delft, Netherlands, River Publishers, pp. 183–200, 2017.
Debreceni, C., Bergmann, G., Ráth, I., and Varró, D., "Property-based Locking in Collaborative Modeling", 20th International Conference on Model Driven Engineering Languages and Systems, Austin, Texas, USA, 09/2017.
Bergmann, G., Debreceni, C., Ráth, I., and Varró, D., "Towards Efficient Evaluation of Rule-based Permissions for Fine-grained Access Control in Collaborative Modeling", 2nd International Workshop on Collaborative Modelling in MDE, Austin, Texas, USA, 09/2017.
Debreceni, C., Bergmann, G., Búr, M., Ráth, I., and Varró, D., "The MONDO Collaboration Framework: Secure Collaborative Modeling over Existing Version Control Systems", 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Paderborn, Germany, ACM, 2017.
2016
Bergmann, G., Debreceni, C., Ráth, I., and Varró, D., "Query-based Access Control for Secure Collaborative Modeling using Bidirectional Transformations", ACM/IEEE 19th Int. Conf. on Model Driven Engineering Languages and Systems, Saint-Malo, France, 2016.
Acceptance rate: 23.7%. Received ACM Distinguished Paper Award.
Debreceni, C., Bergmann, G., Ráth, I., and Varró, D., "Deriving Effective Permissions for Modeling Artifacts from Fine-grained Access Control Rules", 1st International Workshop on Collaborative Modelling in MDE, Saint Malo, France, ACM, 06/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
Chechik, M., Dalpiaz, F., Debreceni, C., Horkoff, J., Ráth, I., Salay, R., and Varró, D., "Property-Based Methods for Collaborative Model Development", 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, Ottawa,Canada, 2015/09.
Darvas, D., Blanco Viñuela, E., and Majzik, I., "A formal specification method for PLC-based applications", Proceedings of the 15th International Conference on Accelerator and Large Experimental Physics Control Systems, Melbourne, Australia, JACoW, pp. 907-910, 10/2015.
Darvas, D., Fernández Adiego, B., and Blanco Viñuela, E., "PLCverif: A tool to verify PLC programs based on model checking techniques", Proceedings of the 15th International Conference on Accelerator and Large Experimental Physics Control Systems, Melbourne, Australia, JACoW, pp. 911-914, 10/2015.
Bergmann, G., Dávid, I., Hegedüs, Á., Horváth, Á., Ráth, I., Ujhelyi, Z., and Varró, D., "Viatra 3 : A Reactive Model Transformation Platform", 8th International Conference on Model Transformations, L'Aquila, Italy, Springer, 07/2015. Abstract
Stein, D., Szárnyas, G., and Ráth, I., "Java Refactoring Case: a VIATRA Solution", 8th Transformation Tool Contest, L'Aquila, Italy, 2015.
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.