Tomohiro Oda

According to our database, Tomohiro Oda authored at least 12 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

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

2021

Proceedings of the 18th International Overture Workshop.

John S. Fitzgerald, Tomohiro Oda, Hugo Daniel Macedo

CoRR, 2021

re: Mobidyc - Reconstructing MOdeling Based on Individual for the DYnamics of Community.

Tomohiro Oda, Gaël Dur, Stéphane Ducasse, Sami Souissi

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection, 2021

2020

Algorithms for Analysis of Geolocation Error of Nightlight Satellite Data and Greenhouse Gas Data Calculated on Their Basis.

Vitaliy Kinakh, Tomohiro Oda, Rostyslav Bun

Proceedings of the IEEE 15th International Conference on Computer Sciences and Information Technologies, 2020

Formulating a Geolocation Bias Correction for DMSP Nighttime Lights of Global Cities.

Vitalii Kinakh, Tomohiro Oda, Rostyslav Bun

Proceedings of the Advances in Intelligent Systems and Computing V, 2020

2019

Evaluation of Gridded CO2 Emissions from Night-Time Lights Compared with Geospatially-Derived Population Distributions for Vietnam, Cambodia, and Laos.

Andrea E. Gaughan, Tomohiro Oda, Alessandro Sorichetta, Forrest R. Stevens, Laura Krauser, Gregory Yetman, Rostyslav Bun, Maksym Bondarenko, Son V. Nghiem

Proceedings of the 2019 IEEE International Geoscience and Remote Sensing Symposium, 2019

ViennaDoc: An Animatable and Testable Specification Documentation Tool.

Tomohiro Oda, Keijiro Araki, Yasuhiro Yamamoto, Kumiyo Nakakoji, Hiroshi Sako, Han-Myung Chang, Peter Gorm Larsen

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2017

A Formal Modeling Tool for Exploratory Modeling in Software Development.

Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen

IEICE Trans. Inf. Syst., 2017

2016

ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4.

Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen

Proceedings of the 11th edition of the International Workshop on Smalltalk Technologies, 2016

2015

VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification.

Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen

Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

2013

SOMETHINGit: a prototyping library for live and sound improvisation.

Tomohiro Oda, Kumiyo Nakakoji, Yasuhiro Yamamoto

Proceedings of the 1st International Workshop on Live Programming, 2013

1993

Specification slicing in formal methods of software development.

Tomohiro Oda, Keijiro Araki

Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993