Toshiaki Aoki

发表

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).

Modeling Safety Requirements of ISO26262 Using Goal Trees and Patterns

Toshiaki Aoki, Kriangkrai Traichaiyaporn, Yuki Chiba, 2015, FTSCS.

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

Toshiaki Aoki, Haitao Zhang, Yuki Chiba, 2015, 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST).

A STUDY ON THE TRANSPORTATION POLICY BASED ON VALUES OF DAILY LIFE

Toshiaki Aoki, Kenichi Matsui, 2003 .

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

Toshiaki Aoki, Yuki Chiba, Nhat-Hoa Tran, 2019, IEICE Trans. Inf. Syst..

A framework for assume-guarantee regression verification of evolving software

Toshiaki Aoki, Pham Ngoc Hung, Viet-Ha Nguyen, 2020, Sci. Comput. Program..

Automated testing reactive systems from Event-B model

Toshiaki Aoki, Anh Hoang Truong, Dieu Huong Vu, 2017, 2017 4th NAFOSTED Conference on Information and Computer Science.

Verifying OSEK/VDX OS Design Using Its Formal Specification

Toshiaki Aoki, Yuki Chiba, Dieu-Huong Vu, 2016, 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE).

Automatic Generation of Model Checking Scripts Based on Environment Modeling

Toshiaki Aoki, Kenro Yatake, K. Yatake, 2010, SPIN.

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

Toshiaki Aoki, Xiaoyun Guo, Hsin-Hung Lin, 2020, J. Syst. Softw..

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

Toshiaki Aoki, Yuki Chiba, Pattaravut Maleehuan, 2017, 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE).

Necessity of an Open Lecture System on Infrastructure Development

Toshiaki Aoki, Yoshiyuki Nakai, 2004 .

Evaluation of Operational Vulnerability in Cloud Service Management Using Model Checking

Toshiaki Aoki, Shinji Kikuchi, 2013, 2013 IEEE Seventh International Symposium on Service-Oriented System Engineering.

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

Toshiaki Aoki, Takuya Katayama, Viet Ha Nguyen, 2012, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

The Effects of Industrial Structure on Net Migration in Japan

Hajime Inamura, Toshiaki Aoki, Takashi Nakagawa, 1999 .

An electronic cash register

Toshiaki Aoki, Mayumi Yamamoto, 1998 .

A Practical Study of Debugging Using Model Checking

Toshiaki Aoki, Hideto Ogawa, Makoto Ichii, 2013, 2013 20th Asia-Pacific Software Engineering Conference (APSEC).

Unification and consistency verification of object-oriented analysis models

Toshiaki Aoki, Takuya Katayama, 1998, Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No.98EX240).

Implementing Application-Specific Object-Oriented Theories in HOL

Toshiaki Aoki, Takuya Katayama, Kenro Yatake, 2005, ICTAC.

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

Toshiaki Aoki, Takuya Katayama, Pham Ngoc Hung, 2009, IWPSE-Evol '09.

Detecting and Analyzing State Inconsistencies in Multi-task Software

Tadashi Sekiguchi, Toshiaki Aoki, Masayuki Hirayama, 2009, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

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

Toshiaki Aoki, Haitao Zhang, Yuki Chiba, 2015, IEICE Trans. Inf. Syst..

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

Toshiaki Aoki, Pattarasinee Bhattarakosol, Athasit Surarerks, 2011, 2011 IEEE International Conference on Web Services.

Foundations for evolutionary construction of state transition models

Toshiaki Aoki, Takuya Katayama, 2004, Proceedings. 7th International Workshop on Principles of Software Evolution, 2004..

Verification of Formal Model for Object - Oriented Methodology

Toshiaki Aoki, Takuya Katayama, Itaru Ishida, 1998 .

Multiple conformance to hybrid-automata-modelled requirements for detecting indoor temperature anomalies

Yasuo Tan, Toshiaki Aoki, Zhengguo Yang, 2020, Indoor and Built Environment.

An empirical study on fair process effect:A verification using a road development project

Toshiaki Aoki, 2005 .

Formal Methods and Software Engineering

Toshiaki Aoki, Kenji Taguchi, 2012, Lecture Notes in Computer Science.

Evolution of a course on model checking for practical applications

Toshiaki Aoki, Yasuyuki Tahara, Shinichi Honiden, 2009, SGCS.

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

Toshiaki Aoki, Yuki Chiba, Dieu-Huong Vu, 2014, FTSCS.

Collaboration-based verification of Object-Oriented models in HOL

Toshiaki Aoki, Takuya Katayama, Kenro Yatake, 2004, VVEIS.

Conformance Testing for OSEK/VDX Operating System Using Model Checking

Toshiaki Aoki, Jiang Chen, 2011, 2011 18th Asia-Pacific Software Engineering Conference.

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

Toshiaki Aoki, Kriangkrai Traichaiyaporn, 2013, FTSCS.

Integrating Static Program Analysis Tools for Verifying Cautions of Microcontroller

