<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" href="https://m2.mtmt.hu/xsl/gui3.xsl" ?>
<myciteResult>
  <serverUrl>https://m2.mtmt.hu/</serverUrl>
  <labelLang>hun</labelLang>
  <responseDate>2026-09-23 03:38</responseDate>
  <content>
    <publication>
      <otype>BookChapter</otype>
      <mtid>34872599</mtid>
      <status>VALIDATED</status>
      <published>true</published>
      <unhandledTickets>0</unhandledTickets>
      <deleted>false</deleted>
      <lastRefresh>2026-05-23T20:43:11.233+0000</lastRefresh>
      <lastModified>2024-10-24T13:29:17.760+0000</lastModified>
      <created>2024-05-23T14:35:29.673+0000</created>
      <creator>
        <snippet>true</snippet>
        <mtid>10062709</mtid>
        <familyName>Marussy</familyName>
        <givenName>Kristóf</givenName>
        <link>/api/author/10062709</link>
        <otype>Author</otype>
        <label>Marussy Kristóf (informatika)</label>
        <published>true</published>
        <oldId>10062709</oldId>
      </creator>
      <lastDuplumSearch>2025-05-19T07:07:34.666+0000</lastDuplumSearch>
      <adminApproved>2024-06-14T11:57:07.585+0000</adminApproved>
      <adminApprover>
        <snippet>true</snippet>
        <mtid>10072271</mtid>
        <familyName>Andódy</familyName>
        <givenName>Katalin</givenName>
        <link>/api/admin/10072271</link>
        <otype>Admin</otype>
        <label>Andódy Katalin (BME admin4)</label>
        <published>true</published>
      </adminApprover>
      <validated>2024-10-24T13:29:17.947+0000</validated>
      <validator>
        <snippet>true</snippet>
        <mtid>10003132</mtid>
        <familyName>Balázs</familyName>
        <givenName>András</givenName>
        <link>/api/admin/10003132</link>
        <otype>Admin</otype>
        <label>Balázs András (MTMT Központ, admin)</label>
        <published>true</published>
        <oldId>10003132</oldId>
      </validator>
      <tempLockers>
        <otype>Admin</otype>
        <mtid>10067876</mtid>
        <link>/api/admin/10067876</link>
        <label>Ladányi Gusztáv (MTMT API user, admin)</label>
        <familyName>Ladányi</familyName>
        <givenName>Gusztáv</givenName>
        <published>true</published>
        <snippet>true</snippet>
      </tempLockers>
      <tempLockers>
        <otype>Admin</otype>
        <mtid>10003132</mtid>
        <link>/api/admin/10003132</link>
        <label>Balázs András (MTMT Központ, admin)</label>
        <familyName>Balázs</familyName>
        <givenName>András</givenName>
        <published>true</published>
        <oldId>10003132</oldId>
        <snippet>true</snippet>
      </tempLockers>
      <tempLocked>2024-10-17T17:00:42.053+0000</tempLocked>
      <core>true</core>
      <publicationPending>false</publicationPending>
      <type>
        <snippet>true</snippet>
        <mtid>25</mtid>
        <code>25</code>
        <link>/api/publicationtype/25</link>
        <otype>PublicationType</otype>
        <label>Könyvrészlet</label>
        <listPosition>2</listPosition>
        <published>true</published>
        <oldId>25</oldId>
        <otypeName>BookChapter</otypeName>
      </type>
      <subType>
        <snippet>true</snippet>
        <mtid>10000312</mtid>
        <nameEng>Conference paper</nameEng>
        <docType>
          <snippet>true</snippet>
          <mtid>25</mtid>
          <code>25</code>
          <link>/api/publicationtype/25</link>
          <otype>PublicationType</otype>
          <label>Könyvrészlet</label>
          <listPosition>2</listPosition>
          <published>true</published>
          <oldId>25</oldId>
          <otypeName>BookChapter</otypeName>
        </docType>
        <link>/api/subtype/10000312</link>
        <name>Konferenciaközlemény</name>
        <otype>SubType</otype>
        <label>Konferenciaközlemény (Könyvrészlet)</label>
        <listPosition>228</listPosition>
        <published>true</published>
        <oldId>10000312</oldId>
      </subType>
      <category>
        <snippet>true</snippet>
        <mtid>1</mtid>
        <link>/api/category/1</link>
        <otype>Category</otype>
        <label>Tudományos</label>
        <published>true</published>
        <oldId>1</oldId>
      </category>
      <firstAuthor>Marussy, Kristóf</firstAuthor>
      <title>Refinery: Graph Solver as a Service: Refinement-based Generation and Analysis of Consistent Models</title>
      <firstPage>64</firstPage>
      <lastPage>68</lastPage>
      <firstPageOrInternalIdForSort>64</firstPageOrInternalIdForSort>
      <pageLength>5</pageLength>
      <publishedYear>2024</publishedYear>
      <abstractText>Various software and systems engineering scenarios rely on the systematic construction of consistent graph models. However, automatically generating a diverse set of consistent graph models for complex domain specifications is challenging. First, the graph generation problem must be specified with mathematical precision. Moreover, graph generation is a computationally complex task, which necessitates specialized logic solvers. Refinery is a novel open-source software framework to automatically synthesize a diverse set of consistent domain-specific graph models. The framework offers an expressive high-level specification language using partial models to succinctly formulate a wide range of graph generation challenges. Moreover, it provides a modern cloud-based architecture for a scalable graph solver as a service, which uses logic reasoning rules to efficiently synthesize a diverse set of solutions to graph generation problems by partial model refinement. Applications include system-level architecture synthesis, test generation for modeling tools or traffic scenario synthesis for autonomous vehicles. Video demonstration: https://youtu.be/Qy-3udNsWsM. Continuously deployed at: https://refinery.services/. © 2024 IEEE Computer Society. All rights reserved.</abstractText>
      <digital>true</digital>
      <printed>true</printed>
      <sourceYear>2024</sourceYear>
      <foreignEdition>true</foreignEdition>
      <foreignLanguage>true</foreignLanguage>
      <fullPublication>true</fullPublication>
      <conferencePublication>true</conferencePublication>
      <nationalOrigin/>
      <missingAuthor>false</missingAuthor>
      <oaType>GOLD</oaType>
      <oaCheckDate>2026-05-23</oaCheckDate>
      <oaFree>true</oaFree>
      <oaLink>https://doi.org/10.1145/3639478.3640045</oaLink>
      <citationCount>6</citationCount>
      <citationCountUnpublished>0</citationCountUnpublished>
      <citationCountWoOther>6</citationCountWoOther>
      <independentCitCountWoOther>4</independentCitCountWoOther>
      <nationalOriginCitationCount>1</nationalOriginCitationCount>
      <foreignEditionCitationCount>5</foreignEditionCitationCount>
      <doiCitationCount>5</doiCitationCount>
      <wosCitationCount>4</wosCitationCount>
      <scopusCitationCount>3</scopusCitationCount>
      <wosScopusCitationCount>4</wosScopusCitationCount>
      <wosScopusCitationCountWoOther>4</wosScopusCitationCountWoOther>
      <wosScopusIndependentCitationCount>2</wosScopusIndependentCitationCount>
      <wosScopusIndependentCitationCountWoOther>2</wosScopusIndependentCitationCountWoOther>
      <independentCitationCount>4</independentCitationCount>
      <selfCitationCount>2</selfCitationCount>
      <unhandledCitationCount>0</unhandledCitationCount>
      <citingPubCount>6</citingPubCount>
      <independentCitingPubCount>4</independentCitingPubCount>
      <citingPubCountWoOther>6</citingPubCountWoOther>
      <independentCitingPubCountWoOther>4</independentCitingPubCountWoOther>
      <unhandledCitingPubCount>0</unhandledCitingPubCount>
      <citedPubCount>10</citedPubCount>
      <citedCount>10</citedCount>
      <pubStats>
        <types>
          <type>Folyóiratcikk</type>
          <typeEng>Journal Article</typeEng>
          <code>24</code>
          <count>0</count>
        </types>
        <types>
          <type>Könyvrészlet</type>
          <typeEng>Chapter in Book</typeEng>
          <code>25</code>
          <count>5</count>
        </types>
        <types>
          <type>Könyv</type>
          <typeEng>Book</typeEng>
          <code>23</code>
          <count>0</count>
        </types>
        <types>
          <type>Egyéb konferenciaközlemény</type>
          <typeEng>Conference paper</typeEng>
          <code>31</code>
          <count>1</count>
        </types>
        <types>
          <type>Egyéb konferenciakötet</type>
          <typeEng>Conference proceedings</typeEng>
          <code>32</code>
          <count>0</count>
        </types>
        <types>
          <type>Oltalmi formák</type>
          <typeEng>Protection forms</typeEng>
          <code>26</code>
          <count>0</count>
        </types>
        <types>
          <type>Disszertáció</type>
          <typeEng>Thesis</typeEng>
          <code>28</code>
          <count>0</count>
        </types>
        <types>
          <type>Egyéb</type>
          <typeEng>Miscellaneous</typeEng>
          <code>29</code>
          <count>0</count>
        </types>
        <types>
          <type>Alkotás</type>
          <typeEng>Achievement</typeEng>
          <code>22</code>
          <count>0</count>
        </types>
        <types>
          <type>Kutatási adat</type>
          <typeEng>Research data</typeEng>
          <code>33</code>
          <count>0</count>
        </types>
        <citationTypes>
          <type>Folyóiratcikk</type>
          <typeEng>Journal Article</typeEng>
          <code>24</code>
          <countUnknown>0</countUnknown>
          <countIndependent>0</countIndependent>
          <countSelfCitation>0</countSelfCitation>
        </citationTypes>
        <citationTypes>
          <type>Könyvrészlet</type>
          <typeEng>Chapter in Book</typeEng>
          <code>25</code>
          <countUnknown>0</countUnknown>
          <countIndependent>0</countIndependent>
          <countSelfCitation>0</countSelfCitation>
        </citationTypes>
        <citationTypes>
          <type>Könyv</type>
          <typeEng>Book</typeEng>
          <code>23</code>
          <countUnknown>0</countUnknown>
          <countIndependent>0</countIndependent>
          <countSelfCitation>0</countSelfCitation>
        </citationTypes>
        <citationTypes>
          <type>Egyéb konferenciaközlemény</type>
          <typeEng>Conference paper</typeEng>
          <code>31</code>
          <countUnknown>0</countUnknown>
          <countIndependent>0</countIndependent>
          <countSelfCitation>0</countSelfCitation>
        </citationTypes>
        <citationTypes>
          <type>Egyéb konferenciakötet</type>
          <typeEng>Conference proceedings</typeEng>
          <code>32</code>
          <countUnknown>0</countUnknown>
          <countIndependent>0</countIndependent>
          <countSelfCitation>0</countSelfCitation>
        </citationTypes>
        <citationTypes>
          <type>Oltalmi formák</type>
          <typeEng>Protection forms</typeEng>
          <code>26</code>
          <countUnknown>0</countUnknown>
          <countIndependent>0</countIndependent>
          <countSelfCitation>0</countSelfCitation>
        </citationTypes>
        <citationTypes>
          <type>Disszertáció</type>
          <typeEng>Thesis</typeEng>
          <code>28</code>
          <countUnknown>0</countUnknown>
          <countIndependent>0</countIndependent>
          <countSelfCitation>0</countSelfCitation>
        </citationTypes>
        <citationTypes>
          <type>Egyéb</type>
          <typeEng>Miscellaneous</typeEng>
          <code>29</code>
          <countUnknown>0</countUnknown>
          <countIndependent>0</countIndependent>
          <countSelfCitation>0</countSelfCitation>
        </citationTypes>
        <citationTypes>
          <type>Alkotás</type>
          <typeEng>Achievement</typeEng>
          <code>22</code>
          <countUnknown>0</countUnknown>
          <countIndependent>0</countIndependent>
          <countSelfCitation>0</countSelfCitation>
        </citationTypes>
        <citationTypes>
          <type>Kutatási adat</type>
          <typeEng>Research data</typeEng>
          <code>33</code>
          <countUnknown>0</countUnknown>
          <countIndependent>0</countIndependent>
          <countSelfCitation>0</countSelfCitation>
        </citationTypes>
        <years>
          <year>2024</year>
          <publicationCount>0</publicationCount>
          <citationCount>4</citationCount>
          <independentCitationCount>2</independentCitationCount>
          <citingPubCount>4</citingPubCount>
          <independentCitingPubCount>2</independentCitingPubCount>
          <oaStats/>
          <oaStats2/>
        </years>
        <years>
          <year>2025</year>
          <publicationCount>0</publicationCount>
          <citationCount>2</citationCount>
          <independentCitationCount>2</independentCitationCount>
          <citingPubCount>2</citingPubCount>
          <independentCitingPubCount>2</independentCitingPubCount>
          <oaStats/>
          <oaStats2/>
        </years>
      </pubStats>
      <hasCitationDuplums>false</hasCitationDuplums>
      <inSelectedPubs>10045161</inSelectedPubs>
      <importDuplum>false</importDuplum>
      <importOverwritten>false</importOverwritten>
      <importSkipped>false</importSkipped>
      <userChangeableUntil>2024-06-13T11:57:07.306+0000</userChangeableUntil>
      <directInstitutesForSort>Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Méréstechnika és Információs Rendszerek Tanszék (BME / VIK)</directInstitutesForSort>
      <ownerAuthorCount>4</ownerAuthorCount>
      <ownerInstituteCount>9</ownerInstituteCount>
      <directInstituteCount>2</directInstituteCount>
      <authorCount>4</authorCount>
      <contributorCount>0</contributorCount>
      <book>
        <snippet>true</snippet>
        <languages>
          <language>
            <snippet>true</snippet>
            <mtid>10002</mtid>
            <nameEng>English</nameEng>
            <link>/api/language/10002</link>
            <name>Angol</name>
            <otype>Language</otype>
            <label>Angol</label>
            <published>true</published>
            <oldId>2</oldId>
          </language>
        </languages>
        <citation>false</citation>
        <publishedAt>
          <city>
            <snippet>true</snippet>
            <mtid>10367</mtid>
            <partOf>
              <snippet>true</snippet>
              <mtid>10017</mtid>
              <link>/api/country/10017</link>
              <otype>Country</otype>
              <label>Amerikai Egyesült Államok</label>
              <published>true</published>
              <oldId>13</oldId>
            </partOf>
            <link>/api/city/10367</link>
            <otype>City</otype>
            <label>New York, Amerikai Egyesült Államok</label>
            <published>true</published>
            <oldId>870</oldId>
          </city>
        </publishedAt>
        <identifiers>
          <identifier>
            <snippet>true</snippet>
            <mtid>26231213</mtid>
            <link>/api/publicationidentifier/26231213</link>
            <realUrl>https://doi.org/10.1145/3639478</realUrl>
            <idValue>10.1145/3639478</idValue>
            <otype>PublicationIdentifier</otype>
            <label>DOI: 10.1145/3639478</label>
            <source>
              <snippet>true</snippet>
              <mtid>6</mtid>
              <nameEng>DOI</nameEng>
              <linkPattern>https://doi.org/@@@</linkPattern>
              <link>/api/publicationsource/6</link>
              <name>DOI</name>
              <otype>PlainSource</otype>
              <label>DOI</label>
              <published>true</published>
              <type>
                <snippet>true</snippet>
                <mtid>10001</mtid>
                <link>/api/publicationsourcetype/10001</link>
                <otype>PublicationSourceType</otype>
                <label>DOI</label>
                <published>true</published>
                <mayHaveOa>true</mayHaveOa>
              </type>
              <oldId>6</oldId>
              <publiclyVisible>true</publiclyVisible>
            </source>
            <published>false</published>
          </identifier>
          <identifier>
            <snippet>true</snippet>
            <mtid>26231214</mtid>
            <link>/api/publicationidentifier/26231214</link>
            <realUrl>https://www.worldcat.org/search?q=isbn%3A9798400705021</realUrl>
            <idValue>9798400705021</idValue>
            <otype>PublicationIdentifier</otype>
            <label>ISBN: 9798400705021</label>
            <source>
              <snippet>true</snippet>
              <mtid>122</mtid>
              <nameEng>ISBN</nameEng>
              <linkPattern>https://www.worldcat.org/search?q=isbn%3A@@@</linkPattern>
              <link>/api/publicationsource/122</link>
              <name>ISBN</name>
              <otype>PlainSource</otype>
              <label>ISBN</label>
              <published>true</published>
              <type>
                <snippet>true</snippet>
                <mtid>10002</mtid>
                <link>/api/publicationsourcetype/10002</link>
                <otype>PublicationSourceType</otype>
                <label>Egyéb</label>
                <published>true</published>
                <mayHaveOa>false</mayHaveOa>
              </type>
              <oldId>122</oldId>
              <publiclyVisible>true</publiclyVisible>
            </source>
            <published>false</published>
          </identifier>
          <identifier>
            <snippet>true</snippet>
            <mtid>27546065</mtid>
            <link>/api/publicationidentifier/27546065</link>
            <realUrl>https://www.worldcat.org/search?q=isbn%3A9798400702174</realUrl>
            <idValue>9798400702174</idValue>
            <otype>PublicationIdentifier</otype>
            <label>ISBN: 9798400702174</label>
            <source>
              <snippet>true</snippet>
              <mtid>122</mtid>
              <nameEng>ISBN</nameEng>
              <linkPattern>https://www.worldcat.org/search?q=isbn%3A@@@</linkPattern>
              <link>/api/publicationsource/122</link>
              <name>ISBN</name>
              <otype>PlainSource</otype>
              <label>ISBN</label>
              <published>true</published>
              <type>
                <snippet>true</snippet>
                <mtid>10002</mtid>
                <link>/api/publicationsourcetype/10002</link>
                <otype>PublicationSourceType</otype>
                <label>Egyéb</label>
                <published>true</published>
                <mayHaveOa>false</mayHaveOa>
              </type>
              <oldId>122</oldId>
              <publiclyVisible>true</publiclyVisible>
            </source>
            <published>false</published>
          </identifier>
        </identifiers>
        <link>/api/publication/34872600</link>
        <label>Association for Computing Machinery [szerk.]. ICSE-Companion '24: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings. (2024) ISBN:9798400705021; 9798400702174</label>
        <published>true</published>
        <type>
          <snippet>true</snippet>
          <mtid>23</mtid>
          <code>23</code>
          <link>/api/publicationtype/23</link>
          <otype>PublicationType</otype>
          <label>Könyv</label>
          <listPosition>3</listPosition>
          <published>true</published>
          <oldId>23</oldId>
          <otypeName>Book</otypeName>
        </type>
        <title>ICSE-Companion '24: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings</title>
        <publicationPending>false</publicationPending>
        <nationalOrigin>false</nationalOrigin>
        <mtid>34872600</mtid>
        <core>false</core>
        <foreignEdition>true</foreignEdition>
        <conferencePublication>true</conferencePublication>
        <foreignLanguage>true</foreignLanguage>
        <subType>
          <snippet>true</snippet>
          <mtid>10000144</mtid>
          <nameEng>Conference proceedings</nameEng>
          <docType>
            <snippet>true</snippet>
            <mtid>23</mtid>
            <code>23</code>
            <link>/api/publicationtype/23</link>
            <otype>PublicationType</otype>
            <label>Könyv</label>
            <listPosition>3</listPosition>
            <published>true</published>
            <oldId>23</oldId>
            <otypeName>Book</otypeName>
          </docType>
          <link>/api/subtype/10000144</link>
          <name>Konferenciakötet</name>
          <otype>SubType</otype>
          <label>Konferenciakötet (Könyv)</label>
          <listPosition>345</listPosition>
          <published>true</published>
          <oldId>10000144</oldId>
        </subType>
        <fullPublication>false</fullPublication>
        <otype>Book</otype>
        <publishedYear>2024</publishedYear>
        <category>
          <snippet>true</snippet>
          <mtid>1</mtid>
          <link>/api/category/1</link>
          <otype>Category</otype>
          <label>Tudományos</label>
          <published>true</published>
          <oldId>1</oldId>
        </category>
      </book>
      <hasQualityFactor>false</hasQualityFactor>
      <tempLockerIds>10003132</tempLockerIds>
      <tempLockerIds>10067876</tempLockerIds>
      <languages>
        <language>
          <otype>Language</otype>
          <mtid>10002</mtid>
          <link>/api/language/10002</link>
          <label>Angol</label>
          <name>Angol</name>
          <nameEng>English</nameEng>
          <published>true</published>
          <oldId>2</oldId>
          <snippet>true</snippet>
        </language>
      </languages>
      <authorships>
        <authorship>
          <otype>PersonAuthorship</otype>
          <mtid>116747772</mtid>
          <link>/api/authorship/116747772</link>
          <label>Marussy, Kristóf [Marussy, Kristóf (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT)</label>
          <listPosition>1</listPosition>
          <share>0.25</share>
          <first>true</first>
          <last>false</last>
          <corresponding>false</corresponding>
          <author>
            <otype>Author</otype>
            <mtid>10062709</mtid>
            <link>/api/author/10062709</link>
            <label>Marussy Kristóf (informatika)</label>
            <familyName>Marussy</familyName>
            <givenName>Kristóf</givenName>
            <published>true</published>
            <oldId>10062709</oldId>
            <snippet>true</snippet>
          </author>
          <familyName>Marussy</familyName>
          <givenName>Kristóf</givenName>
          <authorTyped>true</authorTyped>
          <editorTyped>false</editorTyped>
          <otherTyped>false</otherTyped>
          <type>
            <otype>AuthorshipType</otype>
            <mtid>1</mtid>
            <link>/api/authorshiptype/1</link>
            <label>Szerző</label>
            <code>0</code>
            <published>true</published>
            <oldId>0</oldId>
            <snippet>true</snippet>
          </type>
          <published>false</published>
          <snippet>true</snippet>
        </authorship>
        <authorship>
          <otype>PersonAuthorship</otype>
          <mtid>116747773</mtid>
          <link>/api/authorship/116747773</link>
          <label>Ficsor, Attila [Ficsor, Attila (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT)</label>
          <listPosition>2</listPosition>
          <share>0.25</share>
          <first>false</first>
          <last>false</last>
          <corresponding>false</corresponding>
          <author>
            <otype>Author</otype>
            <mtid>10083601</mtid>
            <link>/api/author/10083601</link>
            <label>Ficsor Attila (informatika)</label>
            <familyName>Ficsor</familyName>
            <givenName>Attila</givenName>
            <published>true</published>
            <snippet>true</snippet>
          </author>
          <familyName>Ficsor</familyName>
          <givenName>Attila</givenName>
          <authorTyped>true</authorTyped>
          <editorTyped>false</editorTyped>
          <otherTyped>false</otherTyped>
          <type>
            <otype>AuthorshipType</otype>
            <mtid>1</mtid>
            <link>/api/authorshiptype/1</link>
            <label>Szerző</label>
            <code>0</code>
            <published>true</published>
            <oldId>0</oldId>
            <snippet>true</snippet>
          </type>
          <published>false</published>
          <snippet>true</snippet>
        </authorship>
        <authorship>
          <otype>PersonAuthorship</otype>
          <mtid>116747774</mtid>
          <link>/api/authorship/116747774</link>
          <label>Semeráth, Oszkár [Semeráth, Oszkár (Informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT)</label>
          <listPosition>3</listPosition>
          <share>0.25</share>
          <first>false</first>
          <last>false</last>
          <corresponding>false</corresponding>
          <author>
            <otype>Author</otype>
            <mtid>10045161</mtid>
            <link>/api/author/10045161</link>
            <label>Semeráth Oszkár (Informatika)</label>
            <familyName>Semeráth</familyName>
            <givenName>Oszkár</givenName>
            <published>true</published>
            <oldId>10045161</oldId>
            <snippet>true</snippet>
          </author>
          <familyName>Semeráth</familyName>
          <givenName>Oszkár</givenName>
          <authorTyped>true</authorTyped>
          <editorTyped>false</editorTyped>
          <otherTyped>false</otherTyped>
          <type>
            <otype>AuthorshipType</otype>
            <mtid>1</mtid>
            <link>/api/authorshiptype/1</link>
            <label>Szerző</label>
            <code>0</code>
            <published>true</published>
            <oldId>0</oldId>
            <snippet>true</snippet>
          </type>
          <published>false</published>
          <snippet>true</snippet>
        </authorship>
        <authorship>
          <otype>PersonAuthorship</otype>
          <mtid>116747775</mtid>
          <link>/api/authorship/116747775</link>
          <label>Varró, Dániel [Varró, Dániel (Informatika, szof...), szerző]</label>
          <listPosition>4</listPosition>
          <share>0.25</share>
          <first>false</first>
          <last>true</last>
          <corresponding>false</corresponding>
          <author>
            <otype>Author</otype>
            <mtid>10001355</mtid>
            <link>/api/author/10001355</link>
            <label>Varró Dániel (Informatika, szoftvertechnológia)</label>
            <familyName>Varró</familyName>
            <givenName>Dániel</givenName>
            <published>true</published>
            <oldId>10001355</oldId>
            <snippet>true</snippet>
          </author>
          <familyName>Varró</familyName>
          <givenName>Dániel</givenName>
          <authorTyped>true</authorTyped>
          <editorTyped>false</editorTyped>
          <otherTyped>false</otherTyped>
          <type>
            <otype>AuthorshipType</otype>
            <mtid>1</mtid>
            <link>/api/authorshiptype/1</link>
            <label>Szerző</label>
            <code>0</code>
            <published>true</published>
            <oldId>0</oldId>
            <snippet>true</snippet>
          </type>
          <published>false</published>
          <snippet>true</snippet>
        </authorship>
      </authorships>
      <identifiers>
        <identifier>
          <otype>PublicationIdentifier</otype>
          <mtid>26231215</mtid>
          <link>/api/publicationidentifier/26231215</link>
          <label>DOI: 10.1145/3639478.3640045</label>
          <source>
            <otype>PlainSource</otype>
            <mtid>6</mtid>
            <link>/api/publicationsource/6</link>
            <label>DOI</label>
            <type>
              <otype>PublicationSourceType</otype>
              <mtid>10001</mtid>
              <link>/api/publicationsourcetype/10001</link>
              <label>DOI</label>
              <mayHaveOa>true</mayHaveOa>
              <published>true</published>
              <snippet>true</snippet>
            </type>
            <name>DOI</name>
            <nameEng>DOI</nameEng>
            <linkPattern>https://doi.org/@@@</linkPattern>
            <publiclyVisible>true</publiclyVisible>
            <published>true</published>
            <oldId>6</oldId>
            <snippet>true</snippet>
          </source>
          <oaType>GOLD</oaType>
          <oaFree>true</oaFree>
          <validState>IDENTICAL</validState>
          <idValue>10.1145/3639478.3640045</idValue>
          <realUrl>https://doi.org/10.1145/3639478.3640045</realUrl>
          <published>false</published>
          <snippet>true</snippet>
        </identifier>
        <identifier>
          <otype>PublicationIdentifier</otype>
          <mtid>29388610</mtid>
          <link>/api/publicationidentifier/29388610</link>
          <label>WoS: 001465567400014</label>
          <source>
            <otype>PlainSource</otype>
            <mtid>1</mtid>
            <link>/api/publicationsource/1</link>
            <label>WoS</label>
            <type>
              <otype>PublicationSourceType</otype>
              <mtid>10003</mtid>
              <link>/api/publicationsourcetype/10003</link>
              <label>Indexelő adatbázis</label>
              <mayHaveOa>false</mayHaveOa>
              <published>true</published>
              <snippet>true</snippet>
            </type>
            <name>WoS</name>
            <nameEng>WoS</nameEng>
            <linkPattern>https://www.webofscience.com/wos/woscc/full-record/@@@</linkPattern>
            <publiclyVisible>true</publiclyVisible>
            <published>true</published>
            <oldId>1</oldId>
            <snippet>true</snippet>
          </source>
          <validState>IDENTICAL</validState>
          <idValue>001465567400014</idValue>
          <realUrl>https://www.webofscience.com/wos/woscc/full-record/001465567400014</realUrl>
          <published>false</published>
          <snippet>true</snippet>
        </identifier>
        <identifier>
          <otype>PublicationIdentifier</otype>
          <mtid>26620940</mtid>
          <link>/api/publicationidentifier/26620940</link>
          <label>Scopus: 85194865787</label>
          <source>
            <otype>PlainSource</otype>
            <mtid>3</mtid>
            <link>/api/publicationsource/3</link>
            <label>Scopus</label>
            <type>
              <otype>PublicationSourceType</otype>
              <mtid>10003</mtid>
              <link>/api/publicationsourcetype/10003</link>
              <label>Indexelő adatbázis</label>
              <mayHaveOa>false</mayHaveOa>
              <published>true</published>
              <snippet>true</snippet>
            </type>
            <name>Scopus</name>
            <nameEng>Scopus</nameEng>
            <linkPattern>http://www.scopus.com/record/display.url?origin=inward&amp;eid=2-s2.0-@@@</linkPattern>
            <publiclyVisible>true</publiclyVisible>
            <published>true</published>
            <oldId>3</oldId>
            <snippet>true</snippet>
          </source>
          <validState>IDENTICAL</validState>
          <idValue>85194865787</idValue>
          <realUrl>http://www.scopus.com/record/display.url?origin=inward&amp;eid=2-s2.0-85194865787</realUrl>
          <published>false</published>
          <snippet>true</snippet>
        </identifier>
        <identifier>
          <otype>PublicationIdentifier</otype>
          <mtid>26231216</mtid>
          <link>/api/publicationidentifier/26231216</link>
          <label>Egyéb URL: https://dl.acm.org/doi/10.1145/3639478.3640045</label>
          <source>
            <otype>PlainSource</otype>
            <mtid>40</mtid>
            <link>/api/publicationsource/40</link>
            <label>Egyéb URL</label>
            <type>
              <otype>PublicationSourceType</otype>
              <mtid>10006</mtid>
              <link>/api/publicationsourcetype/10006</link>
              <label>Link</label>
              <mayHaveOa>true</mayHaveOa>
              <published>true</published>
              <snippet>true</snippet>
            </type>
            <name>Egyéb URL</name>
            <nameEng>Other URL</nameEng>
            <linkPattern>@@@</linkPattern>
            <publiclyVisible>true</publiclyVisible>
            <published>true</published>
            <oldId>40</oldId>
            <snippet>true</snippet>
          </source>
          <idValue>https://dl.acm.org/doi/10.1145/3639478.3640045</idValue>
          <realUrl>https://dl.acm.org/doi/10.1145/3639478.3640045</realUrl>
          <published>false</published>
          <snippet>true</snippet>
        </identifier>
      </identifiers>
      <subjects>
        <classification>
          <otype>Classification</otype>
          <mtid>10807</mtid>
          <link>/api/classification/10807</link>
          <label>Műszaki és technológiai tudományok</label>
          <published>true</published>
          <snippet>true</snippet>
        </classification>
      </subjects>
      <references>
        <reference>
          <otype>Reference</otype>
          <mtid>53281122</mtid>
          <link>/api/reference/53281122</link>
          <label>1. Abdessalem, R. B., Nejati, S., Briand, L. C., and Stifter, T. Testing vision-based control systems using learnable evolutionary algorithms. In 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) (2018), IEEE, pp. 1016--1026.</label>
          <listPosition>1</listPosition>
          <published>false</published>
          <snippet>true</snippet>
        </reference>
        <reference>
          <otype>Reference</otype>
          <mtid>53281123</mtid>
          <link>/api/reference/53281123</link>
          <label>2. Babikian, A. A., Semeráth, O., Li, A., Marussy, K., and Varró, D. Automated generation of consistent models using qualitative abstractions and exploration strategies. Softw. Syst. Model. 21, 5 (2022), 1763--1787., DOI: 10.1007/s10270-021-00918-6</label>
          <listPosition>2</listPosition>
          <doi>10.1007/s10270-021-00918-6</doi>
          <published>false</published>
          <snippet>true</snippet>
        </reference>
        <reference>
          <otype>Reference</otype>
          <mtid>53281124</mtid>
          <link>/api/reference/53281124</link>
          <label>3. DOI: 10.1007/978-94-010-1161-7_2</label>
          <listPosition>3</listPosition>
          <doi>10.1007/978-94-010-1161-7_2</doi>
          <published>false</published>
          <snippet>true</snippet>
        </reference>
        <reference>
          <otype>Reference</otype>
          <mtid>53281125</mtid>
          <link>/api/reference/53281125</link>
          <label>4. Bergmann, G., Horváth, A., Ráth, I., Varró, D., Balogh, A., Balogh, Z., and Ökrös, A. Incremental evaluation of model queries over EMF models. In MODELS 2010 (2010), vol. 6394 of LNCS, Springer, pp. 76--90.</label>
          <listPosition>4</listPosition>
          <published>false</published>
          <snippet>true</snippet>
        </reference>
        <reference>
          <otype>Reference</otype>
          <mtid>53281126</mtid>
          <link>/api/reference/53281126</link>
          <label>5. DOI: 10.5555/2337223.2337290</label>
          <listPosition>5</listPosition>
          <doi>10.5555/2337223.2337290</doi>
          <published>false</published>
          <snippet>true</snippet>
        </reference>
        <reference>
          <otype>Reference</otype>
          <mtid>53281127</mtid>
          <link>/api/reference/53281127</link>
          <label>6. DOI: 10.1016/j.scico.2007.01.013</label>
          <listPosition>6</listPosition>
          <doi>10.1016/j.scico.2007.01.013</doi>
          <published>false</published>
          <snippet>true</snippet>
        </reference>
        <reference>
          <otype>Reference</otype>
          <mtid>53281128</mtid>
          <link>/api/reference/53281128</link>
          <label>7. DOI: 10.1109/FormSERA.2012.6229788</label>
          <listPosition>7</listPosition>
          <doi>10.1109/FormSERA.2012.6229788</doi>
          <published>false</published>
          <snippet>true</snippet>
        </reference>
        <reference>
          <otype>Reference</otype>
          <mtid>53281129</mtid>
          <link>/api/reference/53281129</link>
          <label>8. Jackson, D. Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology (TOSEM) 11, 2 (2002), 256--290.</label>
          <listPosition>8</listPosition>
          <published>false</published>
          <snippet>true</snippet>
        </reference>
        <reference>
          <otype>Reference</otype>
          <mtid>53281130</mtid>
          <link>/api/reference/53281130</link>
          <label>9. Kamide, N., and Omori, H. An extended first-order Belnap-Dunn logic with classical negation. In LORI 2017, vol. 10455 of LNCS. Springer, 2017, pp. 79--93.</label>
          <listPosition>9</listPosition>
          <published>false</published>
          <snippet>true</snippet>
        </reference>
        <reference>
          <otype>Reference</otype>
          <mtid>53281131</mtid>
          <link>/api/reference/53281131</link>
          <label>10. Marussy, K., Semeráth, O., Babikian, A. A., and Varró, D. A specification language for consistent model generation based on partial models. J. Object Technol. 19, 3 (2020), 3:1--22., DOI: 10.5381/jot.2020.19.3.a12</label>
          <listPosition>10</listPosition>
          <doi>10.5381/jot.2020.19.3.a12</doi>
          <published>false</published>
          <snippet>true</snippet>
        </reference>
        <reference>
          <otype>Reference</otype>
          <mtid>53281132</mtid>
          <link>/api/reference/53281132</link>
          <label>11. Marussy, K., Semeráth, O., and Varró, D. Automated generation of consistent graph models with multiplicity reasoning. IEEE Transactions on Software Engineering (2020).</label>
          <listPosition>11</listPosition>
          <published>false</published>
          <snippet>true</snippet>
        </reference>
        <reference>
          <otype>Reference</otype>
          <mtid>53281133</mtid>
          <link>/api/reference/53281133</link>
          <label>12. DOI: 10.5555/1753235.1753267</label>
          <listPosition>12</listPosition>
          <doi>10.5555/1753235.1753267</doi>
          <published>false</published>
          <snippet>true</snippet>
        </reference>
        <reference>
          <otype>Reference</otype>
          <mtid>53281134</mtid>
          <link>/api/reference/53281134</link>
          <label>13. Object Management Group. SysML v2: The Next-Generation System Modeling Language. https://www.omgsysml.org/SysML-2.htm https://github.com/Systems-Modeling/SysML-v2-Release.</label>
          <listPosition>13</listPosition>
          <published>false</published>
          <snippet>true</snippet>
        </reference>
        <reference>
          <otype>Reference</otype>
          <mtid>53281135</mtid>
          <link>/api/reference/53281135</link>
          <label>14. DOI: 10.1145/774789.774804</label>
          <listPosition>14</listPosition>
          <doi>10.1145/774789.774804</doi>
          <published>false</published>
          <snippet>true</snippet>
        </reference>
        <reference>
          <otype>Reference</otype>
          <mtid>53281136</mtid>
          <link>/api/reference/53281136</link>
          <label>15. Refinery authors. Filesystem case study, 2024. https://github.com/graphs4value/refinery-tutorials.</label>
          <listPosition>15</listPosition>
          <published>false</published>
          <snippet>true</snippet>
        </reference>
        <reference>
          <otype>Reference</otype>
          <mtid>53281137</mtid>
          <link>/api/reference/53281137</link>
          <label>16. Rensink, A. Isomorphism checking in GROOVE. Elect. Comm. EASST 1 (2007).</label>
          <listPosition>16</listPosition>
          <published>false</published>
          <snippet>true</snippet>
        </reference>
        <reference>
          <otype>Reference</otype>
          <mtid>53281138</mtid>
          <link>/api/reference/53281138</link>
          <label>17. Robert, C., Guiochet, J., Waeselynck, H., and Sartori, L. V. TAF: a tool for diverse and constrained test case generation. In 21st IEEE International Conference on Software Quality, Reliability and Security, QRS 2021 (2021), IEEE, pp. 311--321.</label>
          <listPosition>17</listPosition>
          <published>false</published>
          <snippet>true</snippet>
        </reference>
        <reference>
          <otype>Reference</otype>
          <mtid>53281139</mtid>
          <link>/api/reference/53281139</link>
          <label>18. Semeráth, O., Babikian, A. A., Chen, B., Li, C., Marussy, K., Szárnyas, G., and Varró, D. Automated generation of consistent, diverse and structurally realistic graph models. Software and Systems Modeling (2021), 1--23.</label>
          <listPosition>18</listPosition>
          <published>false</published>
          <snippet>true</snippet>
        </reference>
        <reference>
          <otype>Reference</otype>
          <mtid>53281140</mtid>
          <link>/api/reference/53281140</link>
          <label>19. Semeráth, O., Babikian, A. A., Pilarski, S., and Varró, D. Viatra solver: a framework for the automated generation of consistent domain-specific models. In 41st International Conference on Software Engineering: Companion Proceedings, ICSE 2019 (2019), IEEE / ACM, pp. 43--46.</label>
          <listPosition>19</listPosition>
          <published>false</published>
          <snippet>true</snippet>
        </reference>
        <reference>
          <otype>Reference</otype>
          <mtid>53281141</mtid>
          <link>/api/reference/53281141</link>
          <label>20. Semeráth, O., Nagy, A. S., and Varró, D. A graph solver for the automated generation of consistent domain-specific models. In ICSE (2018), ACM, pp. 969--980.</label>
          <listPosition>20</listPosition>
          <published>false</published>
          <snippet>true</snippet>
        </reference>
        <reference>
          <otype>Reference</otype>
          <mtid>53281142</mtid>
          <link>/api/reference/53281142</link>
          <label>21. Semeráth, O., and Varró, D. Graph constraint evaluation over partial models by constraint rewriting. In Theory and Practice of Model Transformations (2017), Springer, pp. 138--154., DOI: 10.1007/978-3-319-61473-1_10</label>
          <listPosition>21</listPosition>
          <doi>10.1007/978-3-319-61473-1_10</doi>
          <published>false</published>
          <snippet>true</snippet>
        </reference>
        <reference>
          <otype>Reference</otype>
          <mtid>53281143</mtid>
          <link>/api/reference/53281143</link>
          <label>22. Semeráth, O., and Varró, D. Iterative generation of diverse models for testing specifications of DSL tools. In FASE18 (2018), Springer, pp. 227--245.</label>
          <listPosition>22</listPosition>
          <published>false</published>
          <snippet>true</snippet>
        </reference>
        <reference>
          <otype>Reference</otype>
          <mtid>53281144</mtid>
          <link>/api/reference/53281144</link>
          <label>23. DOI: 10.1007/978-3-662-49665-7_6</label>
          <listPosition>23</listPosition>
          <doi>10.1007/978-3-662-49665-7_6</doi>
          <published>false</published>
          <snippet>true</snippet>
        </reference>
        <reference>
          <otype>Reference</otype>
          <mtid>53281145</mtid>
          <link>/api/reference/53281145</link>
          <label>24. Soltana, G., Sabetzadeh, M., and Briand, L. C. Practical constraint solving for generating system test data. ACM Transactions on Software Engineering and Methodology (TOSEM) 29, 2 (2020), 1--48.</label>
          <listPosition>24</listPosition>
          <published>false</published>
          <snippet>true</snippet>
        </reference>
        <reference>
          <otype>Reference</otype>
          <mtid>53281146</mtid>
          <link>/api/reference/53281146</link>
          <label>25. Steindorfer, M. J., and Vinju, J. J. Optimizing hash-array mapped tries for fast and lean immutable JVM collections. SIGPLAN Not. 50, 10 (Oct. 2015), 783--800., DOI: 10.1145/2858965.2814312</label>
          <listPosition>25</listPosition>
          <doi>10.1145/2858965.2814312</doi>
          <published>false</published>
          <snippet>true</snippet>
        </reference>
        <reference>
          <otype>Reference</otype>
          <mtid>53281147</mtid>
          <link>/api/reference/53281147</link>
          <label>26. The Eclipse Project. EMF. https://eclipse.dev/modeling/EMF/.</label>
          <listPosition>26</listPosition>
          <published>false</published>
          <snippet>true</snippet>
        </reference>
        <reference>
          <otype>Reference</otype>
          <mtid>53281148</mtid>
          <link>/api/reference/53281148</link>
          <label>27. The Eclipse Project. XCore. https://wiki.eclipse.org/Xcore/.</label>
          <listPosition>27</listPosition>
          <published>false</published>
          <snippet>true</snippet>
        </reference>
        <reference>
          <otype>Reference</otype>
          <mtid>53281149</mtid>
          <link>/api/reference/53281149</link>
          <label>28. The Eclipse Project. Xtext. http://www.eclipse.org/Xtext/.</label>
          <listPosition>28</listPosition>
          <published>false</published>
          <snippet>true</snippet>
        </reference>
        <reference>
          <otype>Reference</otype>
          <mtid>53281150</mtid>
          <link>/api/reference/53281150</link>
          <label>29. The Sterling Developers. Sterling. https://sterling-js.github.io/demo/.</label>
          <listPosition>29</listPosition>
          <published>false</published>
          <snippet>true</snippet>
        </reference>
        <reference>
          <otype>Reference</otype>
          <mtid>53281151</mtid>
          <link>/api/reference/53281151</link>
          <label>30. Varró, D., Semeráth, O., Szárnyas, G., and Horváth, Á. Towards the automated generation of consistent, diverse, scalable and realistic graph models. In Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig. Springer, 2018, pp. 285--312., DOI: 10.1007/978-3-319-75396-6_16</label>
          <listPosition>30</listPosition>
          <doi>10.1007/978-3-319-75396-6_16</doi>
          <published>false</published>
          <snippet>true</snippet>
        </reference>
        <reference>
          <otype>Reference</otype>
          <mtid>53281152</mtid>
          <link>/api/reference/53281152</link>
          <label>31. DOI: 10.1109/MS.2013.65</label>
          <listPosition>31</listPosition>
          <doi>10.1109/MS.2013.65</doi>
          <published>false</published>
          <snippet>true</snippet>
        </reference>
        <reference>
          <otype>Reference</otype>
          <mtid>53281153</mtid>
          <link>/api/reference/53281153</link>
          <label>32. Zheng, G., Bagheri, H., Rothermel, G., and Wang, J. Platinum: Reusing constraint solutions in bounded analysis of relational logic. In FASE (2020), pp. 29--52.</label>
          <listPosition>32</listPosition>
          <published>false</published>
          <snippet>true</snippet>
        </reference>
      </references>
      <link>/api/publication/34872599</link>
      <label>Marussy Kristóf et al. Refinery: Graph Solver as a Service: Refinement-based Generation and Analysis of Consistent Models. (2024) Megjelent: ICSE-Companion '24: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings pp. 64-68</label><template>&lt;div class=&quot;BookChapter Publication short-list&quot;&gt; &lt;div class=&quot;authors&quot;&gt; &lt;span class=&quot;author-name&quot; mtid=&quot;10062709&quot;&gt; &lt;a href=&quot;/gui2/?type=authors&amp;mode=browse&amp;sel=10062709&quot; target=&quot;_blank&quot;&gt;Marussy, Kristóf&lt;/a&gt; &lt;/span&gt; &lt;span class=&quot;author-type&quot;&gt; &lt;/span&gt; ; &lt;span class=&quot;author-name&quot; mtid=&quot;10083601&quot;&gt; &lt;a href=&quot;/gui2/?type=authors&amp;mode=browse&amp;sel=10083601&quot; target=&quot;_blank&quot;&gt;Ficsor, Attila&lt;/a&gt; &lt;/span&gt; &lt;span class=&quot;author-type&quot;&gt; &lt;/span&gt; ; &lt;span class=&quot;author-name&quot; mtid=&quot;10045161&quot;&gt; &lt;a href=&quot;/gui2/?type=authors&amp;mode=browse&amp;sel=10045161&quot; target=&quot;_blank&quot;&gt;Semeráth, Oszkár&lt;/a&gt; &lt;/span&gt; &lt;span class=&quot;author-type&quot;&gt; &lt;/span&gt; ; &lt;span class=&quot;author-name&quot; mtid=&quot;10001355&quot;&gt; &lt;a href=&quot;/gui2/?type=authors&amp;mode=browse&amp;sel=10001355&quot; target=&quot;_blank&quot;&gt;Varró, Dániel&lt;/a&gt; &lt;/span&gt; &lt;span class=&quot;author-type&quot;&gt; &lt;/span&gt; &lt;/div &gt;&lt;div class=&quot;title&quot;&gt;&lt;a href=&quot;/gui2/?mode=browse&amp;params=publication;34872599&quot; mtid=&quot;34872599&quot; target=&quot;_blank&quot;&gt;Refinery: Graph Solver as a Service: Refinement-based Generation and Analysis of Consistent Models&lt;/a&gt;&lt;/div&gt; &lt;div class=&quot;InBook&quot;&gt;In: Association for Computing Machinery - Association for Computing Machinery (szerk.) &lt;span class=&quot;booktitle&quot;&gt;&lt;a href=&quot;/gui2/?mode=browse&amp;params=publication;34872600&quot; target=&quot;_blank&quot;&gt;ICSE-Companion &apos;24: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings &lt;/a&gt;&lt;/span &gt; &lt;/div&gt;&lt;div class=&quot;pub-info&quot;&gt; &lt;span class=&quot;publishedAt&quot;&gt;New York, Amerikai Egyesült Államok : &lt;span class=&quot;publisher&quot;&gt;Association for Computing Machinery (ACM)&lt;/span&gt; &lt;span class=&quot;year&quot;&gt;(2024)&lt;/span&gt; &lt;span class=&quot;page&quot;&gt; pp. 64-68. , 5 p. &lt;/span&gt; &lt;/div&gt; &lt;div class=&quot;pub-end&quot;&gt;&lt;div class=&quot;identifier-list&quot;&gt; &lt;span class=&quot;identifiers&quot;&gt; &lt;span class=&quot;id identifier oa_GOLD&quot; title=&quot; Gold &quot;&gt; &lt;a style=&quot;color:blue&quot; title=&quot;10.1145/3639478.3640045&quot; target=&quot;_blank&quot; href=&quot;https://doi.org/10.1145/3639478.3640045&quot;&gt; DOI &lt;/a&gt; &lt;/span&gt; &lt;span class=&quot;id identifier oa_none&quot; title=&quot;none&quot;&gt; &lt;a style=&quot;color:blue&quot; title=&quot;001465567400014&quot; target=&quot;_blank&quot; href=&quot;https://www.webofscience.com/wos/woscc/full-record/001465567400014&quot;&gt; WoS &lt;/a&gt; &lt;/span&gt; &lt;span class=&quot;id identifier oa_none&quot; title=&quot;none&quot;&gt; &lt;a style=&quot;color:blue&quot; title=&quot;85194865787&quot; target=&quot;_blank&quot; href=&quot;http://www.scopus.com/record/display.url?origin=inward&amp;eid=2-s2.0-85194865787&quot;&gt; Scopus &lt;/a&gt; &lt;/span&gt; &lt;span class=&quot;id identifier oa_none&quot; title=&quot;none&quot;&gt; &lt;a style=&quot;color:black&quot; title=&quot;https://dl.acm.org/doi/10.1145/3639478.3640045&quot; target=&quot;_blank&quot; href=&quot;https://dl.acm.org/doi/10.1145/3639478.3640045&quot;&gt; Egyéb URL &lt;/a&gt; &lt;/span&gt; &lt;/span&gt; &lt;/div&gt; &lt;div class=&quot;short-pub-prop-list&quot;&gt; &lt;span class=&quot;deleted-record&quot;&gt;Központi kezelésű&lt;/span&gt; &lt;span class=&quot;short-pub-mtid&quot;&gt; Közlemény:34872599 &lt;/span&gt; &lt;span class=&quot;status-holder&quot;&gt;&lt;span class=&quot;status-data status-VALIDATED&quot;&gt; Egyeztetett &lt;/span&gt;&lt;/span&gt; &lt;span class=&quot;pub-core&quot;&gt;Forrás Idéző &lt;/span&gt; &lt;span class=&quot;pub-type&quot;&gt;Könyvrészlet (Konferenciaközlemény ) &lt;/span&gt; &lt;!-- &amp;&amp; !record.category.scientific --&gt; &lt;span class=&quot;pub-category&quot;&gt;Tudományos&lt;/span&gt; &lt;div class=&quot;publication-citation&quot; style=&quot;margin-left: 0.5cm;&quot;&gt; &lt;span title=&quot;Nyilvános idézőközlemények összesen, említések nélkül&quot; class=&quot;citingPub-count&quot;&gt;Nyilvános idéző összesen: 6&lt;/span&gt; | Független: 4 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 4 | Scopus jelölt:&amp;nbsp;3 | WoS/Scopus jelölt:&amp;nbsp;4 | DOI jelölt:&amp;nbsp;5 &lt;/div&gt; &lt;/div&gt; &lt;/div&gt; &lt;/div&gt;</template><template2>&lt;div class=&quot;BookChapter Publication long-list&quot;&gt; &lt;div class=&quot;authors&quot;&gt; &lt;img title=&quot;Forrásközlemény&quot; style=&quot;float: left&quot; src=&quot;/frontend/resources/grid/publication-core-icon.png&quot;&gt; &lt;img title=&quot;Idézőközlemény&quot; style=&quot;float: left&quot; src=&quot;/frontend/resources/grid/publication-citation-icon.png&quot;&gt; &lt;div class=&quot;autype autype0&quot;&gt; &lt;span class=&quot;author-name&quot; mtid=&quot;10062709&quot;&gt;&lt;a href=&quot;/gui2/?type=authors&amp;mode=browse&amp;sel=10062709&quot; target=&quot;_blank&quot;&gt;Marussy Kristóf (&lt;span class=&quot;authorship-author-name&quot;&gt;Marussy Kristóf&lt;/span&gt; &lt;span class=&quot;authorAux-mtmt&quot;&gt; informatika&lt;/span&gt;) &lt;/a&gt; &lt;/span&gt; &lt;span class=&quot;author-affil&quot;&gt;&lt;span title=&quot;Budapesti Műszaki és Gazdaságtudományi Egyetem&quot;&gt;BME&lt;/span&gt;/&lt;span title=&quot;Villamosmérnöki és Informatikai Kar&quot;&gt;VIK&lt;/span&gt;/Méréstechnika és Információs Rendszerek Tanszék; &lt;span title=&quot;Budapesti Műszaki és Gazdaságtudományi Egyetem&quot;&gt;BME&lt;/span&gt;/&lt;span title=&quot;Villamosmérnöki és Informatikai Kar&quot;&gt;VIK&lt;/span&gt;/&lt;span title=&quot;Mesterséges Intelligencia és Rendszertervezés Tanszék&quot;&gt;MIT&lt;/span&gt;/Kritikus Rendszerek Kutatócsoport&lt;/span&gt; ;&amp;nbsp;&amp;nbsp;&amp;nbsp; &lt;span class=&quot;author-name&quot; mtid=&quot;10083601&quot;&gt;&lt;a href=&quot;/gui2/?type=authors&amp;mode=browse&amp;sel=10083601&quot; target=&quot;_blank&quot;&gt;Ficsor Attila (&lt;span class=&quot;authorship-author-name&quot;&gt;Ficsor Attila&lt;/span&gt; &lt;span class=&quot;authorAux-mtmt&quot;&gt; informatika&lt;/span&gt;) &lt;/a&gt; &lt;/span&gt; &lt;span class=&quot;author-affil&quot;&gt;&lt;span title=&quot;Budapesti Műszaki és Gazdaságtudományi Egyetem&quot;&gt;BME&lt;/span&gt;/&lt;span title=&quot;Villamosmérnöki és Informatikai Kar&quot;&gt;VIK&lt;/span&gt;/Méréstechnika és Információs Rendszerek Tanszék; &lt;span title=&quot;Budapesti Műszaki és Gazdaságtudományi Egyetem&quot;&gt;BME&lt;/span&gt;/&lt;span title=&quot;Villamosmérnöki és Informatikai Kar&quot;&gt;VIK&lt;/span&gt;/&lt;span title=&quot;Mesterséges Intelligencia és Rendszertervezés Tanszék&quot;&gt;MIT&lt;/span&gt;/Kritikus Rendszerek Kutatócsoport&lt;/span&gt; ;&amp;nbsp;&amp;nbsp;&amp;nbsp; &lt;span class=&quot;author-name&quot; mtid=&quot;10045161&quot;&gt;&lt;a href=&quot;/gui2/?type=authors&amp;mode=browse&amp;sel=10045161&quot; target=&quot;_blank&quot;&gt;Semeráth Oszkár (&lt;span class=&quot;authorship-author-name&quot;&gt;Semeráth Oszkár&lt;/span&gt; &lt;span class=&quot;authorAux-mtmt&quot;&gt; Informatika&lt;/span&gt;) &lt;/a&gt; &lt;/span&gt; &lt;span class=&quot;author-affil&quot;&gt;&lt;span title=&quot;Budapesti Műszaki és Gazdaságtudományi Egyetem&quot;&gt;BME&lt;/span&gt;/&lt;span title=&quot;Villamosmérnöki és Informatikai Kar&quot;&gt;VIK&lt;/span&gt;/Méréstechnika és Információs Rendszerek Tanszék; &lt;span title=&quot;Budapesti Műszaki és Gazdaságtudományi Egyetem&quot;&gt;BME&lt;/span&gt;/&lt;span title=&quot;Villamosmérnöki és Informatikai Kar&quot;&gt;VIK&lt;/span&gt;/&lt;span title=&quot;Mesterséges Intelligencia és Rendszertervezés Tanszék&quot;&gt;MIT&lt;/span&gt;/Kritikus Rendszerek Kutatócsoport&lt;/span&gt; ;&amp;nbsp;&amp;nbsp;&amp;nbsp; &lt;span class=&quot;author-name&quot; mtid=&quot;10001355&quot;&gt;&lt;a href=&quot;/gui2/?type=authors&amp;mode=browse&amp;sel=10001355&quot; target=&quot;_blank&quot;&gt;Varró Dániel (&lt;span class=&quot;authorship-author-name&quot;&gt;Varró Dániel&lt;/span&gt; &lt;span class=&quot;authorAux-mtmt&quot;&gt; Informatika, szoftvertechnológia&lt;/span&gt;) &lt;/a&gt; &lt;/span&gt; &lt;/div&gt; &lt;/div&gt; &lt;div class=&quot;title&quot;&gt;&lt;a href=&quot;/gui2/?mode=browse&amp;params=publication;34872599&quot; target=&quot;_blank&quot;&gt;Refinery: Graph Solver as a Service: Refinement-based Generation and Analysis of Consistent Models&lt;/a&gt;&lt;/div&gt; &lt;div class=&quot;InBook&quot;&gt;&lt;div class=&quot;chapter-in&quot;&gt;In:&lt;/div&gt; &lt;div class=&quot;authors&quot;&gt; &lt;div class=&quot;autype autype-1&quot;&gt; &lt;span class=&quot;author-affil&quot;&gt;Association for Computing Machinery&lt;/span&gt; (szerk.) &lt;/div&gt; &lt;/div&gt; &lt;div class=&quot;booktitle&quot;&gt;&lt;a href=&quot;/gui2/?mode=browse&amp;params=publication;34872600&quot; target=&quot;_blank&quot;&gt;ICSE-Companion &apos;24: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings &lt;/a&gt;&lt;/div&gt; &lt;div class=&quot;conference&quot;&gt; Konferencia helye, ideje: &lt;span class=&quot;location&quot;&gt;Lisbon, Portugália &lt;span class=&quot;conference-date&quot;&gt;2024.04.14. - 2024.04.20.&lt;/span&gt; &lt;/div&gt; &lt;span class=&quot;publishedAt&quot;&gt;New York: &lt;span class=&quot;publishers&quot;&gt;Association for Computing Machinery (ACM)&lt;/span&gt;, &lt;span class=&quot;page&quot;&gt; pp 64-68 &lt;/span&gt; &lt;span class=&quot;year&quot;&gt;(2024)&lt;/span&gt; ( &lt;span class=&quot;seriesTitle&quot;&gt;Proceedings - International Conference on Software Engineering&lt;/span&gt; &lt;span class=&quot;issn&quot;&gt;0270-5257&lt;/span&gt; &lt;span class=&quot;issn&quot;&gt;1558-1225&lt;/span&gt; ) &lt;/div&gt; &lt;div class=&quot;pub-footer&quot;&gt; &lt;span class=&quot;language&quot; xmlns=&quot;http://www.w3.org/1999/html&quot;&gt;Nyelv: Angol | &lt;/span&gt; &lt;span class=&quot;identifiers&quot;&gt; &lt;span class=&quot;id identifier oa_GOLD&quot; title=&quot; Gold &quot;&gt; &lt;a style=&quot;color:blue&quot; title=&quot;10.1145/3639478.3640045&quot; target=&quot;_blank&quot; href=&quot;https://doi.org/10.1145/3639478.3640045&quot;&gt; DOI &lt;/a&gt; &lt;/span&gt; &lt;span class=&quot;id identifier oa_none&quot; title=&quot;none&quot;&gt; &lt;a style=&quot;color:blue&quot; title=&quot;001465567400014&quot; target=&quot;_blank&quot; href=&quot;https://www.webofscience.com/wos/woscc/full-record/001465567400014&quot;&gt; WoS &lt;/a&gt; &lt;/span&gt; &lt;span class=&quot;id identifier oa_none&quot; title=&quot;none&quot;&gt; &lt;a style=&quot;color:blue&quot; title=&quot;85194865787&quot; target=&quot;_blank&quot; href=&quot;http://www.scopus.com/record/display.url?origin=inward&amp;eid=2-s2.0-85194865787&quot;&gt; Scopus &lt;/a&gt; &lt;/span&gt; &lt;span class=&quot;id identifier oa_none&quot; title=&quot;none&quot;&gt; &lt;a style=&quot;color:black&quot; title=&quot;https://dl.acm.org/doi/10.1145/3639478.3640045&quot; target=&quot;_blank&quot; href=&quot;https://dl.acm.org/doi/10.1145/3639478.3640045&quot;&gt; Egyéb URL &lt;/a&gt; &lt;/span&gt; &lt;/span&gt; &lt;span class=&quot;bookchapter-ids&quot;&gt;Befoglaló link(ek):&lt;/span&gt; &lt;span class=&quot;identifiers&quot;&gt; &lt;span class=&quot;id identifier oa_none&quot; title=&quot;none&quot;&gt; &lt;a style=&quot;color:black&quot; title=&quot;10.1145/3639478&quot; target=&quot;_blank&quot; href=&quot;https://doi.org/10.1145/3639478&quot;&gt; DOI &lt;/a&gt; &lt;/span&gt; &lt;span class=&quot;id identifier oa_none&quot; title=&quot;none&quot;&gt; &lt;span class=&quot;isbnOrIssn&quot;&gt; ISBN: &lt;/span&gt; &lt;a style=&quot;color:black&quot; title=&quot;9798400705021&quot; target=&quot;_blank&quot; href=&quot;https://www.worldcat.org/search?q=isbn%3A9798400705021&quot;&gt; 9798400705021 &lt;/a&gt; &lt;/span&gt; &lt;span class=&quot;id identifier oa_none&quot; title=&quot;none&quot;&gt; &lt;span class=&quot;isbnOrIssn&quot;&gt; ISBN: &lt;/span&gt; &lt;a style=&quot;color:black&quot; title=&quot;9798400702174&quot; target=&quot;_blank&quot; href=&quot;https://www.worldcat.org/search?q=isbn%3A9798400702174&quot;&gt; 9798400702174 &lt;/a&gt; &lt;/span&gt; &lt;/span&gt; &lt;div class=&quot;publication-citation&quot; style=&quot;margin-left: 0.5cm;&quot;&gt; &lt;span title=&quot;Nyilvános idézőközlemények összesen, említések nélkül&quot; class=&quot;citingPub-count&quot;&gt;Nyilvános idéző összesen: 6&lt;/span&gt; | Független: 4 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 4 | Scopus jelölt:&amp;nbsp;3 | WoS/Scopus jelölt:&amp;nbsp;4 | DOI jelölt:&amp;nbsp;5 &lt;/div&gt;   &lt;div class=&quot;publication-citation&quot;&gt; &lt;a target=&quot;_blank&quot; href=&quot;/api/publication?cond=citations.related;eq;34872599&amp;sort=publishedYear,desc&amp;sort=title&quot;&gt; Idézett közlemények száma: 10 &lt;/a&gt; &lt;/div&gt; &lt;div class=&quot;mtid&quot;&gt;&lt;span class=&quot;long-pub-mtid&quot;&gt;Közlemény: 34872599&lt;/span&gt; | &lt;span class=&quot;status-data status-VALIDATED&quot;&gt; Egyeztetett &lt;/span&gt; &lt;span class=&quot;long-book-mtid&quot;&gt;Befoglaló: 34872600&lt;/span&gt; Forrás Idéző | &lt;span class=&quot;type-subtype&quot;&gt;Könyvrészlet ( Konferenciaközlemény ) &lt;/span&gt; | &lt;span class=&quot;pub-category&quot;&gt;Tudományos&lt;/span&gt; | &lt;span class=&quot;publication-sourceOfData&quot;&gt;kézi felvitel&lt;/span&gt; &lt;/div&gt; &lt;div class=&quot;lastModified&quot;&gt;Utolsó módosítás: 2024.10.24. 15:29 Balázs András (MTMT Központ, admin) &lt;/div&gt; &lt;div class=&quot;lockedBy&quot;&gt;Központi kezelésű 2024.10.17. 19:00 Ladányi Gusztáv (MTMT API user, admin) Balázs András (MTMT Központ, admin) &lt;/div&gt; &lt;/div&gt; &lt;/div&gt;</template2>
    </publication>
  </content>
</myciteResult>
