Pulse 탐색 nav.journalClub 토론 트렌드 연구자

Join discussions, follow papers, and never miss your next session.

Download on theApp Store

홈 탐색 nav.journalClub 트렌드

⌘+K

Amel Mammar | Synapse

AM

Amel Mammar

Formal Methods in Verification

Institut Polytechnique de Paris

About

Research focus

Formal Methods in Verification

Impact

129 pubs · 963 cites · h-index 17

Affiliations

Work Experience

Institut Polytechnique de Paris

2008 - 2025

Telecom SudParis

2008 - 2025

Centre National de la Recherche Scientifique

2008 - 2024

Institut Mines-Télécom

2008 - 2024

Département d'Informatique

2012 - 2022

Publications