Publikációk

Export 71 results:
Rendezés: Szerző Cím [ Típus  (Desc)] Év
Szűrők: Az Utónév Első Betűje = K  [Minden szűrő visszaállítása]
Conference Paper
Majzik, I., Pintér, G., and Kovács, P T., "UML Based Visual Design of Embedded Systems", Proceedings of the 7th IEEE International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS'04), pp. 115 - 120, 2004.
Bartha, T., Vörös, A., Jámbor, A., and Darvas, D., "Verification of an Industrial Safety Function Using Coloured Petri Nets and Model Checking", Proceedings of the 14th International Conference on Modern Information Technology in the Innovation Processes of the Industrial Entreprises (MITIP 2012), Budapest, Hungary, Hungarian Academy of Sciences, Computer and Automation Research Institute (MTA SZTAKI), 10/2012.
Journal Article
Bondavalli, A., Ceccarelli, A., Gronbaek, J., Iovino, D., Karna, L., Klapka, S., Madsen, T. K., Magyar, M., Majzik, I., and Salzo, A., "Design and Evaluation of a Safe Driver Machine Interface", INTERNATIONAL JOURNAL OF PERFORMABILITY ENGINEERING, vol. 5, issue 2, pp. 153 - 166, 2009.
Kovács, Máté, Gönczy, L., and Varró, D., "Formal analysis of BPEL workflows with compensation by model checking", International Journal of Computer Systems and Engineering, vol. 23, no. 5, 2008. Abstract
Book Chapter
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.
Micskei, Z., Szatmári, Z., Oláh, J., and Majzik, I., "A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems", Agent and Multi-Agent Systems. Technologies and Applications, vol. 7327: Springer Berlin / Heidelberg, pp. 504-513, 2012. Abstract
Marussy, K., Klenik, A., Molnár, V., Vörös, A., Majzik, I., and Telek, M., "Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models", Application and Theory of Petri Nets and Concurrency, vol. 9698: Springer, pp. 281-300, 2016.
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.
Czipó, B., Hajdu, Á., Tóth, T., and Majzik, I., "Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers", Proceedings of the 14th International Workshop on Formal Engineering Approaches to Software Components and Architectures, vol. 245: Open Publishing Association, pp. 31–45, 2017. Abstract
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
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.
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