Publikációk

Export 13 results:
Rendezés: Szerző Cím Típus [ Év (Desc)]
Szűrők: Az Utónév Első Betűje = L  [Minden szűrő visszaállítása]
2011
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

2008
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.
Bretz, K., Vynohradskyi, B., Lopatyev, A., Antal, S., and Oláh, J., "Diagnostics of coordinate components of purposeful arm movements of a human.", Theory and Methods of Physical Education, issue 44, Ukraine, pp. 8-11, June, 2008.

Ukraine

Lollini, P., Montecchi, L., Magyar, M., Majzik, I., and Bondavalli, A., "Analysis of the Impact of Communication Protocols on Service Quality in ERTMS Automatic Train Control Systems", Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008), Budapest, L'Harmattan Kiadó, pp. 225 - 232, 2008.
Kovács, Máté, Lollini, P., Majzik, I., and Bondavalli, A., "An Integrated Framework for the Dependability Evaluation of Distributed Mobile Applications", Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems: ACM, pp. 29 - 38, 2008.
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
2007
Balogh, A., Pataricza, A., Csertán, G., and Polgár, B., "Model-Based Analysis and Synthesis Methods for Dependable 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. 123 - 130, 2007.
2005
Ehrig, H., Ehrig, K., de Lara, J., Taentzer, G., Varró, D., and Varró-Gyapay, S., "Termination Criteria for Model Transformation", Proc. FASE 2005: Internation Conference on Fundamental Approaches to Software Engineering, vol. 3442, Edinburgh, UK,, Springer, pp. 49–63, April, 2005. Abstract

Acceptance rate: 22%

Ehrig, K., Guerra, E., de Lara, J., Lengyel, L., Levendovszky, T., Prange, U., Taentzer, G., Varró, D., and Varró-Gyapay, S., "Model Transformation by Graph Transformation: A Comparative Study", MTiP 2005, International Workshop on Model Transformations in Practice (Satellite Event of MoDELS 2005), 2005. Abstract
2001
Bondavalli, A., Dal Cin, M., Latella, D., Majzik, I., Pataricza, A., and Savoia, G., "Dependability Analysis in The Early Phases of Uml-based System Design", COMPUTER SYSTEMS SCIENCE AND ENGINEERING, vol. 16, issue 5, pp. 265 - 275, 2001. Abstract
2000
Gnesi, S., Latella, D., Majzik, I., and Massink, M., "Formal Validation of UML Statechart Diagrams Models", UML2000 Workshop on Dynamic Behaviour in UML Models: Semantic Questions (The Third International Conference on The Unified Modeling Language), pp. * - 7, 2000.
1999
Latella, D., Majzik, I., and Massink, M., "Towards a Formal Operational Semantics of UML Statechart Diagrams", Formal Methods for Open Object-Based Distributed Systems (Proc. Third IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'99), February 15-18, 1999, Florence, Italy), Deventer, Kluwer Academic Publishers, pp. 331 - 347, 1999.
Latella, D., Majzik, I., and Massink, M., "Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker", FORMAL ASPECTS OF COMPUTING, vol. 11, issue 6, pp. 637 - 664, 1999.

Nyelvek

  • English
  • Magyar

Belépés