Toshiaki Aoki

According to our database, Toshiaki Aoki authored at least 89 papers between 1998 and 2023.

Collaborative distances:

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

2023

Model-Checking in the Loop Model-Based Testing for Automotive Operating Systems.

Toshiaki Aoki, Aritoshi Hata, Kazusato Kanamori, Satoshi Tanaka, Yuta Kawamoto, Yasuhiro Tanase, Masumi Imai, Fumiya Shigemitsu, Masaki Gondo, Tomoji Kishi

CoRR, 2023

Attack Tree Analysis for Adversarial Evasion Attacks.

Yuki Yamaguchi, Toshiaki Aoki

Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023

Specification Based Testing of Object Detection for Automated Driving Systems via BBSL.

Kento Tanaka, Toshiaki Aoki, Tatsuji Kawai, Takashi Tomita, Daisuke Kawakami, Nobuo Chida

Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

Compaction of Spacecraft Operational Models with Metamodeling Domain Knowledge.

Kazunori Someya, Toshiaki Aoki, Naoki Ishihama

Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

2022

Comprehensive evaluation of file systems robustness with SPIN model checking.

Jingcheng Yuan, Toshiaki Aoki, Xiaoyun Guo

Softw. Test. Verification Reliab., 2022

Selected papers from the 14th international symposium on Theoretical Aspects of Software Engineering.

Toshiaki Aoki, Qin Li

Sci. Comput. Program., 2022

Compliance SSI System Property Set to Laws, Regulations, and Technical Standards.

Charnon Pattiyanon, Toshiaki Aoki

IEEE Access, 2022

Leveraging hardware-dependent knowledge extraction with multiple program analysis techniques.

Thuy Nguyen, Takashi Tomita, Junpei Endo, Geon-ung Kang, Toshiaki Aoki

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods.

Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

Approximate Translation from Floating-Point to Real-Interval Arithmetic.

Daisuke Ishii, Takashi Tomita, Toshiaki Aoki

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

A Method for Detecting Common Weaknesses in Self-Sovereign Identity Systems Using Domain-Specific Models and Knowledge Graph.

Charnon Pattiyanon, Toshiaki Aoki, Daisuke Ishii

Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

Analysis and Enhancement of Self-sovereign Identity System Properties Compiling Standards and Regulations.

Charnon Pattiyanon, Toshiaki Aoki

Proceedings of the 8th International Conference on Information Systems Security and Privacy, 2022

SMT-Based Model Checking of Industrial Simulink Models.

Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai

Proceedings of the Formal Methods and Software Engineering, 2022

A Formal Specification Language Based on Positional Relationship Between Objects in Automated Driving Systems.

Kento Tanaka, Toshiaki Aoki, Tatsuji Kawai, Takashi Tomita, Daisuke Kawakami, Nobuo Chida

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2021

Integrating pattern matching and abstract interpretation for verifying cautions of microcontrollers.

Thuy Nguyen, Takashi Tomita, Junpei Endo, Toshiaki Aoki

Softw. Test. Verification Reliab., 2021

Compositional Test Generation of Industrial Synchronous Systems.

Daisuke Ishii, Takashi Tomita, Kenji Onishi, Toshiaki Aoki

CoRR, 2021

SSpinJa: Facilitating Schedulers in Model Checking.

Nhat-Hoa Tran, Toshiaki Aoki

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

2020

A framework for assume-guarantee regression verification of evolving software.

Hoang-Viet Tran, Pham Ngoc Hung, Viet-Ha Nguyen, Toshiaki Aoki

Sci. Comput. Program., 2020

Model checking of in-vehicle networking systems with CAN and FlexRay.

Xiaoyun Guo, Toshiaki Aoki, Hsin-Hung Lin

J. Syst. Softw., 2020

Template-Based Monte-Carlo Test-Suite Generation for Large and Complex Simulink Models.

Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2020

