Project-Team:ANTIQUE

Project-Team Antique

Team, Visitors, External Collaborators

Overall Objectives

Research Program

Semantics
Abstract interpretation and static analysis
Applications of the notion of abstraction in semantics
From properties to explanations

Application Domains

Verification of safety critical embedded software
Static analysis of software components and libraries
Models of mechanistic interactions between proteins
Consensus
Models of growth
Static analysis of data science software

Highlights of the Year

New Software and Platforms

APRON
Astrée
AstréeA
ClangML
FuncTion
HOO
MemCAD
KAPPA
QUICr
LCertify
Zarith
PYPPAI

New Results

Relational Static Analysis
Static Analysis of Probabilistic Programming Languages
Static Analysis of JavaScript Code
Rule-based Modeling with Arithmetics
Reduced product
Static Analysis of Neural Networks
Reductions between synchronous and asynchronous programming abstractions
Introduction

Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

Partnerships and Cooperations

National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year
References in notes

Inria | Raweb 2019 | Presentation of the Project-Team ANTIQUE | ANTIQUE Web Site


	PDF	e-Pub

Previous |

Home | Next next

Section: Highlights of the Year

Highlights of the Year

Caterina Urban joined the group as a CR in February 2019, and is opening new research directions towards static analysis for data-science software. She was invited to talk about her work in this area at SAS 2019 (Static Analysis Symposium) [13].

Previous |

Home | Next next