Publications

Export 393 results:
Sort by: Author Title Type [ Year  (Desc)]
2013
Darvas, D., and Vörös, A., "Szaturációalapú tesztbemenet-generálás színezett Petri-hálókkal", Mesterpróba 2013. Konferenciakiadvány, pp. 48-51, 05/2013.
Izsó, B., Szárnyas, G., Ráth, I., and Varró, D., "IncQuery-D: Incremental Graph Search in the Cloud", Proceedings of the Workshop on Scalability in Model Driven Engineering, Budapest, Hungary, ACM, pp. 4, 2013.
Izsó, B., Hegedüs, Á., Bergmann, G., Horváth, Á., and Ráth, I., "PN2SC Case Study: An EMF-IncQuery solution", TTC 2013: Sixth Transformation Tool Contest, 2013.
Izsó, B., "Superscalable modeling systems", Proceedings of the 20th PhD Minisymposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 2013.
Szárnyas, G., "Superscalable Modeling", Department of Measurement and Information Systems, vol. MSc, Budapest, Budapest University of Technology and Economics, pp. 88, 12/2013.
Bergmann, G., Incremental Model Queries in Model-Driven Design, , vol. PhD, Budapest, Budapest University of Technology and Economics, 10/2013.
Micskei, Z., Languages and frameworks for specifying test artifacts, : Budapest University of Technology and Economics, 2013.
Honfi, D., Micskei, Z., and Vörös, A., Isolation and Pex: case study of cooperation, : Budapest University of Technology and Economics, 09/2013. Abstract
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
Micskei, Z., Szatmári, Z., Oláh, J., and Majzik, I., "A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems", Agent and Multi-Agent Systems. Technologies and Applications, vol. 7327: Springer Berlin / Heidelberg, pp. 504-513, 2012. Abstract
Szárnyas, G., Barabás, Á., and Gajdos, S., "NoSQL adatbázis-kezelők", Adatbázisok, 4. kiadás, 2012.
Micskei, Z., Madeira, H., Avritzer, A., Majzik, I., Vieira, M., and Antunes, N., "Robustness Testing Techniques and Tools", Resilience Assessment and Evaluation of Computing Systems: Springer Berlin Heidelberg, pp. 323-339, 2012.
Waeselynck, H., Micskei, Z., Rivière, N., Hamvas, Á., and Nitu, I., "TERMOS: A Formal Language for Scenarios in Mobile Computing Systems", Mobile and Ubiquitous Systems: Computing, Networking, and Services, vol. 73: Springer Berlin Heidelberg, pp. 285-296, 2012. Abstract
Bergmann, G., Massacci, F., Paci, F., Tun, T T., Varró, D., and Yu, Y., "A Tool for Managing Evolving Security Requirements", IS Olympics: Information Systems in a Diverse World, vol. 107: Springer Berlin Heidelberg, pp. 110-125, 2012. Abstract
10.1007/978-3-642-29749-6_8
Bergmann, G., Ráth, I., Varró, G., and Varró, D., "Change-driven model transformations. Change (in) the rule to rule the change.", Software and Systems Modeling, vol. 11, issue 3: Springer Berlin / Heidelberg, pp. 431-461, 2012.
Horváth, Á., and Varró, D., "Dynamic constraint satisfaction problems over models", Software and Systems Modeling, vol. 11, issue 3, pp. 385-408, 2012. Abstract
Hegedüs, Á., Ráth, I., and Varró, D., "Replaying Execution Trace Models for Dynamic Modeling Languages", Periodica Polytechnica-Electrical Engineering, vol. 56, issue 3, pp. 71-82, 2012. Abstract
Bartha, T., Vörös, A., Jámbor, A., and Darvas, D., "Verification of an Industrial Safety Function Using Coloured Petri Nets and Model Checking", Proceedings of the 14th International Conference on Modern Information Technology in the Innovation Processes of the Industrial Entreprises (MITIP 2012), Budapest, Hungary, Hungarian Academy of Sciences, Computer and Automation Research Institute (MTA SZTAKI), 10/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.
Bergmann, G., Ráth, I., Szabó, T., Torrini, P., and Varró, D., "Incremental pattern matching for the efficient computation of transitive closure", Sixth International Conference on Graph Transformation, vol. 7562/2012, Bremen, Germany , Springer, pp. 386-400, 09/2012.
Hegedüs, Á., Horváth, Á., Ráth, I., and Varró, D., "Query-driven soft interconnection of EMF models", ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems, Innsbruck, Austria, Springer, LNCS 7590, 09/2012. Abstract
Acceptance rate: 23%
Ráth, I., Hegedüs, Á., and Varró, D., "Derived Features for EMF by Integrating Advanced Model Queries", 8th European Conference on Modelling Foundations and Applications, Kgs. Lyngby, Denmark, Springer, 06/2012. Abstract
Acceptance rate: 31%