{ "labelLang" : "hun", "responseDate" : "2024-03-29 08:26", "content" : { "otype" : "BookChapter", "mtid" : 31381319, "status" : "APPROVED", "published" : true, "unhandledTickets" : 0, "deleted" : false, "lastRefresh" : "2023-08-23T15:14:33.836+0000", "lastModified" : "2021-10-12T13:13:43.452+0000", "created" : "2020-07-16T11:30:58.807+0000", "creator" : { "otype" : "Author", "mtid" : 10065180, "link" : "/api/author/10065180", "label" : "Tóth Gabriella (Informatikai tudományok)", "familyName" : "Tóth", "givenName" : "Gabriella", "published" : true, "oldId" : 10065180, "snippet" : true }, "lastDuplumOK" : "2021-10-12T13:13:44.248+0000", "lastDuplumSearch" : "2021-10-12T13:13:44.248+0000", "adminApproved" : "2021-02-01T07:56:39.143+0000", "adminApprover" : { "otype" : "Admin", "mtid" : 10029372, "link" : "/api/admin/10029372", "label" : "Szabó Tibor (ELTE IK admin 5)", "familyName" : "Szabó", "givenName" : "Tibor", "published" : true, "oldId" : 10029372, "snippet" : true }, "core" : true, "citation" : false, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 31, "link" : "/api/publicationtype/31", "label" : "Egyéb konferenciaközlemény", "code" : 31, "otypeName" : "BookChapter", "listPosition" : 4, "published" : true, "oldId" : 31, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000197, "link" : "/api/subtype/10000197", "label" : "Konferenciaközlemény (Egyéb konferenciaközlemény)", "name" : "Konferenciaközlemény", "nameEng" : "Conference paper", "docType" : { "otype" : "PublicationType", "mtid" : 31, "link" : "/api/publicationtype/31", "label" : "Egyéb konferenciaközlemény", "code" : 31, "otypeName" : "BookChapter", "listPosition" : 4, "published" : true, "oldId" : 31, "snippet" : true }, "listPosition" : 452, "published" : true, "oldId" : 10000197, "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" : "Tóth, Gabriella", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 92164795, "link" : "/api/authorship/92164795", "label" : "Tóth, Gabriella [Tóth, Gabriella (Informatikai tudo...), szerző] Programozási Nyelvek és Fordítóprogramok Tanszék (ELTE / IK); PhD Informatika Doktori Iskola (ELTE / IK)", "listPosition" : 1, "share" : 0.5, "first" : true, "last" : false, "corresponding" : false, "author" : { "otype" : "Author", "mtid" : 10065180, "link" : "/api/author/10065180", "label" : "Tóth Gabriella (Informatikai tudományok)", "familyName" : "Tóth", "givenName" : "Gabriella", "published" : true, "oldId" : 10065180, "snippet" : true }, "familyName" : "Tóth", "givenName" : "Gabriella", "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, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 92164796, "link" : "/api/authorship/92164796", "label" : "Dr. Tejfel, Máté [Tejfel, Máté (Formális módszerek), szerző] Programozási Nyelvek és Fordítóprogramok Tanszék (ELTE / IK)", "listPosition" : 2, "share" : 0.5, "first" : false, "last" : true, "corresponding" : false, "author" : { "otype" : "Author", "mtid" : 10013703, "link" : "/api/author/10013703", "label" : "Tejfel Máté (Formális módszerek)", "familyName" : "Tejfel", "givenName" : "Máté", "published" : true, "oldId" : 10013703, "snippet" : true }, "familyName" : "Dr. Tejfel", "givenName" : "Máté", "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, "snippet" : true } ], "title" : "Component-based error detection of P4 programs", "firstPage" : "74", "lastPage" : "78", "firstPageOrInternalIdForSort" : "74", "pageLength" : 5, "publishedYear" : 2020, "abstractText" : "P4 is a domain-specific language to develop the packet processing of network devices.\nThese programs can easily hide errors, therefore we give a solution to analyze them and detect\npredefined errors in them. This paper shows the idea, which works with the P4 code as a set of\ncomponents and processes them one by one, while calculating their pre- and post-conditions.\nThis method does not only detect errors between the components and their connections, but\nit is capable to reveal errors, which are hidden in the middle of a component. The paper\nintroduces the method and shows its calculation in an example.", "fundings" : [ { "otype" : "Funding", "mtid" : 1989056, "link" : "/api/funding/1989056", "label" : "Integrált kutatói utánpótlás-képzési program az informatika és számítástudomány diszciplináris te...(EFOP-3.6.3-VEKOP-16-2017-00002) Támogató: EFOP-VEKOP", "published" : false, "snippet" : true } ], "digital" : true, "printed" : false, "sourceYear" : 2020, "foreignEdition" : false, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : null, "missingAuthor" : false, "oaType" : "NONE", "oaCheckDate" : "2023-08-23", "oaFree" : false, "citationCount" : 0, "citationCountUnpublished" : 0, "citationCountWoOther" : 0, "independentCitCountWoOther" : 0, "nationalOriginCitationCount" : 0, "foreignEditionCitationCount" : 0, "doiCitationCount" : 0, "wosCitationCount" : 0, "scopusCitationCount" : 0, "wosScopusCitationCount" : 0, "wosScopusCitationCountWoOther" : 0, "wosScopusIndependentCitationCount" : 0, "wosScopusIndependentCitationCountWoOther" : 0, "independentCitationCount" : 0, "selfCitationCount" : 0, "unhandledCitationCount" : 0, "citingPubCount" : 0, "independentCitingPubCount" : 0, "citingPubCountWoOther" : 0, "independentCitingPubCountWoOther" : 0, "unhandledCitingPubCount" : 0, "citedPubCount" : 0, "citedCount" : 0, "hasCitationDuplums" : false, "userChangeableUntil" : "2020-10-14T11:30:59.427+0000", "directInstitutesForSort" : "PhD Informatika Doktori Iskola (ELTE / IK); Programozási Nyelvek és Fordítóprogramok Tanszék (ELTE / IK)", "ownerAuthorCount" : 2, "ownerInstituteCount" : 6, "directInstituteCount" : 2, "authorCount" : 2, "contributorCount" : 0, "book" : { "otype" : "Book", "mtid" : 31360875, "link" : "/api/publication/31360875", "label" : "The 12th Conference of PhD Students in Computer Science: Volume of short papers. (2020)", "core" : false, "citation" : false, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 32, "link" : "/api/publicationtype/32", "label" : "Egyéb konferenciakötet", "code" : 32, "otypeName" : "Book", "listPosition" : 6, "published" : true, "oldId" : 32, "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" : "The 12th Conference of PhD Students in Computer Science", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 17020519, "link" : "/api/publicationidentifier/17020519", "label" : "Teljes dokumentum: http://www.inf.u-szeged.hu/~cscs/cscs2020/pdf/cscs2020.pdf", "source" : { "otype" : "PlainSource", "mtid" : 39, "link" : "/api/publicationsource/39", "label" : "Teljes dokumentum", "type" : { "otype" : "PublicationSourceType", "mtid" : 10006, "link" : "/api/publicationsourcetype/10006", "label" : "Link", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "Teljes dokumentum", "linkPattern" : "@@@", "publiclyVisible" : true, "published" : true, "oldId" : 39, "snippet" : true }, "validState" : "IDENTICAL", "idValue" : "http://www.inf.u-szeged.hu/~cscs/cscs2020/pdf/cscs2020.pdf", "realUrl" : "http://www.inf.u-szeged.hu/~cscs/cscs2020/pdf/cscs2020.pdf", "published" : true, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 21640863, "link" : "/api/publicationidentifier/21640863", "label" : "Egyéb URL: http://www.inf.u-szeged.hu/~cscs/cscs2020/proceedings.php", "source" : { "otype" : "PlainSource", "mtid" : 40, "link" : "/api/publicationsource/40", "label" : "Egyéb URL", "type" : { "otype" : "PublicationSourceType", "mtid" : 10006, "link" : "/api/publicationsourcetype/10006", "label" : "Link", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "Egyéb URL", "nameEng" : "Other URL", "linkPattern" : "@@@", "publiclyVisible" : true, "published" : true, "oldId" : 40, "snippet" : true }, "validState" : "IDENTICAL", "idValue" : "http://www.inf.u-szeged.hu/~cscs/cscs2020/proceedings.php", "realUrl" : "http://www.inf.u-szeged.hu/~cscs/cscs2020/proceedings.php", "published" : false, "snippet" : true } ], "publishedAt" : [ { "otype" : "City", "mtid" : 10004, "link" : "/api/city/10004", "label" : "Szeged, Magyarország", "partOf" : { "otype" : "Country", "mtid" : 10001, "link" : "/api/country/10001", "label" : "Magyarország", "published" : true, "oldId" : 1, "snippet" : true }, "published" : true, "oldId" : 1015847, "snippet" : true } ], "publishedYear" : 2020, "foreignEdition" : false, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "published" : true, "snippet" : true }, "hasQualityFactor" : false, "link" : "/api/publication/31381319", "label" : "Tóth Gabriella et al. Component-based error detection of P4 programs. (2020) Megjelent: The 12th Conference of PhD Students in Computer Science pp. 74-78", "template" : "