Publikációk

Export 47 results:
Rendezés: [ Szerző  (Asc)] Cím Típus Év
Szűrők: Az Utónév Első Betűje = P  [Minden szűrő visszaállítása]
A B C D E F G H I J K L M N O [P] Q R S T U V W X Y Z   [MINDENT mutat]
P
Paljak, G J., Benchmarking the Ethernet-Federated Datacenter, , no. RZ3753: IBM Zürich Research Laboratory, 2009.
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.
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
Paljak, G J., Transaction Tracking in Large Scale Datacenters, , no. RZ3743: IBM Zürich Research Laboratory, 2009.
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.
Pap, Z., Majzik, I., Pataricza, A., and Szegi, A., "Completeness and Consistency Analysis of UML Statechart Specifications", Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS 2001): SZIF-Universitas, pp. 83 - 90, 2001.
Pap, Z., Majzik, I., Pataricza, A., and Szegi, A., "Completeness and Consistency Analysis of UML Statechart Specifications", 11th European Workshop on Dependable Computing (EWDC-11), Budapest, pp. 6 - , 2000.
Pap, Z., and Varró, D., "Static Safety Analysis of UML Action Semantics for Critical Systems Development", GI Jahrestagung (1), vol. 50: GI, pp. 57-61, September, 2004. Abstract
Pap, Z., Majzik, I., Pataricza, A., and Szegi, A., "Methods of Checking General Safety Criteria in Uml Statechart Specifications", RELIABILITY ENGINEERING & SYSTEM SAFETY, vol. 87, issue 1, pp. 89 - 107, 2005. Abstract
Pap, Z., Majzik, I., and Pataricza, A., "Checking General Safety Criteria on UML Statecharts", Computer Safety, Reliability and Security, Berlin ; Heidelberg, Springer-Verlag, pp. 46 - 55, 2001.
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.
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.
Pataricza, A., and Salánki, Á., "Ritka események", Intelligens adatelemzés: Typotex Kft., 2014.
Pataricza, A., Majzik, I., Hohl, W., and Hönig, J., "Watchdog Processors in Parallel Systems", MICROPROCESSING AND MICROPROGRAMMING, vol. 39, issue 2-5, pp. 69 - 74, 1993. Abstract
Pataricza, A., and Varró, D., Formal Methods in Computing, : {Akadémiai Kiadó, pp. 357–425, 2005.
Pintér, G., and Majzik, I., "Model Based Automatic Code Generation for Embedded Systems", Proceedings of Regional Conference on Embedded and Ambient Systems, Budapest, Neumann János Számítógép-tudományi Társaság, pp. 97 - 106, 2007.
Pintér, G., and Majzik, I., "Impact of Statechart Implementation Techniques on The Effectiveness of Fault Detection Mechanisms", Proceedings of The EUROMICRO'04 Workshop on Component Based Software Engineering: IEEE Computer Society Press, pp. 136 - 143, 2004.
Pintér, G., and Majzik, I., "Abstract Model-based Checkpoint And Recovery", Proceedings of the 2nd Conference of Phd Students in Computer Science, Szeged, University of Szeged, pp. 96 - 97, 2004.
Pintér, G., and Majzik, I., "Runtime verification of statechart implementations", LECTURE NOTES IN COMPUTER SCIENCE, vol. 3549, pp. 148 - 172, 2005. Abstract
Pintér, G., Majzik, I., and Pataricza, A., "Application of Data Mining in Failure Data Analysis", Workshop on Reliability Analysis of System Failure Data, pp. * - 2, 2007.
Pintér, G., Micskei, Z., Kövi, A., Égel, Z., Kocsis, I., Huszerl, G., and Pataricza, A., "Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services", Architecting Dependable Systems V, Berlin ; Heidelberg, Springer-Verlag, pp. 150 - 174, 2008.
Pintér, G., and Majzik, I., "Automatic Generation of Executable Assertions For Runtime Checking Temporal Requirements", Proceedings of The 9th IEEEInternational Symposium on High Assurance Systems Engineering (HASE 2005): IEEE Computer Society Press, pp. 111 - 120, 2005.