138publications 54co-auteurs·rices 2008–2026
ConférenceCONCUR’26 🏴
ConférenceSAC’26 🇬🇷
ConférenceCSL’26 🇫🇷
ConférenceFSTTCS’25 🇮🇳
ConférenceRV’25 🇦🇹
ConférenceFORTE’25 🇫🇷
ConférenceSAC’25 🇮🇹
RevueInnovations in Systems and Software Engineering
ConférenceICFEM’24 🇯🇵
ConférenceICFEM’24 🇯🇵
ConférenceFSTTCS’24 🇮🇳
ConférenceSEFM’24 🇵🇹
RevueIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 43(11)
ConférencePetriNets’24 🇨🇭
ConférenceSAC’24 🇪🇸
ConférenceVMCAI’24 🏴
RevueLogical Methods in Computer Science 20(1)
ConférenceTiCSA’23 🇫🇷
ConférenceECRTS’23 🇦🇹
RevueScience of Computer Programming 230
RevueACM Computing Surveys 55(13)
RevueACM Computing Surveys 55(6)
RevueACM Transactions on Software Engineering and Methodology (TOSEM) 32(1)
ConférenceICECCS’23 🇫🇷
ConférenceFTSCS’22 🇳🇿
ConférenceFORMATS’22 🇵🇱
ConférenceNFM’22 🇺🇸
ConférenceFORTE’22 🇮🇹
ConférenceNFM’22 🇺🇸
RevueACM Transactions on Cyber-Physical Systems 6(4)
RevueLogical Methods in Computer Science 18(1)
RevueACM Transactions on Software Engineering and Methodology (TOSEM) 31(4)
ConférenceCAV’21 💻🌐
ConférenceTAP’21 💻🌐
ConférenceTACAS’21 💻🌐
ConférenceICCPS’21 💻🌐
RevueFundamenta Informaticæ 182(1)
RevueLogical Methods in Computer Science 17:2
RevueFormal Methods in System Design 59(1)
ConférenceICECCS’20 🇸🇬
RevueInternational Journal on Software and Systems Modeling 19(4)
RevueLogical methods in computer science 16(1)
RevueJournal of Logical and Algebraic Methods in Programming 110
ConférenceICECCS’19 🇨🇳
ConférenceICTAC’19 🇹🇳
ConférenceATVA’19 🇹🇼
RevueTransactions on Petri Nets and Other Models of Concurrency 14
ConférenceTAP’19 🇵🇹
ConférenceCAV’19 🇺🇸
ConférenceFORTE’19 🇩🇰
ConférenceACSD’19 🇩🇪
ConférenceACSD’19 🇩🇪
ConférenceTASE’19 🇨🇳
ConférenceNFM’19 🇺🇸
ConférenceTACAS’19 🇨🇿
ConférenceVMCAI’19 🇵🇹
ConférenceVMCAI’19 🇵🇹
RevueInternational Journal on Software Tools for Technology Transfer 21(2)
ConférenceICECCS’18 🇦🇺🏆 Best paper award
ConférenceFTSCS’18 🇦🇺
ConférenceFORMATS’18 🇨🇳
RevueInformation Processing Letters 136
ConférenceACSD’18 🇸🇰
Mémoire d’habilitation à diriger les recherchesLaboratoire d‘informatique de Paris Nord
ConférenceICECCS’17 🇯🇵
ConférenceFMICS-AVoCS’17 🇮🇹🏆 Best paper award
ConférenceICFEM’17 🇨🇳
ConférenceFORTE’17 🇨🇭🏆 Best FORTE paper award and best DisCoTec paper award
ConférenceACSD’17 🇪🇸
ConférenceNFM’17 🇺🇸
ConférenceAAMAS’17 🇧🇷
RevueTransactions on Embedded Computing Systems 16(2)
ConférenceICFEM’16 🇯🇵
ConférenceFTSCS’16 🇯🇵
ConférenceICTAC’16 🇹🇼
ConférenceTIME’16 🇩🇰
RevueFormal Aspects of Computing 28(5)
ConférenceFORMATS’16 
QuébecConférenceACSD’16 🇵🇱
ConférenceICSE’16 🇺🇸
ConférenceFTSCS’15 🇫🇷
ConférenceRP’15 🇵🇱
ConférenceICFEM’15 🇫🇷
ConférenceFORMATS’15 🇪🇸
Conférence (non relue)WATERS’15 🇸🇪
ConférencePNSE’15 🇧🇪
ConférenceACSD’15 🇧🇪
ConférenceITHET’15 🇵🇹
ConférenceNFM’15 🇺🇸
RevueReal-Time Systems Journal 50(5–6)
ConférenceATVA’14 🇦🇺
ConférenceKSE’14 🇻🇳
ConférenceKSE’14 🇻🇳
Conférence nationaleWPRT’14 🇫🇷
ConférenceEUROMPI/ASIA’14 🇯🇵
ConférenceEAEEIE’14 🇹🇷
Conférence (non relue)GDR GPL’14 🇫🇷
Conférence (non relue)GDR GPL’14 🇫🇷
RevueTransactions on Software Engineering 40(2)
ConférenceESSS’14 🇸🇬
ConférenceSynCoP’14 🇫🇷
ConférenceWWW’14 🇰🇷
Conférence (non relue)MSR’13 
RennesConférenceFTSCS’13 🇳🇿
ConférenceICFEM’13 🇳🇿
ConférenceATVA’13 🇸🇬
ConférenceFSFMA’13 🇸🇬
ConférenceFORMATS’13 🇦🇷
ConférenceSERA’13 🇨🇿
ConférenceICECCS’13 🇸🇬
ConférenceICECCS’13 🇸🇬
ConférenceCAV’13 🇷🇺
ConférenceiFM’13 🇫🇮
Rapport de rechercheNational University of Singapore
RevueFormal Methods in System Design 42(2)
ConférenceICSE’13 🇺🇸
Conférence (non relue)NWPT’12
ConférenceFM’12 🇫🇷
ConférenceFM’12 🇫🇷
Conférence (non relue)iFM’12 🇮🇹
ConférenceUML&FM’12 🇫🇷
ConférenceICECCS’12 🇫🇷
ConférenceNFM’12 🇺🇸
ConférenceMonterey’12 🏴
Rapport de rechercheLaboratoire Spécification Vérification
RevueACM Transactions on Software Engineering and Methodology (TOSEM) 22(1)
ConférenceATVA’11 🇹🇼
Rapport de rechercheNational University of Singapore
ConférenceRP’11 🇮🇹
Rapport de rechercheLaboratoire Spécification Vérification
Thèse de doctoratLaboratoire Spécification Vérification
Rapport de rechercheLaboratoire Spécification Vérification
Rapport de recherche
Rapport de rechercheLaboratoire Spécification Vérification
ConférenceINFINITY’10 🇸🇬
ConférenceRP’10 🇨🇿
Conférence nationaleMSR’09 🇫🇷
ConférenceINFINITY’09 🇮🇹
RevueInternational Journal of Foundations of Computer Science 20(5)
École d’étéETR’09 🇫🇷
ConférenceAVoCS’09 🏴
ConférenceICTAC’09 🇲🇾
Rapport de rechercheLaboratoire Spécification Vérification
Rapport de rechercheLaboratoire Spécification Vérification
ConférenceRP’08 🏴