Comprehensive Robustness Evaluation of File Systems with Model Checking.

Jingcheng Yuan, Toshiaki Aoki, Xiaoyun Guo

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Dataset Fault Tree Analysis for Systematic Evaluation of Machine Learning Systems.

Toshiaki Aoki, Daisuke Kawakami, Nobuo Chida, Takashi Tomita

Proceedings of the 25th IEEE Pacific Rim International Symposium on Dependable Computing, 2020

Frequency Probabilistic Risk Assessment Using Coloured Petri Nets for Telemedicine.

Kenji Fujita, Kunihiko Hiraishi, Toshiaki Aoki

Proceedings of the IEEE International Conference on Industrial Engineering and Engineering Management, 2020

2019

Model Checking in the Presence of Schedulers Using a Domain-Specific Language for Scheduling Policies.

Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki

IEICE Trans. Inf. Syst., 2019

Foreword.

Toshiaki Aoki

IEICE Trans. Inf. Syst., 2019

Conformance Testing of Schedulers for DSL-based Model Checking.

Nhat-Hoa Tran, Toshiaki Aoki

Proceedings of the Model Checking Software - 26th International Symposium, 2019

A scalable Monte-Carlo test-case generation tool for large and complex simulink models.

Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki

Proceedings of the 11th International Workshop on Modelling in Software Engineerings, 2019

Reducing false positives of static analysis for SEI CERT C coding standard.

Thu Trang Nguyen, Pattaravut Maleehuan, Toshiaki Aoki, Takashi Tomita, Iori Yamada

Proceedings of the Joint 7th International Workshop on Conducting Empirical Studies in Industry and 6th International Workshop on Software Engineering Research and Industrial Practice, 2019

Multiple Program Analysis Techniques Enable Precise Check for SEI CERT C Coding Standard.

Thu-Trang Nguyen, Toshiaki Aoki, Takashi Tomita, Iori Yamada

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

Integrating Static Program Analysis Tools for Verifying Cautions of Microcontroller.

Thuy Nguyen, Toshiaki Aoki, Takashi Tomita, Junpei Endo

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018

A Verification Framework for Assembly Programs Under Relaxed Memory Model Using SMT Solver.

Pattaravut Maleehuan, Yuki Chiba, Toshiaki Aoki

IEICE Trans. Inf. Syst., 2018

Formalization and Verification of AUTOSAR OS Standard's Memory Protection.

Khanh Trinh Le, Yuki Chiba, Toshiaki Aoki

Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

Qualitative and quantitative analysis with scheduling policies in model checking.

Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Modeling the Required Indoor Temperature Change by Hybrid Automata for Detecting Thermal Problems.

Zhengguo Yang, Toshiaki Aoki, Yasuo Tan

Proceedings of the 23rd IEEE Pacific Rim International Symposium on Dependable Computing, 2018

Multiple Conformance to Hybrid Automata for Checking Smart House Temperature Change.

Zhengguo Yang, Toshiaki Aoki, Yasuo Tan

Proceedings of the 22nd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2018

2017

Assembly program verification for multiprocessors with relaxed memory model using SMT solver.

Pattaravut Maleehuan, Yuki Chiba, Toshiaki Aoki

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

Template-Based Monte-Carlo Test Generation for Simulink Models.

Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2017

Domain-Specific Language Facilitates Scheduling in Model Checking.

Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

A Reusable Framework for Modeling and Verifying In-Vehicle Networking Systems in the Presence of CAN and FlexRay.

Xiaoyun Guo, Hsin-Hung Lin, Toshiaki Aoki, Yuki Chiba

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016

A spiral process of formalization and verification: A case study on verification of the scheduling mechanism of OSEK/VDX.

Min Zhang, Toshiaki Aoki, Yueying He

J. Inf. Secur. Appl., 2016

Verifying OSEK/VDX OS Design Using Its Formal Specification.

Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

2015

