mtmt
Magyar Tudományos Művek Tára
Előző oldal
Összesen 25 elem 3 oldalon, 10 listázva, a(z) 1. oldal megjelenítve.
Következő oldal
Átlépés a keresőbe
In English
Megjelenítési opciók
Nyelv információ
Absztrakt
Típus információ
Megjegyzés
Státusz információ
Linkek
Csak független idézők
Idézők
Nincs
Szám
Rövid
Részletes
Teljes
Rendezés
-
Megjelenés éve
Első szerző
Cím
Első oldal v. cikkazonosító
Létrehozás dátuma
Nyilvános idézők összesen
Nyilvános idéző+említés összesen
Státusz
Típus
Besorolás
Jelleg
OA típus
MTMT azonosító
Folyóirat
Nyelv
▼
▲
-
Megjelenés éve
Első szerző
Cím
Első oldal v. cikkazonosító
Létrehozás dátuma
Nyilvános idézők összesen
Nyilvános idéző+említés összesen
Státusz
Típus
Besorolás
Jelleg
OA típus
MTMT azonosító
Folyóirat
Nyelv
▼
▲
-
Megjelenés éve
Első szerző
Cím
Első oldal v. cikkazonosító
Létrehozás dátuma
Nyilvános idézők összesen
Nyilvános idéző+említés összesen
Státusz
Típus
Besorolás
Jelleg
OA típus
MTMT azonosító
Folyóirat
Nyelv
▼
▲
Találatok
10
20
50
100
1000
5000
Mód váltás:
XML
JSON
Lista exportálása:
Irodalomjegyzékként
RIS
BIBTEX
1.
Kristóf, Marussy
Abstraction Techniques for the Analysis and Synthesis of Critical Cyber-Physical System Architectures
Budapesti Műszaki és Gazdaságtudományi Egyetem
,
Budapesti Műszaki és Gazdaságtudományi Egyetem, Informatikai Tudományok Doktori Iskola,
Majzik István
Védés éve: 2023
Megjelenés/Fokozatszerzés éve: 2023
Műegyetem Digitális Archívum
ODT védés
Közlemény:34021928
Nyilvános
Forrás Idéző
Disszertáció (PhD )
Tudományos
PhD (Disszertáció) | Tudományos
[34021928]
[Nyilvános]
2.
Chen, Boqi
;
Marussy, K.
;
Pilarski, Sebastian
;
Semeráth, Oszkár
;
Varro, Dániel
Consistent Scene Graph Generation by Constraint Optimization
In: Aehnelt, M.; Kirste, T. (szerk.)
ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering
New York, Amerikai Egyesült Államok :
Association for Computing Machinery (ACM)
(2022)
pp. 1-13. Paper: 25 , 13 p.
DOI
WoS
Scopus
Egyéb URL
Közlemény:33648748
Egyeztetett
Forrás Idéző
Könyvrészlet (Konferenciaközlemény )
Tudományos
Nyilvános idéző összesen: 1
| Független: 1 | Függő: 0 | Nem jelölt: 0 | DOI jelölt: 1
Konferenciaközlemény (Könyvrészlet) | Tudományos
[33648748]
[Egyeztetett]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
3.
Földiák, M.
;
Marussy, K.
;
Varró, D.
;
Majzik, I.
System architecture synthesis for performability by logic solvers
In: Eugene, Syriani; Houari, Sahraoui (szerk.)
MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems
New York, Amerikai Egyesült Államok :
Association for Computing Machinery (ACM)
(2022)
pp. 43-54. , 12 p.
DOI
Scopus
Közlemény:33282155
Nyilvános
Forrás
Könyvrészlet (Konferenciaközlemény )
Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos
[33282155]
[Nyilvános]
4.
Babikian, Aren A. ✉
;
Semerath, Oszkar
;
Li, Anqi
;
Marussy, Kristof
;
Varro, Daniel
Automated generation of consistent models using qualitative abstractions and exploration strategies
SOFTWARE AND SYSTEMS MODELING
21
:
5
pp. 1763-1787. , 25 p.
(2022)
DOI
WoS
Scopus
Közlemény:32394785
Egyeztetett
Forrás Idéző
Folyóiratcikk (Szakcikk )
Tudományos
Nyilvános idéző összesen: 1
| Független: 0 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Szakcikk (Folyóiratcikk) | Tudományos
[32394785]
[Egyeztetett]
Nyilvános idéző összesen: 1, Független: 0, Függő: 1, Nem jelölt: 0
5.
Kristóf, Marussy
;
Oszkár, Semeráth
;
Dániel, Varró
Automated Generation of Consistent Graph Models with Multiplicity Reasoning
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
48
:
5
pp. 1610-1629. , 20 p.
(2022)
DOI
WoS
Scopus
Közlemény:31360895
Egyeztetett
Forrás Idéző
Folyóiratcikk (Szakcikk )
Tudományos
Nyilvános idéző összesen: 3
| Független: 3 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 2
Szakcikk (Folyóiratcikk) | Tudományos
[31360895]
[Egyeztetett]
Nyilvános idéző összesen: 3, Független: 3, Függő: 0, Nem jelölt: 0
6.
Búr, Márton
;
Marussy, Kristóf
;
Meyer, Brett H.
;
Varró, Dániel
Worst-case Execution Time Calculation for Query-based Monitors by Witness Generation
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS
20
:
6
pp. 1-36. , 36 p.
(2021)
DOI
Egyéb URL
Közlemény:32589291
Nyilvános
Forrás Idéző
Folyóiratcikk (Szakcikk )
Tudományos
Nyilvános idéző összesen: 2
| Független: 2 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 2
Szakcikk (Folyóiratcikk) | Tudományos
[32589291]
[Nyilvános]
Nyilvános idéző összesen: 2, Független: 2, Függő: 0, Nem jelölt: 0
7.
Dániel, Szekeres
;
Kristóf, Marussy
;
István, Majzik
Tensor-based reliability analysis of complex static fault trees
In: Michael, Paulitsch; Mario, Trapp (szerk.)
2021 17th European Dependable Computing Conference (EDCC)
Piscataway (NJ), Amerikai Egyesült Államok :
Institute of Electrical and Electronics Engineers (IEEE)
(2021)
pp. 33-40. , 8 p.
DOI
WoS
Scopus
Egyéb URL
Közlemény:32028453
Egyeztetett
Forrás Idéző
Könyvrészlet (Konferenciaközlemény )
Tudományos
Nyilvános idéző összesen: 1
| Független: 1 | Függő: 0 | Nem jelölt: 0 | DOI jelölt: 1
Konferenciaközlemény (Könyvrészlet) | Tudományos
[32028453]
[Egyeztetett]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
8.
Oszkár, Semeráth
;
Aren, A. Babikian
;
Boqi, Chen
;
Chuning, Li
;
Kristóf, Marussy
;
Gábor, Szárnyas
;
Dániel, Varró
Automated Generation of Consistent, Diverse and Structurally Realistic Graph Models
SOFTWARE AND SYSTEMS MODELING
20
:
5
pp. 1713-1734. , 22 p.
(2021)
DOI
WoS
Scopus
Közlemény:32028274
Egyeztetett
Forrás Idéző
Folyóiratcikk (Szakcikk )
Tudományos
Nyilvános idéző összesen: 6
| Független: 6 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 6 | Scopus jelölt: 2 | WoS/Scopus jelölt: 6 | DOI jelölt: 6
Szakcikk (Folyóiratcikk) | Tudományos
[32028274]
[Egyeztetett]
Nyilvános idéző összesen: 6, Független: 6, Függő: 0, Nem jelölt: 0
9.
Semeráth, Oszkár
;
Babikian, Aren A.
;
Li, Anqi
;
Marussy, Kristóf
;
Varró, Daniel
Automated generation of consistent models with structural and attribute constraints
In: Syriani, E
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
New York, Amerikai Egyesült Államok :
Association for Computing Machinery (ACM)
(2020)
pp. 187-199. , 13 p.
DOI
Scopus
Egyéb URL
Közlemény:31872205
Egyeztetett
Forrás Idéző
Könyvrészlet (Konferenciaközlemény )
Tudományos
Nyilvános idéző összesen: 7
| Független: 5 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 7 | Scopus jelölt: 6 | WoS/Scopus jelölt: 7 | DOI jelölt: 7
Konferenciaközlemény (Könyvrészlet) | Tudományos
[31872205]
[Egyeztetett]
Nyilvános idéző összesen: 7, Független: 5, Függő: 2, Nem jelölt: 0
10.
Nagy, Simon József
;
Graics, Bence
;
Marussy, Kristóf
;
Vörös, András
Simulation-based Safety Assessment of High-level Reliability Models
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
316
pp. 240-260. , 21 p.
(2020)
DOI
Scopus
Egyéb URL
Közlemény:31374125
Admin láttamozott
Forrás
Folyóiratcikk (Konferenciaközlemény )
Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos
[31374125]
[Admin láttamozott]
2024-05-04 17:20
×
Lista exportálása irodalomjegyzékként
Hivatkozás stílusok:
IEEE
ACM
APA
Chicago
Harvard
Nyomtatás
Másolás