MTMT2: publication list

Al-Gburi, Noor Mohammed Sabr ; Földvári, András ; Marussy, Kristóf ; Semeráth, Oszkár ; Kocsis, Imre

Requirement-Driven Generation of Distributed Ledger Architectures

In: Association for Computing Machinery - Association for Computing Machinery (eds.) MODELS '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. 268-279. , 12 p.

DOI WoS Scopus Other URL

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

Language: English
Conference paper (Chapter in Book) | Scientific
Comment: Export Date: 24 October 2024

[35437803] [Approved]

Babikian, Aren A. ; Semeráth, Oszkár ✉ ; Varró, Dániel

Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 50 : 1 pp. 48-68. , 21 p. (2024)

DOI WoS Scopus Other URL

Locked Publication:34375495 Validated Core Citing Journal Article (Article ) Scientific

Language: English
Article (Journal Article) | Scientific[34375495] [Validated]

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

Marussy, Kristóf ; Ficsor, Attila ; Semeráth, Oszkár ; Varró, Dániel

Refinery: Graph Solver as a Service: Refinement-based Generation and Analysis of Consistent Models

In: Association for Computing Machinery - Association for Computing Machinery (eds.) ICSE-Companion '24: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings

New York City, United States of America : ACM (2024) pp. 64-68. , 5 p.

DOI WoS Scopus Other URL

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

Language: English
Conference paper (Chapter in Book) | Scientific[34872599] [Validated]

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

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 PubMed

Locked Publication:32394785 Validated Core Citing Journal Article (Article ) Scientific

Language: English
Article (Journal Article) | Scientific[32394785] [Validated]

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

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. (eds.) ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering

New York City, United States of America : ACM (2022) pp. 1-13. Paper: 25 , 13 p.

DOI WoS Scopus Other URL

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

Language: English
Conference paper (Chapter in Book) | Scientific
Comment: Electrical and Computer Engineering, McGill University, Montreal, QC, Canada Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary

[33648748] [Validated]

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

Ficsor, Attila ✉ ; Semeráth, Oszkár

An Initial Performance Analysis of Graph Predicate Evaluation over Partial Models

In: Renczes, Balázs (eds.) Proceedings of the 29th Minisymposium of the Department of Measurement and Information Systems Budapest University of Technology and Economics

Bp, Hungary : BME MIT (2022) pp. 1-4. , 4 p.

DOI ISBN: 9789634218722 Other URL Teljes dokumentum

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

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

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

Locked Publication:31360895 Validated Core Citing Journal Article (Article ) Scientific

Language: English
Article (Journal Article) | Scientific
Comment: Funding Agency and Grant Number: BME-Artificial Intelligence FIKP grant of EMMI (BME FIKP-MI/SC); BME NC TKP2020 grant of NKFIH Hungary; New National Excellence Program of the Ministry for Innovation and Technology from National Research, Development and Innovation Fund [UNKP-20-4]; NSERC [RGPIN-04573-16]

[31360895] [Validated]

All citations+mentions: 6, External citations: 3, Self citations: 3, Unhandled citations: 0

Kovacs, Laszlo ; Semerath, Oszkar

Towards the Formal Semantics of Scenario Tests for Autonomous Vehicles

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

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

DOI Scopus Other URL

Publication:32605462 Admin approved 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

Language: English
Conference paper (Chapter in Book) | Scientific[32605462] [Admin approved]

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

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

Locked Publication:32028274 Validated Core Citing Journal Article (Article ) Scientific

Language: English
Article (Journal Article) | Scientific
Comment: EFOP 4.2.1-16-2017-00021

[32028274] [Validated]

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

10.

Aren, Babikian ✉ ; Oszkár, Semeráth ; Daniel, Varro

Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers

In: Wehrheim, Heike; Cabot, Jordi (eds.) Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Cham, Switzerland : Springer Dordrecht (2020) 565 p. pp. 441-461. , 21 p.

DOI WoS Scopus

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

Language: English
Conference paper (Chapter in Book) | Scientific
Comment: Correspondence Address: Babikian, A.A.; McGill UniversityCanada; email: aren.babikian@mail.mcgill.ca

[31160534] [Validated]

All citations+mentions: 6, External citations: 3, Self citations: 3, Unhandled citations: 0

Sorting

Export list as bibliography