Merge pull request #388 from ftsrg/emse2026

Added EMSE 2026 publication

Author: micskeiz

src/content/images/publications/emse2026.png

@@ -1,3 +1,9 @@
+- journalTitle: Empirical Software Eng
+  year: 2026
+  title: "Aiding the design of critical software systems by iterative exploration of distinct requirement violation scenarios"
+  url: https://doi.org/10.1007/s10664-025-10786-z
+  featuredImage: ../images/publications/emse2026.png
+  description: research.publications.violationScenarios
 - journalTitle: Softw Syst Model
   year: 2025
   title: "Networcat: applying analysis techniques of shared memory software on message-passing distributed systems"

src/content/publications/publications.yml

@@ -33,6 +33,7 @@
   "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.publications.violationScenarios": "We designed a process for systematic exploration of requirement violation scenarios in fault-tolerant system designs, and applied it to an automotive case-study.",
 
   "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

@@ -32,6 +32,7 @@
   "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.publications.violationScenarios": "Szisztematikus folyamatot dolgoztunk ki követelménysértési forgatókönyvek felderítésére hibatűrő rendszerek terveiben, és alkalmaztuk azt egy autóipari esettanulmányon.",  
 
   "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.",