{ "labelLang" : "hun", "responseDate" : "2024-03-29 13:16", "content" : { "otype" : "JournalArticle", "mtid" : 23929506, "status" : "APPROVED", "error" : "VALIDATION_ERROR", "published" : true, "comment" : "Fundamental Approaches to Software Engineering", "unhandledTickets" : 0, "oldTimestamp" : "2015-07-09T13:48:17.000+0000", "deleted" : false, "oldId" : 13929506, "lastRefresh" : "2023-04-24T14:14:05.306+0000", "lastModified" : "2021-07-02T08:31:54.341+0000", "created" : "2011-05-25T10:09:00.000+0000", "creator" : { "otype" : "Author", "mtid" : 10001355, "link" : "/api/author/10001355", "label" : "Varró Dániel (Informatika, szoftvertechnológia)", "familyName" : "Varró", "givenName" : "Dániel", "published" : true, "oldId" : 10001355, "snippet" : true }, "lastDuplumOK" : "2018-10-11T09:57:04.393+0000", "lastDuplumSearch" : "2018-10-11T10:16:07.666+0000", "core" : false, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 24, "link" : "/api/publicationtype/24", "label" : "Folyóiratcikk", "code" : 24, "otypeName" : "JournalArticle", "listPosition" : 1, "published" : true, "oldId" : 24, "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" : "Ehrig, H", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 33663983, "link" : "/api/authorship/33663983", "label" : "Ehrig, H", "listPosition" : 1, "share" : 0.0, "first" : true, "last" : false, "familyName" : "Ehrig", "givenName" : "H", "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" : 54642266, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 33663984, "link" : "/api/authorship/33663984", "label" : "Ermel, C", "listPosition" : 2, "share" : 0.0, "first" : false, "last" : false, "familyName" : "Ermel", "givenName" : "C", "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" : 54642265, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 33663985, "link" : "/api/authorship/33663985", "label" : "Runge, O", "listPosition" : 3, "share" : 0.0, "first" : false, "last" : false, "familyName" : "Runge", "givenName" : "O", "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" : 54642264, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 33663986, "link" : "/api/authorship/33663986", "label" : "Bucchiarone, A", "listPosition" : 4, "share" : 0.0, "first" : false, "last" : false, "familyName" : "Bucchiarone", "givenName" : "A", "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" : 54642263, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 33663987, "link" : "/api/authorship/33663987", "label" : "Pelliccione, P", "listPosition" : 5, "share" : 0.0, "first" : false, "last" : true, "familyName" : "Pelliccione", "givenName" : "P", "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" : 54642262, "snippet" : true } ], "title" : "Formal analysis and verification of self-healing systems", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 7713011, "link" : "/api/publicationidentifier/7713011", "label" : "DOI: 10.1007/978-3-642-12029-9_10", "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 }, "validState" : "NO", "idValue" : "10.1007/978-3-642-12029-9_10", "realUrl" : "https://doi.org/10.1007/978-3-642-12029-9_10", "published" : false, "oldId" : 6215946, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 7713009, "link" : "/api/publicationidentifier/7713009", "label" : "WoS: 000279020000010", "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 }, "validState" : "NO", "idValue" : "000279020000010", "realUrl" : "https://www.webofscience.com/wos/woscc/full-record/000279020000010", "published" : false, "oldId" : 6215944, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 7713010, "link" : "/api/publicationidentifier/7713010", "label" : "Scopus: 77951269442", "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 }, "validState" : "NO", "idValue" : "77951269442", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-77951269442", "published" : false, "oldId" : 6215945, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 7713012, "link" : "/api/publicationidentifier/7713012", "label" : "Google scholar: 9927019095236510226", "source" : { "otype" : "PlainSource", "mtid" : 12, "link" : "/api/publicationsource/12", "label" : "Google scholar", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Google scholar", "linkPattern" : "http://scholar.Google.com/scholar?hl=en&lr=&cluster=@@@", "publiclyVisible" : true, "published" : true, "oldId" : 12, "snippet" : true }, "validState" : "NO", "idValue" : "9927019095236510226", "realUrl" : "http://scholar.Google.com/scholar?hl=en&lr=&cluster=9927019095236510226", "published" : false, "oldId" : 6215947, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 7713013, "link" : "/api/publicationidentifier/7713013", "label" : "Google scholar hash: EoIXgkXbw4kJ", "source" : { "otype" : "PlainSource", "mtid" : 13, "link" : "/api/publicationsource/13", "label" : "Google scholar hash", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Google scholar hash", "nameEng" : "Google scholar hash", "linkPattern" : "http://scholar.Google.com/scholar?hl=en&lr=&cluster=@@@", "publiclyVisible" : true, "published" : true, "oldId" : 13, "snippet" : true }, "validState" : "NO", "idValue" : "EoIXgkXbw4kJ", "realUrl" : "http://scholar.Google.com/scholar?hl=en&lr=&cluster=EoIXgkXbw4kJ", "published" : false, "oldId" : 6215948, "snippet" : true } ], "journal" : { "otype" : "Journal", "mtid" : 3029, "link" : "/api/journal/3029", "label" : "LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349", "pIssn" : "0302-9743", "eIssn" : "1611-3349", "reviewType" : "REVIEWED", "noIF" : false, "sciIndexed" : true, "scopusIndexed" : true, "lang" : "FOREIGN", "hungarian" : false, "published" : true, "oldId" : 3029, "snippet" : true }, "volume" : "6013", "firstPage" : "139", "lastPage" : "153", "firstPageOrInternalIdForSort" : "139", "pageLength" : 15, "publishedYear" : 2010, "digital" : null, "printed" : null, "sourceYear" : 2011, "packet" : "bme-pa-migracio-20014-06-20-v01", "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : null, "nationalOrigin" : false, "missingAuthor" : false, "oaType" : "NONE", "oaCheckDate" : "2023-04-24", "oaFree" : false, "citationCount" : 0, "citationCountUnpublished" : 0, "citationCountWoOther" : 0, "independentCitCountWoOther" : 0, "doiCitationCount" : 0, "wosCitationCount" : 0, "scopusCitationCount" : 0, "independentCitationCount" : 0, "unhandledCitationCount" : 0, "citingPubCount" : 0, "independentCitingPubCount" : 0, "unhandledCitingPubCount" : 0, "citedPubCount" : 2, "citedCount" : 2, "hasCitationDuplums" : false, "userChangeableUntil" : "2014-11-22T13:08:39.000+0000", "publishDate" : "2014-08-24T12:08:39.000+0000", "directInstitutesForSort" : "", "ownerAuthorCount" : 1, "ownerInstituteCount" : 4, "directInstituteCount" : 0, "authorCount" : 5, "contributorCount" : 0, "hasQualityFactor" : false, "link" : "/api/publication/23929506", "label" : "Ehrig H et al. Formal analysis and verification of self-healing systems. (2010) LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 6013 139-153", "template" : "