Publications related to Static program analysis

Analysis of Resonances in Periodic Metasurfaces through the Concept of Self-Coupling Mode

The concept of self-coupling modes, which are eigen-vectors of the roundtrip matrix, is introduced. I investigate its use for the identification and analysis of the resonances taking place in periodic metasurfaces. It also improves the interpolation of the ...

IEEE2019

Investigation of deuterium trapping and release in the JET ITER-like wall divertor using TDS and TMAP

Olivier Sauter, Ambrogio Fasoli, Basil Duval, Stefano Coda, Jonathan Graves, Yves Martin, Duccio Testa, Patrick Blanchard, Alessandro Pau, Cristian Sommariva, Henri Weisen, Richard Pitts, Yann Camenen, Jan Horacek, Javier García Hernández, Marco Wischmeier, Nicola Vianello, Mikhail Maslov, Federico Nespoli, Yao Zhou, David Pfefferlé, Davide Galassi, Antonio José Pereira de Figueiredo, Jonathan Marc Philippe Faustin, Liang Yao, Dalziel Joseph Wilson, Hamish William Patten, Samuel Lanthaler, Bernhard Sieglin, Otto Asunta

Selected set of samples from JET ITER-Like Wall (JET-ILW) divertor tiles exposed both in 2013-2014 and 2011-2014 has been analysed using Thermal Desorption Spectrometry (TDS). The deuterium (D) amounts obtained with TDS were compared with Ion Beam Analysis ...

ELSEVIER2019

Analysis of the interaction factor method for energy pile groups with slab

Lyesse Laloui, Elena Ravera, Melis Sütman

The design of energy pile is hampered by the complex interaction between the piles and the slab subjected to thermal loads. Although finite element analysis is used to account explicitly for the interactions, this method is mainly considered as a research ...

2019

On the intrahemispheric connectivity of the monkey: a diffusion tractography and tract tracing analysis

Gabriel Girard, Maxime Descoteaux, Giorgio Innocenti

In this work, we compare diffusion tractography with neuronal retrograde tract tracing of the frontal, cingulate and parietal areas of the monkey. In this work, we compare diffusion tractography with neuronal retrograde tract tracing of the frontal, cingul ...

International Society for Magnetic Resonance in Medicine2019

Type II solutions Type II blow up solutions with optimal stability properties for the critical focussing nonlinear wave equation on $\R^{3+1}$

Joachim Krieger, Stefano Francesco Burzio

We show that the finite time type II blow up solutions for the energy critical nonlinear wave equation [ \Box u = -u^5 ] on

\R^{3+1}

constructed in \cite{KST}, \cite{KS1} are stable along a co-dimension one Lipschitz manifold of data perturbations in a ...

2018

Exploring Data Partitions for What-if Analysis

Quoc Viet Hung Nguyen, Thành Tâm Nguyên

What-if analysis is a data-intensive exploration to inspect how changes in a set of input parameters of a model influence some outcomes. It is motivated by a user trying to understand the sensitivity of a model to a certain parameter in order to reach a se ...

2018

Formal Analysis of Distance Bounding with Secure Hardware

Serge Vaudenay, Handan Kilinç Alper

A distance bounding (DB) protocol is a two-party authentication protocol between a prover and a verifier which is based on the distance between the prover and the verifier. It aims to defeat threats by malicious provers who try to convince that they are cl ...

2018

Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing

George Candea, Vitaly Chipounov, Bin Zhang, Chao Feng

Coverage-based fuzz testing and dynamic symbolic execution are both popular program testing techniques. However, on their own, both techniques suffer from scalability problems when considering the complexity of modern software. Hybrid testing methods attem ...

INST ENGINEERING TECHNOLOGY-IET2018

Design of a Fiberglass Skateboard

Nowadays, composites materials are frequently used in many domains. For example, their use has permit great progress in the field of aerospace, by reducing the weight and increasing the resistance of many components. If this is an example of highly technol ...

2018

Refining and testing 12,000 km of scintillating plastic fibre for the LHCb SciFi tracker

The LHCb Collaboration is constructing a large scintillating fibre tracker for a major upgrade of the experiment during the LHC long shutdown LS2 scheduled for 2019-2020. The detector is based on blue emitting Kuraray SCSF-78MJ fibres of 0.25 mm diameter, ...

2018

Static program analysis

Graph Chatbot

Chat with Graph Search

Analysis of Resonances in Periodic Metasurfaces through the Concept of Self-Coupling Mode

Investigation of deuterium trapping and release in the JET ITER-like wall divertor using TDS and TMAP

Analysis of the interaction factor method for energy pile groups with slab

On the intrahemispheric connectivity of the monkey: a diffusion tractography and tract tracing analysis

Type II solutions Type II blow up solutions with optimal stability properties for the critical focussing nonlinear wave equation on $\R^{3+1}$

Exploring Data Partitions for What-if Analysis

Formal Analysis of Distance Bounding with Secure Hardware

Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing

Design of a Fiberglass Skateboard

Refining and testing 12,000 km of scintillating plastic fibre for the LHCb SciFi tracker

Design of a Fiberglass Skateboard

Analysis of Resonances in Periodic Metasurfaces through the Concept of Self-Coupling Mode

On the intrahemispheric connectivity of the monkey: a diffusion tractography and tract tracing analysis

Exploring Data Partitions for What-if Analysis

Investigation of deuterium trapping and release in the JET ITER-like wall divertor using TDS and TMAP

Analysis of the interaction factor method for energy pile groups with slab

Type II solutions Type II blow up solutions with optimal stability properties for the critical focussing nonlinear wave equation on $\R^{3+1}$

Formal Analysis of Distance Bounding with Secure Hardware

Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing

Refining and testing 12,000 km of scintillating plastic fibre for the LHCb SciFi tracker