{ "labelLang" : "hun", "responseDate" : "2024-03-29 05:47", "paging" : { "last" : true, "first" : true, "totalPages" : 1, "totalElements" : 1, "totalUncutElements" : 1, "totalEstimatedElements" : 1, "size" : 100, "number" : 1, "numberOfElements" : 1, "sort" : [ { "direction" : "DESC", "property" : "publishedYear", "ascending" : false }, { "direction" : "ASC", "property" : "firstAuthor", "ascending" : true }, { "direction" : "ASC", "property" : "title", "ascending" : true } ] }, "content" : [ { "otype" : "JournalArticle", "mtid" : 1498227, "status" : "ADMIN_APPROVED", "published" : true, "unhandledTickets" : 0, "oldTimestamp" : "2018-02-17T10:43:19.000+0000", "deleted" : false, "oldId" : 1498227, "lastRefresh" : "2024-02-08T11:22:20.402+0000", "lastModified" : "2018-02-17T10:43:19.000+0000", "created" : "2011-04-11T12:38:14.000+0000", "creator" : { "otype" : "Author", "mtid" : 10021019, "link" : "/api/author/10021019", "label" : "Kusper Gábor (Számítástudomány)", "familyName" : "Kusper", "givenName" : "Gábor", "published" : true, "oldId" : 10021019, "snippet" : true }, "lastDuplumOK" : "2019-03-04T22:28:34.887+0000", "lastDuplumSearch" : "2019-03-04T22:28:34.887+0000", "adminApproved" : "2014-08-18T11:01:14.000+0000", "adminApprover" : { "otype" : "Admin", "mtid" : 10017213, "link" : "/api/admin/10017213", "label" : "Oszlánczi Krisztina (EKE admin)", "familyName" : "Oszlánczi", "givenName" : "Krisztina", "published" : true, "oldId" : 10017213, "snippet" : true }, "core" : true, "citation" : false, "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 }, "subType" : { "otype" : "SubType", "mtid" : 10000059, "link" : "/api/subtype/10000059", "label" : "Szakcikk (Folyóiratcikk)", "name" : "Szakcikk", "nameEng" : "Article", "docType" : { "otype" : "PublicationType", "mtid" : 24, "link" : "/api/publicationtype/24", "label" : "Folyóiratcikk", "code" : 24, "otypeName" : "JournalArticle", "listPosition" : 1, "published" : true, "oldId" : 24, "snippet" : true }, "listPosition" : 101, "published" : true, "oldId" : 10000059, "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, Bérczes", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 1502124, "link" : "/api/authorship/1502124", "label" : "Tamás, Bérczes [Bérczes, Tamás (Informatikai tudo...), szerző] Informatikai Kar (DE)", "listPosition" : 1, "share" : 0.2, "first" : true, "last" : false, "author" : { "otype" : "Author", "mtid" : 10034408, "link" : "/api/author/10034408", "label" : "Bérczes Tamás (Informatikai tudományok)", "familyName" : "Bérczes", "givenName" : "Tamás", "published" : true, "oldId" : 10034408, "snippet" : true }, "familyName" : "Tamás", "givenName" : "Bérczes", "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" : 12115261, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 1502125, "link" : "/api/authorship/1502125", "label" : "Gábor, Guta [Guta, Gábor (Számítástechnika), szerző]", "listPosition" : 2, "share" : 0.2, "first" : false, "last" : false, "author" : { "otype" : "Author", "mtid" : 10048448, "link" : "/api/author/10048448", "label" : "Guta Gábor (Számítástechnika)", "familyName" : "Guta", "givenName" : "Gábor", "published" : true, "oldId" : 10048448, "snippet" : true }, "familyName" : "Gábor", "givenName" : "Guta", "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" : 12115260, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 1502126, "link" : "/api/authorship/1502126", "label" : "Gábor, Kusper [Kusper, Gábor (Számítástudomány), szerző] Számítástudományi Tanszék (EKF / TTK / MII)", "listPosition" : 3, "share" : 0.2, "first" : false, "last" : false, "author" : { "otype" : "Author", "mtid" : 10021019, "link" : "/api/author/10021019", "label" : "Kusper Gábor (Számítástudomány)", "familyName" : "Kusper", "givenName" : "Gábor", "published" : true, "oldId" : 10021019, "snippet" : true }, "familyName" : "Gábor", "givenName" : "Kusper", "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" : 12115259, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 1502127, "link" : "/api/authorship/1502127", "label" : "Wolfgang, Schreiner [Schreiner, Wolfgang (Informatika), szerző]", "listPosition" : 4, "share" : 0.2, "first" : false, "last" : false, "author" : { "otype" : "Author", "mtid" : 10064856, "link" : "/api/author/10064856", "label" : "Schreiner Wolfgang (Informatika)", "familyName" : "Schreiner", "givenName" : "Wolfgang", "published" : true, "oldId" : 10064856, "snippet" : true }, "familyName" : "Wolfgang", "givenName" : "Schreiner", "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" : 12115258, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 1502128, "link" : "/api/authorship/1502128", "label" : "János, Sztrik [Sztrik, János (Sorbanállási elmélet), szerző] Informatikai Kar (DE)", "listPosition" : 5, "share" : 0.2, "first" : false, "last" : true, "author" : { "otype" : "Author", "mtid" : 10002190, "link" : "/api/author/10002190", "label" : "Sztrik János (Sorbanállási elmélet)", "familyName" : "Sztrik", "givenName" : "János", "published" : true, "oldId" : 10002190, "snippet" : true }, "familyName" : "János", "givenName" : "Sztrik", "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" : 12115257, "snippet" : true } ], "title" : "Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systems", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 15086135, "link" : "/api/publicationidentifier/15086135", "label" : "Scopus: 79952655573", "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" : "79952655573", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-79952655573", "published" : true, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 363748, "link" : "/api/publicationidentifier/363748", "label" : "Teljes dokumentum: http://ami.ektf.hu/uploads/papers/finalpdf/AMI_37_from51to75.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", "nameEng" : "Teljes dokumentum", "linkPattern" : "@@@", "publiclyVisible" : true, "published" : true, "oldId" : 39, "snippet" : true }, "oaFree" : false, "validState" : "NO", "idValue" : "http://ami.ektf.hu/uploads/papers/finalpdf/AMI_37_from51to75.pdf", "realUrl" : "http://ami.ektf.hu/uploads/papers/finalpdf/AMI_37_from51to75.pdf", "published" : false, "oldId" : 208373, "snippet" : true } ], "journal" : { "otype" : "Journal", "mtid" : 10005858, "link" : "/api/journal/10005858", "label" : "ANNALES MATHEMATICAE ET INFORMATICAE 1787-5021 1787-6117", "pIssn" : "1787-5021", "eIssn" : "1787-6117", "reviewType" : "REVIEWED", "noIF" : false, "sciIndexed" : true, "scopusIndexed" : true, "lang" : "FOREIGN_AND_HUNGARIAN", "hungarian" : true, "published" : true, "oldId" : 10005858, "snippet" : true }, "volume" : "37", "firstPage" : "51", "lastPage" : "75", "firstPageOrInternalIdForSort" : "51", "pageLength" : 25, "publishedYear" : 2010, "abstractText" : "We describe the results of analyzing the performance model of a finitesource\nretrial queueing system with the probabilistic model checker PRISM.\nThe system has been previously investigated with the help of the performance\nmodeling environment MOSEL; we are able to accurately reproduce the results\nreported in literature. The present paper compares PRISM and MOSEL\nwith respect to their modeling languages and ways of specifying performance queries and benchmark the executions of the tools.", "digital" : null, "printed" : null, "sourceYear" : 2011, "foreignEdition" : false, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : false, "nationalOrigin" : true, "missingAuthor" : false, "oaType" : "NONE", "oaCheckDate" : "2024-02-08", "oaFree" : false, "citationCount" : 2, "citationCountUnpublished" : 0, "citationCountWoOther" : 1, "independentCitCountWoOther" : 0, "nationalOriginCitationCount" : 1, "foreignEditionCitationCount" : 1, "doiCitationCount" : 0, "wosCitationCount" : 0, "scopusCitationCount" : 0, "wosScopusCitationCount" : 0, "wosScopusCitationCountWoOther" : 0, "wosScopusIndependentCitationCount" : 0, "wosScopusIndependentCitationCountWoOther" : 0, "independentCitationCount" : 0, "selfCitationCount" : 2, "unhandledCitationCount" : 0, "citingPubCount" : 2, "independentCitingPubCount" : 0, "citingPubCountWoOther" : 1, "independentCitingPubCountWoOther" : 0, "unhandledCitingPubCount" : 0, "citedPubCount" : 0, "citedCount" : 0, "ratings" : [ { "otype" : "SjrRating", "mtid" : 5745248, "link" : "/api/sjrrating/5745248", "label" : "sjr:Q2 (2010) Scopus - Computer Science (miscellaneous) ANNALES MATHEMATICAE ET INFORMATICAE 1787-5021 1787-6117", "listPos" : 87, "rankValue" : 0.49, "type" : "journal", "ratingType" : { "otype" : "RatingType", "mtid" : 10002, "link" : "/api/ratingtype/10002", "label" : "sjr", "code" : "sjr", "published" : true, "snippet" : true }, "subject" : { "otype" : "ClassificationExternal", "mtid" : 1701, "link" : "/api/classificationexternal/1701", "label" : "Scopus - Computer Science (miscellaneous)", "published" : true, "oldId" : 1701, "snippet" : true }, "ranking" : "Q2", "calculation" : "DIRECT", "published" : true, "oldId" : 5745248, "snippet" : true } ], "ratingsForSort" : "Q2", "hasCitationDuplums" : false, "userChangeableUntil" : "2014-08-18T11:01:14.000+0000", "publishDate" : "2013-02-23T19:18:00.000+0000", "directInstitutesForSort" : "Informatikai Kar (DE); Számítástudományi Tanszék (EKF / TTK / MII)", "ownerAuthorCount" : 5, "ownerInstituteCount" : 21, "directInstituteCount" : 2, "authorCount" : 5, "contributorCount" : 0, "hasQualityFactor" : false, "link" : "/api/publication/1498227", "label" : "Tamás Bérczes et al. Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systems. (2010) ANNALES MATHEMATICAE ET INFORMATICAE 1787-5021 1787-6117 37 51-75", "template" : "