MTMT2: publication list

Graics, Bence ✉ ; Mondok, Milán ; Molnár, Vince ; Majzik, István

Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations

SCIENCE OF COMPUTER PROGRAMMING 242 Paper: 103265 , 40 p. (2025)

DOI WoS Scopus Other URL

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

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

Language: English
Article (Journal Article) | Scientific
Comment: Export Date: 3 February 2025 CODEN: SCPGD Correspondence Address: Graics, B.; Budapest University of Technology and Economics, Műegyetem rkp. 3., Hungary; email: graics@mit.bme.hu

[35730361] [Validated]

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

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

Language: English
Conference paper (Chapter in Book) | Scientific
Comment: Conference code: 306759 Export Date: 19 February 2024 Correspondence Address: Graics, B.; Department of Measurement and Information Systems, Műegyetem rkp. 3., Hungary; email: graics@mit.bme.hu

[34504488] [Validated]

All citations+mentions: 5, External citations: 2, Self citations: 3, Unhandled citations: 0

Molnár, Vince ; Graics, Bence ; Vörös, András ; Tonetta, Stefano ; Cristoforetti, Luca ; Kimberly, Greg ; Dyer, Pamela ; Giammarco, Kristin ; Koethe, Manfred ; Hester, John et al.

Towards the Formal Verification of SysML v2 Models

In: ACM - ACM (eds.) MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems

New York City, United States of America : ACM (2024) pp. 1086-1095. , 10 p.

DOI WoS Scopus Other URL

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

Language: English
Conference paper (Chapter in Book) | Scientific
Comment: Funding Agency and Grant Number: German BMBF [2022-1.2.4-EUREKA-2023-00013, 2022-1.2.4-EUREKA] Funding text: We would like to thank every member of the Formal Methods Working Group who helped us write this paper with their insights and comments. We are also grateful to Ed Seidewitz and Conrad Bock, who never get tired of answering our questions. SysMD received support (GENIAL, KI4BoardNet) from the German BMBF. Gamma received support project no. 2022-1.2.4-EUREKA-2023-00013 under the 2022-1.2.4-EUREKA funding scheme.

[35500643] [Validated]

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

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

Language: English
Conference paper (Chapter in Book) | Scientific[33689503] [Approved]

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

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 Validated Core Citing Journal Article (Article ) Scientific

Language: English
Article (Journal Article) | Scientific
Comment: Funding Agency and Grant Number: New National Excellence Program of the Ministry for Innovation and Technology [2019-2.1.1-EUREKA-2019-00001, TKP2021-EGA-02]; National Research, Development and Innovation Fund of Hungary [2019-2.1.1-EUREKA-2019-00001, TKP2021-EGA-02]; New National Excellence Program of the Ministry for Innovation and Technology [UNKP-20-3-I-BME-42, UNKP-22-3-II-BME-223] Funding text: National Research, Development and Innovation Fund of Hungary, Grant/Award Numbers: 2019-2.1.1-EUREKA-2019-00001, TKP2021-EGA-02; New National Excellence Program of the Ministry for Innovation and Technology, Grant/Award Numbers: UNKP-20-3-I-BME-42, UNKP-22-3-II-BME-223

[33739468] [Validated]

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

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

Language: English
Conference paper (Chapter in Book) | Scientific
Comment: Export Date: 26 October 2023 Correspondence Address: Graics, B.; Department of Measurement and Information Systems, Műegyetem rkp. 3., Hungary; email: graics@mit.bme.hu

[34144059] [Validated]

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

Graics, Bence

Formal modeling, verification and test generation for component-based reactive systems 195 p.

Budapest University of Technology and Economics, Budapesti Műszaki és Gazdaságtudományi Egyetem, Informatikai Tudományok Doktori Iskola, Majzik István Accepted: 2024 Published/defended: 2023

Műegyetem Digitális Archívum ODT védés

Publication:35433228 Published Core Thesis (PhD ) Scientific

Language: English
PhD (Thesis) | Scientific[35433228] [Approved]

Horváth, Benedek ; Molnár, Vince ; Graics, Bence ; Hajdu, Ákos ; Ráth, István ; Horváth, Ákos ; Karban, Robert ; Trancho, Gelys ; Micskei, Zoltán

Pragmatic verification and validation of industrial executable SysML models

SYSTEMS ENGINEERING 26 : 6 pp. 693-714. , 22 p. (2023)

DOI WoS Scopus Other URL

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

Language: English
Article (Journal Article) | Scientific
Comment: IncQuery Labs cPlc., Budapest, Hungary Department of Business Informatics - Software Engineering, Johannes Kepler University Linz, Linz, Austria Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA, United States TMT International Observatory LLC, Pasadena, CA, United States Export Date: 26 May 2023 Correspondence Address: Horváth, B.; IncQuery Labs cPlcHungary; email: benedek.horvath@incquerylabs.com

[33809830] [Validated]

All citations+mentions: 15, External citations: 12, Self citations: 3, Unhandled citations: 0

Csuvarszki, János Csanád ; Graics, Bence ; Vörös, András

Model-Driven Development of Heterogeneous Cyber-Physical Systems

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

Bp, Hungary : BME MIT (2021) 48 p. pp. 24-27. , 4 p.

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

Language: English
Conference paper (Chapter in Book) | Scientific[31868691] [Approved]

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

10.

de Almeida, Danilo Pallamin ; Graics, Bence ; Chagas, Ronan Arraes Jardim ; de Sousa, Fabiano Luis ; Mattiello-Francisco, Fatima

Towards Simulation of CubeSat Operational Scenarios under a Cyber-Physical Systems View

In: Andrey, Brito; Fernando, Pedone (eds.) 2021 10th Latin-American Symposium on Dependable Computing (LADC)

Piscataway (NJ), United States of America : IEEE (2021) pp. 1-4. , 4 p.

DOI Scopus Other URL

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

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

Language: English
Conference paper (Chapter in Book) | Scientific[32605481] [Approved]

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

Sorting

Export list as bibliography