re: Mobidyc - Reconstructing MOdeling Based on Individual for the DYnamics of Community. - Tomohiro Oda; Gaël Dur; Stéphane Ducasse; Sami Souissi (PAAMS, 2021)

Implementation-First Approach of Developing Formal Semantics of a Simulation Language in VDM-SL. - Tomohiro Oda; Gaël Dur; Stéphane Ducasse; Hugo Daniel Macedo (CoRR, 2023)