1.
Kocsis, Imre ; Pataricza, András ; Huszerl, Gábor ; Izsó, Benedek ; Szatmári, Zoltán ; Tóth, Áron ; Varró, Dániel ; Vörös, András
Informatikaoktatás felhőben: egy új oktatási modell bevezetése
In: Révai, Nóra (szerk.) BeleSTEM - Felsőoktatási jó gyakorlatok a tudomány, a technológia, a műszaki tudományok és a matematika szolgálatában
Budapest, Magyarország : Tempus Közalapítvány (2014) 72 p. pp. 36-41. , 6 p.
Teljes dokumentum
Zárolt Közlemény:2832862 Egyeztetett Forrás Könyvrészlet (Szaktanulmány ) Ismeretterjesztő
Nyelv: Magyar
Szaktanulmány (Könyvrészlet) | Ismeretterjesztő[2832862] [Egyeztetett]
2.
Pintér, Gergely ; Micskei, Zoltán ; Kövi, András ; Égel, Zoltán ; Kocsis, Imre ; Huszerl, Gábor ; Pataricza, András
Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services
In: Lemos, Rogério de; Di Giandomenico, Felicita; Gacek, Cristina; Vieira, Marlon; Muccini, Henry (szerk.) Architecting Dependable Systems V
Berlin, Németország, Heidelberg, Németország : Springer Netherlands (2008) 341 p. pp. 150-174. , 25 p.
DOI Scopus Google scholar Google scholar hash
Közlemény:2628839 Admin láttamozott Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[2628839] [Admin láttamozott]
3.
Zoltan, Egel ; Irene, de Bruin ; António, Casimiro ; Mario, Calha ; Geir, Egeland ; Lorenzo, Falai ; Bjarke, Freund-Hansen ; Sonia, Heemstra de Groot ; Audun, Fosselie Hansen ; Gábor, Huszerl et al.
Highly dependable ip-based networks and services, Documentation and Evaluation of the experimental work pp. 1-60. , 60 p. (2008)
Teljes dokumentum
Közlemény:26858114 Nyilvános Forrás Idéző Egyéb (Kutatási jelentés (közzétett) ) Tudományos
Nyelv: Angol
Kutatási jelentés (közzétett) (Egyéb) | Tudományos[26858114] [Nyilvános]
4.
Pataricza, A ; Majzik, I ; Huszerl, G ; Várnai, Gy
UML-based Design and Formal Analysis of a Safety-Critical Railway Control Software Module
In: Tarnai, G; E, Schneider (szerk.) Formal methods for railway operation and control systems : Proceedings of Symposium FORMS 2004, Braunschweig, Germany, December 2-3, 2004
Braunschweig, Németország : L'Harmattan Kiadó (2004) pp. 125-132. , 8 p.
Google scholar
Közlemény:2615495 Admin láttamozott Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 25 | Független: 25 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 4 | WoS/Scopus jelölt: 4 | DOI jelölt: 6
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[2615495] [Admin láttamozott]
Nyilvános idéző összesen: 25, Független: 25, Függő: 0, Nem jelölt: 0
5.
Csertán, Gy ; Huszerl, G ; Majzik, I ; Pap, Zs ; Pataricza, A ; Varro, D
VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models
In: Automated Software Engineering - Automated Software Engineering (szerk.) Proceedings ASE 2002: 17th IEEE International Conference on Automated Software Engineering
Los Alamitos (CA), Amerikai Egyesült Államok : Institute of Electrical and Electronics Engineers (IEEE) (2002) 320 p. pp. 267-270. , 4 p.
Műegyetem Digitális Archívum DOI WoS Scopus Google scholar Google scholar hash
Zárolt Közlemény:1635294 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 251 | Független: 238 | Függő: 13 | Nem jelölt: 0 | WoS jelölt: 96 | Scopus jelölt: 139 | WoS/Scopus jelölt: 145 | DOI jelölt: 129
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[1635294] [Egyeztetett]
Nyilvános idéző összesen: 251, Független: 238, Függő: 13, Nem jelölt: 0
6.
Huszerl, G ; Majzik, I ; Pap, Zs ; Pataricza, A ; Petri, D ; Varró, D
Keretrendszer nagymegbízhatóságú, biztonságkritikus rendszerek fejlesztéséhez és teszteléséhez
In: OOOK : 5. Országos Objektum-Orientált Konferencia : Információs társadalom: kihívások és válaszok
Budapest, Magyarország : Neumann János Számítógép-tudományi Társaság (2002) 64 p. pp. 41-41. , 1 p.
Egyéb URL
Zárolt Közlemény:1635318 Egyeztetett Forrás Egyéb konferenciaközlemény (Absztrakt / Kivonat ) Tudományos
Nyelv: Magyar
Absztrakt / Kivonat (Egyéb konferenciaközlemény) | Tudományos[1635318] [Egyeztetett]
7.
Huszerl, G ; Majzik, I ; Pataricza, A ; Kosmidis, K ; Dal, Cin M
Quantitative Analysis of Uml Statechart Models of Dependable Systems
COMPUTER JOURNAL 45 : 3 pp. 260-277. , 18 p. (2002)
DOI WoS Scopus Teljes dokumentum Google scholar Google scholar hash
Közlemény:2605194 Admin láttamozott Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 56 | Független: 54 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 27 | Scopus jelölt: 34 | WoS/Scopus jelölt: 35 | DOI jelölt: 32
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos 
Megjegyzés: Department of Measurement and Information Systems, Budapest University of Technology and Economics, Hungary            
            Department of Computer Science III (Computer Structures), Friedrich-Alexander University of Erlangen-Nuremberg, Germany            
            Cited By :33            
            Export Date: 23 May 2022            
            CODEN: CMPJA            
            Correspondence Address: Huszerl, G.; Dept. of Measurement and Info. Syst., , Budapest, Hungary; email: huszerl@mit.bme.hu

