Zobrazeno 1 - 10
of 50
pro vyhledávání: '"Serwe, Wendelin"'
Publikováno v:
EPTCS 399, 2024, pp. 129-168
Ensuring resource isolation at the hardware level is a crucial step towards more security inside the Internet of Things. Even though there is still no generally accepted technique to generate appropriate tests, it became clear that tests should be ge
Externí odkaz:
http://arxiv.org/abs/2403.18720
Publikováno v:
EPTCS 355, 2022, pp. 60-117
We present two behavioral models of an autonomous vehicle and its interaction with the environment. Both models use the formal modeling language LNT provided by the CADP toolbox. This paper discusses the modeling choices and the challenges of our aut
Externí odkaz:
http://arxiv.org/abs/2203.09885
Publikováno v:
EPTCS 349, 2021, pp. 1-11
CADP is a comprehensive toolbox implementing results of concurrency theory. This paper addresses the question, whether CADP qualifies as an applicable formal method, based on the experience of the authors and feedback reported by users.
Comment:
Comment:
Externí odkaz:
http://arxiv.org/abs/2111.08203
Publikováno v:
EPTCS 316, 2020, pp. 200-239
Asynchronous circuits have several advantages for security applications, in particular their good resistance to attacks. In this paper, we report on experiments with modeling, at various abstraction levels, a patented asynchronous circuit for detecti
Externí odkaz:
http://arxiv.org/abs/2004.13289
Publikováno v:
EPTCS 268, 2018
This volume contains the joint proceedings of MARS 2018, the third workshop on Models for Formal Analysis of Real Systems, and VPT 2018, the sixth international workshop on Verification and Program Transformation, held together on April 20, 2018 in T
Externí odkaz:
http://arxiv.org/abs/1803.08668
Autor:
Garavel, Hubert, Serwe, Wendelin
Publikováno v:
EPTCS 244, 2017, pp. 230-270
The multiway rendezvous introduced in Theoretical CSP is a powerful paradigm to achieve synchronization and communication among a group of (possibly more than two) processes. We illustrate the advantages of this paradigm on the production cell benchm
Externí odkaz:
http://arxiv.org/abs/1703.06577
Autor:
Serwe, Wendelin
Publikováno v:
EPTCS 196, 2015, pp. 61-147
This paper presents two formal models of the Data Encryption Standard (DES), a first using the international standard LOTOS, and a second using the more recent process calculus LNT. Both models encode the DES in the style of asynchronous circuits, i.
Externí odkaz:
http://arxiv.org/abs/1511.04174
Autor:
Serwe, Wendelin
La construction de programmes nécessite l'utilisation d'outils adaptés. Un outil particulier est le langage de programmation. Les langages logico-fonctionnels sont des langages de programmation dits déclaratifs qui se basent sur les notions mathé
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00004582
http://tel.archives-ouvertes.fr/docs/00/04/60/73/PDF/tel-00004582.pdf
http://tel.archives-ouvertes.fr/docs/00/04/60/73/PDF/tel-00004582.pdf
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:
ERTS 2020-10th European Congress on Embedded Real Time Software and Systems
ERTS 2020-10th European Congress on Embedded Real Time Software and Systems, Jan 2020, Toulouse, France. pp.1-10
ERTS 2020-10th European Congress on Embedded Real Time Software and Systems, Jan 2020, Toulouse, France. pp.1-10
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5ac4321e10fe7de6d65f1f00e8b2ca6d
https://hal.inria.fr/hal-02462085
https://hal.inria.fr/hal-02462085