Toshiaki Aoki, Takashi Tomita, Thuy Nguyen, 2019, 2019 26th Asia-Pacific Software Engineering Conference (APSEC).

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

Toshiaki Aoki, Takuya Katayama, Ngoc Hung Pham, 2009 .

Faithfully formalizing OSEK/VDX operating system specification

Toshiaki Aoki, Dieu-Huong Vu, 2012, SoICT '12.

Extracting threads from concurrent objects for the design of embedded systems

Toshiaki Aoki, Takuya Katayama, Mitsutaka Okazaki, 2002, Ninth Asia-Pacific Software Engineering Conference, 2002..

A Variability Management Method for Software Configuration Files

Toshiaki Aoki, Takuya Katayama, Hiroaki Tanizaki, 2012, SEKE.

THE EFFECT OF INFORMATION ON INTERREGIONAL MIGRATION UNDER UNCERTAINTY

Toshiaki Aoki, Kenichi Matsui, Hitoshi Nishino, 2002 .

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

Toshiaki Aoki, 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol

Toshiaki Aoki, Hsin-Hung Lin, Kenro Yatake, 2013, FTSCS.

Template-Based Monte-Carlo Test Generation for Simulink Models

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

Non-regular Adaptation of Services Using Model Checking

Toshiaki Aoki, Takuya Katayama, Hsin-Hung Lin, 2010, 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

THE STRUCTURE OF CONSENSUS BUILDING IN ISAWA DAM CONSTRUCTION PROJECT

Toshiaki Aoki, Yoshinori Suzuki, T. Aoki, 2008 .

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

Yueying He, Toshiaki Aoki, Min Zhang, 2016, J. Inf. Secur. Appl..

Domain-Specific Language Facilitates Scheduling in Model Checking

Toshiaki Aoki, Yuki Chiba, Nhat-Hoa Tran, 2017, 2017 24th Asia-Pacific Software Engineering Conference (APSEC).

Experimental Fault Analysis Process Implemented Using Model Extraction and Model Checking

Toshiaki Aoki, Hideto Ogawa, Fumihiro Kumeno, 2015, 2015 IEEE 39th Annual Computer Software and Applications Conference.

Comprehensive Robustness Evaluation of File Systems with Model Checking

Toshiaki Aoki, Jingcheng Yuan, Xiaoyun Guo, 2020, 2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS).

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

Toshiaki Aoki, Takuya Katayama, Viet Ha Nguyen, 2012, 2012 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future.

Formalization and analysis of dataflow in object-oriented design models

Toshiaki Aoki, Takuya Katayama, 2005, Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05).

SMT-Based Bounded Model Checking for OSEK/VDX Applications

Toshiaki Aoki, Haitao Zhang, Min Zhang, 2013, 2013 20th Asia-Pacific Software Engineering Conference (APSEC).

Statechart-based Verification of Object-Oriented Design Models

