FUN - 2019 - Annual activity report

FUN

FUN - 2019

Project-Team Fun

Team, Visitors, External Collaborators

Overall Objectives

Research Program

Introduction
Vertical Perspective
Horizontal perspective

Highlights of the Year

New Software and Platforms

AspireRFID ALE
ETINODE-CONTIKI-PORT
ETINODE-DRIVERS
EVe-TCF
GOLIATH
IoT-LAB robots
T-SCAN
FIT IoT-Lab

New Results

Security and Verification
Visible Light Communication
Alternative communications
Long range communications
Vehicular networks
On the use of controlled mobility
Self-organization, routing and orchestration

Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

Partnerships and Cooperations

Regional Initiatives
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

Previous |

Home | Next next

Section: Highlights of the Year

Highlights of the Year

Awards

Paper [17] has been awarded best paper of the 34th ACM/SIGAPP Symposium On Applied Computing (SAC 2019).

Best Paper Award:

[17]

A. Blanchard, N. Kosmatov, F. Loulergue.

Logic against Ghosts: Comparison of Two Proof Approaches for a List Module, in: SAC 2019 - The 34th ACM/SIGAPP Symposium On Applied Computing, Limassol, Cyprus, April 2019. [ DOI : 10.1145/3297280.3297495 ]

https://hal.inria.fr/hal-02100515

Previous |

Home | Next next