Your search query : System Design & Verification
9 results found
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 moreSiegfried Research & Development areas lie in modeling, processes and analysis: for large software systems and for Higher Education systems. He is constantly involved as leader or member in European and International level projects since 2000 (e.g. E…
Read moreFabien 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 moreFormer 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 moreUntil 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