diff --git a/src/content/images/publications/tse2024.png b/src/content/images/publications/tse2024.png new file mode 100644 index 00000000..8ac497f1 Binary files /dev/null and b/src/content/images/publications/tse2024.png differ diff --git a/src/content/publications/publications.yml b/src/content/publications/publications.yml index 23da3e61..345576f3 100644 --- a/src/content/publications/publications.yml +++ b/src/content/publications/publications.yml @@ -1,9 +1,15 @@ - journalTitle: Softw Syst Model year: 2025 - title: "Networcat: applying analysis techniques of shared memory software on message-passing distributed systems." + title: "Networcat: applying analysis techniques of shared memory software on message-passing distributed systems" url: https://doi.org/10.1007/s10270-024-01258-x featuredImage: ../images/publications/sosym2025.png description: research.publications.networcat +- journalTitle: IEEE T Software Eng + year: 2024 + title: "To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines" + url: https://doi.org/10.1109/TSE.2024.3422845 + featuredImage: ../images/publications/tse2024.png + description: research.publications.doActivity - journalTitle: IEEE Access year: 2024 title: Transaction Conflict Control in Hyperledger Fabric - A Taxonomy, Gaps, and Design for Conflict Prevention @@ -40,15 +46,3 @@ url: https://doi.org/10.1109/ACCESS.2020.3032239 featuredImage: ../images/publications/access2020.png description: research.publications.faultInjectBlockchain -- journalTitle: Inform Software Tech - year: 2020 - title: Automated Isolation for White-box Test Generation - url: https://doi.org/10.1016/j.infsof.2020.106319 - featuredImage: ../images/publications/ist2020.jpg - description: research.publications.autoIsoWhitebox -- journalTitle: J Autom Reasoning - year: 2020 - title: Efficient Strategies for CEGAR-Based Model Checking - url: https://doi.org/10.1007%2Fs10817-019-09535-x - featuredImage: ../images/publications/jar2020.png - description: research.publications.stratForCEGAR diff --git a/src/locales/en/research.json b/src/locales/en/research.json index 75d86dda..5177eb9f 100644 --- a/src/locales/en/research.json +++ b/src/locales/en/research.json @@ -23,6 +23,7 @@ "research.publications.autoGenGraphModel": "We designed a new method to solve optimization problems during graph generations according to various object functions.", "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.doActivity": "We analysed the semantic details of doActivities in UML state machines and proposed practical patterns to highlight potential issues in models.", "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.", diff --git a/src/locales/hu/research.json b/src/locales/hu/research.json index 4182f4eb..f2754d21 100644 --- a/src/locales/hu/research.json +++ b/src/locales/hu/research.json @@ -23,6 +23,7 @@ "research.publications.autoGenGraphModel": "Olyan módszereket javasoltunk, amivel gráfok generálása során adott célfüggvény szerinti optimalizációs problémákat tudunk megoldani.", "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.doActivity": "Az UML állapotgépek és doActivity‑k szemantikáját elemeztük, valamint olyan gyakorlati mintákat javasoltunk, amelyek felfedik a modellekben rejlő hibákat.", "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.",