[2605194] [Admin láttamozott]
Nyilvános idéző összesen: 56, Független: 54, Függő: 2, Nem jelölt: 0
8.
Huszerl, G ; Kosmidis, K
Object Oriented Notation for Modelling Quantitative Aspects
In: Brinkschulte, U; Grosspietsch, K E; Hochberger, C; Mayr, E W (szerk.) Workshop Proceedings of the International Conference on Architecture of Computing Systems (ARCS 2002)
Berlin, Németország : VDE Verlag (2002) pp. 91-100. , 10 p.
Közlemény:2615494 Admin láttamozott Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 1 | Független: 1 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[2615494] [Admin láttamozott]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
9.
Majzik, I ; Huszerl, G
Towards dependability modeling of FT-CORBA architectures
LECTURE NOTES IN COMPUTER SCIENCE 2485 pp. 121-139. , 19 p. (2002)
DOI WoS Scopus Teljes dokumentum Google scholar Google scholar hash
Közlemény:2650768 Nyilvános Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 10 | Független: 9 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 8 | Scopus jelölt: 5 | WoS/Scopus jelölt: 8 | DOI jelölt: 5
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos[2650768] [Nyilvános]
Nyilvános idéző összesen: 10, Független: 9, Függő: 1, Nem jelölt: 0
10.
Huszerl, G ; Majzik, I
Modeling and analysis of redundancy management in distributed object-oriented systems by using UML statecharts
In: IEEE (szerk.) Proc. of the 27th Euromicro Conference, Workshop on Software Process and Product Improvement : 2001: A Net Odyssey
Los Alamitos (CA), Amerikai Egyesült Államok : IEEE Computer Society Press (2001) pp. 200-207. Paper: 952455 , 8 p.
DOI WoS Scopus Google scholar
Közlemény:2615490 Nyilvános Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 11 | Független: 7 | Függő: 4 | Nem jelölt: 0 | WoS jelölt: 11 | Scopus jelölt: 11 | WoS/Scopus jelölt: 11 | DOI jelölt: 8
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos 
Megjegyzés: Cited By :17            
            Export Date: 23 May 2022            
            CODEN: EROMF            
            Correspondence Address: Budapest University of Technology and Economics, Pazmany Peter setany l/d, H-1521 Budapest, Hungary

[2615490] [Nyilvános]
Nyilvános idéző összesen: 11, Független: 7, Függő: 4, Nem jelölt: 0
2025-11-17 10:52