Logo Lab-STICCFrom sensors to knowledge: Communicate and decide

Search

Your search query : Software verification
12 results found

CARIOU Eric

Read more

Cyber

The laboratory is developing a very strong expertise in cybersecurity. It has a wide range of skills related to cybersecurity issues in the fields of software and hardware architectures, communications and networks, critical systems and risks related…

Read more

MALLET Julien

Read more

BEUGNARD Antoine

Read more

BACH Jean-Christophe

Read more

DAGNAT Fabien

Fabien Dagnat has been a lecturer in the IT department of the IMT Atlantique in Brest since 2002. Doctor since 2001 and HDR since January 2016, he is the leader of the P4S team at Lab-STICC. His field of research and teaching, software engineering, c…

Read more

LALLALI Mounir

Read more

CHAMPEAU Joël

Read more

Former Members

Former PhD students: Dr Quentin Ducasse, 2020-2024, grant founded by Brittany Région and DGA, PhD thesis on “Sécurisation matérielle de la compilation à la volée des machines virtuelles langage”, Dr Semih Ince, 2021-2024, grant founded by Nokia, PhD…

Read more

SHAKER

FIXME

Read more

P4S

FIXME

Read more

SHARP

  Until  few years ago, embedded systems were often isolated from their environment. Due to new applications such as IoT, autonomous systems or more generally applications that require significant computing and storage resources (e.g. artificial inte…

Read more