Toshiaki Aoki, Takuya Katayama, 2007, 14th Asia-Pacific Software Engineering Conference (APSEC'07).

Combined Model Checking and Testing Create Confidence—A Case on Commercial Automotive Operating System

Toshiaki Aoki, Tomoji Kishi, Kenro Yatake, 2017 .

SMT-based enumeration of object graphs from UML class diagrams

Toshiaki Aoki, Kenro Yatake, K. Yatake, 2012, ACM SIGSOFT Softw. Eng. Notes.

Assume-Guarantee Tools for Component-Based Software Verification

Toshiaki Aoki, Takuya Katayama, Pham Ngoc Hung, 2010, 2010 Second International Conference on Knowledge and Systems Engineering.

Project report: high-reliable object-oriented embedded software design

Toshiaki Aoki, Shin Nakajima, Takuya Katayama, 2004, Second IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2004. Proceedings..

A Spiral Process of Modeling and Verifying the Scheduling Mechanism of OSEK/VDX in OTS/CafeOBJ Method

Min Zhang, Toshiaki Aoki, 2015, 2015 2nd International Symposium on Dependable Computing and Internet of Things (DCIT).

Highly Reliable Embedded Software Development Using Advanced Software Technologies

Taiichi Yuasa, Toshiaki Aoki, Tatsuo Nakajima, 2005, IEICE Trans. Inf. Syst..

An Approach for Checking OSEK/VDX Applications

Toshiaki Aoki, Min Zhang, Haitao Zhang, 2013, 2013 13th International Conference on Quality Software.

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

Toshiaki Aoki, Takashi Tomita, Thu-Trang Nguyen, 2019, 2019 26th Asia-Pacific Software Engineering Conference (APSEC).

Preserving Correctness of Requirements Evolution through Refinement in Event-B

Toshiaki Aoki, Kriangkrai Traichaiyaporn, Toshiaki Aoki, 2013, 2013 20th Asia-Pacific Software Engineering Conference (APSEC).

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

Toshiaki Aoki, Yuki Chiba, Pattaravut Maleehuan, 2018, IEICE Trans. Inf. Syst..

A Spin-Based Approach for Checking OSEK/VDX Applications

Toshiaki Aoki, Haitao Zhang, Yuki Chiba, 2014, FTSCS.

A Minimized Assumption Generation Method for Component-Based Software Verification

Takuya Katayama, Toshiaki Aoki, Pham Ngoc Hung, 2009, ICTAC.

Foundations for Stepwise Construction of State Transition Models

Toshiaki Aoki, Takuya Katayama, 2003 .

Verifying conformance between Web service choreography and implementation using learning and model checking

Toshiaki Aoki, Pattarasinee Bhattarakosol, Athasit Surarerks, 2011, The 5th International Conference on New Trends in Information Science and Service Science.

Multiple Conformance to Hybrid Automata for Checking Smart House Temperature Change

Yasuo Tan, Toshiaki Aoki, Zhengguo Yang, 2018, 2018 IEEE/ACM 22nd International Symposium on Distributed Simulation and Real Time Applications (DS-RT).

PAPER Special Section on Formal Approach A Framework for Verifying the Conformance of Design to Its Formal Specifications ∗

Toshiaki Aoki, Yuki Chiba, Dieu-Huong Vu, 2015 .

ATTACHMENT TO RESIDENCE: AFFECT OF PHYSICAL ENVIRONMENT AND SOCIAL ENVIRONMENT

Toshiaki Aoki, Hiroyuki Hikichi, Ken-ichi Ohbuchi, 2009 .

SPLC 2007 Dectoral Symposium

Jaejoon Lee, Toshiaki Aoki, John D. McGregor, 2007, SPLC.

THE MECHANISM OF COOPERATIVE ATTITUDE IN GROUP SITUATlON

Toshiaki Aoki, Takashi Satou, Kouhei Hoshi, 2006 .

Project report: high-reliable object-oriented embedded software design

Toshiaki Aoki, Shin Nakajima, Takuya Katayama, 2004 .

Model checking education for software engineers in Japan

Toshiaki Aoki, Kenji Taguchi, Hideaki Nishihara, 2009, SGCS.

Automated Adaptor Generation for Services Based on Pushdown Model Checking

Toshiaki Aoki, Takuya Katayama, Hsin-Hung Lin, 2011, 2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems.

Building a Body of Knowledge on Model Checking for Software Development

Toshiaki Aoki, Kenji Taguchi, Hideaki Nishihara, 2013, 2013 IEEE 37th Annual Computer Software and Applications Conference.

PREDICTION OF HOUSEHOLD TYPE DISTRIBUTION IN URBAN AREA

Hajime Inamura, Toshiaki Aoki, Satoru Masuda, 2000 .

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

Yasuo Tan, Toshiaki Aoki, Zhengguo Yang, 2018, 2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC).

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

Toshiaki Aoki, Takuya Katayama, Hsin-Hung Lin, 2012, IEICE Trans. Inf. Syst..

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).

Proceedings : Seventh IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 12-14 May 2004, Vienna, Austria

Insup Lee, Toshiaki Aoki, Jan Gustafsson, 2004 .

Towards Formal Description of Standards for Automotive Operating Systems

Akira Fukuda, Toshiaki Aoki, Kenji Hisazumi, 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.

Formalization and Verification of AUTOSAR OS Standard's Memory Protection

Toshiaki Aoki, Yuki Chiba, Khanh Trinh Le, 2018, 2018 International Symposium on Theoretical Aspects of Software Engineering (TASE).

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

Toshiaki Aoki, Yuki Chiba, Hsin-Hung Lin, 2017, 2017 24th Asia-Pacific Software Engineering Conference (APSEC).

DISCLOSURE AND ATTITUDE FORMATION IN CONCENSUS BUILDING PROCESS

Toshiaki Aoki, Kenichi Matsui, Atsushi Suzuki, 2003 .

Dissolution of the Gap between Safety Requirements Written in a Natural Language and Formal Notations

Toshiaki Aoki, Fumio Narisawa, Yuki Chiba, 2016 .

Modeling of Real-Time System Designs for Parametric Analysis

Chaiwat Sathawornwichit, Toshiaki Aoki, Takuya Katayama, 2010, 2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications.

A Study on Structure of Public Satisfaction for Infrastructure Development

Toshiaki Aoki, Kenichi Matsui, Masayuki Kurihara, 2002 .

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

Toshiaki Aoki, Kenro Yatake, 2012, ICTAC.

An Axiomatic Formalization of UML Models

Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama, 2001, pUML.

Collaboration-based verification of Object-Oriented Models

Toshiaki Aoki, Takuya Katayama, Kenro Yatake, 2005 .

Qualitative and quantitative analysis with scheduling policies in model checking

Toshiaki Aoki, Yuki Chiba, Nhat-Hoa Tran, 2018, SAC.

Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering

Toshiaki Aoki, Kenji Taguchi, 2012 .