diff --git a/src/content/images/publications/access2024.png b/src/content/images/publications/access2024.png new file mode 100644 index 00000000..c7c213c0 Binary files /dev/null and b/src/content/images/publications/access2024.png differ diff --git a/src/content/publications/publications.yml b/src/content/publications/publications.yml index 11ab655d..963b7e95 100644 --- a/src/content/publications/publications.yml +++ b/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 diff --git a/src/locales/en/research.json b/src/locales/en/research.json index f3b10564..f95c545b 100644 --- a/src/locales/en/research.json +++ b/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.", diff --git a/src/locales/hu/research.json b/src/locales/hu/research.json index ca7dda3b..8982a9bd 100644 --- a/src/locales/hu/research.json +++ b/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.",