{ "labelLang" : "hun", "responseDate" : "2024-03-28 20:46", "content" : { "otype" : "BookChapter", "mtid" : 24126090, "status" : "APPROVED", "error" : "VALIDATION_ERROR", "published" : true, "unhandledTickets" : 0, "oldTimestamp" : "2014-08-12T13:23:15.000+0000", "deleted" : false, "oldId" : 14126090, "lastRefresh" : "2023-01-16T14:39:10.216+0000", "lastModified" : "2023-01-16T14:37:41.795+0000", "created" : "2013-03-13T17:56:00.000+0000", "creator" : { "otype" : "Admin", "mtid" : 10018988, "link" : "/api/admin/10018988", "label" : "Kollár István (BME admin 5 - INAKTÍV)", "familyName" : "Kollár", "givenName" : "István", "published" : true, "oldId" : 10018988, "snippet" : true }, "lastDuplumOK" : "2018-10-22T18:00:38.915+0000", "lastDuplumSearch" : "2018-10-22T18:00:38.915+0000", "core" : false, "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" : "Prähofer, H", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 34134996, "link" : "/api/authorship/34134996", "label" : "Prähofer, H", "listPosition" : 1, "share" : 0.0, "first" : true, "last" : false, "familyName" : "Prähofer", "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" : 55710237, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 34134997, "link" : "/api/authorship/34134997", "label" : "Hurnaus, D", "listPosition" : 2, "share" : 0.0, "first" : false, "last" : true, "familyName" : "Hurnaus", "givenName" : "D", "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" : 55710238, "snippet" : true } ], "title" : "Leveraging formal verification techniques for design-time animation of reactive control programs", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 8021673, "link" : "/api/publicationidentifier/8021673", "label" : "DOI: 10.2316/P.2012.772-016", "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.2316/P.2012.772-016", "realUrl" : "https://doi.org/10.2316/P.2012.772-016", "published" : false, "oldId" : 7123849, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 8021672, "link" : "/api/publicationidentifier/8021672", "label" : "Scopus: 84864590379", "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" : "IDENTICAL", "idValue" : "84864590379", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84864590379", "published" : false, "oldId" : 7123848, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 8021674, "link" : "/api/publicationidentifier/8021674", "label" : "Google scholar: 287298141512553451", "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" : "287298141512553451", "realUrl" : "http://scholar.Google.com/scholar?hl=en&lr=&cluster=287298141512553451", "published" : false, "oldId" : 7123850, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 8021675, "link" : "/api/publicationidentifier/8021675", "label" : "Google scholar hash: 61N8NSOw_AMJ", "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" : "61N8NSOw_AMJ", "realUrl" : "http://scholar.Google.com/scholar?hl=en&lr=&cluster=61N8NSOw_AMJ", "published" : false, "oldId" : 7123851, "snippet" : true } ], "firstPage" : "293", "lastPage" : "300", "firstPageOrInternalIdForSort" : "293", "pageLength" : 8, "publishedYear" : 2012, "digital" : null, "printed" : null, "sourceYear" : 2013, "packet" : "bme-pa-migracio-20014-06-20-v01", "foreignEdition" : null, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : null, "missingAuthor" : false, "oaType" : "NONE", "oaCheckDate" : "2023-01-16", "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" : 1, "citedCount" : 1, "referenceList" : "Ashby, W.R., (1956) An Introduction to Cybernetics, , Chapman & Hall, London;\nBerry, G., Gonthier, G., The esterel synchronous programming language (1992) Science of Computer Programming, 19, pp. 87-152;\nBiere, A., (2008) Model Checking (Lecture Notes)., , Johannes Kepler University Linz;\nClarke, E.M., Grumberg, O.D., (2000) Model Checking, , MIT Press;\nCramer, B., Kastens, U., Animation automatically generated from simulation specifications (2009) Proc. IEEE Symp. on Visual Languages and Human-Centric Computing, pp. 157-164. , Washington, DC;\nDe Alfaro, L., Henzinger, T.A., Interface automata (2001) Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 109-120;\nDutertre, B., De Moura, L., A fast linear-arithmetic solver for DPLL(T) (2006) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4144, pp. 81-94. , Computer Aided Verification - 18th International Conference, CAV 2006, Proceedings;\nHarel, D., Statecharts: A visual formalism for complex systems (1987) Science of Computer Programming, 8 (3), pp. 231-274. , DOI 10.1016/0167-6423(87)90035-9;\nHerzig, A., Rifi, O., Propositional belief base update and minimal change (1999) Artificial Intelligence, 115 (1), pp. 107-138. , DOI 10.1016/S0004-3702(99)00072-7;\nHolzmann, G., (2003) Spin Model Checker: Primer and Reference Manual, , Addison-Wesley Professional;\nHurnaus, D., Prähofer, H., Programming assistance based on contracts and modular verification in the automation domain (2010) Proc. ACM Symposium on Applied Computing, pp. 2544-2551. , Sierre, Switzerland;\n(2005) IEC 61499-1, Function Blocks - Part 1: Architecture, , http://www.iec.ch;\nKatsuno, H., Mendelzon, A.O., On the difference between updating a knowledge base and revising it (1991) Proc. 2nd International Conference on the Principles of Knowledge Representation and Reasoning, pp. 387-394;\nKleyn, M.F., Gingrich, P.C., GraphTrace-understanding object-oriented systems using concurrently animated views (1988) Proc. Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'88), pp. 191-205. , San Diego, CA;\nMössenböck, H., Wöss, A.A., Löberbauer, M., (2005) The Compiler Generator CoCo/R, , http://www.ssw.uni-linz.ac.at/Research/Projects/#Coco;\nPrähofer, H., Hurnaus, D., Wirth, C., Mössenböck, H., The domain-specific language monaco and its visual interactive programming environment (2007) Proc. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 07), pp. 104-110. , Coeur d'Alène, Idaho;\nPrähofer, H., Hurnaus, D., Wirth, R.S.C., Mössenböck, H., Monaco: A DSL approach for programming automation machines (2008) Software-Engineering-Konferenz, pp. 242-256. , Munich, Germany;\nRath, I., Vago, D., Varro, D., Design-time simulation of domain-specific models by incremental pattern matching (2007) Proc. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 07), pp. 219-222. , Coeur d'Alène, Idaho;\nReiter, R., (2001) Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems, , MIT Press, Cambridge, Mass;\nSelic, B., Rumbaugh, J., (1998) Using UML for Modeling Complex Real-Time Systems, , ObjectTime Limited;\nUchitel, S., Chatley, R., Kramer, J., Magee, J., Fluent-based animation: Exploiting the relation between goals and scenarios for requirements validation (2004) Proceedings of the IEEE International Conference on Requirements Engineering, pp. 208-217. , Proceedings - 12th IEEE International Requirements Engineering Conference. RE 2004;\nWinslett, M., (1990) Updating Logical Databases, , Cambridge University Press, New York", "hasCitationDuplums" : false, "userChangeableUntil" : "2014-11-10T14:23:15.000+0000", "publishDate" : "2014-08-12T13:23:15.000+0000", "directInstitutesForSort" : "", "ownerAuthorCount" : 2, "ownerInstituteCount" : 4, "directInstituteCount" : 0, "authorCount" : 2, "contributorCount" : 0, "book" : { "otype" : "Book", "mtid" : 30164676, "link" : "/api/publication/30164676", "label" : "Proceedings of the IASTED International Conference on Human-Computer Interaction, HCI 2012. (2012) ISBN:9780889869202", "core" : false, "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" : "Proceedings of the IASTED International Conference on Human-Computer Interaction, HCI 2012", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 8021671, "link" : "/api/publicationidentifier/8021671", "label" : "ISBN: 9780889869202", "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" : "9780889869202", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9780889869202", "published" : false, "snippet" : true } ], "publishedAt" : [ ], "publishedYear" : 2012, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "published" : true, "snippet" : true }, "hasQualityFactor" : false, "link" : "/api/publication/24126090", "label" : "Prähofer H et al. Leveraging formal verification techniques for design-time animation of reactive control programs. (2012) Megjelent: Proceedings of the IASTED International Conference on Human-Computer Interaction, HCI 2012 pp. 293-300", "template" : "