Publikációk

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.

• BibTex

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.

• BibTex

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.

• BibTex

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.

• BibTex

Debreceni, C., "Automated abstraction in model-driven engineering", Mestepróba'14, Budapest, 2014.

• BibTex

Dobos-Kovács, M., and Vörös, A., "Model checking and test generation: towards a combined approach to software verification", Proceedings of the 26th PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 12–15, 01/2019. Abstract

• BibTex

Domokos, P., and Majzik, I., "Automated Construction of Dependability Models by Aspect-Oriented Modeling and Model Transformation", Proc. 19th Int. Conf. on Architecture of Computing Systems: Gesellschaft für Informatik, pp. 66 - 75, 2006.

• BibTex

Domokos, P., Majzik, I., and Varró, D., "Megbízhatósági modellek automatikus generálása gráftranszformációval", Fiatal Műszakiak Tudományos Ülésszaka IX., Kolozsvár, pp. 101 - 104, 2004.

• BibTex

Domokos, P., and Majzik, I., "Design and Analysis of Fault Tolerant Architectures by Model Weaving", Proc. Ninth IEEE Int. Symposium on High-Assurance Systems Engineering (HASE-05): IEEE Computer Society Press, pp. 15 - 24, 2005.

• BibTex