Julien Signoles | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat AI Photo Editor

Featured Co-authors

Ezio Bartocci
43 publications
Cesar Sanchez
22 publications
Adrian Francalanza
20 publications
Dejan Nickovic
18 publications
Gerardo Schneider
16 publications
Michele Alberti
16 publications
Domenico Bianculli
15 publications
Yliès Falcone
12 publications
Nikolai Kosmatov
11 publications
Wolfgang Ahrendt
7 publications
Christian Colombo
6 publications

research

∙ 11/25/2019

Abstract Compilation for Verification of Numerical Accuracy Properties

Verification of numerical accuracy properties in modern software remains...

0 Maxime Jacquemin, et al. ∙

research

∙ 11/16/2018

A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)

Runtime verification is an area of formal methods that studies the dynam...

0 Cesar Sanchez, et al. ∙

research

∙ 09/05/2017

Context Generation from Formal Specifications for C Analysis Tools

Analysis tools like abstract interpreters, symbolic execution tools and ...

0 Michele Alberti, et al. ∙