Zobrazeno 1 - 10
of 26
pro vyhledávání: '"Lapitre, Arnault"'
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
This paper focuses on generating test cases from timed symbolic transition systems. At the heart of the generation process are symbolic execution techniques on data and time. Test cases look like finite symbolic trees with verdicts on their leaves an
Externí odkaz:
http://arxiv.org/abs/2309.06840
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
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
Autor:
Nouacer, Réda, Djemal, Manel, Niar, Smail, Mouchard, Gilles, Rapin, Nicolas, Gallois, Jean-Pierre, Fiani, Philippe, Chastrette, François, Lapitre, Arnault, Adriano, Toni, Mac-Eachen, Bryan
Publikováno v:
In Microprocessors and Microsystems November 2016 47 Part B:252-261
Interactions are formal models describing asynchronous communications within a distributed system. They can be drawn in the fashion of sequence diagrams and associated with an operational semantics in the style of process algebras. In this paper, we
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::39bac009d67e7848087f11f4d16464d5
Publikováno v:
SEKE 2021-THe 33rd International Conference Software Engineering & Knowledge Engineering
SEKE 2021-THe 33rd International Conference Software Engineering & Knowledge Engineering, Jul 2021, Pittsburgh (Virtual conference), United States. ⟨10.18293/SEKE2021-147⟩
ksiresearch.org/seke/seke21.html
Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering
SEKE 2021-THe 33rd International Conference Software Engineering & Knowledge Engineering, Jul 2021, Pittsburgh (Virtual conference), United States. ⟨10.18293/SEKE2021-147⟩
ksiresearch.org/seke/seke21.html
Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering
International audience; Cyber-Physical Systems (CPS) contain complex computational components that control physical entities. The design of these components must take into account the realtime and concurrent nature of these systems. Formulating requi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e49e3dfe78514d976b36aa425708c140
https://hal-cea.archives-ouvertes.fr/cea-03256511
https://hal-cea.archives-ouvertes.fr/cea-03256511
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
International Journal on Software Tools for Technology Transfer; Jun2021, Vol. 23 Issue 3, p489-517, 29p