VLDB 2026 Research / reviewers in the wild / expert
David Halasz
dblp:323/0818
· DBLP profile ↗
4ranked-venue papers
4as first author
4since 2021 · last 2024
0000-0002-0393-7857ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 3 · 3 first-author · 3 since 2021Security and privacy · 1 · 1 first-author · 1 since 2021Applied, interdisciplinary, general and emerging computing · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Incentivizing Fairness in Autonomous EcosystemsabstractIn the realm of Autonomous Systems, the absence of direct human oversight introduces novel challenges as these systems start forming complex relationships. The emergent dynamics raise concerns regarding the fair distribution of resources and the promotion of altruistic behavior, which are traditionally moderated by human intervention. This paper envisions an innovative approach that integrates the monetization of acts of generosity in autonomous ecosystems to foster benevolent actions among autonomous agents and, therefore, promote the fairness of the ecosystem as a whole. David Halasz, Dasa Kusniráková, Suyash Shandilya, Barbora Buhnova |
SEAA | 1 |
| 2023 | Conceptual Framework for Adaptive Safety in Autonomous Ecosystems
David Halasz, Barbora Buhnova |
ICSOFT | 1 |
| 2023 | Trustworthy Execution in Untrustworthy Autonomous SystemsabstractWith the increasing pervasiveness of software solutions, which are joining cyber-physical spaces and forming partnerships with humans, the importance of the trustworthiness of these systems is growing. At the same time, however, trustworthiness assurance is becoming extremely difficult in these complex ecosystems due to the high autonomy, unpredictability and limited controllability of their individual players. To mitigate safety risks for humans, these Dynamic Autonomous Ecosystems (e.g., Smart Cities) might require their member systems (e.g., Autonomous Vehicles) to execute software modules called Smart Agents to ensure safe coordination among themselves. Unfortunately, this technology is currently in its very early development with many challenges ahead. Namely, there is no guaranteed way of ensuring that these agents run on the right piece of hardware, with the right privileges required to fulfill their roles, and without the execution environment tampering with their instructions. This way, the host system (e.g., the Autonomous Vehicle we need to control for the sake of the safety of other ecosystem members) can escape the actual safety measures to be enforced. In this paper, we are proposing a novel software architecture that focuses on the detection of instruction tampering and privileged access in Smart Agents, and this way support the vision of trustworthy and safe evolution of Dynamic Autonomous Ecosystems. David Halasz, Suyash Shandilya, Barbora Buhnova |
TrustCom | 1 |
| 2022 | From Systems to Ecosystems: Rethinking Adaptive SafetyabstractThe evolution of software systems into more complex ecosystems creates new challenges in ensuring their safe and secure behavior. As the complexity of software ecosystems is inherently higher than regular systems, existing safety mechanisms are no longer reliable in their context. This paper introduces a research path towards adaptive safety mechanisms that can support the degree of dynamism and high level of uncertainty introduced by these systems of systems. Our planned approach is to use runtime trust evaluation as a decision factor when enabling or disabling safety features on demand. David Halasz |
SEAMS | 1 |