Takashi Tomita

31 papers B 2C 8Misc 1Journal 12Unranked 8

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	A Reasoning and Explicit Algebraic Theory for BBSL in Event-B: EB4BBSL Framework. ABZ Peter Riviere, Duong Dinh Tran, Takashi Tomita, Toshiaki Aoki
2025	C	`conf`	Enhancing Decision-Making Safety in Autonomous Driving Through Online Model Checking. ABZ Duong Dinh Tran, Akira Hasegawa, Peter Riviere, Takashi Tomita, Toshiaki Aoki
2025	—	`conf`	Modeling Language for Scenario Development of Autonomous Driving Systems. FormaliSE Toshiaki Aoki, Takashi Tomita, Tatsuji Kawai, Daisuke Kawakami, Nobuo Chida
2025	J	`jnl`	Modeling Language for Scenario Development of Autonomous Driving Systems. CoRR Toshiaki Aoki, Takashi Tomita, Tatsuji Kawai, Daisuke Kawakami, Nobuo Chida
2025	J	`jnl`	Safety Analysis of Autonomous Driving Systems: A Simulation-Based Runtime Verification Approach. IEEE Trans. Reliab. Duong Dinh Tran, Takashi Tomita, Toshiaki Aoki
2025	J	`jnl`	Specification-Based Testing of the Image-Recognition Performance of Automated Driving Systems. IEEE Access Kento Tanaka, Toshiaki Aoki, Takashi Tomita, Daisuke Kawakami, Nobuo Chida
2023	B	`conf`	Specification Based Testing of Object Detection for Automated Driving Systems via BBSL. ENASE Kento Tanaka, Toshiaki Aoki, Tatsuji Kawai, Takashi Tomita, Daisuke Kawakami, Nobuo Chida
2022	J	`jnl`	A Characterization on Necessary Conditions of Realizability for Reactive System Specifications. IEICE Trans. Inf. Syst. Takashi Tomita, Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki
2022	B	`conf`	A Formal Specification Language Based on Positional Relationship Between Objects in Automated Driving Systems. COMPSAC Kento Tanaka, Toshiaki Aoki, Tatsuji Kawai, Takashi Tomita, Daisuke Kawakami, Nobuo Chida
2022	—	`conf`	Approximate Translation from Floating-Point to Real-Interval Arithmetic. NFM Daisuke Ishii, Takashi Tomita, Toshiaki Aoki
2022	C	`conf`	Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods. QRS Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai
2022	J	`jnl`	Investigating the Effects of Super Typhoon HAGIBIS in the Northwest Pacific Ocean Using Multiple Observational Data. Remote. Sens. Jonghyeok Jeon, Takashi Tomita
2022	Misc	`conf`	Leveraging hardware-dependent knowledge extraction with multiple program analysis techniques. SAC Thuy Nguyen, Takashi Tomita, Junpei Endo, Geon-ung Kang, Toshiaki Aoki
2022	C	`conf`	SMT-Based Model Checking of Industrial Simulink Models. ICFEM Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai
2022	J	`jnl`	SMT-Based Model Checking of Industrial Simulink Models. CoRR Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai
2021	J	`jnl`	Approximate Translation from Floating-Point to Real-Interval Arithmetic. CoRR Daisuke Ishii, Takashi Tomita, Toshiaki Aoki
2021	J	`jnl`	Compositional Test Generation of Industrial Synchronous Systems. CoRR Daisuke Ishii, Takashi Tomita, Kenji Onishi, Toshiaki Aoki
2021	J	`jnl`	Integrating pattern matching and abstract interpretation for verifying cautions of microcontrollers. Softw. Test. Verification Reliab. Thuy Nguyen, Takashi Tomita, Junpei Endo, Toshiaki Aoki
2020	C	`conf`	Dataset Fault Tree Analysis for Systematic Evaluation of Machine Learning Systems. PRDC Toshiaki Aoki, Daisuke Kawakami, Nobuo Chida, Takashi Tomita
2020	J	`jnl`	Template-Based Monte-Carlo Test-Suite Generation for Large and Complex Simulink Models. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
2019	—	`conf`	A scalable Monte-Carlo test-case generation tool for large and complex simulink models. MiSE@ICSE Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
2019	C	`conf`	Integrating Static Program Analysis Tools for Verifying Cautions of Microcontroller. APSEC Thuy Nguyen, Toshiaki Aoki, Takashi Tomita, Junpei Endo
2019	C	`conf`	Multiple Program Analysis Techniques Enable Precise Check for SEI CERT C Coding Standard. APSEC Thu-Trang Nguyen, Toshiaki Aoki, Takashi Tomita, Iori Yamada
2019	—	`conf`	Reducing false positives of static analysis for SEI CERT C coding standard. CESSER-IP@ICSE Thu Trang Nguyen, Pattaravut Maleehuan, Toshiaki Aoki, Takashi Tomita, Iori Yamada
2019	—	`conf`	Towards Efficient Implementation of Realizability Checking for Reactive System Specifications. ICSCA Masaya Shimakawa, Atsushi Ueno, Shohei Mochizuki, Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki
2017	J	`jnl`	Safraless LTL synthesis considering maximal realizability. Acta Informatica Takashi Tomita, Atsushi Ueno, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
2017	—	`conf`	Template-Based Monte-Carlo Test Generation for Simulink Models. CyPhy Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
2016	—	`conf`	Simple synthesis of reactive systems with tolerance for unexpected environmental behavior. FormaliSE@ICSE Shigeki Hagihara, Atsushi Ueno, Takashi Tomita, Masaya Shimakawa, Naoki Yonezaki
2012	C	`conf`	A Temporal Logic with Mean-Payoff Constraints. ICFEM Takashi Tomita, Shin Hiura, Shigeki Hagihara, Naoki Yonezaki
2011	—	`conf`	A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking INFINITY Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki
1992	J	`jnl`	A low-current Ku-band GaAs monolithic image rejection down-converter. IEEE J. Solid State Circuits Toshihiko Yoshimasu, Keiichi Sakuno, Nobuyuki Matsumoto, Eiji Suematsu, Toshiya Tsukao, Takashi Tomita