Merge pull request #373 from ftsrg/sosym-2025

Added sosym2025 (networcat)

Author: micskeiz

src/content/images/publications/sosym2025.png

@@ -1,3 +1,9 @@
+- journalTitle: Softw Syst Model
+  year: 2025
+  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 Access
   year: 2024
   title: Transaction Conflict Control in Hyperledger Fabric - A Taxonomy, Gaps, and Design for Conflict Prevention

src/content/publications/publications.yml

@@ -28,6 +28,7 @@
   "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.",
+  "research.publications.networcat": "We presented a novel way of modeling communication in distributed systems by using a language for shared-memory concurrency in software, thus bridging the two domains.",
 
   "research.projects.edgeskills": "The EDGE-Skills project's objectives are to develop and deploy innovative cloud to edge services for the educations and skills data space, and make accessible the data space to public and private organisations.",
   "research.projects.openscaling": "The OpenSCALING project aims to enchance open standards and established modelling and simulation tools to better support large-scale systems and distributed controllers optimized to minimize energy consumption and greenhouse gas emissions.",

src/locales/en/research.json

@@ -28,6 +28,7 @@
   "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.",
+  "research.publications.networcat": "Bemutattunk egy új módszert elosztott rendszerek kommunikációjának modellezésére, egy többszálú programok analízisére használt nyelv segítségével.",
 
   "research.projects.edgeskills": "Az EDGE-Skills project célja, hogy innovatív felhő- és peremszolgáltatásokat fejlesszen és telepítsen oktatási és képzési adatterekhez (data space), és az adattereket elérhetővé tegye privát és publikus szervezetek számára.",
   "research.projects.openscaling": "Az OpenSCALING projekt célja, hogy a nyílt szabványokat és meglévő modellezési és szimulációs eszközöket továbbfejlessze, hogy jobban támogassák az energiafelhasználás csökkentését lehetővé tevő nagyméretű rendszereket és elosztott vezérlőket.",