MTMT2: publication list

11.

Dániel, Szekeres ; Kristóf, Marussy ; István, Majzik

Tensor-based reliability analysis of complex static fault trees

In: Michael, Paulitsch; Mario, Trapp (eds.) 2021 17th European Dependable Computing Conference (EDCC)

Piscataway (NJ), United States of America : IEEE (2021) pp. 33-40. , 8 p.

DOI WoS Scopus Other URL

Publication:32028453 Validated Core Citing Chapter in Book (Conference paper ) Scientific

Citing papers: 1 | Independent citation: 1 | Self citation: 0 | Unknown citation: 0 | Number of citations with DOI: 1

Conference paper (Chapter in Book) | Scientific[32028453] [Validated]

All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 0

12.

Tóth, Tamás ; Majzik, István

Configurable verification of timed automata with discrete variables

ACTA INFORMATICA (Online first) p. 0 (2020)

DOI WoS Scopus Other URL

Publication:31904623 Validated Core Citing Journal Article (Article ) Scientific

Article (Journal Article) | Scientific[31904623] [Validated]

13.

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 pp. 1483-1517. , 35 p. (2020)

DOI WoS Scopus

Publication:31343505 Published Core Journal Article (Article ) Scientific

Article (Journal Article) | Scientific[31343505] [Approved]

All citations+mentions: 11, External citations: 9, Self citations: 2, Unhandled citations: 0

14.

Bence, Graics ; Majzik, István

Modeling and Analysis of an Industrial Communication Protocol in the Gamma Framework

In: Balázs, Renczes (eds.) Proceedings of the 27th PhD Mini-Symposium

Bp, Hungary : Budapesti Műszaki és Gazdaságtudományi Egyetem, Villamosmérnöki és Informatikai Kar, Méréstechnika és Információs Rendszerek Tanszék (2020) pp. 25-28. , 4 p.

Other URL

Publication:31294892 Published Core Chapter in Book (Conference paper ) Scientific

Conference paper (Chapter in Book) | Scientific[31294892] [Approved]

15.

Bartha, Tamás ; Majzik, István

Biztonságra tervezés és biztonságigazolás formális módszerei

Bp, Hungary : Akadémiai Kiadó Zrt. (2019)

DOI ISBN: 9789634542919 ISBN: 9789634543831 Other URL

Publication:31806879 Published Core Book (Textbook for higher education ) Educational

Textbook for higher education (Book) | Educational[31806879] [Approved]

16.

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: Alexander, Pretschner; Sebastian, Voss Proceedings of the IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS)

München, Germany : Institute of Electrical and Electronics Engineers (2019) pp. 89-94. , 6 p.

DOI ISBN: 9781728125367 WoS Scopus

Publication:30748490 Admin approved Core Citing Chapter in Book (Conference paper ) Scientific

Conference paper (Chapter in Book) | Scientific[30748490] [Admin approved]

All citations+mentions: 30, External citations: 29, Self citations: 1, Unhandled citations: 0

17.

Molnár, Vince ; Majzik, István

Saturation Enhanced with Conditional Locality: Application to Petri Nets

In: Donatelli, Susanna; Haar, Stefan Application and Theory of Petri Nets and Concurrency : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings

Cham, Switzerland : Springer (2019) 486 p. pp. 342-361. , 20 p.

DOI WoS Scopus

Publication:30707562 Validated Core Citing Chapter in Book (Conference paper ) Scientific

Citing papers: 1 | Independent citation: 1 | Self citation: 0 | Unknown citation: 0

Conference paper (Chapter in Book) | Scientific[30707562] [Validated]

All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 0

18.

Marussy, Kristóf ; Majzik, István

Architecture-based Dependability Analysis of Reconfigurable and Adaptive Systems

In: Pataki, Béla (eds.) Proceedings of the 26th Minisymposium of the Department of Measurement and Information Systems

Budapest, Hungary : BME MIT (2019) 32 p. p. 17

Publication:30699590 Published Core Chapter in Book (Conference paper ) Scientific

Conference paper (Chapter in Book) | Scientific[30699590] [Approved]

19.

Rupert, Schlick ; Michael, Felderer ; Majzik, Istvan ; Roberto, Nardone ; Alexander, Raschke ; Colin, Snook ; Valeria, Vittorini

A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods

LECTURE NOTES IN COMPUTER SCIENCE 11247 pp. 249-272. , 24 p. (2018)

DOI Scopus

Publication:30347129 Published Core Citing Journal Article (Article ) Scientific

Article (Journal Article) | Scientific[30347129] [Approved]

All citations+mentions: 4, External citations: 2, Self citations: 2, Unhandled citations: 0

20.

Kristóf, Marussy ; István, Majzik

Constructing Dependability Analysis Models of Reconfigurable Production Systems

In: Reveliotis, S; Cappelleri, D; Dimarogonas, DV; Dotoli, M; Fanti, MP; Li, J; Lucena, V; Seatu, C; Xie, X; Zhu, K; Vogel-Heuser, Birgit; Lennartson, Bengt (eds.) 2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)

Piscataway (NJ), United States of America : Institute of Electrical and Electronics Engineers, IEEE Robotics and Automation Society (2018) pp. 1158-1163. Paper: 18293154 , 6 p.

DOI WoS Scopus

Publication:3398318 Published Core Citing Chapter in Book (Conference paper ) Scientific

Conference paper (Chapter in Book) | Scientific[3398318] [Approved]

All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 0

Sorting

Export list as bibliography