Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Binary file added src/content/images/publications/emse2026.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
6 changes: 6 additions & 0 deletions src/content/publications/publications.yml
Original file line number Diff line number Diff line change
@@ -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"
Expand Down
1 change: 1 addition & 0 deletions src/locales/en/research.json
Original file line number Diff line number Diff line change
Expand Up @@ -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.",
Expand Down
1 change: 1 addition & 0 deletions src/locales/hu/research.json
Original file line number Diff line number Diff line change
Expand Up @@ -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.",
Expand Down