{ "labelLang" : "hun", "responseDate" : "2024-03-28 18:41", "content" : { "otype" : "BookChapter", "mtid" : 3388856, "status" : "VALIDATED", "published" : true, "unhandledTickets" : 0, "oldTimestamp" : "2018-08-01T15:26:51.000+0000", "deleted" : false, "oldId" : 3388856, "lastRefresh" : "2024-02-19T08:02:40.438+0000", "lastModified" : "2020-12-07T15:22:23.281+0000", "created" : "2018-06-22T13:15:58.000+0000", "creator" : { "otype" : "Author", "mtid" : 10047002, "link" : "/api/author/10047002", "label" : "Tóth Tamás (méréstechnika)", "familyName" : "Tóth", "givenName" : "Tamás", "published" : true, "oldId" : 10047002, "snippet" : true }, "lastDuplumOK" : "2020-12-07T15:22:24.228+0000", "lastDuplumSearch" : "2020-12-07T15:22:24.228+0000", "adminApproved" : "2018-08-01T15:26:51.000+0000", "adminApprover" : { "otype" : "Admin", "mtid" : 10039288, "link" : "/api/admin/10039288", "label" : "Szmolyán Mária (BME 4 admin - INAKTÍV)", "familyName" : "Szmolyán", "givenName" : "Mária", "published" : true, "oldId" : 10039288, "snippet" : true }, "validated" : "2018-08-01T15:26:51.000+0000", "validator" : { "otype" : "Admin", "mtid" : 10039288, "link" : "/api/admin/10039288", "label" : "Szmolyán Mária (BME 4 admin - INAKTÍV)", "familyName" : "Szmolyán", "givenName" : "Mária", "published" : true, "oldId" : 10039288, "snippet" : true }, "core" : true, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000312, "link" : "/api/subtype/10000312", "label" : "Konferenciaközlemény (Könyvrészlet)", "name" : "Konferenciaközlemény", "nameEng" : "Conference paper", "docType" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "listPosition" : 228, "published" : true, "oldId" : 10000312, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "firstAuthor" : "Tamás, Tóth", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 10225863, "link" : "/api/authorship/10225863", "label" : "Tamás, Tóth [Tóth, Tamás (méréstechnika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK)", "listPosition" : 1, "share" : 0.5, "first" : true, "last" : false, "author" : { "otype" : "Author", "mtid" : 10047002, "link" : "/api/author/10047002", "label" : "Tóth Tamás (méréstechnika)", "familyName" : "Tóth", "givenName" : "Tamás", "published" : true, "oldId" : 10047002, "snippet" : true }, "familyName" : "Tamás", "givenName" : "Tóth", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "oldId" : 28452867, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 10225864, "link" : "/api/authorship/10225864", "label" : "István, Majzik [Majzik, István (Műszaki informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK)", "listPosition" : 2, "share" : 0.5, "first" : false, "last" : true, "author" : { "otype" : "Author", "mtid" : 10001448, "link" : "/api/author/10001448", "label" : "Majzik István (Műszaki informatika)", "familyName" : "Majzik", "givenName" : "István", "published" : true, "oldId" : 10001448, "snippet" : true }, "familyName" : "István", "givenName" : "Majzik", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "oldId" : 28452866, "snippet" : true } ], "title" : "Lazy Reachability Checking for Timed Automata with Discrete Variables", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 1306950, "link" : "/api/publicationidentifier/1306950", "label" : "DOI: 10.1007/978-3-319-94111-0_14", "source" : { "otype" : "PlainSource", "mtid" : 6, "link" : "/api/publicationsource/6", "label" : "DOI", "type" : { "otype" : "PublicationSourceType", "mtid" : 10001, "link" : "/api/publicationsourcetype/10001", "label" : "DOI", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "DOI", "nameEng" : "DOI", "linkPattern" : "https://doi.org/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 6, "snippet" : true }, "oaFree" : false, "validState" : "NO", "idValue" : "10.1007/978-3-319-94111-0_14", "realUrl" : "https://doi.org/10.1007/978-3-319-94111-0_14", "published" : false, "oldId" : 1791511, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 21804946, "link" : "/api/publicationidentifier/21804946", "label" : "WoS: 000455352500014", "source" : { "otype" : "PlainSource", "mtid" : 1, "link" : "/api/publicationsource/1", "label" : "WoS", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "WoS", "nameEng" : "WoS", "linkPattern" : "https://www.webofscience.com/wos/woscc/full-record/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 1, "snippet" : true }, "idValue" : "000455352500014", "realUrl" : "https://www.webofscience.com/wos/woscc/full-record/000455352500014", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 21804945, "link" : "/api/publicationidentifier/21804945", "label" : "Scopus: 85049041539", "source" : { "otype" : "PlainSource", "mtid" : 3, "link" : "/api/publicationsource/3", "label" : "Scopus", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Scopus", "linkPattern" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@", "publiclyVisible" : true, "published" : true, "oldId" : 3, "snippet" : true }, "idValue" : "85049041539", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85049041539", "published" : false, "snippet" : true } ], "firstPage" : "235", "lastPage" : "254", "firstPageOrInternalIdForSort" : "235", "pageLength" : 20, "publishedYear" : 2018, "abstractText" : "Systems and software with time dependent behavior are often formally specified \nusing timed automata. For practical real-time systems, these specifications \ntypically contain discrete data variables with nontrivial data flow besides real-\nvalued clock variables. In this paper, we propose a lazy abstraction method for \nthe location reachability problem of timed automata that can be used to \nefficiently control the visibility of discrete variables occurring in such \nspecifications, this way alleviating state space explosion. The proposed \nabstraction refinement strategy is based on interpolation for variable assignments \nand symbolic backward search. We combine in a single algorithm our abstraction \nmethod with known efficient lazy abstraction algorithms for the handling of clock \nvariables. Our experiments show that the proposed method performs favorably when \ncompared to other lazy methods, and is suitable to significantly reduce the number \nof states generated during state space exploration.", "digital" : null, "printed" : null, "sourceYear" : 2018, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : true, "missingAuthor" : false, "oaType" : "NONE", "oaCheckDate" : "2024-02-19", "oaFree" : false, "oaByAuthor" : { "otype" : "Author", "mtid" : 10047002, "link" : "/api/author/10047002", "label" : "Tóth Tamás (méréstechnika)", "familyName" : "Tóth", "givenName" : "Tamás", "published" : true, "oldId" : 10047002, "snippet" : true }, "citationCount" : 2, "citationCountUnpublished" : 0, "citationCountWoOther" : 2, "independentCitCountWoOther" : 1, "nationalOriginCitationCount" : 0, "foreignEditionCitationCount" : 2, "doiCitationCount" : 2, "wosCitationCount" : 2, "scopusCitationCount" : 2, "wosScopusCitationCount" : 2, "wosScopusCitationCountWoOther" : 2, "wosScopusIndependentCitationCount" : 1, "wosScopusIndependentCitationCountWoOther" : 1, "independentCitationCount" : 1, "selfCitationCount" : 1, "unhandledCitationCount" : 0, "citingPubCount" : 2, "independentCitingPubCount" : 1, "citingPubCountWoOther" : 2, "independentCitingPubCountWoOther" : 1, "unhandledCitingPubCount" : 0, "citedPubCount" : 2, "citedCount" : 2, "pubStats" : { "types" : [ { "type" : "Folyóiratcikk", "typeEng" : "Journal Article", "code" : 24, "count" : 2 }, { "type" : "Könyvrészlet", "typeEng" : "Chapter in Book", "code" : 25, "count" : 0 }, { "type" : "Könyv", "typeEng" : "Book", "code" : 23, "count" : 0 }, { "type" : "Egyéb konferenciaközlemény", "typeEng" : "Conference paper", "code" : 31, "count" : 0 }, { "type" : "Egyéb konferenciakötet", "typeEng" : "Conference proceedings", "code" : 32, "count" : 0 }, { "type" : "Oltalmi formák", "typeEng" : "Protection forms", "code" : 26, "count" : 0 }, { "type" : "Disszertáció", "typeEng" : "Thesis", "code" : 28, "count" : 0 }, { "type" : "Egyéb", "typeEng" : "Miscellaneous", "code" : 29, "count" : 0 }, { "type" : "Alkotás", "typeEng" : "Achievement", "code" : 22, "count" : 0 }, { "type" : "Kutatási adat", "typeEng" : "Research data", "code" : 33, "count" : 0 } ], "citationTypes" : [ { "type" : "Folyóiratcikk", "typeEng" : "Journal Article", "code" : 24, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Könyvrészlet", "typeEng" : "Chapter in Book", "code" : 25, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Könyv", "typeEng" : "Book", "code" : 23, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Egyéb konferenciaközlemény", "typeEng" : "Conference paper", "code" : 31, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Egyéb konferenciakötet", "typeEng" : "Conference proceedings", "code" : 32, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Oltalmi formák", "typeEng" : "Protection forms", "code" : 26, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Disszertáció", "typeEng" : "Thesis", "code" : 28, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Egyéb", "typeEng" : "Miscellaneous", "code" : 29, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Alkotás", "typeEng" : "Achievement", "code" : 22, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Kutatási adat", "typeEng" : "Research data", "code" : 33, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 } ], "years" : [ { "year" : 2020, "publicationCount" : 0, "citationCount" : 2, "independentCitationCount" : 1, "citingPubCount" : 2, "independentCitingPubCount" : 1, "oaStats" : null, "oaStats2" : null } ] }, "hasCitationDuplums" : false, "userChangeableUntil" : "2018-08-01T15:26:51.000+0000", "publishDate" : "2018-06-22T13:17:56.000+0000", "directInstitutesForSort" : "Méréstechnika és Információs Rendszerek Tanszék (BME / VIK)", "ownerAuthorCount" : 2, "ownerInstituteCount" : 5, "directInstituteCount" : 1, "authorCount" : 2, "contributorCount" : 0, "book" : { "otype" : "Book", "mtid" : 3388854, "link" : "/api/publication/3388854", "label" : "María del Mar. Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings. (2018) ISBN:9783319941110", "core" : true, "citation" : false, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Könyv", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000144, "link" : "/api/subtype/10000144", "label" : "Konferenciakötet (Könyv)", "name" : "Konferenciakötet", "nameEng" : "Conference proceedings", "docType" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Könyv", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "listPosition" : 345, "published" : true, "oldId" : 10000144, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "title" : "Model Checking Software", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 1306949, "link" : "/api/publicationidentifier/1306949", "label" : "DOI: 10.1007/978-3-319-94111-0", "source" : { "otype" : "PlainSource", "mtid" : 6, "link" : "/api/publicationsource/6", "label" : "DOI", "type" : { "otype" : "PublicationSourceType", "mtid" : 10001, "link" : "/api/publicationsourcetype/10001", "label" : "DOI", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "DOI", "nameEng" : "DOI", "linkPattern" : "https://doi.org/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 6, "snippet" : true }, "oaFree" : false, "validState" : "NO", "idValue" : "10.1007/978-3-319-94111-0", "realUrl" : "https://doi.org/10.1007/978-3-319-94111-0", "published" : false, "oldId" : 1791509, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1306948, "link" : "/api/publicationidentifier/1306948", "label" : "ISBN: 9783319941110", "source" : { "otype" : "PlainSource", "mtid" : 122, "link" : "/api/publicationsource/122", "label" : "ISBN", "type" : { "otype" : "PublicationSourceType", "mtid" : 10002, "link" : "/api/publicationsourcetype/10002", "label" : "Egyéb", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "ISBN", "nameEng" : "ISBN", "linkPattern" : "https://www.worldcat.org/search?q=isbn%3A@@@", "publiclyVisible" : true, "published" : true, "oldId" : 122, "snippet" : true }, "idValue" : "9783319941110", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783319941110", "published" : false, "snippet" : true } ], "publishedAt" : [ { "otype" : "City", "mtid" : 15258, "link" : "/api/city/15258", "label" : "Cham, Svájc", "partOf" : { "otype" : "Country", "mtid" : 10022, "link" : "/api/country/10022", "label" : "Svájc", "published" : true, "oldId" : 18, "snippet" : true }, "published" : true, "oldId" : 10006686, "snippet" : true } ], "pageLength" : 361, "publishedYear" : 2018, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "published" : true, "oldId" : 3388854, "snippet" : true }, "hasQualityFactor" : false, "link" : "/api/publication/3388856", "label" : "Tamás Tóth et al. Lazy Reachability Checking for Timed Automata with Discrete Variables. (2018) Megjelent: Model Checking Software pp. 235-254", "template" : "