mtmt
Magyar Tudományos Művek Tára
Előző oldal
Összesen 10 elem 1 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.
Somorjai, Márk
;
Dobos-Kovács, Mihály
;
Ádám, Zsófia
;
Bajczi, Levente
;
Vörös, András
Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
402
:
402
pp. 105-117. , 13 p.
(2024)
DOI
WoS
Scopus
Egyéb URL
Közlemény:33784283
Egyeztetett
Forrás Idéző
Folyóiratcikk (Konferenciaközlemény )
Tudományos
Nyilvános idéző összesen: 2
| Független: 2 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 1 | WoS/Scopus jelölt: 2 | DOI jelölt: 2
Konferenciaközlemény (Folyóiratcikk) | Tudományos
[33784283]
[Egyeztetett]
Nyilvános idéző összesen: 2, Független: 2, Függő: 0, Nem jelölt: 0
2.
Graics, Bence ✉
;
Molnár, Vince
;
Vörös, András
;
Majzik, István
;
Varró, Dániel
Mixed-Semantics Composition of Statecharts for the Component-Based Design of Reactive Systems
SOFTWARE AND SYSTEMS MODELING
19
:
6
pp. 1483-1517. , 35 p.
(2020)
DOI
WoS
Scopus
Központi kezelésű
Közlemény:31343505
Egyeztetett
Forrás Idéző
Folyóiratcikk (Szakcikk )
Tudományos
Nyilvános idéző összesen: 27
| Független: 17 | Függő: 10 | Nem jelölt: 0 | WoS jelölt: 23 | Scopus jelölt: 23 | WoS/Scopus jelölt: 26 | DOI jelölt: 27
Szakcikk (Folyóiratcikk) | Tudományos
[31343505]
[Egyeztetett]
Nyilvános idéző összesen: 27, Független: 17, Függő: 10, Nem jelölt: 0
3.
Bajczi, Levente
;
Vörös, András
;
Molnár, Vince
Will My Program Break on This Faulty Processor?
: Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS
18
:
5
Paper: 89 , 21 p.
(2019)
DOI
WoS
Scopus
Egyéb URL
Közlemény:30865515
Nyilvános
Forrás
Folyóiratcikk (Konferenciaközlemény )
Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos
[30865515]
[Nyilvános]
4.
Búr, Márton
;
Szilágyi, Gábor
;
Vörös, András ✉
;
Varró, Dániel
Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
22
:
1
pp. 79-102. , 24 p.
(2019)
DOI
WoS
Scopus
Egyéb URL
Központi kezelésű
Közlemény:30917749
Egyeztetett
Forrás Idéző
Folyóiratcikk (Szakcikk )
Tudományos
Nyilvános idéző összesen: 13
| Független: 13 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 6 | Scopus jelölt: 13 | WoS/Scopus jelölt: 13 | DOI jelölt: 13
Szakcikk (Folyóiratcikk) | Tudományos
[30917749]
[Egyeztetett]
Nyilvános idéző összesen: 13, Független: 13, Függő: 0, Nem jelölt: 0
5.
Farkas, Rebeka
;
Tóth, Tamás
;
Hajdu, Ákos
;
Vörös, András
Backward reachability analysis for timed automata with data variables
ELECTRONIC COMMUNICATIONS OF THE EASST
76
pp. 1-20. , 20 p.
(2019)
DOI
Scopus
Scopus
Teljes dokumentum
Közlemény:30748705
Nyilvános
Forrás Idéző
Folyóiratcikk (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 (Folyóiratcikk) | Tudományos
[30748705]
[Nyilvános]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
6.
István, Majzik
;
Oszkár, Semeráth
;
Csaba, Hajdu
;
Kristóf, Marussy
;
Zoltán, Szatmári
;
Zoltán, Micskei
;
András, Vörös
;
Aren, A. Babikian
;
Dániel, Varró
Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles
In: Burgueno, L; Voss, S; Pretschner, A; Yue, T; Kessentini, M (szerk.)
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS)
Los Alamitos, Amerikai Egyesült Államok :
IEEE Computer Society
(2019)
pp. 89-94. , 6 p.
DOI
WoS
Scopus
Központi kezelésű
Közlemény:30748490
Egyeztetett
Forrás Idéző
Könyvrészlet (Konferenciaközlemény )
Tudományos
Nyilvános idéző összesen: 50
| Független: 44 | Függő: 6 | Nem jelölt: 0 | WoS jelölt: 37 | Scopus jelölt: 35 | WoS/Scopus jelölt: 44 | DOI jelölt: 47 (Nem nyilvános: 2)
Konferenciaközlemény (Könyvrészlet) | Tudományos
[30748490]
[Egyeztetett]
Nyilvános idéző összesen: 50, Független: 44, Függő: 6, Nem jelölt: 0
7.
Vörös, András
;
Darvas, Dániel
;
Hajdu, Ákos
;
Klenik, Attila
;
Marussy, Kristóf
;
Molnár, Vince
;
Bartha, Tamás
;
Majzik, István
Industrial Applications of the PetriDotNet Modelling and Analysis Tool
SCIENCE OF COMPUTER PROGRAMMING
157
pp. 17-40. , 24 p.
(2018)
DOI
ScienceDirect
REAL
WoS
Scopus
Egyéb URL
Közlemény:3265337
Egyeztetett
Forrás Idéző
Folyóiratcikk (Szakcikk )
Tudományos
Nyilvános idéző összesen: 9
| Független: 9 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 5 | Scopus jelölt: 3 | WoS/Scopus jelölt: 5 | DOI jelölt: 6
Szakcikk (Folyóiratcikk) | Tudományos
[3265337]
[Egyeztetett]
Nyilvános idéző összesen: 9, Független: 9, Függő: 0, Nem jelölt: 0
8.
Tóth, Tamás
;
Hajdu, Ákos
;
Vörös, András
;
Micskei, Zoltán
;
Majzik, István
Theta: a Framework for Abstraction Refinement-Based Model Checking
In: Stewart, Daryl; Weissenbacher, Georg (szerk.)
Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design
Vienna, Ausztria,
Piscataway (NJ), Amerikai Egyesült Államok :
FMCAD Association
,
Institute of Electrical and Electronics Engineers (IEEE)
(2017)
pp. 176-179. , 4 p.
DOI
REAL
WoS
Scopus
Teljes dokumentum
Közlemény:3266689
Egyeztetett
Forrás Idéző
Könyvrészlet (Konferenciaközlemény )
Tudományos
Nyilvános idéző összesen: 41
| Független: 24 | Függő: 17 | Nem jelölt: 0 | WoS jelölt: 26 | Scopus jelölt: 25 | WoS/Scopus jelölt: 32 | DOI jelölt: 35 (Nem nyilvános: 5)
Konferenciaközlemény (Könyvrészlet) | Tudományos
[3266689]
[Egyeztetett]
Nyilvános idéző összesen: 41, Független: 24, Függő: 17, Nem jelölt: 0
9.
Molnár, Vince ✉
;
Vörös, András
;
Darvas, Dániel
;
Bartha, Tamás
;
Majzik, István
Component-wise incremental LTL model checking
FORMAL ASPECTS OF COMPUTING
28
:
3
pp. 345-379. , 35 p.
(2016)
DOI
SZTAKI
WoS
Scopus
Teljes dokumentum
Google scholar
Közlemény:3025948
Egyeztetett
Forrás Idéző
Folyóiratcikk (Szakcikk )
Tudományos
Nyilvános idéző összesen: 8
| Független: 4 | Függő: 4 | Nem jelölt: 0 | WoS jelölt: 4 | Scopus jelölt: 6 | WoS/Scopus jelölt: 6 | DOI jelölt: 6
Szakcikk (Folyóiratcikk) | Tudományos
[3025948]
[Egyeztetett]
Nyilvános idéző összesen: 8, Független: 4, Függő: 4, Nem jelölt: 0
10.
Semeráth, Oszkár ✉
;
Vörös, András
;
Varró, Dániel
Iterative and incremental model generation by logic solvers
LECTURE NOTES IN COMPUTER SCIENCE
9633
pp. 87-103. , 17 p.
(2016)
DOI
REAL
WoS
Scopus
Központi kezelésű
Közlemény:3018468
Egyeztetett
Forrás Idéző
Folyóiratcikk (Szakcikk )
Tudományos
Nyilvános idéző összesen: 41
| Független: 26 | Függő: 15 | Nem jelölt: 0 | WoS jelölt: 29 | Scopus jelölt: 37 | WoS/Scopus jelölt: 37 | DOI jelölt: 34
Szakcikk (Folyóiratcikk) | Tudományos
[3018468]
[Egyeztetett]
Nyilvános idéző összesen: 41, Független: 26, Függő: 15, Nem jelölt: 0
2026-04-17 13:38
×
Lista exportálása irodalomjegyzékként
Hivatkozás stílusok:
IEEE
ACM
APA
Chicago
Harvard
Nyomtatás
Másolás