Zobrazeno 1 - 10
of 878
pro vyhledávání: '"A. Talpin"'
Publikováno v:
23rd ACM/IFIP International Middleware Conference (MIDDLEWARE 2022)
Low-power operating system runtimes used on IoT microcontrollers typically provide rudimentary APIs, basic connectivity and, sometimes, a (secure) firmware update mechanism. In contrast, on less constrained hardware, networked software has entered th
Externí odkaz:
http://arxiv.org/abs/2210.03432
Publikováno v:
International Colloquium on Theoretical Aspects of Computing, Sep 2021, Nur-Sultan, Kazakhstan. pp.134-151
Cyber-physical systems (CPS) are assemblies of networked, heterogeneous, hardware, and software components sensing, evaluating, and actuating a physical environment. This heterogeneity induces complexity that makes CPSs challenging to model correctly
Externí odkaz:
http://arxiv.org/abs/2108.13647
Abstract interpreters are complex pieces of software: even if the abstract interpretation theory and companion algorithms are well understood, their implementations are subject to bugs, that might question the soundness of their computations. While s
Externí odkaz:
http://arxiv.org/abs/2107.09472
Smart contracts are the artifact of the blockchain that provide immutable and verifiable specifications of physical transactions. Solidity is a domain-specific programming language with the purpose of defining smart contracts. It aims at reducing the
Externí odkaz:
http://arxiv.org/abs/2005.01261
We present Labeled Input Output in F* (LIO*), a verified framework that enforces information flow control (IFC) policies developed in F* and automatically extracted to C. Inspired by LIO, we encapsulated IFC policies into effects, but using F* we der
Externí odkaz:
http://arxiv.org/abs/2004.12885
Autor:
Ana Maia, Stephen Ansell, Philippe Armand, Cécile Gouttefangeas, Jonathan W Friedberg, Alice Talpin, Jerome Kervevan, Lucie Aubergeon, Tifanny Mersceman Blanc, Diana Bachrouche, Chloé Ventujol, Léa Bernard, Amandine Manteau, Jose Villasboas, Antonello Pinto, Francesc Bosch, Ramon García-Sanz, Carlos Grande Garcia, Stephen D Smith, Luca Arcaini, Reid Merryman, Pier Zinzani, Christophe Bonny, Laurent Chene, Joao Gamelas Magalhaes
Publikováno v:
Journal for ImmunoTherapy of Cancer, Vol 11, Iss Suppl 1 (2023)
Externí odkaz:
https://doaj.org/article/d0357becdb654800aec9bb511535a03b
Computer-Controlled Systems (CCS) are a subclass of hybrid systems where the periodic relation of control components to time is paramount. Since they additionally are at the heart of many safety-critical devices, it is of primary importance to correc
Externí odkaz:
http://arxiv.org/abs/1907.02881
Publikováno v:
In Science of Computer Programming June 2023 228
Publikováno v:
In NPG Neurologie - Psychiatrie - Gériatrie April 2023 23(134):104-114
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming January 2023 130