Tomohiro Oda

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