Tomohiro Oda

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 9

Top Topics

Bias Correction

Top Venues

IEICE Trans. Inf. Syst.

FM Workshops (2)

Publications

Tomohiro Oda, Gaël Dur, Stéphane Ducasse, Hugo Daniel Macedo
Implementation-First Approach of Developing Formal Semantics of a Simulation Language in VDM-SL. CoRR (2023)
Tomohiro Oda, Gaël Dur, Stéphane Ducasse, Sami Souissi
re: Mobidyc - Reconstructing MOdeling Based on Individual for the DYnamics of Community. PAAMS (2021)
John S. Fitzgerald, Tomohiro Oda, Hugo Daniel Macedo
Proceedings of the 18th International Overture Workshop. CoRR (2021)
Vitalii Kinakh, Tomohiro Oda, Rostyslav Bun
Formulating a Geolocation Bias Correction for DMSP Nighttime Lights of Global Cities. CSIT (2020)
Vitaliy Kinakh, Tomohiro Oda, Rostyslav Bun
Algorithms for Analysis of Geolocation Error of Nightlight Satellite Data and Greenhouse Gas Data Calculated on Their Basis. CSIT (1) (2020)
Andrea E. Gaughan, Tomohiro Oda, Alessandro Sorichetta, Forrest R. Stevens, Laura Krauser, Gregory Yetman, Rostyslav Bun, Maksym Bondarenko, Son V. Nghiem
Evaluation of Gridded CO2 Emissions from Night-Time Lights Compared with Geospatially-Derived Population Distributions for Vietnam, Cambodia, and Laos. IGARSS (2019)
Tomohiro Oda, Keijiro Araki, Yasuhiro Yamamoto, Kumiyo Nakakoji, Hiroshi Sako, Han-Myung Chang, Peter Gorm Larsen
ViennaDoc: An Animatable and Testable Specification Documentation Tool. FM Workshops (2) (2019)
Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen
A Formal Modeling Tool for Exploratory Modeling in Software Development. IEICE Trans. Inf. Syst. (6) (2017)
Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen
ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4. IWST (2016)
Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen
VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification. FormaliSE@ICSE (2015)
Tomohiro Oda, Kumiyo Nakakoji, Yasuhiro Yamamoto
SOMETHINGit: a prototyping library for live and sound improvisation. LIVE@ICSE (2013)
Tomohiro Oda, Keijiro Araki
Specification slicing in formal methods of software development. COMPSAC (1993)