Verifying OSEK/VDX Applications: A Sequentialization-Based Model Checking Approach.

Haitao Zhang, Toshiaki Aoki, Yuki Chiba

IEICE Trans. Inf. Syst., 2015

A Framework for Verifying the Conformance of Design to Its Formal Specifications.

Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki

IEICE Trans. Inf. Syst., 2015

Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications.

Haitao Zhang, Toshiaki Aoki, Yuki Chiba

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

Modeling Safety Requirements of ISO26262 Using Goal Trees and Patterns.

Toshiaki Aoki, Kriangkrai Traichaiyaporn, Yuki Chiba, Masahiro Matsubara, Masataka Nishi, Fumio Narisawa

Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

Experimental Fault Analysis Process Implemented Using Model Extraction and Model Checking.

Hideto Ogawa, Makoto Ichii, Fumihiro Kumeno, Toshiaki Aoki

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014

A Spin-Based Approach for Checking OSEK/VDX Applications.

Haitao Zhang, Toshiaki Aoki, Yuki Chiba

Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

Checking the Conformance of a Promela Design to its Formal Specification in Event-B.

Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki

Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

2013

Evaluation of Operational Vulnerability in Cloud Service Management Using Model Checking.

Shinji Kikuchi, Toshiaki Aoki

Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013

An Approach for Checking OSEK/VDX Applications.

Haitao Zhang, Toshiaki Aoki, Kenro Yatake, Min Zhang, Hsin-Hung Lin

Proceedings of the 2013 13th International Conference on Quality Software, 2013

Towards Formal Description of Standards for Automotive Operating Systems.

Hirokazu Yatsu, Takahiro Ando, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda, Toshiaki Aoki, Kokichi Futatsugi

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Refinement Tree and Its Patterns: A Graphical Approach for Event-B Modeling.

Kriangkrai Traichaiyaporn, Toshiaki Aoki

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol.

Xiaoyun Guo, Hsin-Hung Lin, Kenro Yatake, Toshiaki Aoki

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Building a Body of Knowledge on Model Checking for Software Development.

Kenji Taguchi, Hideaki Nishihara, Toshiaki Aoki, Fumihiro Kumeno, Koji Hayamizu, Koichi Shinozaki

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

SMT-Based Bounded Model Checking for OSEK/VDX Applications.

Haitao Zhang, Toshiaki Aoki, Hsin-Hung Lin, Min Zhang, Yuki Chiba, Kenro Yatake

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

Preserving Correctness of Requirements Evolution through Refinement in Event-B.

Kriangkrai Traichaiyaporn, Toshiaki Aoki

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

A Practical Study of Debugging Using Model Checking.

Hideto Ogawa, Makoto Ichii, Fumihiko Kumeno, Toshiaki Aoki

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

SMT-based enumeration of object graphs from UML class diagrams.

Kenro Yatake, Toshiaki Aoki

ACM SIGSOFT Softw. Eng. Notes, 2012

Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking.

Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama

IEICE Trans. Inf. Syst., 2012

On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification.

Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012

Faithfully formalizing OSEK/VDX operating system specification.

Dieu-Huong Vu, Toshiaki Aoki

Proceedings of the Symposium on Information and Communication Technology 2012, 2012

A Variability Management Method for Software Configuration Files.

Hiroaki Tanizaki, Toshiaki Aoki, Takuya Katayama

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification.

Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama

Proceedings of the 2012 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future (RIVF), Ho Chi Minh City, Vietnam, February 27, 2012

Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling.

Kenro Yatake, Toshiaki Aoki

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

2011

Conformance Verification between Web Service Choreography and Implementation Using Learning and Model Checking.

Warawoot Pacharoen, Toshiaki Aoki, Athasit Surarerks, Pattarasinee Bhattarakosol

Proceedings of the IEEE International Conference on Web Services, 2011

Automated Adaptor Generation for Services Based on Pushdown Model Checking.

Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama

Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011

