Zobrazeno 1 - 10
of 19
pro vyhledávání: '"Mahe, Erwan"'
Autor:
Boitier, William, Del Pozzo, Antonella, García-Pérez, Álvaro, Gazut, Stephane, Jobic, Pierre, Lemaire, Alexis, Mahe, Erwan, Mayoue, Aurelien, Perion, Maxence, Rezende, Tuanir Franca, Singh, Deepika, Tucci-Piergiovanni, Sara
Federated Learning is a decentralized framework that enables multiple clients to collaboratively train a machine learning model under the orchestration of a central server without sharing their local data. The centrality of this framework represents
Externí odkaz:
http://arxiv.org/abs/2406.03608
This paper presents a novel adversary model specifically tailored to distributed systems, aiming to assess the security of blockchain networks. Building upon concepts such as adversarial assumptions, goals, and capabilities, our proposed adversary mo
Externí odkaz:
http://arxiv.org/abs/2403.14342
Offline runtime verification involves the static analysis of executions of a system against a specification. For distributed systems, it is generally not possible to characterize executions in the form of global traces, given the absence of a global
Externí odkaz:
http://arxiv.org/abs/2403.03083
Runtime Verification (RV) refers to a family of techniques in which system executions are observed and confronted to formal specifications, with the aim of identifying faults. In Offline RV, observation is done in a first step and verification in a s
Externí odkaz:
http://arxiv.org/abs/2403.03057
Non-deterministic Finite Automata (NFA) represent regular languages concisely, increasing their appeal for applications such as word recognition. This paper proposes a new approach to generate NFA from an interaction language such as UML Sequence Dia
Externí odkaz:
http://arxiv.org/abs/2306.02983
Interactions are formal models describing asynchronous communications within a Distributed System (DS). They can be drawn in the fashion of sequence diagrams and executed thanks to an operational semantics akin to that of process algebras. Executions
Externí odkaz:
http://arxiv.org/abs/2212.09324
Message Sequence Charts & Sequence Diagrams are graphical models that represent the behavior of distributed and concurrent systems via the scheduling of discrete and local emission and reception events. We propose an Interaction Language (IL) to form
Externí odkaz:
http://arxiv.org/abs/2105.00208
Publikováno v:
In Science of Computer Programming January 2024 232
Publikováno v:
In Science of Computer Programming April 2025 241
Interaction models describe the exchange of messages between the different components of distributed systems. We have previously defined a small-step operational semantics for interaction models. The paper extends this work by presenting an approach
Externí odkaz:
http://arxiv.org/abs/2009.01777