Export 54 results:
Rendezés: Szerző Cím Típus [ Év  (Asc)]
Szűrők: A Cím Első Betűje = S  [Minden szűrő visszaállítása]
Majzik, I., "Software Diagnosis Using Compressed Signature Sequences", PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 40, issue 2, pp. 87 - 103, 1996.
Majzik, I., "Software Monitoring and Debugging Using Compressed Signature Sequences", Proceedings of the 22nd EUROMICRO Conference: IEEE Computer Society Press, pp. 311 - 318, 1996.
Polgár, B., "System Level Diagnostics and Percolation Theory", Proceedings of the 7th PhD Mini-Symposium of the Department of Measurement and Information Systems, pp. 48 - 49, 2000.
Baresi, L., Heckel, R., Thöne, S., and Varró, D., "Style-Based Refinement of Dynamic Software Architectures", Proc. WICSA 2004: 4th Working International IEEE/IFIP Conference on Software Architecture, Oslo, Norway, IEEE Computer Society, pp. 155-164, 2004. Abstract
Acceptance rate: 30%
Varga, I., Bartha, T., Szabo, G., and Kiss, B., "Status and Actual Risk Monitoring in a NPP Reactor Protection System", Probabilistic safety assessment and management. Proceedings of thje PSAM7 - ESREL'04 Conference, Berlin, Springer, pp. 2654 - 2659, 2004.
UT: 000223579900425
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
Baresi, L., Heckel, R., Thöne, S., and Varró, D., "Style-Based Modeling and Refinement of Service-Oriented Architectures", Journal of Software and Systems Modelling, vol. 5, no. 2, pp. 187–207, June, 2006. Abstract
Vágó, D., Simulation and transformation of domain-specific languages, : Budapest University of Technology and Economics, 2006.
Wirsing, M., Hölzl, M. M., Acciai, L., Banti, F., Clark, A., Fantechi, A., Gilmore, S., Gnesi, S., Gönczy, L., Koch, N., et al., "SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity", Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, vol. 17: Springer, pp. 170-190, 2008. Abstract
Pintér, G., Micskei, Z., and Majzik, I., "Supporting design and development of safety critical applications by model based tools", ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTIENSIS DE ROLANDO EOTVOS NOMINATAE - SECTIO COMPUTATORICA, vol. 30, pp. 61 - 78, 2009.
Fabrice, B., Ruth, B., Jan, J., Fabio, M., Valentino, M., Micskei, Z., Frank, P., Ketil, S., and Varró, D., "SecureChange: Security Engineering for Lifelong Evolvable Systems", European Future Technologies Conference and Exhibition (FET09), Prague, pp. 1 - 3, 2009.
Szatmári, Z., "Standards-based Assessment of Development Toolchains in Safety-Critical Systems", Proceedings of the 12th European Workshop on Dependable Computing, EWDC 2009, Toulouse, pp. 1 - 4, 2009.
Ujhelyi, Z., Static Analysis of Model Transformations, : Budapest University of Technology and Economics, 2009.
Ujhelyi, Z., Horváth, Á., and Varró, D., Static Type Checking of Model Transformations by Constraint Satisfaction Programming, , no. TUB-TR-09-EE20: Budapest University of Technology and Economics, 06/2009.
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.
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.
Ujhelyi, Z., "Static Analysis of Model Transformations", Proc. of the 17th PhD Mini-Symposium, Budapest, Hungary, pp. 26–27, 2010.
Torrini, P., Heckel, R., and Ráth, I., "Stochastic Simulation of Graph Transformation Systems", Proc. of FASE2010, Fundamental Approaches to Software Engineering, 2010.
Ujhelyi, Z., "Static Type Checking of Model Transformation Programs", Conference of PhD Students in Computer Science, Szeged, pp. 74, 06/2010.

Ujhelyi, Z., "Static Type Checking of Model Transformation Programs", ICGT'10 Doctoral Symposium, University of Twente, Enschede, The Netherlands, Springer Berlin / Heidelberg, pp. 413-415, 10/2010.
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