Toshiaki Aoki

According to our database1, Toshiaki Aoki authored at least 72 papers between 1998 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
A framework for assume-guarantee regression verification of evolving software.
Sci. Comput. Program., 2020

Model checking of in-vehicle networking systems with CAN and FlexRay.
J. Syst. Softw., 2020

Template-Based Monte-Carlo Test-Suite Generation for Large and Complex Simulink Models.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2020

Comprehensive Robustness Evaluation of File Systems with Model Checking.
Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Dataset Fault Tree Analysis for Systematic Evaluation of Machine Learning Systems.
Proceedings of the 25th IEEE Pacific Rim International Symposium on Dependable Computing, 2020

Frequency Probabilistic Risk Assessment Using Coloured Petri Nets for Telemedicine.
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.
IEICE Trans. Inf. Syst., 2019

Foreword.
IEICE Trans. Inf. Syst., 2019

Conformance Testing of Schedulers for DSL-based Model Checking.
Proceedings of the Model Checking Software - 26th International Symposium, 2019

A scalable Monte-Carlo test-case generation tool for large and complex simulink models.
Proceedings of the 11th International Workshop on Modelling in Software Engineerings, 2019

Reducing false positives of static analysis for SEI CERT C coding standard.
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.
Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

Integrating Static Program Analysis Tools for Verifying Cautions of Microcontroller.
Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018
A Verification Framework for Assembly Programs Under Relaxed Memory Model Using SMT Solver.
IEICE Trans. Inf. Syst., 2018

Formalization and Verification of AUTOSAR OS Standard's Memory Protection.
Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

Qualitative and quantitative analysis with scheduling policies in model checking.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Modeling the Required Indoor Temperature Change by Hybrid Automata for Detecting Thermal Problems.
Proceedings of the 23rd IEEE Pacific Rim International Symposium on Dependable Computing, 2018

Multiple Conformance to Hybrid Automata for Checking Smart House Temperature Change.
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.
Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

Template-Based Monte-Carlo Test Generation for Simulink Models.
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2017

Domain-Specific Language Facilitates Scheduling in Model Checking.
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.
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.
J. Inf. Secur. Appl., 2016

Verifying OSEK/VDX OS Design Using Its Formal Specification.
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

2015
Verifying OSEK/VDX Applications: A Sequentialization-Based Model Checking Approach.
IEICE Trans. Inf. Syst., 2015

A Framework for Verifying the Conformance of Design to Its Formal Specifications.
IEICE Trans. Inf. Syst., 2015

Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications.
Proceedings of the 8th IEEE International Conference on Software Testing, 2015

Modeling Safety Requirements of ISO26262 Using Goal Trees and Patterns.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

Experimental Fault Analysis Process Implemented Using Model Extraction and Model Checking.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014
A Spin-Based Approach for Checking OSEK/VDX Applications.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

Checking the Conformance of a Promela Design to its Formal Specification in Event-B.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

2013
Evaluation of Operational Vulnerability in Cloud Service Management Using Model Checking.
Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013

An Approach for Checking OSEK/VDX Applications.
Proceedings of the 2013 13th International Conference on Quality Software, 2013

Towards Formal Description of Standards for Automotive Operating Systems.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Refinement Tree and Its Patterns: A Graphical Approach for Event-B Modeling.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Building a Body of Knowledge on Model Checking for Software Development.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

SMT-Based Bounded Model Checking for OSEK/VDX Applications.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

Preserving Correctness of Requirements Evolution through Refinement in Event-B.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

A Practical Study of Debugging Using Model Checking.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012
SMT-based enumeration of object graphs from UML class diagrams.
ACM SIGSOFT Softw. Eng. Notes, 2012

Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking.
IEICE Trans. Inf. Syst., 2012

On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012

Faithfully formalizing OSEK/VDX operating system specification.
Proceedings of the Symposium on Information and Communication Technology 2012, 2012

A Variability Management Method for Software Configuration Files.
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.
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.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

2011
Conformance Verification between Web Service Choreography and Implementation Using Learning and Model Checking.
Proceedings of the IEEE International Conference on Web Services, 2011

Automated Adaptor Generation for Services Based on Pushdown Model Checking.
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.
Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010
A Minimized Assumption Generation Method for Component-Based Software Verification.
IEICE Trans. Inf. Syst., 2010

Automatic Generation of Model Checking Scripts Based on Environment Modeling.
Proceedings of the Model Checking Software, 2010

Modeling of Real-Time System Designs for Parametric Analysis.
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.
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.
ACM SIGCSE Bull., 2009

Model checking education for software engineers in Japan.
ACM SIGCSE Bull., 2009

Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009

An effective framework for assume-guarantee verification of evolving component-based software.
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.
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.
Proceedings of the Theoretical Aspects of Computing, 2009

2008
Model Checking Multi-Task Software on Real-Time Operating Systems.
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

2007
SPLC 2007 Dectoral Symposium.
Proceedings of the Software Product Lines, 11th International Conference, 2007

Statechart-based Verification of Object-Oriented Design Models.
Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2005
Highly Reliable Embedded Software Development Using Advanced Software Technologies.
IEICE Trans. Inf. Syst., 2005

Formalization and Analysis of Dataflow in Object-Oriented Design Models.
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.
Proceedings of the Theoretical Aspects of Computing, 2005

2004
Project Report: High-Reliable Object-Oriented Embedded Software Design.
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.
Proceedings of the Verification and Validation of Enterprise Information Systems, 2004

Foundations for Evolutionary Construction of State Transition Models.
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.
Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

2001
An Axiomatic Formalization of UML Models.
Proceedings of the Practical UML-Based Rigorous Development Methods, 2001

1998
Unification and Consistency Verification of Object-Oriented Analysis Models.
Proceedings of the 5th Asia-Pacific Software Engineering Conference (APSEC '98), 1998


  Loading...