A Verification Toolkit for Numerical Transition Systems

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (29)

SafetyPin: Encrypted Backups with Human-Memorable Secrets

Henry Nathaniel Corrigan-Gibbs

We present the design and implementation of SafetyPin, a system for encrypted mobile-device backups. Like existing cloud-based mobile-backup systems, including those of Apple and Google, SafetyPin requires users to remember only a short PIN and defends aga ...

USENIX Association2020

SafetyPin: Encrypted Backups with Human-Memorable Secrets

Henry Nathaniel Corrigan-Gibbs

USENIX ASSOC2020

EEG Correlates of Difficulty Levels in Dynamical Transitions of Simulated Flying and Mapping Tasks

Ricardo Andres Chavarriaga Lozano, José del Rocio Millán Ruiz, David Atienza Alonso, Fabio Isidoro Tiberio Dell'Agnola, Ping-Keng Jao, Adriana Arza Valdes

Decoding the subjective perception of task difficulty may help improve operator performance, i.e., automatically optimize the task difficulty level. Here, we aim to decode a compound of cognitive states that covaries with the task difficulty level. We desi ...

2020

Entropy production in systems with unidirectional transitions

Amos Maritan, Daniel Maria Busiello

The entropy production is one of the most essential features for systems operating out of equilibrium. The formulation for discrete-state systems goes back to the celebrated Schnakenberg's work and hitherto can be carried out when for each transition betwe ...

2020

A Large Range of Motion 3D MEMS Scanner With Five Degrees of Freedom

Matthias Imboden

Here, we discuss a novel, mixed mode 3D XYZ scanner built within a single foundry process. The device has a large range of motion in X, Y, and Z (14.1 mu m in X and Y and 97.9 mu m in Z) and can also rotate about two axes (7.4 degrees), making it a 5 degre ...

Institute of Electrical and Electronics Engineers2019

Role of the electron-phonon coupling on the thermal boundary conductance of metal/diamond interfaces with nanometric interlayers

Ludger Weber, Gionata Schneider, Maïté Blank

Thermal boundary conductance (TBC) of the Ag/diamond and Au/diamond interfaces with a nanometer-thick interface layer of either nickel or molybdenum is measured by time domain thermoreflectance and modeled based on a 3-layer two-temperature model (3l-TTM). ...

2019

Verified Functional Programming

Nicolas Charles Yves Voirol

In this thesis, we present Stainless, a verification system for an expressive subset of the Scala language. Our system is based on a dependently-typed language and an algorithmic type checking procedure which ensures total correctness. We rely on SMT solve ...

EPFL2019

Noise-induced desynchronization and stochastic escape from equilibrium in complex networks

Melvyn Sandy Tyloo, Robin Delabays

Complex physical systems are unavoidably subjected to external environments not accounted for in the set of differential equations that models them. The resulting perturbations are standardly represented by noise terms. If these terms are large enough, the ...

2019

The Future of Electronics: Silicon to Cloud Technologies

Mihai Adrian Ionescu

We will present and discuss some of the great research challenges and opportunities related to 21st century energy efficient computing and sensing devices and systems, in the context of the Internet of Things (IoT) revolution. In the future, major innovati ...

IEEE2018

Page 2 sur 2