diff --git a/src/content/images/publications/emse2026.png b/src/content/images/publications/emse2026.png new file mode 100644 index 00000000..9eb905cf Binary files /dev/null and b/src/content/images/publications/emse2026.png differ diff --git a/src/content/publications/publications.yml b/src/content/publications/publications.yml index 345576f3..294bf205 100644 --- a/src/content/publications/publications.yml +++ b/src/content/publications/publications.yml @@ -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" diff --git a/src/locales/en/research.json b/src/locales/en/research.json index b1e404d1..998fa420 100644 --- a/src/locales/en/research.json +++ b/src/locales/en/research.json @@ -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.", diff --git a/src/locales/hu/research.json b/src/locales/hu/research.json index 58d56f3e..056b5d29 100644 --- a/src/locales/hu/research.json +++ b/src/locales/hu/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.",