Toshiaki Aoki - RankMe

107 papers A 2B 7C 31Misc 6Journal 33Unranked 28

Year	Rank	Type	Title / Venue / Authors
2026	C	`conf`	A Metamodel for Enumerating Off-Nominal Scenarios in Operational Scenario Review through Bounded Model Checking. MODELSWARD Kazunori Someya, Toshiaki Aoki
2026	J	`jnl`	Quantifying Competitive Relationships Among Open-Source Software Projects. CoRR Yuki Takei, Toshiaki Aoki, Chaiyong Ragkhitwetsagul
2025	J	`jnl`	A Case Study on Model Checking and Runtime Verification for Awkernel. CoRR Akira Hasegawa, Ryuta Kambe, Toshiaki Aoki, Yuuki Takano
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	J	`jnl`	Metamodel-Based Compaction of Spacecraft Operational Scenario Models for Efficient Review. IEEE Access Kazunori Someya, Toshiaki Aoki, Naoki Ishihama
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	B	`conf`	Performance Evaluation of Multi-Head Logging in Flash File Systems. COMPSAC Jingcheng Yuan, Kiyofumi Tanaka, Toshiaki Aoki
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
2024	C	`conf`	Bridging Gaps between Scenario-Based Safety Analysis and Simulation-based Testing for Autonomous Driving Systems. PRDC Phaiboon Jaradnaparatana, Buntita Sriarunothai, Chutikarn Kamsem, Supithcha Jongphoemwatthanaphon, Burit Sihabut, Duong Dinh Tran, Toshiaki Aoki
2024	J	`jnl`	Generating Critical Scenarios for Testing Automated Driving Systems. CoRR Trung-Hieu Nguyen, Truong-Giang Vuong, Hong-Nam Duong, Son Nguyen, Hieu Dinh Vo, Toshiaki Aoki, Thu-Trang Nguyen
2023	C	`conf`	Attack Tree Analysis for Adversarial Evasion Attacks. PRDC Yuki Yamaguchi, Toshiaki Aoki
2023	J	`jnl`	Attack Tree Analysis for Adversarial Evasion Attacks. CoRR Yuki Yamaguchi, Toshiaki Aoki
2023	B	`conf`	Compaction of Spacecraft Operational Models with Metamodeling Domain Knowledge. ENASE Kazunori Someya, Toshiaki Aoki, Naoki Ishihama
2023	J	`jnl`	Model-Checking in the Loop Model-Based Testing for Automotive Operating Systems. CoRR Toshiaki Aoki, Aritoshi Hata, Kazusato Kanamori, Satoshi Tanaka, Yuta Kawamoto, Yasuhiro Tanase, Masumi Imai, Fumiya Shigemitsu, Masaki Gondo, Tomoji Kishi
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	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	C	`conf`	A Method for Detecting Common Weaknesses in Self-Sovereign Identity Systems Using Domain-Specific Models and Knowledge Graph. MODELSWARD Charnon Pattiyanon, Toshiaki Aoki, Daisuke Ishii
2022	C	`conf`	Analysis and Enhancement of Self-sovereign Identity System Properties Compiling Standards and Regulations. ICISSP Charnon Pattiyanon, Toshiaki Aoki
2022	—	`conf`	Approximate Translation from Floating-Point to Real-Interval Arithmetic. NFM Daisuke Ishii, Takashi Tomita, Toshiaki Aoki
2022	J	`jnl`	Compliance SSI System Property Set to Laws, Regulations, and Technical Standards. IEEE Access Charnon Pattiyanon, Toshiaki Aoki
2022	J	`jnl`	Comprehensive evaluation of file systems robustness with SPIN model checking. Softw. Test. Verification Reliab. Jingcheng Yuan, Toshiaki Aoki, Xiaoyun Guo
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	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
2022	J	`jnl`	Selected papers from the 14th international symposium on Theoretical Aspects of Software Engineering. Sci. Comput. Program. Toshiaki Aoki, Qin Li
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
2021	C	`conf`	SSpinJa: Facilitating Schedulers in Model Checking. QRS Nhat-Hoa Tran, Toshiaki Aoki
2020	J	`jnl`	A framework for assume-guarantee regression verification of evolving software. Sci. Comput. Program. Hoang-Viet Tran, Pham Ngoc Hung, Viet-Ha Nguyen, Toshiaki Aoki
2020	C	`conf`	Comprehensive Robustness Evaluation of File Systems with Model Checking. QRS Jingcheng Yuan, Toshiaki Aoki, Xiaoyun Guo
2020	C	`conf`	Dataset Fault Tree Analysis for Systematic Evaluation of Machine Learning Systems. PRDC Toshiaki Aoki, Daisuke Kawakami, Nobuo Chida, Takashi Tomita
2020	—	`conf`	Frequency Probabilistic Risk Assessment Using Coloured Petri Nets for Telemedicine. IEEM Kenji Fujita, Kunihiko Hiraishi, Toshiaki Aoki
2020	Misc	`ed.`	International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020 TASE Toshiaki Aoki, Qin Li
2020	J	`jnl`	Model checking of in-vehicle networking systems with CAN and FlexRay. J. Syst. Softw. Xiaoyun Guo, Toshiaki Aoki, Hsin-hung Lin
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	—	`conf`	Conformance Testing of Schedulers for DSL-based Model Checking. SPIN Nhat-Hoa Tran, Toshiaki Aoki
2019	J	`jnl`	Foreword. IEICE Trans. Inf. Syst. 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	J	`jnl`	Model Checking in the Presence of Schedulers Using a Domain-Specific Language for Scheduling Policies. IEICE Trans. Inf. Syst. Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki
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
2018	J	`jnl`	A Verification Framework for Assembly Programs Under Relaxed Memory Model Using SMT Solver. IEICE Trans. Inf. Syst. Pattaravut Maleehuan, Yuki Chiba, Toshiaki Aoki
2018	Misc	`conf`	Formalization and Verification of AUTOSAR OS Standard's Memory Protection. TASE Khanh Trinh Le, Yuki Chiba, Toshiaki Aoki
2018	C	`conf`	Modeling the Required Indoor Temperature Change by Hybrid Automata for Detecting Thermal Problems. PRDC Zhengguo Yang, Toshiaki Aoki, Yasuo Tan
2018	C	`conf`	Multiple Conformance to Hybrid Automata for Checking Smart House Temperature Change. DS-RT Zhengguo Yang, Toshiaki Aoki, Yasuo Tan
2018	Misc	`conf`	Qualitative and quantitative analysis with scheduling policies in model checking. SAC Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki
2017	C	`conf`	A Reusable Framework for Modeling and Verifying In-Vehicle Networking Systems in the Presence of CAN and FlexRay. APSEC Xiaoyun Guo, Hsin-hung Lin, Toshiaki Aoki, Yuki Chiba
2017	Misc	`conf`	Assembly program verification for multiprocessors with relaxed memory model using SMT solver. TASE Pattaravut Maleehuan, Yuki Chiba, Toshiaki Aoki
2017	C	`conf`	Domain-Specific Language Facilitates Scheduling in Model Checking. APSEC Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki
2017	—	`conf`	Template-Based Monte-Carlo Test Generation for Simulink Models. CyPhy Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
2016	J	`jnl`	A spiral process of formalization and verification: A case study on verification of the scheduling mechanism of OSEK/VDX. J. Inf. Secur. Appl. Min Zhang, Toshiaki Aoki, Yueying He
2016	Misc	`conf`	Verifying OSEK/VDX OS Design Using Its Formal Specification. TASE Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki
2015	J	`jnl`	A Framework for Verifying the Conformance of Design to Its Formal Specifications. IEICE Trans. Inf. Syst. Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki
2015	B	`conf`	Experimental Fault Analysis Process Implemented Using Model Extraction and Model Checking. COMPSAC Hideto Ogawa, Makoto Ichii, Fumihiro Kumeno, Toshiaki Aoki
2015	—	`conf`	Modeling Safety Requirements of ISO26262 Using Goal Trees and Patterns. FTSCS Toshiaki Aoki, Kriangkrai Traichaiyaporn, Yuki Chiba, Masahiro Matsubara, Masataka Nishi, Fumio Narisawa
2015	J	`jnl`	Verifying OSEK/VDX Applications: A Sequentialization-Based Model Checking Approach. IEICE Trans. Inf. Syst. Haitao Zhang, Toshiaki Aoki, Yuki Chiba
2015	A	`conf`	Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications. ICST Haitao Zhang, Toshiaki Aoki, Yuki Chiba
2014	—	`conf`	A Spin-Based Approach for Checking OSEK/VDX Applications. FTSCS Haitao Zhang, Toshiaki Aoki, Yuki Chiba
2014	—	`conf`	Checking the Conformance of a Promela Design to its Formal Specification in Event-B. FTSCS Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki
2013	—	`conf`	A Practical Study of Debugging Using Model Checking. APSEC (2) Hideto Ogawa, Makoto Ichii, Fumihiko Kumeno, Toshiaki Aoki
2013	—	`conf`	An Approach for Checking OSEK/VDX Applications. QSIC Haitao Zhang, Toshiaki Aoki, Kenro Yatake, Min Zhang, Hsin-hung Lin
2013	—	`conf`	An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol. FTSCS Xiaoyun Guo, Hsin-hung Lin, Kenro Yatake, Toshiaki Aoki
2013	B	`conf`	Building a Body of Knowledge on Model Checking for Software Development. COMPSAC Kenji Taguchi, Hideaki Nishihara, Toshiaki Aoki, Fumihiro Kumeno, Koji Hayamizu, Koichi Shinozaki
2013	—	`conf`	Evaluation of Operational Vulnerability in Cloud Service Management Using Model Checking. SOSE Shinji Kikuchi, Toshiaki Aoki
2013	—	`conf`	Preserving Correctness of Requirements Evolution through Refinement in Event-B. APSEC (1) Kriangkrai Traichaiyaporn, Toshiaki Aoki
2013	—	`conf`	Refinement Tree and Its Patterns: A Graphical Approach for Event-B Modeling. FTSCS Kriangkrai Traichaiyaporn, Toshiaki Aoki
2013	—	`conf`	SMT-Based Bounded Model Checking for OSEK/VDX Applications. APSEC (1) Haitao Zhang, Toshiaki Aoki, Hsin-hung Lin, Min Zhang, Yuki Chiba, Kenro Yatake
2013	—	`conf`	Towards Formal Description of Standards for Automotive Operating Systems. ICST Workshops Hirokazu Yatsu, Takahiro Ando, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda, Toshiaki Aoki, Kokichi Futatsugi
2012	C	`conf`	A Variability Management Method for Software Configuration Files. SEKE Hiroaki Tanizaki, Toshiaki Aoki, Takuya Katayama
2012	—	`conf`	An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification. RIVF Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama
2012	J	`jnl`	Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking. IEICE Trans. Inf. Syst. Hsin-hung Lin, Toshiaki Aoki, Takuya Katayama
2012	—	`conf`	Faithfully formalizing OSEK/VDX operating system specification. SoICT Dieu-Huong Vu, Toshiaki Aoki
2012	C	`ed.`	Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings ICFEM Toshiaki Aoki, Kenji Taguchi
2012	C	`conf`	Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling. ICTAC Kenro Yatake, Toshiaki Aoki
2012	J	`jnl`	On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama
2012	J	`jnl`	SMT-based enumeration of object graphs from UML class diagrams. ACM SIGSOFT Softw. Eng. Notes Kenro Yatake, Toshiaki Aoki
2011	—	`conf`	Automated Adaptor Generation for Services Based on Pushdown Model Checking. ECBS Hsin-hung Lin, Toshiaki Aoki, Takuya Katayama
2011	C	`conf`	Conformance Testing for OSEK/VDX Operating System Using Model Checking. APSEC Jiang Chen, Toshiaki Aoki
2011	A	`conf`	Conformance Verification between Web Service Choreography and Implementation Using Learning and Model Checking. ICWS Warawoot Pacharoen, Toshiaki Aoki, Athasit Surarerks, Pattarasinee Bhattarakosol
2010	J	`jnl`	A Minimized Assumption Generation Method for Component-Based Software Verification. IEICE Trans. Inf. Syst. Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama
2010	—	`conf`	Automatic Generation of Model Checking Scripts Based on Environment Modeling. SPIN Kenro Yatake, Toshiaki Aoki
2010	B	`conf`	Modeling of Real-Time System Designs for Parametric Analysis. RTCSA Chaiwat Sathawornwichit, Toshiaki Aoki, Takuya Katayama
2010	C	`conf`	Non-regular Adaptation of Services Using Model Checking. ISORC Hsin-hung Lin, Toshiaki Aoki, Takuya Katayama
2009	C	`conf`	A Minimized Assumption Generation Method for Component-Based Software Verification. ICTAC Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama
2009	—	`conf`	An effective framework for assume-guarantee verification of evolving component-based software. EVOL/IWPSE Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama
2009	C	`conf`	Detecting and Analyzing State Inconsistencies in Multi-task Software. ISORC Toshiaki Aoki, Tadashi Sekiguchi, Masayuki Hirayama, Tomoji Kishi
2009	J	`jnl`	Evolution of a course on model checking for practical applications. ACM SIGCSE Bull. Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Toshiaki Aoki, Shinichi Honiden
2009	J	`jnl`	Model checking education for software engineers in Japan. ACM SIGCSE Bull. Hideaki Nishihara, Koichi Shinozaki, Koji Hayamizu, Toshiaki Aoki, Kenji Taguchi, Fumihiro Kumeno
2009	J	`jnl`	Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama
2008	C	`conf`	Model Checking Multi-Task Software on Real-Time Operating Systems. ISORC Toshiaki Aoki
2007	—	`conf`	SPLC 2007 Dectoral Symposium. SPLC (2) Jaejoon Lee, Isabel John, Toshiaki Aoki, John D. McGregor
2007	C	`conf`	Statechart-based Verification of Object-Oriented Design Models. APSEC Toshiaki Aoki, Takuya Katayama
2005	C	`conf`	Formalization and Analysis of Dataflow in Object-Oriented Design Models. ISORC Toshiaki Aoki, Takuya Katayama
2005	J	`jnl`	Highly Reliable Embedded Software Development Using Advanced Software Technologies. IEICE Trans. Inf. Syst. Takuya Katayama, Tatsuo Nakajima, Taiichi Yuasa, Tomoji Kishi, Shin Nakajima, Shuichi Oikawa, Masahiro Yasugi, Toshiaki Aoki, Mitsutaka Okazaki, Seiji Umatani
2005	C	`conf`	Implementing Application-Specific Object-Oriented Theories in HOL. ICTAC Kenro Yatake, Toshiaki Aoki, Takuya Katayama
2004	—	`conf`	Collaboration-based verification of Object-Oriented models in HOL. VVEIS Kenro Yatake, Toshiaki Aoki, Takuya Katayama
2004	—	`conf`	Foundations for Evolutionary Construction of State Transition Models. IWPSE Toshiaki Aoki, Takuya Katayama
2004	—	`conf`	Project Report: High-Reliable Object-Oriented Embedded Software Design. WSTFEUS Tomoji Kishi, Toshiaki Aoki, Shin Nakajima, Natsuko Noda, Takuya Katayama
2002	C	`conf`	Extracting threads from concurrent objects for the design of embedded systems. APSEC Mitsutaka Okazaki, Toshiaki Aoki, Takuya Katayama
2001	—	`conf`	An Axiomatic Formalization of UML Models. pUML Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
1998	C	`conf`	Unification and Consistency Verification of Object-Oriented Analysis Models. APSEC Toshiaki Aoki, Takuya Katayama