138publications 54co-authors 2008–2026
ConferenceCONCUR’26 🏴
ConferenceSAC’26 🇬🇷
JournalSoftware and Systems Modeling
ConferenceCSL’26 🇫🇷
ConferenceFSTTCS’25 🇮🇳
ConferenceRV’25 🇦🇹
ConferenceFORTE’25 🇫🇷
ConferenceSAC’25 🇮🇹
JournalInnovations in Systems and Software Engineering
ConferenceICFEM’24 🇯🇵
ConferenceICFEM’24 🇯🇵
ConferenceFSTTCS’24 🇮🇳
ConferenceSEFM’24 🇵🇹
JournalIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 43(11)
ConferencePetriNets’24 🇨🇭
ConferenceSAC’24 🇪🇸
ConferenceVMCAI’24 🏴
JournalLogical Methods in Computer Science 20(1)
ConferenceTiCSA’23 🇫🇷
ConferenceECRTS’23 🇦🇹
JournalScience of Computer Programming 230
JournalACM Computing Surveys 55(13)
JournalACM Computing Surveys 55(6)
JournalACM Transactions on Software Engineering and Methodology (TOSEM) 32(1)
ConferenceICECCS’23 🇫🇷
ConferenceFTSCS’22 🇳🇿
ConferenceFORMATS’22 🇵🇱
ConferenceNFM’22 🇺🇸
ConferenceFORTE’22 🇮🇹
ConferenceNFM’22 🇺🇸
JournalACM Transactions on Cyber-Physical Systems 6(4)
JournalLogical Methods in Computer Science 18(1)
JournalACM Transactions on Software Engineering and Methodology (TOSEM) 31(4)
ConferenceCAV’21 💻🌐
ConferenceTAP’21 💻🌐
ConferenceTACAS’21 💻🌐
ConferenceICCPS’21 💻🌐
JournalFundamenta Informaticæ 182(1)
JournalLogical Methods in Computer Science 17:2
JournalFormal Methods in System Design 59(1)
ConferenceICECCS’20 🇸🇬
JournalInternational Journal on Software and Systems Modeling 19(4)
JournalLogical methods in computer science 16(1)
JournalJournal of Logical and Algebraic Methods in Programming 110
ConferenceICECCS’19 🇨🇳
JournalJournal of Artificial Intelligence Research 66
ConferenceICTAC’19 🇹🇳
ConferenceATVA’19 🇹🇼
JournalTransactions on Petri Nets and Other Models of Concurrency 14
ConferenceTAP’19 🇵🇹
ConferenceCAV’19 🇺🇸
ConferenceFORTE’19 🇩🇰
ConferenceACSD’19 🇩🇪
ConferenceACSD’19 🇩🇪
ConferenceTASE’19 🇨🇳
ConferenceNFM’19 🇺🇸
ConferenceTACAS’19 🇨🇿
ConferenceVMCAI’19 🇵🇹
ConferenceVMCAI’19 🇵🇹
JournalInternational Journal on Software Tools for Technology Transfer 21(2)
ConferenceICECCS’18 🇦🇺🏆 Best paper award
ConferenceFTSCS’18 🇦🇺
ConferenceFORMATS’18 🇨🇳
JournalInformation Processing Letters 136
ConferenceACSD’18 🇸🇰
Habilitation thesisLaboratoire d‘informatique de Paris Nord
ConferenceICECCS’17 🇯🇵
ConferenceFMICS-AVoCS’17 🇮🇹🏆 Best paper award
ConferenceICFEM’17 🇨🇳
ConferenceFORTE’17 🇨🇭🏆 Best FORTE paper award and best DisCoTec paper award
ConferenceACSD’17 🇪🇸
ConferenceNFM’17 🇺🇸
ConferenceAAMAS’17 🇧🇷
JournalTransactions on Embedded Computing Systems 16(2)
ConferenceICFEM’16 🇯🇵
ConferenceFTSCS’16 🇯🇵
ConferenceICTAC’16 🇹🇼
ConferenceTIME’16 🇩🇰
JournalFormal Aspects of Computing 28(5)
ConferenceFORMATS’16 
Québec CityConferenceACSD’16 🇵🇱
ConferenceICSE’16 🇺🇸
ConferenceFTSCS’15 🇫🇷
ConferenceRP’15 🇵🇱
ConferenceICFEM’15 🇫🇷
ConferenceFORMATS’15 🇪🇸
Non-refereed conferenceWATERS’15 🇸🇪
ConferencePNSE’15 🇧🇪
ConferenceACSD’15 🇧🇪
ConferenceITHET’15 🇵🇹
ConferenceNFM’15 🇺🇸
JournalReal-Time Systems Journal 50(5–6)
ConferenceATVA’14 🇦🇺
ConferenceKSE’14 🇻🇳
ConferenceKSE’14 🇻🇳
National conferenceWPRT’14 🇫🇷
ConferenceEUROMPI/ASIA’14 🇯🇵
ConferenceEAEEIE’14 🇹🇷
Non-refereed conferenceGDR GPL’14 🇫🇷
Non-refereed conferenceGDR GPL’14 🇫🇷
JournalTransactions on Software Engineering 40(2)
ConferenceESSS’14 🇸🇬
ConferenceSynCoP’14 🇫🇷
ConferenceWWW’14 🇰🇷
Non-refereed conferenceMSR’13 
RennesConferenceFTSCS’13 🇳🇿
ConferenceICFEM’13 🇳🇿
ConferenceATVA’13 🇸🇬
ConferenceFSFMA’13 🇸🇬
ConferenceFORMATS’13 🇦🇷
ConferenceSERA’13 🇨🇿
ConferenceICECCS’13 🇸🇬
ConferenceICECCS’13 🇸🇬
ConferenceCAV’13 🇷🇺
ConferenceiFM’13 🇫🇮
Research reportNational University of Singapore
JournalFormal Methods in System Design 42(2)
ConferenceICSE’13 🇺🇸
Non-refereed conferenceNWPT’12
ConferenceFM’12 🇫🇷
ConferenceFM’12 🇫🇷
Non-refereed conferenceiFM’12 🇮🇹
ConferenceUML&FM’12 🇫🇷
ConferenceICECCS’12 🇫🇷
ConferenceNFM’12 🇺🇸
ConferenceMonterey’12 🏴
Research reportLaboratoire Spécification Vérification
JournalACM Transactions on Software Engineering and Methodology (TOSEM) 22(1)
ConferenceATVA’11 🇹🇼
Research reportNational University of Singapore
ConferenceRP’11 🇮🇹
Research reportLaboratoire Spécification Vérification
Ph.D. thesisLaboratoire Spécification Vérification
Research reportLaboratoire Spécification Vérification
Research report
Research reportLaboratoire Spécification Vérification
ConferenceINFINITY’10 🇸🇬
ConferenceRP’10 🇨🇿
National conferenceMSR’09 🇫🇷
ConferenceINFINITY’09 🇮🇹
JournalInternational Journal of Foundations of Computer Science 20(5)
Summer schoolETR’09 🇫🇷
ConferenceAVoCS’09 🏴
ConferenceICTAC’09 🇲🇾
Research reportLaboratoire Spécification Vérification
Research reportLaboratoire Spécification Vérification
ConferenceRP’08 🏴
