Program analysis

Science formelle
Informatique théorique
Théorie des langages de pro...
Vérification formelle

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (28)

On the development of multi-physics tools for nuclear reactor analysis based on OpenFOAM (R): state of the art, lessons learned and perspectives

Carlo Fiorina

In the last two decades, the use of OpenFOAM as a multi-physics library for nuclear applications has grown from a sporadic use for exploratory studies to a widespread application for the analysis of innovative reactor concepts and highly complex problems. ...

ELSEVIER SCIENCE SA2022

Macro Modeling Technique for Integrally-Attached Timber Plates: Sensitivity Analysis

Yves Weinand, Aryan Rezaei Rad, Henry V. Burton

Using the Integral Mechanical Attachment (IMA) technique, a new macroscopic model has recently been introduced to simulate the structural behavior of segmented timber plates. The macro model is based on employing only beam and spring elements, which aims t ...

2021

A Modular Workflow for Model Building, Analysis, and Parameter Estimation in Systems Biology and Neuroscience

Daniel Keller, Andrii Stepaniuk

Neuroscience incorporates knowledge from a range of scales, from single molecules to brain wide neural networks. Modeling is a valuable tool in understanding processes at a single scale or the interactions between two adjacent scales and researchers use a ...

HUMANA PRESS INC2022

Stability properties of a projector-splitting scheme for dynamical low rank approximation of random parabolic equations

Fabio Nobile, Yoshihito Kazashi, Eva Vidlicková

We consider the Dynamical Low Rank (DLR) approximation of random parabolic equations and propose a class of fully discrete numerical schemes. Similarly to the continuous DLR approximation, our schemes are shown to satisfy a discrete variational formulation ...

Springer2021

Leaking Secrets Through Compressed Caches

Daniel Felipe Forero Sanchez

We offer the first security analysis of cache compression, a promising architectural technique that is likely to appear in future mainstream processors. We find that cache compression has novel security implications because the compressibility of a cache l ...

IEEE COMPUTER SOC2021

Method and system for determining the intention of performing a voluntary action

Olaf Blanke, Oliver Alan Kannape, Hyeongdong Park, Bastien Orset

The invention relates to methods and systems for determining the intention of a subject to perform a voluntary action based on the analysis of the subject's respiratory phases and neuroelectrical signals. ...

2021

A study of the influence of plasma-molecule interactions on particle balance during detachment

Basil Duval, Christian Gabriel Theiler, Kevin Henricus Annemarie Verhaegh, Artur Perek, Mirko Wensing

In this work we provide experimental insights into the impact of plasma-molecule interactions on the target ion flux decrease during divertor detachment achieved through a core density ramp in the TCV tokamak. Our improved analysis of the hydrogen Balmer s ...

Elsevier2021

HALucinator: Firmware Re-hosting Through Abstraction Layer Emulation

Mathias Josef Payer

Given the increasing ubiquity of online embedded devices, analyzing their firmware is important to security, privacy, and safety. The tight coupling between hardware and firmware and the diversity found in embedded systems makes it hard to perform dynamic ...

USENIX ASSOC2020

Page 2 sur 2