Takashi Tomita

发表

A Scalable Monte-Carlo Test-Case Generation Tool for Large and Complex Simulink Models

Takashi Tomita, Daisuke Ishii, Toru Murakami, 2019, 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE).

Wave Forces Acting On Triangular Roughness of Washboard-Like Sea Bottom

Takashi Tomita, Koichiro Iwata, June-Q Kim, 1994 .

Wave Forces Acting On Flap-type Storm Surge Barrier And Waves Transmitted On It

Takashi Tomita, Tadashi Takano, Kenichiro Shimosako, 2003 .

DRAG AND INERTIA FORCES DUE TO TSUNAMI ACTING ON A CONTAINER RESTING ON APRON

Takashi Tomita, Shogo Miyajima, Norimi Mizutani, 2007 .

BASIC CONCEPT FOR SCENARIO-BASED REAL TIME PREDICTION OF STORM SURGE DISASTERS

Takashi Tomita, Tomotsuka Takayama, Shigeo Takahashi, 2005 .

Experimental Study on Sound Pressure Generated by Wave-Submerged Structure Interaction

Takashi Tomita, Koichiro Iwata, Norimi Mizutani, 1997 .

WORST CASE SCENARIO BASED ON PERFORMANCE DESIGN

Tetsuya Hiraishi, Takashi Tomita, Shigeo Takahashi, 2009 .

BEHAVIOR OF DRIFTING CONTAINERS DUE TO TSUNAMI AND COLLISION FORCES

Takashi Tomita, Shogo Miyajima, Norimi Mizutani, 2009 .

Effects of Rupture Processes in an Inverse Analysis of the Tsunami Source of the 2011 Off the Pacific Coast of Tohoku Earthquake

Takashi Tomita, Tomohiro Takagawa, 2014 .

Study on Behavior of Drifting Containers due to Tsunami and Collision Forces

Takashi Tomita, Shogo Miyajima, Norimi Mizutani, 2007 .

Towards Efficient Implementation of Realizability Checking for Reactive System Specifications

Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki, 2019, ICSCA.

VISUAL SEARCH AS A MICROBEHAVIOR

Takashi Tomita, 1984 .

Template-Based Monte-Carlo Test Generation for Simulink Models

Takashi Tomita, Daisuke Ishii, Toru Murakami, 2017, CyPhy.

AN EFFICIENT IMPLEMENTATION OF SATISFIABILITY CHECKING FOR LTL WITH MEAN-PAYOFF CONSTRAINTS

Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki, 2016 .

Consideration to the resiliency of protective structures against tsunami by using High Performance Computer

Taro Arikawa, Takashi Tomita, Takayuki Oie, 2014 .

A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking

Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki, 2011, INFINITY.

Safraless LTL synthesis considering maximal realizability

Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki, 2016, Acta Informatica.

津波避難開始時間の数理モデル;津波避難開始時間の数理モデル;Mathematical Model of Time Delay to Start Tsunami Evacuation

Takashi Tomita, Kentaro Kumagai, Kentaro Kumagai, 2015 .

Reducing False Positives of Static Analysis for SEI CERT C Coding Standard

Takashi Tomita, Toshiaki Aoki, Thu Trang Nguyen, 2019, 2019 IEEE/ACM Joint 7th International Workshop on Conducting Empirical Studies in Industry (CESI) and 6th International Workshop on Software Engineering Research and Industrial Practice (SER&IP).

A Temporal Logic with Mean-Payoff Constraints

Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki, 2012, ICFEM.

Consideration on Reduction of Long Period Wave Reflection

Tetsuya Hiraishi, Takashi Tomita, 1998 .

Development and Verification of High Performance CAD/CFD Integrated Optimization System: -System verification with 2-dimensional foil shape optimization-@@@-2次元翼型の最適化による最適化システムの検証

Takashi Tomita, Tokihiro Katsui, T. Tomita, 2006 .

Simple Synthesis of Reactive Systems with Tolerance for Unexpected Environmental Behavior

Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki, 2016, 2016 IEEE/ACM 4th FME Workshop on Formal Methods in Software Engineering (FormaliSE).

A STUDY ON BREAKING OF MULTI-DIRECTIONAL RANDOM WAVES DUE TO A SUBMERGED BREAKWATER

Takashi Tomita, Koichiro Iwata, Norimi Mizutani, 1999 .

Simple synthesis of reactive systems with tolerance for unexpected environmental behavior

Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki, 2016, FormaliSE@ICSE.

FAILURE MECHANISM OF KAMAISHI BREAKWATERS DUE TO THE GREAT EAST JAPAN EARTHQUAKE TSUNAMI

Taro Arikawa, Takashi Tomita, Iwao Hasegawa, 2012 .

APPLICATION OF THREE-DIMENSIONAL TSUNAMI SIMULATOR TO ESTIMATION OF TSUNAMI BEHAVIOR AROUND STRUCTURES

Takashi Tomita, Taro Kakinuma, Kazuhiko Honda, 2007 .

Survey Results of the Indian Ocean Tsunami in the Maldives

Takashi Tomita, Minoru Hanzawa, Hideo Ohtani, 2006 .

Breakwater Effects on Tsunami Inundation Reduction in the 2011 off the Pacific Coast of Tohoku Earthquake

Takashi Tomita, Gyeong-Seon Yeom, Motokazu Ayugai, 2012 .

Feasibility study of a district energy system with seasonal water thermal storage

Takashi Tomita, Masaya Okumiya, Hideki Tanaka, 2000 .

The 1 April 2014 Pisagua tsunami: Observations and modeling

Takashi Tomita, Cyril Mokrani, Patricio A. Catalán, 2015 .

Hindcasting of Storm Surges In Korea By Typhoon 0314 (Maemi)

Tetsuya Hiraishi, Takashi Tomita, Do-Sam Kim, 2005 .

3D NUMERICAL SIMULATION OF TSUNAMI RUNUP ONTO A COMPLEX BEACH

Takashi Tomita, Taro Kakinuma, 2005 .