Publikációk

Export 473 results:
Rendezés: Szerző Cím Típus [ Év  (Desc)]
2011
Bergmann, G., Massacci, F., Paci, F., Tun, T., Varró, D., and Yu, Y., "A Tool for Managing Evolving Security Requirements", CAiSE'11 Forum at the 23rd International Conference on Advanced Information Systems Engineering, vol. 734, London, UK, CEUR-WS, pp. 49-56, 06/2011. Abstract
urn:nbn:de:0074-734-7
Hegedüs, Á., "Criteria Evaluation-driven State Space Exploration of Graph Transformation Systems", Proceedings of the 18th PhD Minisymposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 42-45, 02/2011.
Ujhelyi, Z., "Def-use Analysis of Model Transformation Programs with Program Slicing", Proceedings of the 18th PhD Minisymposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 46-49, 02/2011.
Bergmann, G., "Graph Triggers and Incrementally Evaluated Queries over EMF Models", Proceedings of the 18th PhD Minisymposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 38-41, 02/2011.
Salánki, Á., Kocsis, I., Pataricza, A., and Kocsis, Z., "Qualitative Characterization of Quality of Service Interference between Virtual Machines", ARCS 2011 - ARCHITECTURE OF COMPUTING SYSTEMS, Como, Italy , VDE VERLAG GmbH, 01/2011.
Oláh, J., "Test Data Generation Using Metaheuristics", Proceedings of the 18th PhD Mini-Symposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 01/2011.
Vörös, A., Darvas, D., and Bartha, T., "Bounded Saturation Based CTL Model Checking.", 12th Symposium on Programming Languages and Software Tools - SPLST'11, 2011.
Bergmann, G., Ujhelyi, Z., Ráth, I., and Varró, D., "A Graph Query Language for EMF models", Theory and Practice of Model Transformations, Fourth International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings, vol. 6707: Springer, pp. 167-182, 2011. Abstract
Acceptance rate: 27%
Szombath, I., "Sampling and Parameter Testing in Large IT Infrastructure Graphs", Proc. of the 18th PhD Mini-Symposium, Budapest, Hungary, pp. 10–14, 2011.
Szárnyas, G., "Multidimenziós adatkezelés és bitmap indexelés", Department of Telecommunications and Media Informatics, vol. BSc: Budapest University of Technology and Economics, pp. 82, 12/2011.
2010
Bergmann, G., Boronat, A., Heckel, R., Torrini, P., Ráth, I., and Varró, D., "Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing", Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing: Springer, 2010.
Pataricza, A., Varró, D., Majzik, I., Polgár, B., Ráth, I., and Horváth, Á., "Workflow-Driven Tool Integration Using Model Transformation", Graph Transformations and Model Driven Enginering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday: Springer, pp. 224-248, 2010.
Paljak, G J., Kocsis, I., Égel, Z., Tóth, D., and Pataricza, A., "Sensor Selection for IT Infrastructure Monitoring", Autonomic Computing and Communications Systems, vol. 23: Springer Berlin Heidelberg, pp. 130-143, 2010.
10.1007/978-3-642-11482-3_9
Horváth, Á., Bergmann, G., Ráth, I., and Varró, D., "Experimental Assessment of Combining Pattern Matching Strategies with VIATRA2", International Journal on Software Tools for Technology Transfer, vol. 12, issue 3-4, pp. 211-230, 2010. Abstract
Torrini, P., Heckel, R., Ráth, I., and Bergmann, G., "Stochastic Graph Transformation with Regions", Electronic Communications of the EASST, Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques, vol. 29, 2010.
Paljak, G J., Égel, Z., Tóth, D., Kocsis, I., Kovácsházy, T., and Pataricza, A., "Qualitative performance control in supervised IT infrastructures", Dependable Systems and Networks Workshops (DSN-W), 2010 International Conference on, pp. 59 -65, jun., 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.
Szatmári, Z., "Fejlesztési folyamatok ontológia alapú ellenőrzése", XV. Fiatal műszakiak tudományos ülésszaka, Kolozsvár, Erdélyi Múzeum-Egyesület, pp. 1 - 4, 2010.
Kövi, A., and Micskei, Z., "Robustness Testing of Standard Specifications-based HA Middleware", Proceedings of the 2010 International Conferenceon Distributed Computing Systems Workshops: IEEE Computer Society Press, pp. 302 - 306, 2010.
Bergmann, G., Horváth, Á., Ráth, I., Varró, D., Balogh, A., Balogh, Z., and Ökrös, A., "Incremental Evaluation of Model Queries over EMF Models", Model Driven Engineering Languages and Systems, 13th International Conference, MODELS'10: Springer, 10/2010.
Acceptance rate: 21%
Horváth, Á., Varró, D., and Schoofs, T., "Model-Driven Development of ARINC 653 Configuration Tables", 29th IEEE & AIAA Digital Avionics System Conference (DASC), Salt Lake City, US, IEEE, 10/2010. Abstract