https://m2.mtmt.hu/ hun 2026-06-27 21:19 BookChapter 35437803 APPROVED true Export Date: 24 October 2024 0 false 2026-05-24T05:36:55.694+0000 2024-10-30T15:53:28.700+0000 2024-10-06T18:27:56.245+0000 true 10040986 Kocsis Imre /api/author/10040986 Author Kocsis Imre (Információs rendszerek) true 10040986 2024-11-21T15:51:47.584+0000 true false true 25 25 /api/publicationtype/25 PublicationType Könyvrészlet 2 true 25 BookChapter true 10000312 Conference paper true 25 25 /api/publicationtype/25 PublicationType Könyvrészlet 2 true 25 BookChapter /api/subtype/10000312 Konferenciaközlemény SubType Konferenciaközlemény (Könyvrészlet) 228 true 10000312 true 1 /api/category/1 Category Tudományos true 1 Al-Gburi, Noor Mohammed Sabr 268 279 268 12 2024 true true 2024 true true true true true false GOLD 2026-05-24 true https://doi.org/10.1145/3640310.3674097 1 0 1 0 1 1 1 1 1 1 1 0 0 0 1 0 1 0 1 0 0 7 7 Folyóiratcikk Journal Article 24 1 Könyvrészlet Chapter in Book 25 0 Könyv Book 23 0 Egyéb konferenciaközlemény Conference paper 31 0 Egyéb konferenciakötet Conference proceedings 32 0 Oltalmi formák Protection forms 26 0 Disszertáció Thesis 28 0 Egyéb Miscellaneous 29 0 Alkotás Achievement 22 0 Kutatási adat Research data 33 0 Folyóiratcikk Journal Article 24 0 0 0 Könyvrészlet Chapter in Book 25 0 0 0 Könyv Book 23 0 0 0 Egyéb konferenciaközlemény Conference paper 31 0 0 0 Egyéb konferenciakötet Conference proceedings 32 0 0 0 Oltalmi formák Protection forms 26 0 0 0 Disszertáció Thesis 28 0 0 0 Egyéb Miscellaneous 29 0 0 0 Alkotás Achievement 22 0 0 0 Kutatási adat Research data 33 0 0 0 2025 0 1 0 1 0 false 10040986 false false false 2025-01-04T19:27:56.942+0000 Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK) 5 9 2 5 0 true true 10002 English /api/language/10002 Angol Language Angol true 2 false true 10367 true 10017 /api/country/10017 Country Amerikai Egyesült Államok true 13 /api/city/10367 City New York, Amerikai Egyesült Államok true 870 true 27590179 /api/publicationidentifier/27590179 https://doi.org/10.1145/3640310 10.1145/3640310 PublicationIdentifier DOI: 10.1145/3640310 true 6 DOI https://doi.org/@@@ /api/publicationsource/6 DOI PlainSource DOI true true 10001 /api/publicationsourcetype/10001 PublicationSourceType DOI true true 6 true false true 27590180 /api/publicationidentifier/27590180 https://www.worldcat.org/search?q=isbn%3A9798400705045 9798400705045 PublicationIdentifier ISBN: 9798400705045 true 122 ISBN https://www.worldcat.org/search?q=isbn%3A@@@ /api/publicationsource/122 ISBN PlainSource ISBN true true 10002 /api/publicationsourcetype/10002 PublicationSourceType Egyéb true false 122 true false /api/publication/35437804 Association for Computing Machinery [szerk.]. MODELS '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems. (2024) ISBN:9798400705045 true true 23 23 /api/publicationtype/23 PublicationType Könyv 3 true 23 Book false false 35437804 false true true true true 10000144 Conference proceedings true 23 23 /api/publicationtype/23 PublicationType Könyv 3 true 23 Book /api/subtype/10000144 Konferenciakötet SubType Konferenciakötet (Könyv) 345 true 10000144 false Book 2024 true 1 /api/category/1 Category Tudományos true 1 false Language 10002 /api/language/10002 Angol Angol English true 2 true PersonAuthorship 120784396 /api/authorship/120784396 Al-Gburi, Noor Mohammed Sabr [Al-Gburi, Noor (Blockchain, depen...), szerző] Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK) 1 0.2 true false false Author 10087286 /api/author/10087286 Al-Gburi Noor (Blockchain, dependable systems, ) Al-Gburi Noor true true Al-Gburi Noor Mohammed Sabr true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 120784397 /api/authorship/120784397 Földvári, András [Földvári, András (Informatika), szerző] Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK) 2 0.2 false false false Author 10068408 /api/author/10068408 Földvári András (Informatika) Földvári András true true Földvári András true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 120784398 /api/authorship/120784398 Marussy, Kristóf [Marussy, Kristóf (informatika), szerző] Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK) 3 0.2 false false false Author 10062709 /api/author/10062709 Marussy Kristóf (informatika) Marussy Kristóf true 10062709 true Marussy Kristóf true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 120784399 /api/authorship/120784399 Semeráth, Oszkár [Semeráth, Oszkár (Informatika), szerző] Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK) 4 0.2 false false false Author 10045161 /api/author/10045161 Semeráth Oszkár (Informatika) Semeráth Oszkár true 10045161 true Semeráth Oszkár true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 120784400 /api/authorship/120784400 Kocsis, Imre [Kocsis, Imre (Információs rends...), szerző] Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK) 5 0.2 false true false Author 10040986 /api/author/10040986 Kocsis Imre (Információs rendszerek) Kocsis Imre true 10040986 true Kocsis Imre true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PublicationIdentifier 27590181 /api/publicationidentifier/27590181 DOI: 10.1145/3640310.3674097 PlainSource 6 /api/publicationsource/6 DOI PublicationSourceType 10001 /api/publicationsourcetype/10001 DOI true true true DOI DOI https://doi.org/@@@ true true 6 true GOLD true IDENTICAL 10.1145/3640310.3674097 https://doi.org/10.1145/3640310.3674097 false true PublicationIdentifier 27992266 /api/publicationidentifier/27992266 WoS: 001322650200019 PlainSource 1 /api/publicationsource/1 WoS PublicationSourceType 10003 /api/publicationsourcetype/10003 Indexelő adatbázis false true true WoS WoS https://www.webofscience.com/wos/woscc/full-record/@@@ true true 1 true IDENTICAL 001322650200019 https://www.webofscience.com/wos/woscc/full-record/001322650200019 false true PublicationIdentifier 27683971 /api/publicationidentifier/27683971 Scopus: 85206364091 PlainSource 3 /api/publicationsource/3 Scopus PublicationSourceType 10003 /api/publicationsourcetype/10003 Indexelő adatbázis false true true Scopus Scopus http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@ true true 3 true IDENTICAL 85206364091 http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85206364091 false true PublicationIdentifier 27590182 /api/publicationidentifier/27590182 Egyéb URL: https://dl.acm.org/doi/10.1145/3640310.3674097 PlainSource 40 /api/publicationsource/40 Egyéb URL PublicationSourceType 10006 /api/publicationsourcetype/10006 Link true true true Egyéb URL Other URL @@@ true true 40 true https://dl.acm.org/doi/10.1145/3640310.3674097 https://dl.acm.org/doi/10.1145/3640310.3674097 false true Classification 10807 /api/classification/10807 Műszaki és technológiai tudományok true true Reference 58496236 /api/reference/58496236 1. 2020. Xcore. https://wiki.eclipse.org/Xcore. 1 false true Reference 58496237 /api/reference/58496237 2. Hani Abdeen, Dániel Varró, Houari Sahraoui, András Szabolcs Nagy, Csaba Debreceni, Ábel Hegedüs, and Ákos Horváth. 2014. Multi-objective optimization in rule-based design space exploration. In ASE. ACM, 289--300. 2 false true Reference 58496238 /api/reference/58496238 3. Aditya Agrawal, Tihamer Levendovszky, Jon Sprinkle, Feng Shi, and Gabor Karsai. 2002. Generative Programming via Graph Transformations in the Model-Driven Architecture. In Workshop on Generative Techniques in the Context of Model Driven Architecture, OOPSLA. 3 false true Reference 58496239 /api/reference/58496239 4. DOI: 10.1007/s10270-008-0110-3 4 10.1007/s10270-008-0110-3 false true Reference 58496240 /api/reference/58496240 5. Elli Androulaki Artem Barger Vita Bortnikov Srinivasan Muralidharan Christian Cachin Konstantinos Christidis Angelo De Caro David Enyeart Chet Murthy Christopher Ferris Gennady Laventman Yacov Manevich Binh Nguyen Manish Sethi Gari Singh Keith Smith Alessandro Sorniotti Chrysoula Stathakopoulou Marko Vukolić Sharon Weed Cocco and Jason Yellick. 2018. Hyperledger Fabric: A Distributed Operating System for Permissioned Blockchains., DOI: 10.1145/3190508.3190538 5 10.1145/3190508.3190538 false true Reference 58496241 /api/reference/58496241 6. Apache Foundation. 2023. Kafka. https://kafka.apache.org/. 6 false true Reference 58496242 /api/reference/58496242 7. Davide Arcelli, Vittorio Cortellessa, Mattia D'Emidio, and Daniele Di Pompeo. 2018. EASIER: An Evolutionary Approach for Multi-objective Software ArchItecturE Refactoring. In ISCA. IEEE, 105--114. 7 false true Reference 58496243 /api/reference/58496243 8. Aren A Babikian, Oszkár Semeráth, and Dániel Varró. 2020. Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers. In FSE. Springer, 441--461. 8 false true Reference 58496244 /api/reference/58496244 9. Kacper Bak Zinovy Diskin Michał Antkiewicz Krzysztof Czarnecki and Andrzej Wasowski. 2013. Clafer: unifying class and feature modeling. Softw. Syst. Model. (2013) 1--35. 9 false true Reference 58496245 /api/reference/58496245 10. Luciano Baresi, Giovanni Quattrocchi, Damian Andrew Tamburri, and Luca Terracciano. 2022. A Declarative Modelling Framework for the Deployment and Management of Blockchain Applications. In MODELS. ACM. 10 false true Reference 58496246 /api/reference/58496246 11. DOI: 10.1109/ICBC51069.2021.9461099 11 10.1109/ICBC51069.2021.9461099 false true Reference 58496247 /api/reference/58496247 12. Bernhard Beckert, Uwe Keller, and Peter H. Schmitt. 2002. Translating the Object Constraint Language into First-order Predicate Logic. In VERIFY@FLoC. 12 false true Reference 58496248 /api/reference/58496248 13. Rafael Belchior, André Vasconcelos, Sérgio Guerreiro, and Miguel Correia. 2022. A Survey on Blockchain Interoperability: Past, Present, and Future Trends. ACM Comput. Surv. 54, 8 (2022), 168:1--168:41. 13 false true Reference 58496249 /api/reference/58496249 14. Peter Bodorik, Christian Gang Liu, and Dawn Jutla. 2023. TABS: Transforming automatically BPMN models into blockchain smart contracts. Blockchain: Research and Applications 4, 1 (2023), 100115. 14 false true Reference 58496250 /api/reference/58496250 15. DOI: 10.1007/s10270-021-00914-w 15 10.1007/s10270-021-00914-w false true Reference 58496251 /api/reference/58496251 16. Alexandru Burdusel Steffen Zschaler and Daniel Strüber. 2018. MDEoptimiser: A Search Based Model Engineering Tool. In MODELS. ACM 12--16., DOI: 10.1145/3270112.3270130 16 10.1145/3270112.3270130 false true Reference 58496252 /api/reference/58496252 17. Jasper H Bussemaker, Pier Davide Ciampa, and Bjoern Nagel. 2020. System architecture design space exploration: An approach to modeling and optimization. In AIAA Aviation 2020 Forum. 3172. 17 false true Reference 58496253 /api/reference/58496253 18. DOI: 10.1007/978-3-642-31491-9_19 18 10.1007/978-3-642-31491-9_19 false true Reference 58496254 /api/reference/58496254 19. DOI: 10.1145/1321631.1321737 19 10.1145/1321631.1321737 false true Reference 58496255 /api/reference/58496255 20. Jordi Cabot Robert Clarisó and Daniel Riera. 2014. On the Verification of UML/OCL Class Diagrams using Constraint Programming. J. Syst. Softw. (2014)., DOI: 10.1016/j.jss.2014.03.023 20 10.1016/j.jss.2014.03.023 false true Reference 58496256 /api/reference/58496256 21. DOI: 10.1017/S1471068419000450 21 10.1017/S1471068419000450 false true Reference 58496257 /api/reference/58496257 22. DOI: 10.1145/3588704 22 10.1145/3588704 false true Reference 58496258 /api/reference/58496258 23. ConsenSys. 2024. Quorum. https://github.com/ConsenSys/quorum 23 false true Reference 58496259 /api/reference/58496259 24. James O. Coplien and Neil B. Harrison. 2004. Organizational Patterns of Agile Software Development. Prentice-Hall. 24 false true Reference 58496260 /api/reference/58496260 25. DOI: 10.1016/j.scico.2014.06.001 25 10.1016/j.scico.2014.06.001 false true Reference 58496261 /api/reference/58496261 26. DOI: 10.1007/s10270-023-01109-1 26 10.1007/s10270-023-01109-1 false true Reference 58496262 /api/reference/58496262 27. Larry A. DiMatteo Michel Cannarsa and Cristina Poncibò (Eds.). 2019. Part I - General Framework. Cambridge Univ. Press 1--58. 27 false true Reference 58496263 /api/reference/58496263 28. Larry A. DiMatteo Michel Cannarsa and Cristina Poncibò (Eds.). 2019. Part IV - Privacy Security and Data Protection. Cambridge Univ. Press 221--268. 28 false true Reference 58496264 /api/reference/58496264 29. Ethereum Foundation. [n.d.]. Ethereum documentation. https://ethereum.org/en/learn/ 29 false true Reference 58496265 /api/reference/58496265 30. Michalis Famelis, Rick Salay, and Marsha Chechik. 2012. Partial models: Towards modeling and reasoning with uncertainty. In ICSE. IEEE, 573--583. 30 false true Reference 58496266 /api/reference/58496266 31. DOI: 10.1007/978-3-642-41533-3_41 31 10.1007/978-3-642-41533-3_41 false true Reference 58496267 /api/reference/58496267 32. DOI: 10.1007/978-3-319-42064-6_6 32 10.1007/978-3-319-42064-6_6 false true Reference 58496268 /api/reference/58496268 33. Linux Foundation. [n. d.]. How Fabric networks are structured --- Hyperledger Fabric Docs main documentation. https://hyperledger-fabric.readthedocs.io/en/latest/network/network.html 33 false true Reference 58496269 /api/reference/58496269 34. Máté Földiák Kristóf Marussy Dániel Varró and István Majzik. 2022. System architecture synthesis for performability by logic solvers. In MODELS. ACM 43--54., DOI: 10.1145/3550355.3552448 34 10.1145/3550355.3552448 false true Reference 58496270 /api/reference/58496270 35. DOI: 10.1017/S1471068418000054 35 10.1017/S1471068418000054 false true Reference 58496271 /api/reference/58496271 36. Michael Gelfond and Vladimir Lifschitz. 1988. The stable model semantics for logic programming.. In ICLP/SLP, Vol. 88. 1070--1080. 36 false true Reference 58496272 /api/reference/58496272 37. Carlos A. González Fabian Büttner Robert Clarisó and Jordi Cabot. 2012. EMFtoCSP: a tool for the lightweight verification of EMF models. In FormSERA. 44--50., DOI: 10.1109/FormSERA.2012.6229788 37 10.1109/FormSERA.2012.6229788 false true Reference 58496273 /api/reference/58496273 38. Hans Grönniger, Jan Oliver Ringert, and Bernhard Rumpe. 2009. System Model-Based Definition of Modeling Language Semantics. In FORTE (LNCS, Vol. 5522). Springer, 152--166. 38 false true Reference 58496274 /api/reference/58496274 39. DOI: 10.1007/s10515-014-0163-1 39 10.1007/s10515-014-0163-1 false true Reference 58496275 /api/reference/58496275 40. DOI: 10.1109/AERO.2017.7943953 40 10.1109/AERO.2017.7943953 false true Reference 58496276 /api/reference/58496276 41. DOI: 10.1007/s10270-016-0568-3 41 10.1007/s10270-016-0568-3 false true Reference 58496277 /api/reference/58496277 42. Hyperledger Foundation. 2024. Use Case Tracker. https://www.hyperledger.org/learn/use-case-tracker 42 false true Reference 58496278 /api/reference/58496278 43. Kobi Inkumsah and Tao Xie. 2008. Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution. In ASE. 297--306., DOI: 10.1109/ASE.2008.40 43 10.1109/ASE.2008.40 false true Reference 58496279 /api/reference/58496279 44. DOI: 10.1145/505145.505149 44 10.1145/505145.505149 false true Reference 58496280 /api/reference/58496280 45. Ethan K Jackson, Tihamer Levendovszky, and Daniel Balasubramanian. 2011. Reasoning about metamodeling with formal specifications and automatic proofs. In Model Driven Engineering Languages and Systems. Springer, 653--667. 45 false true Reference 58496281 /api/reference/58496281 46. DOI: 10.5381/jot.2019.18.3.a6 46 10.5381/jot.2019.18.3.a6 false true Reference 58496282 /api/reference/58496282 47. DOI: 10.1007/978-3-642-21292-5_3 47 10.1007/978-3-642-21292-5_3 false true Reference 58496283 /api/reference/58496283 48. Stephen Cole Kleene, NG De Bruijn, J de Groot, and Adriaan Cornelis Zaanen. 1952. Introduction to metamathematics. van Nostrand New York. 48 false true Reference 58496284 /api/reference/58496284 49. DOI: 10.1007/978-3-642-21952-8_21 49 10.1007/978-3-642-21952-8_21 false true Reference 58496285 /api/reference/58496285 50. Vladimir Lifschitz. 2019. Answer set programming. Springer Berlin. 50 false true Reference 58496286 /api/reference/58496286 51. Kristóf Marussy, Attila Ficsor, Oszkár Semeráth, and Dániel Varró. 2024. Refinery: Graph Solver as a Service. 51 false true Reference 58496287 /api/reference/58496287 52. DOI: 10.1109/TSE.2020.3025732 52 10.1109/TSE.2020.3025732 false true Reference 58496288 /api/reference/58496288 53. Kristóf Marussy, Oszkár Semeráth, Aren A. Babikian, and Dániel Varró. 2020. A specification language for consistent model generation based on partial models. J. Obj. Technol. 19 (2020). Issue 3. 53 false true Reference 58496289 /api/reference/58496289 54. DOI: 10.1007/978-3-319-63046-5_10 54 10.1007/978-3-319-63046-5_10 false true Reference 58496290 /api/reference/58496290 55. Aleksandar Milicevic Joseph P. Near Eunsuk Kang and Daniel Jackson. 2015. Alloy*: A General-Purpose Higher-Order Relational Constraint Solver. In ICSE. 609--619., DOI: 10.1109/ICSE.2015.77 55 10.1109/ICSE.2015.77 false true Reference 58496291 /api/reference/58496291 56. Debajani Mohanty. 2019. R3 Corda for Architects and Developers: With Case Studies in Finance, Insurance, Healthcare, Travel, Telecom, and Agriculture. Apress. 56 false true Reference 58496292 /api/reference/58496292 57. Diego Ongaro and John K. Ousterhout. 2014. In Search of an Understandable Consensus Algorithm. In USENIX, Garth Gibson and Nickolai Zeldovich (Eds.). 305--319. 57 false true Reference 58496293 /api/reference/58496293 58. DOI: 10.1016/j.datak.2011.09.004 58 10.1016/j.datak.2011.09.004 false true Reference 58496294 /api/reference/58496294 59. Aidin Rasti, Daniel Amyot, Alireza Parvizimosaed, Marco Roveri, Luigi Logrippo, Amal Ahmed Anda, and John Mylopoulos. 2022. Symboleo2SC: from legal contract specifications to smart contracts. In MODELS, Eugene Syriani, Houari A. Sahraoui, Nelly Bencomo, and Manuel Wimmer (Eds.). ACM, 300--310. 59 false true Reference 58496295 /api/reference/58496295 60. Michel Rauchs, Andrew Glidden, Brian Gordon, Gina C. Pieters, Martino Recanatini, François Rostand, Kathryn Vagneur, and Bryan Zheng Zhan. 2019. Distributed Ledger Technology Systems: A Conceptual Framework. SSRN (2019). 60 false true Reference 58496296 /api/reference/58496296 61. Thomas W Reps Mooly Sagiv and Reinhard Wilhelm. 2004. Static program analysis via 3-valued logic. In CAV. 15--30., DOI: 10.1007/978-3-540-27813-9_2 61 10.1007/978-3-540-27813-9_2 false true Reference 58496297 /api/reference/58496297 62. Rick Salay and Marsha Chechik. 2015. A Generalized Formal Framework for Partial Modeling. In FASE, Alexander Egyed and Ina Schaefer (Eds.). LNCS, Vol. 9033. Springer, 133--148. 62 false true Reference 58496298 /api/reference/58496298 63. Rick Salay, Marsha Chechik, Michalis Famelis, and Jan Gorzny. 2015. A Methodology for Verifying Refinements of Partial Models. J. Obj. Technol. 14, 3 (2015), 3:1--31. 63 false true Reference 58496299 /api/reference/58496299 64. Rick Salay, Michalis Famelis, and Marsha Chechik. 2012. Language Independent Refinement Using Partial Modeling. In FASE. Springer, 224--239. 64 false true Reference 58496300 /api/reference/58496300 65. DOI: 10.1007/s10009-018-0496-3 65 10.1007/s10009-018-0496-3 false true Reference 58496301 /api/reference/58496301 66. Seyyed M. A. Shah Kyriakos Anastasakis and Behzad Bordbar. 2009. From UML to Alloy and back again. In MoDeVVa (Denver Colorado). ACM 1--10., DOI: 10.1145/1656485.1656489 66 10.1145/1656485.1656489 false true Reference 58496302 /api/reference/58496302 67. DOI: 10.1145/3381032 67 10.1145/3381032 false true Reference 58496303 /api/reference/58496303 68. Daniel Strüber, Kristopher Born, Kanwal Daud Gill, Raffaela Groner, Timo Kehrer, Manuel Ohrndorf, and Matthias Tichy. 2017. Henshin: A Usability-Focused Framework for EMF Model Transformation Development. In ICGT@STAF (LNCS, Vol. 10373). Springer, 196--208. 68 false true Reference 58496304 /api/reference/58496304 69. DOI: 10.1109/NCA.2018.8548070 69 10.1109/NCA.2018.8548070 false true Reference 58496305 /api/reference/58496305 70. The Eclipse Project 2019. Eclipse Modeling Framework. The Eclipse Project. http://www.eclipse.org/emf. 70 false true Reference 58496306 /api/reference/58496306 71. The Object Management Group 2014. Object Constraint Language, v2.4. The Object Management Group. 71 false true Reference 58496307 /api/reference/58496307 72. Kishor S. Trivedi, Gianfranco Ciardo, Manish Malhotra, and Robin A. Sahner. 1993. Dependability and Performability Analysis. In SIGMETRICS (LNCS, Vol. 729). Springer, 587--612. 72 false true Reference 58496308 /api/reference/58496308 73. DOI: 10.1016/j.scico.2014.01.004 73 10.1016/j.scico.2014.01.004 false true Reference 58496309 /api/reference/58496309 74. Hao Wu, Rosemary Monahan, and James F. Power. 2013. Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver. In TASE. 175--182. 74 false true /api/publication/35437803 Al-Gburi Noor Mohammed et al. Requirement-Driven Generation of Distributed Ledger Architectures. (2024) Megjelent: MODELS '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems pp. 268-279<div class="BookChapter Publication long-list"> <div class="authors"> <img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png"> <img title="Idézőközlemény" style="float: left" src="/frontend/resources/grid/publication-citation-icon.png"> <div class="autype autype0"> <span class="author-name" mtid="10087286"><a href="/gui2/?type=authors&mode=browse&sel=10087286" target="_blank">Al-Gburi Noor Mohammed Sabr (<span class="authorship-author-name">Al-Gburi Noor</span> <span class="authorAux-mtmt"> Blockchain, dependable systems, </span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Mesterséges Intelligencia és Rendszertervezés Tanszék</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10068408"><a href="/gui2/?type=authors&mode=browse&sel=10068408" target="_blank">Földvári András (<span class="authorship-author-name">Földvári András</span> <span class="authorAux-mtmt"> Informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Mesterséges Intelligencia és Rendszertervezés Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Mesterséges Intelligencia és Rendszertervezés Tanszék</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10062709"><a href="/gui2/?type=authors&mode=browse&sel=10062709" target="_blank">Marussy Kristóf (<span class="authorship-author-name">Marussy Kristóf</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Mesterséges Intelligencia és Rendszertervezés Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Mesterséges Intelligencia és Rendszertervezés Tanszék</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10045161"><a href="/gui2/?type=authors&mode=browse&sel=10045161" target="_blank">Semeráth Oszkár (<span class="authorship-author-name">Semeráth Oszkár</span> <span class="authorAux-mtmt"> Informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Mesterséges Intelligencia és Rendszertervezés Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Mesterséges Intelligencia és Rendszertervezés Tanszék</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10040986"><a href="/gui2/?type=authors&mode=browse&sel=10040986" target="_blank">Kocsis Imre (<span class="authorship-author-name">Kocsis Imre</span> <span class="authorAux-mtmt"> Információs rendszerek</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Mesterséges Intelligencia és Rendszertervezés Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Mesterséges Intelligencia és Rendszertervezés Tanszék</span> </div> </div> <div class="title"><a href="/gui2/?mode=browse&params=publication;35437803" target="_blank">Requirement-Driven Generation of Distributed Ledger Architectures</a></div> <div class="InBook"><div class="chapter-in">In:</div> <div class="authors"> <div class="autype autype-1"> <span class="author-affil">Association for Computing Machinery</span> (szerk.) </div> </div> <div class="booktitle"><a href="/gui2/?mode=browse&params=publication;35437804" target="_blank">MODELS '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems </a></div> <div class="conference"> Konferencia helye, ideje: <span class="location">Linz, Ausztria <span class="conference-date">2024.09.22. - 2024.09.27.</span> </div> <span class="publishedAt">New York: <span class="publishers">Association for Computing Machinery (ACM)</span>, <span class="page"> pp 268-279 </span> <span class="year">(2024)</span> </div> <div class="pub-footer"> <span class="language" xmlns="http://www.w3.org/1999/html">Nyelv: Angol | </span> <span class="identifiers"> <span class="id identifier oa_GOLD" title=" Gold "> <a style="color:blue" title="10.1145/3640310.3674097" target="_blank" href="https://doi.org/10.1145/3640310.3674097"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="001322650200019" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/001322650200019"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="85206364091" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85206364091"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="https://dl.acm.org/doi/10.1145/3640310.3674097" target="_blank" href="https://dl.acm.org/doi/10.1145/3640310.3674097"> Egyéb URL </a> </span> </span> <span class="bookchapter-ids">Befoglaló link(ek):</span> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <a style="color:black" title="10.1145/3640310" target="_blank" href="https://doi.org/10.1145/3640310"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <span class="isbnOrIssn"> ISBN: </span> <a style="color:black" title="9798400705045" target="_blank" href="https://www.worldcat.org/search?q=isbn%3A9798400705045"> 9798400705045 </a> </span> </span> <div class="publication-citation" style="margin-left: 0.5cm;"> <span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 1</span> | Független: 0 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt:&nbsp;1 | WoS/Scopus jelölt:&nbsp;1 | DOI jelölt:&nbsp;1 </div> <div class="publication-citation"> <a target="_blank" href="/api/publication?cond=citations.related;eq;35437803&sort=publishedYear,desc&sort=title"> Idézett közlemények száma: 7 </a> </div> <div class="mtid"><span class="long-pub-mtid">Közlemény: 35437803</span> | <span class="status-data status-APPROVED"> Nyilvános </span> <span class="long-book-mtid">Befoglaló: 35437804</span> Forrás Idéző | <span class="type-subtype">Könyvrészlet ( Konferenciaközlemény ) </span> | <span class="pub-category">Tudományos</span> | <span class="publication-sourceOfData">kézi felvitel</span> </div> <div class="lastModified">Utolsó módosítás: 2024.10.30. 16:53 Andódy Katalin (BME admin4) </div> <pre class="comment" style="margin-top: 0; margin-bottom: 0;"><u>Megjegyzés</u>: Export Date: 24 October 2024</pre> </div> </div>