mtmt
The Hungarian Scientific Bibliography
Previous page
157 elements on 16 page(s), 10 element listed, page number 1 shown.
Next page
Public search
Magyarul
Visualization options
Language
Abstract
Type information
Comments
Status information
Links
Only independent citations
Citations
None
Number
Short
Details
Full
Sorting
-
Published year
Title
First page or ArtNo
Created
Citing papers
Citation count
Status
Type
Sub type
Category
OA type
MTMT ID
Journal
Language
▼
▲
-
Published year
Title
First page or ArtNo
Created
Citing papers
Citation count
Status
Type
Sub type
Category
OA type
MTMT ID
Journal
Language
▼
▲
-
Published year
Title
First page or ArtNo
Created
Citing papers
Citation count
Status
Type
Sub type
Category
OA type
MTMT ID
Journal
Language
▼
▲
List size
10
20
50
100
1000
5000
Switch to:
XML
JSON
Export list:
As bibliography
RIS
BIBTEX
1.
Szekeres, Dániel
;
Marussy, Kristóf
;
Majzik, István
A Lazy Abstraction Algorithm for Markov Decision Processes
: Theory and Initial Evaluation
LECTURE NOTES IN COMPUTER SCIENCE
, 16 p.
(2024)
Publication:34899077
Published
Core
Journal Article (Conference paper in journal )
Scientific
Conference paper in journal (Journal Article) | Scientific
[34899077]
[Approved]
2.
Graics, Bence
;
Mondok, Milán
;
Molnár, Vince
;
Majzik, István
Model-Based Testing of Asynchronously Communicating Distributed Controllers
In: Jongmans, Sung-Shik; Cámara, Javier (eds.)
Formal Aspects of Component Software : 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers
Cham, Switzerland :
Springer Nature Switzerland AG
(2024)
pp. 23-44. Paper: Chapter 2 , 22 p.
DOI
WoS
Scopus
Other URL
Publication:34504488
Validated
Core Citing
Chapter in Book (Conference paper )
Scientific
Conference paper (Chapter in Book) | Scientific
[34504488]
[Validated]
3.
Szekeres, Dániel
;
Majzik, István
Towards Abstraction-based Probabilistic Program Analysis
ACTA CYBERNETICA
26
:
3
pp. 671-711. , 41 p.
(2024)
DOI
WoS
Scopus
Other URL
Publication:33999210
Published
Core Citing Duplum
Journal Article (Article )
Scientific
Article (Journal Article) | Scientific
[33999210]
[Approved]
4.
Graics, Bence
;
Molnár, Vince
;
Majzik, István
Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers
In: Titolo, Laura; Cimatti, Alessandro (eds.)
Formal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings
Cham, Switzerland :
Springer Nature Switzerland AG
(2023)
pp. 76-95. Paper: Chapter 5 , 20 p.
DOI
WoS
Scopus
Other URL
Publication:34144059
Validated
Core Citing
Chapter in Book (Conference paper )
Scientific
Conference paper (Chapter in Book) | Scientific
[34144059]
[Validated]
5.
Szekeres, Dániel
;
Majzik, István
Lazy Abstraction for Probabilistic Systems
In:
Proceedings of the 30th Minisymposium
Bp, Hungary :
Budapesti Műszaki és Gazdaságtudományi Egyetem
(2023)
pp. 9-12. , 4 p.
DOI
Other URL
Publication:33999238
Published
Core
Chapter in Book (Conference paper )
Scientific
Conference paper (Chapter in Book) | Scientific
[33999238]
[Approved]
6.
Graics, Bence
;
Molnár, Vince
;
Majzik, István
Component‐based specification, design and verification of adaptive systems
SYSTEMS ENGINEERING
26
:
5
pp. 567-589. , 23 p.
(2023)
DOI
WoS
Scopus
Other URL
Publication:33739468
Published
Core Citing
Journal Article (Article )
Scientific
Article (Journal Article) | Scientific
[33739468]
[Approved]
7.
Lantos, Péter
;
Lövétei, István Ferenc
;
Dr. Majzik, István
Biztonság (safety) az elektronikus rendszerek fejlesztésében - A prolan Zrt. megoldása a PRORIS biztosítóberendezés fejlesztése során
VASÚTI VEZETÉKVILÁG
2023
:
1
pp. 3-10. , 8 p.
(2023)
Publication:33723066
Published
Core
Journal Article (Article )
Scientific
Article (Journal Article) | Scientific
[33723066]
[Approved]
8.
Graics, Bence
;
Majzik, Istvan
Integration Test Generation and Formal Verification for Distributed Controllers
In:
Proceedings of the 30th Minisymposium
Bp, Hungary :
Budapesti Műszaki és Gazdaságtudományi Egyetem
(2023)
pp. 1-4. , 4 p.
Publication:33689503
Published
Core
Chapter in Book (Conference paper )
Scientific
Conference paper (Chapter in Book) | Scientific
[33689503]
[Approved]
9.
Földiák, M.
;
Marussy, K.
;
Varró, D.
;
Majzik, I.
System architecture synthesis for performability by logic solvers
In: Eugene, Syriani; Houari, Sahraoui (eds.)
MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems
New York City, United States of America :
ACM
(2022)
pp. 43-54. , 12 p.
DOI
Scopus
Publication:33282155
Published
Core
Chapter in Book (Conference paper )
Scientific
Conference paper (Chapter in Book) | Scientific
[33282155]
[Approved]
10.
Szekeres, Dániel
;
Majzik, István
Towards Abstraction-based Probabilistic Program Analysis
In: Szegedi Tudományegyetem Informatikai Intézet - Szegedi Tudományegyetem Informatikai Intézet (eds.)
The 13th Conference of PhD Students in Computer Science : June 29 – July 1, 2022 Szeged, Hungary : Volume of Short Papers
Szeged, Hungary :
SZTE TTIK Informatikai Intézet
(2022)
216 p.
p. 55
Publication:33104616
Published
Core
Conference paper (Conference paper )
Scientific
Conference paper (Conference paper) | Scientific
[33104616]
[Approved]
2024-09-19 23:55
×
Export list as bibliography
Citation styles:
IEEE
ACM
APA
Chicago
Harvard
Print
Copy