Publikációk

Export 138 results:
Rendezés: Szerző Cím Típus [ Év (Asc)]
Szűrők: Az Utónév Első Betűje = P  [Minden szűrő visszaállítása]
2009
Gusat, M., DeCusatis, C., Minkenberg, C., Kuldeep, B., McKenna, L., Paljak, G J., Pataricza, A., and Kocsis, I., "Benchmarking the Ethernet-Federated Datacenter", First Workshop on Data Center - Converged and Virtual Ethernet Switching, pp. 211 -221, sep., 2009.
Paljak, G J., Benchmarking the Ethernet-Federated Datacenter, , no. RZ3753: IBM Zürich Research Laboratory, 2009.
Paljak, G J., Transaction Tracking in Large Scale Datacenters, , no. RZ3743: IBM Zürich Research Laboratory, 2009.
Gusat, M., Minkenberg, C., and Paljak, G J., Flow and Congestion Control for Datacenter Networks, , no. RZ3742: IBM Zürich Research Laboratory, 2009.
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
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.
Suri, N., Jhumka, A., Hiller, M., Pataricza, A., Islam, S., and Sârbu, C., "A software integration approach for designing and assessing dependable embedded systems", Journal of Systems and Software, vol. 83, no. 10, pp. 1780-1800, 2010.
Polgár, B., Ráth, I., and Majzik, I., "Model-based Integration Framework for Development and Testing Tool-chains", FORMS/FORMAT 2010, the 8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, Springer Verlag, Berlin, pp. 204-212, 03/12/2010.
Paljak, G J., Szombath, I., Kocsis, I., Kovácsházy, T., and Pataricza, A., "Model-based Control of IT Infrastructures", 10th International Carpathian Control Conference, pp. 211 -214, 05/2010.
Szatmári, Z., Izsó, B., Polgár, B., and Majzik, I., "Ontology-based assessment of software models and development processes for safety-critical systems", Monographs of System Dependability Vol. 2, Wroclaw, pp. 1 - 12, 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.
2011
Bergmann, G., Horváth, Á., Ráth, I., and Varró, D., "Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery", Modelling Foundations and Applications, vol. 6698: Springer Berlin / Heidelberg, pp. 389-390, 2011. Abstract
10.1007/978-3-642-21470-7_32
Bergmann, G., Massacci, F., Paci, F., Tun, T., Varró, D., and Yu, Y., "SeCMER: A Tool to Gain Control of Security Requirements Evolution", Towards a Service-Based Internet, vol. 6994: Springer Berlin / Heidelberg, pp. 321-322, 2011. Abstract
10.1007/978-3-642-24755-2_35
Hegedüs, Á., Horváth, Á., and Varró, D., "Towards Guided Trajectory Exploration of Graph Transformation Systems", Electronic Communications of the EASST, Petri Nets and Graph Transformations 2010, vol. 40, 08/2011. Abstract
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.
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
2012
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
Paige, R. F., and Varró, D., "Lessons Learned from Building Model-Driven Development Tools", Software and Systems Modeling, 2012. Abstract
2013
Pataricza, A., Kocsis, I., Salánki, Á., and Gönczy, L., "Empirical Assessment of Resilience", Software Engineering for Resilient Systems, vol. 8166: Springer Berlin Heidelberg, 2013.
2014
Darvas, D., Fernández Adiego, B., Vörös, A., Bartha, T., Blanco Viñuela, E., and González Suárez, V. M., "Formal verification of complex properties on PLC programs", Formal Techniques for Distributed Objects, Components, and Systems, vol. 8461: Springer, pp. 284-299, 2014.
Pataricza, A., and Salánki, Á., "Ritka események", Intelligens adatelemzés: Typotex Kft., 2014.
2015
Tóth, T., Vörös, A., and Majzik, I., "A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol", Software Engineering for Resilient Systems, vol. 9274: Springer International Publishing, pp. 31-45, 09/15, 2015.
Salánki, Á., and Pataricza, A., "Identification of Dependability Models from Large Observation Sets", 23rd Minisymposium of the Department of Measurement and Information Systems, Budapest, IEEE, 01/2015.
2016
Molnár, V., and Majzik, I., "Evaluation of Fault Tolerance Mechanisms with Model Checking", Proceedings of the 23rd PhD Mini-Symposium, Budapest, Hungary, pp. 30–33, 2016.
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.

Nyelvek

  • English
  • Magyar

Belépés

Navigáció