Publikációk

Export 503 results:
Rendezés: Szerző [ Cím  (Desc)] Típus Év
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 
Q
Dal Cin, M., Huszerl, G., and Kosmidis, K., "Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models", Proc. Fourth IEEE Int. Symposium on High Assurance Systems Engineering (HASE'99): IEEE Computer Society Press, pp. 37 - 45, 1999.
Huszerl, G., and Majzik, I., "Quantitative Analysis of Dependability Critical Systems Based on UML Statechart Models", Proc. Fifth IEEE Int. Symposium on High Assurance Systems Engineering, (HASE 2000), Los Alamitos, IEEE Computer Society Press, pp. 83 - 92, 2000.
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.
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.
P
Chechik, M., Dalpiaz, F., Debreceni, C., Horkoff, J., Ráth, I., Salay, R., and Varró, D., "Property-Based Methods for Collaborative Model Development", 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, Ottawa,Canada, 2015/09.
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.
Pintér, G., and Majzik, I., "Program Code Generation Based on Uml Statechart Models", PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 47, issue 3-4, pp. 187 - 204, 2003.
Polgár, B., "Process-graph Based Formulation of The Syndrome-decoding Problem", Proc. of Mini-symposium 2001, pp. 46 - 47, 2001.
Polgár, B., Nováki, S., Pataricza, A., and Friedler, F., "A Process Graph Based Formulation of The Syndrome-decoding Problem", Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS 2001): SZIF-Universitas, pp. 267 - 272, 2001.
Bartha, T., and Selényi, E., "Probabilistic System-Level Fault Diagnostic Algorithms for Multiprocessors", Parallel Computing, vol. 22, pp. 1807 - 1821, 1997. Abstract
UT: A1997WM04500008L3: citeulike-article-id:3911659KW: system-level diagnosis ISSN 0167-8191 Special issue: distributed and parallel systems: environments and tools
Bartha, T., and Selényi, E., "Probabilistic fault diagnosis in large, heterogeneous computing systems", Periodica Polytechnica-Electrical Engineering, vol. 2, issue 2, pp. 127 - 149, 2000.
Polgár, B., and Selényi, E., "Probabilistic Diagnostics With P-graphs", Proc. of CSCS2002, The Third Conference of Phd Students in Computer Science, pp. 82 - , 2002.
Polgár, B., and Selényi, E., "Probabilistic Diagnostics With P-graphs", ACTA CYBERNETICA-SZEGED, vol. 16, issue 2, pp. 279 - 291, 2003.
Hajdu, Á., and Micskei, Z., "A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework", Proceedings of the 25th PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 32–35, 2018. Abstract
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.
Darvas, D., Fernández Adiego, B., and Blanco Viñuela, E., "PLCverif: A tool to verify PLC programs based on model checking techniques", Proceedings of the 15th International Conference on Accelerator and Large Experimental Physics Control Systems, Melbourne, Australia, JACoW, pp. 911-914, 10/2015.
Darvas, D., Majzik, I., and Blanco Viñuela, E., "PLC Program Translation for Verification Purposes", Periodica Polytechnica, Electrical Engineering and Computer Science, vol. 61, issue 2, pp. 151–165, 05/2017. Abstract
Darvas, D., Blanco Viñuela, E., and Majzik, I., "PLC Code Generation Based on a Formal Specification Language", 14th IEEE International Conference on Industrial Informatics (INDIN), Poitiers, France, IEEE, pp. 389-396, 07/2016.
Hajdu, Á., Német, R., Varró-Gyapay, S., and Vörös, A., "Petri Net Based Trajectory Optimization", ASCONIKK 2014: Extended Abstracts. Future Internet Services, Veszprém, Hungary, University of Pannonia, pp. 11-19, 12/2014. Abstract
Varró, D., "A Pattern-Based Constraint Language for Metamodels", Proc. CSCS 2002: The Third Conference of PhD Students in Computer Science, Szeged, Hungary, pp. 109, July 1–4, 2002.
Balogh, A., and Varró, D., "Pattern Composition in Graph Transformation Rules", European Workshop on Composition of Model Transformations, Bilbao, Spain, July, 2006. Abstract
Bergmann, G., "Parallelization of Incremental Pattern Matching in Graph Transformation", Proceedings of the 16th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 10–11, 2009.