Publications related to Formal methods

Formal Verification of Rust with Stainless

Writing correct software is hard, yet in systems that have a high failure cost or are not easily upgraded like blockchains, bugs and security problems cannot be tolerated. Therefore, these systems are perfect use cases for formal verification, the task of ...

2021

Learning convergence prediction of astrobots in multi-object spectrographs

Denis Gillet, Jean-Paul Richard Kneib, Matin Macktoobian, Francesco Basciani

Astrobot swarms are used to capture astronomical signals to generate the map of the observable universe for the purpose of dark energy studies. The convergence of each swarm in the course of its coordination has to surpass a particular threshold to yield a ...

2021

Direct Model-checking of SysML Models

Alessandro Tempia Calvino

Model-checking intends to verify whether a property is satisfied by a model, or not. Model-checking of high-level models, e.g. SysML models, usually first requires a model transformation to a low level formal specification. The present papers proposes a ne ...

SCITEPRESS2021

Data-Driven Convergence Prediction of Astrobots Swarms

Denis Gillet, Jean-Paul Richard Kneib, Matin Macktoobian, Francesco Basciani

Astrobots are robotic artifacts whose swarms are used in astrophysical studies to generate the map of the observable universe. These swarms have to be coordinated with respect to various desired observations. Such coordination\footnote{\z{A coordination sa ...

2021

Atomic data for the

Carmela Lardo

Context. We describe the atomic and molecular data that were used for the abundance analyses of FGK-type stars carried out within the Gaia-ESO Public Spectroscopic Survey in the years 2012 to 2019. The Gaia-ESO Survey is one among several current and futur ...

EDP SCIENCES S A2021

A Formal Model of Extended Tonal Harmony

Martin Alois Rohrmeier, Fabian Claude Moss

Extended tonality is a central system that characterizes the music from the 19th up to the 21st century, including styles like popular music, film music or Jazz. Developing from classical major-minor tonality, the harmonic language of extended tonality for ...

2021

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

Olaf Blanke, 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

Recent advances in trajectory inference from single-cell omics data

Bart Deplancke, Wouter Saelens

Trajectory inference methods have emerged as a novel class of single-cell bioinformatics tools to study cellular dynamics at unprecedented resolution. Initial development focused on adapting methods based on clustering or graph traversal, but recent advanc ...

ELSEVIER2021

Convergence of adaptive algorithms for constrained weakly convex optimization

Volkan Cevher, Ahmet Alacaoglu, Yurii Malitskyi

We analyze the adaptive first order algorithm AMSGrad, for solving a constrained stochastic optimization problem with a weakly convex objective. We prove the

\tilde O(t^{-1/2})

rate of convergence for the squared norm of the gradient of Moreau envelope, ...

2021

Model-Based Interpretation of Measurements for Fatigue Evaluation of Existing Reinforced Concrete Bridges

Ian Smith, Eugen Brühwiler, Sai Ganesh Sarvotham Pai, Imane Bayane

New methods are required for sustainable and economical management of bridges. Efficient management can be achieved by a detailed understanding of bridge behavior through monitoring and model-based data interpretation. This paper presents a methodology to ...

2021

Formal methods

Graph Chatbot

Chat with Graph Search

Formal Verification of Rust with Stainless

Learning convergence prediction of astrobots in multi-object spectrographs

Direct Model-checking of SysML Models

Data-Driven Convergence Prediction of Astrobots Swarms

Atomic data for the

A Formal Model of Extended Tonal Harmony

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

Recent advances in trajectory inference from single-cell omics data

Convergence of adaptive algorithms for constrained weakly convex optimization

Model-Based Interpretation of Measurements for Fatigue Evaluation of Existing Reinforced Concrete Bridges

Formal Verification of Rust with Stainless

Direct Model-checking of SysML Models

A Formal Model of Extended Tonal Harmony

Data-Driven Convergence Prediction of Astrobots Swarms

Recent advances in trajectory inference from single-cell omics data

Convergence of adaptive algorithms for constrained weakly convex optimization

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

Model-Based Interpretation of Measurements for Fatigue Evaluation of Existing Reinforced Concrete Bridges

Learning convergence prediction of astrobots in multi-object spectrographs

Atomic data for the