Merge pull request #356 from ftsrg/update-2023-02

Add 2024 blockchain paper

src/content/publications/publications.yml

@@ -1,3 +1,9 @@
+- journalTitle: IEEE Access
+  year: 2024
+  title: Transaction Conflict Control in Hyperledger Fabric - A Taxonomy, Gaps, and Design for Conflict Prevention
+  url: https://doi.org/10.1109/ACCESS.2024.3361318
+  featuredImage: ../images/publications/access2024.png
+  description: research.publications.transactionBlockchain
 - journalTitle: Systems Engineering
   year: 2023
   title: Pragmatic verification and validation of industrial executable SysML models

src/locales/en/research.json

@@ -24,6 +24,7 @@
   "research.publications.autoGenQualitative": "We designed new algorithms to combine various solvers for synthesizing test scenarios represented as graph models.",
   "research.publications.autoIsoWhitebox": "We developed a tool and a method to automatically generate mock environments to isolate the tested model during code-based test generation.",
   "research.publications.faultInjectBlockchain": "In a collaboration with University of Coimbra, we recommended a method to assess the dependability of blockchain systems.",
+  "research.publications.transactionBlockchain": "The paper highlights how model-based methods can be used in the performance optimization of cross-organizational blockchains.",
   "research.publications.stratForCEGAR": "We developed efficient algorithms to improve CEGAR-based model checking, which were successfully evaluated on verifying embedded and C code.",
   "research.publications.assessingModLanguage": "We recommended methods and processes for assessing the semantics of modeling languages for model users, tool and language designers.",
   "research.publications.pragmatingVerification": "Together with IncQuery Labs and NASA JPL we developed a workflow for applying formal verification to industrial executable SysML models.",

src/locales/hu/research.json

@@ -24,6 +24,7 @@
   "research.publications.autoGenQualitative": "Olyan új algoritmusokat javasoltunk, amik többféle megoldó kombinálásával képesek teszt forgatókönyvek automatikus generálására.",
   "research.publications.autoIsoWhitebox": "Olyan módszert és eszközt készítettünk, ami forráskód-alapú tesztgenerálás során a tesztelt modul izolációja érdekében automatikusan mock környezeteket generál.",
   "research.publications.faultInjectBlockchain": "A Coimbrai Egyetem kutatóival együttműködve olyan módszert javasoltunk, amivel blockchain rendszerek megbízhatósága vizsgálható.",
+  "research.publications.transactionBlockchain": "A cikkben rávilágítjuk a figyelmet arra, hogy hogyan alkalmazhatók modellvezérelt módszerek a szervezetközi blokkláncok teljesítményoptimalizásában.",
   "research.publications.stratForCEGAR": "Hatékony algoritmusokat javasoltunk a CEGAR-alapú modellellenőrzés továbbfejlesztéséhez, amik beágyazott szoftver és PLC kódok ellenőrzését segítik.",
   "research.publications.assessingModLanguage": "Módszereket javasoltunk, amivel modellezési nyelvek tervezése és felhasználása során a nyelv szemantikáját lehet ellenőrizni.",
   "research.publications.pragmatingVerification": "Az IncQuery Labs és NASA JPL munkatársaival közösen kidolgoztunk egy módszert ipari méretű végrehajtható SysML modellek formális ellenőrzésére.",