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.
Schwefel, Hans-Peter ; Nielsen, Jimmy Jessen ; Nickelsen, Anders ; Matthiesen, Erling Vestergaard ; Renier, Thibault Julien ; Rasmussen, Jakob Gulddahl ; Liu, Yaoda ; Svinnset, Inge-Einar ; Costa, Antonio Casimiro ; Lollini, Paolo et al.
HIDENETS - Highly Dependable IP-based Networks and Services (Tutorial) (2008)
Közlemény:33595272 Nyilvános Forrás Egyéb (Segédlet ) Tudományos
Nyelv: Angol
Segédlet (Egyéb) | Tudományos 
Megjegyzés: http://files.portal.aau.dk/filesharing/download?filename=aau/funding/hidenets/~/pub/Hidenets_Tutorial.v1.1.pdf

[33595272] [Nyilvános]
4.
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]
5.
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
6.
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, 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
Központi kezelésű Közlemény:1635294 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 252 | Független: 239 | Függő: 13 | Nem jelölt: 0 | WoS jelölt: 97 | Scopus jelölt: 140 | WoS/Scopus jelölt: 146 | DOI jelölt: 130
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[1635294] [Egyeztetett]
Nyilvános idéző összesen: 252, Független: 239, Függő: 13, Nem jelölt: 0
7.
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]
8.
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: 57 | Független: 55 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 28 | Scopus jelölt: 35 | WoS/Scopus jelölt: 36 | DOI jelölt: 33
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: 57, Független: 55, Függő: 2, Nem jelölt: 0
9.
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
10.
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
2026-09-14 20:25