Zobrazeno 1 - 10
of 221
pro vyhledávání: '"Schneider, Gerardo"'
A question we can ask of multi-agent systems is whether the agents' collective interaction satisfies particular goals or specifications, which can be either individual or collective. When a collaborative goal is not reached, or a specification is vio
Externí odkaz:
http://arxiv.org/abs/2309.14048
This paper deals with the problem of automatically and correctly controlling infinite-state reactive programs to achieve LTL goals. Applications include adapting a program to new requirements, or to repair bugs discovered in the original specificatio
Externí odkaz:
http://arxiv.org/abs/2307.09776
Autor:
Mallozzi, Piergiuseppe, Nuzzo, Pierluigi, Piterman, Nir, Schneider, Gerardo, Pelliccione, Patrizio
Effectively specifying and implementing robotic missions poses a set of challenges to software engineering for robotic systems. These challenges stem from the need to formalize and execute a robot's high-level tasks while considering various applicat
Externí odkaz:
http://arxiv.org/abs/2306.08144
Autor:
Eshghie, Mojtaba, Ahrendt, Wolfgang, Artho, Cyrille, Hildebrandt, Thomas Troels, Schneider, Gerardo
Smart contracts embody complex business processes that can be difficult to analyze statically. In this paper, we present CLawK, a runtime monitoring tool that leverages business process specifications written in DCR graphs to provide runtime verifica
Externí odkaz:
http://arxiv.org/abs/2305.08254
Autor:
Eshghie, Mojtaba, Ahrendt, Wolfgang, Artho, Cyrille, Hildebrandt, Thomas Troels, Schneider, Gerardo
Smart contracts manage blockchain assets and embody business processes. However, mainstream smart contract programming languages such as Solidity lack explicit notions of roles, action dependencies, and time. Instead, these concepts are implemented i
Externí odkaz:
http://arxiv.org/abs/2305.04581
Temporal synthesis attempts to construct reactive programs that satisfy a given declarative (LTL) formula. Practitioners have found it challenging to work exclusively with declarative specifications, and have found languages that combine modelling wi
Externí odkaz:
http://arxiv.org/abs/2107.00929
Autor:
Johansen, Johanna, Pedersen, Tore, Fischer-Hübner, Simone, Johansen, Christian, Schneider, Gerardo, Roosendaal, Arnold, Zwingelberg, Harald, Sivesind, Anders Jakob, Noll, Josef
Publikováno v:
Information and Computer Security, Vol. 30, No. 3, (2022) pp. 452-469
Privacy is currently in distress and in need of rescue, much like princesses in the all-familiar fairytales. We employ storytelling and metaphors from fairytales to make reader-friendly and streamline our arguments about how a complex concept of Priv
Externí odkaz:
http://arxiv.org/abs/2012.01813
Recent regulations, such as the European General Data Protection Regulation (GDPR), put stringent constraints on the handling of personal data. Privacy, like security, is a non-functional property, yet most software design tools are focused on functi
Externí odkaz:
http://arxiv.org/abs/2011.12028
This paper introduces a run-time mechanism for preventing leakage of secure information in distributed systems. We consider a general concurrency language model, where concurrent objects interact by asynchronous method calls and futures. The aim is t
Externí odkaz:
http://arxiv.org/abs/2002.10900
Browser extensions are small applications executed in the browser context that provide additional capabilities and enrich the user experience while surfing the web. The acceptance of extensions in current browsers is unquestionable. For instance, Chr
Externí odkaz:
http://arxiv.org/abs/1908.02205