Statistical Model Checking of Stochastic Timed-Arc Petri Nets. - Tanguy Dubois; Kim G. Larsen; Jirí Srba (Petri Nets, 2025)

Developing a Survey on Motivations, Attitudes, and Challenges of Non-Native Participants in English-Taught MOOCs. - Pauline Jadoulle; Tanguy Dubois; Pauline Degrave; Magali Paquot (EC-TEL (2), 2025)