{ "labelLang" : "eng", "responseDate" : "2024-03-29 07:48", "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" : "Gábor Kusper (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" : "Krisztina Oszlánczi (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" : "Journal Article", "code" : 24, "otypeName" : "JournalArticle", "listPosition" : 1, "published" : true, "oldId" : 24, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000059, "link" : "/api/subtype/10000059", "label" : "Article (Journal Article)", "name" : "Szakcikk", "nameEng" : "Article", "docType" : { "otype" : "PublicationType", "mtid" : 24, "link" : "/api/publicationtype/24", "label" : "Journal Article", "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" : "Scientific", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "English", "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...), author] Faculty of Informatics (UD)", "listPosition" : 1, "share" : 0.2, "first" : true, "last" : false, "author" : { "otype" : "Author", "mtid" : 10034408, "link" : "/api/author/10034408", "label" : "Tamás Bérczes (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" : "Author", "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), author]", "listPosition" : 2, "share" : 0.2, "first" : false, "last" : false, "author" : { "otype" : "Author", "mtid" : 10048448, "link" : "/api/author/10048448", "label" : "Gábor Guta (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" : "Author", "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), author] Department of Computer Sciences (EKF / FNS / IMI)", "listPosition" : 3, "share" : 0.2, "first" : false, "last" : false, "author" : { "otype" : "Author", "mtid" : 10021019, "link" : "/api/author/10021019", "label" : "Gábor Kusper (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" : "Author", "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), author]", "listPosition" : 4, "share" : 0.2, "first" : false, "last" : false, "author" : { "otype" : "Author", "mtid" : 10064856, "link" : "/api/author/10064856", "label" : "Wolfgang Schreiner (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" : "Author", "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), author] Faculty of Informatics (UD)", "listPosition" : 5, "share" : 0.2, "first" : false, "last" : true, "author" : { "otype" : "Author", "mtid" : 10002190, "link" : "/api/author/10002190", "label" : "János Sztrik (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" : "Author", "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" : "