Conformance Testing for OSEK/VDX Operating System Using Model Checking.

Jiang Chen, Toshiaki Aoki

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010

A Minimized Assumption Generation Method for Component-Based Software Verification.

Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama

IEICE Trans. Inf. Syst., 2010

Automatic Generation of Model Checking Scripts Based on Environment Modeling.

Kenro Yatake, Toshiaki Aoki

Proceedings of the Model Checking Software, 2010

Modeling of Real-Time System Designs for Parametric Analysis.

Chaiwat Sathawornwichit, Toshiaki Aoki, Takuya Katayama

Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2010

Non-regular Adaptation of Services Using Model Checking.

Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama

Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

2009

Evolution of a course on model checking for practical applications.

Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Toshiaki Aoki, Shinichi Honiden

ACM SIGCSE Bull., 2009

Model checking education for software engineers in Japan.

Hideaki Nishihara, Koichi Shinozaki, Koji Hayamizu, Toshiaki Aoki, Kenji Taguchi, Fumihiro Kumeno

ACM SIGCSE Bull., 2009

Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software.

Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009

An effective framework for assume-guarantee verification of evolving component-based software.

Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama

Proceedings of the joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops, 2009

Detecting and Analyzing State Inconsistencies in Multi-task Software.

Toshiaki Aoki, Tadashi Sekiguchi, Masayuki Hirayama, Tomoji Kishi

Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

A Minimized Assumption Generation Method for Component-Based Software Verification.

Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama

Proceedings of the Theoretical Aspects of Computing, 2009

2008

Model Checking Multi-Task Software on Real-Time Operating Systems.

Toshiaki Aoki

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

2007

SPLC 2007 Dectoral Symposium.

Jaejoon Lee, Isabel John, Toshiaki Aoki, John D. McGregor

Proceedings of the Software Product Lines, 11th International Conference, 2007

Statechart-based Verification of Object-Oriented Design Models.

Toshiaki Aoki, Takuya Katayama

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2005

Highly Reliable Embedded Software Development Using Advanced Software Technologies.

Takuya Katayama, Tatsuo Nakajima, Taiichi Yuasa, Tomoji Kishi, Shin Nakajima, Shuichi Oikawa, Masahiro Yasugi, Toshiaki Aoki, Mitsutaka Okazaki, Seiji Umatani

IEICE Trans. Inf. Syst., 2005

Formalization and Analysis of Dataflow in Object-Oriented Design Models.

Toshiaki Aoki, Takuya Katayama

Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

Implementing Application-Specific Object-Oriented Theories in HOL.

Kenro Yatake, Toshiaki Aoki, Takuya Katayama

Proceedings of the Theoretical Aspects of Computing, 2005

2004

Project Report: High-Reliable Object-Oriented Embedded Software Design.

Tomoji Kishi, Toshiaki Aoki, Shin Nakajima, Natsuko Noda, Takuya Katayama

Proceedings of the 2nd IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2004

Collaboration-based verification of Object-Oriented models in HOL.

Kenro Yatake, Toshiaki Aoki, Takuya Katayama

Proceedings of the Verification and Validation of Enterprise Information Systems, 2004

Foundations for Evolutionary Construction of State Transition Models.

Toshiaki Aoki, Takuya Katayama

Proceedings of the 7th International Workshop on Principles of Software Evolution (IWPSE 2004), 2004

2002

Extracting threads from concurrent objects for the design of embedded systems.

Mitsutaka Okazaki, Toshiaki Aoki, Takuya Katayama

Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

2001

An Axiomatic Formalization of UML Models.

Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama

Proceedings of the Practical UML-Based Rigorous Development Methods, 2001

1998

Unification and Consistency Verification of Object-Oriented Analysis Models.

Toshiaki Aoki, Takuya Katayama

Proceedings of the 5th Asia-Pacific Software Engineering Conference (APSEC '98), 1998