default search action
BibTeX records: Toshiaki Aoki
@inproceedings{DBLP:conf/enase/SomeyaAI23, author = {Kazunori Someya and Toshiaki Aoki and Naoki Ishihama}, editor = {Hermann Kaindl and Mike Mannion and Leszek A. Maciaszek}, title = {Compaction of Spacecraft Operational Models with Metamodeling Domain Knowledge}, booktitle = {Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, {ENASE} 2023, Prague, Czech Republic, April 24-25, 2023}, pages = {102--113}, publisher = {{SCITEPRESS}}, year = {2023}, url = {https://doi.org/10.5220/0011839200003464}, doi = {10.5220/0011839200003464}, timestamp = {Sun, 04 Aug 2024 19:41:21 +0200}, biburl = {https://dblp.org/rec/conf/enase/SomeyaAI23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/enase/TanakaAKTKC23, author = {Kento Tanaka and Toshiaki Aoki and Tatsuji Kawai and Takashi Tomita and Daisuke Kawakami and Nobuo Chida}, editor = {Hermann Kaindl and Mike Mannion and Leszek A. Maciaszek}, title = {Specification Based Testing of Object Detection for Automated Driving Systems via {BBSL}}, booktitle = {Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, {ENASE} 2023, Prague, Czech Republic, April 24-25, 2023}, pages = {250--261}, publisher = {{SCITEPRESS}}, year = {2023}, url = {https://doi.org/10.5220/0011997400003464}, doi = {10.5220/0011997400003464}, timestamp = {Tue, 23 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/enase/TanakaAKTKC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/prdc/YamaguchiA23, author = {Yuki Yamaguchi and Toshiaki Aoki}, title = {Attack Tree Analysis for Adversarial Evasion Attacks}, booktitle = {28th {IEEE} Pacific Rim International Symposium on Dependable Computing, {PRDC} 2023, Singapore, October 24-27, 2023}, pages = {46--52}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/PRDC59308.2023.00015}, doi = {10.1109/PRDC59308.2023.00015}, timestamp = {Tue, 23 Jan 2024 09:45:30 +0100}, biburl = {https://dblp.org/rec/conf/prdc/YamaguchiA23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2310-00973, author = {Toshiaki Aoki and Aritoshi Hata and Kazusato Kanamori and Satoshi Tanaka and Yuta Kawamoto and Yasuhiro Tanase and Masumi Imai and Fumiya Shigemitsu and Masaki Gondo and Tomoji Kishi}, title = {Model-Checking in the Loop Model-Based Testing for Automotive Operating Systems}, journal = {CoRR}, volume = {abs/2310.00973}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2310.00973}, doi = {10.48550/ARXIV.2310.00973}, eprinttype = {arXiv}, eprint = {2310.00973}, timestamp = {Wed, 18 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2310-00973.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2312-16957, author = {Yuki Yamaguchi and Toshiaki Aoki}, title = {Attack Tree Analysis for Adversarial Evasion Attacks}, journal = {CoRR}, volume = {abs/2312.16957}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2312.16957}, doi = {10.48550/ARXIV.2312.16957}, eprinttype = {arXiv}, eprint = {2312.16957}, timestamp = {Fri, 19 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2312-16957.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/PattiyanonA22, author = {Charnon Pattiyanon and Toshiaki Aoki}, title = {Compliance {SSI} System Property Set to Laws, Regulations, and Technical Standards}, journal = {{IEEE} Access}, volume = {10}, pages = {99370--99393}, year = {2022}, url = {https://doi.org/10.1109/ACCESS.2022.3204112}, doi = {10.1109/ACCESS.2022.3204112}, timestamp = {Tue, 18 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/PattiyanonA22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/AokiL22, author = {Toshiaki Aoki and Qin Li}, title = {Selected papers from the 14th international symposium on Theoretical Aspects of Software Engineering}, journal = {Sci. Comput. Program.}, volume = {219}, pages = {102821}, year = {2022}, url = {https://doi.org/10.1016/j.scico.2022.102821}, doi = {10.1016/J.SCICO.2022.102821}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/AokiL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/stvr/YuanAG22, author = {Jingcheng Yuan and Toshiaki Aoki and Xiaoyun Guo}, title = {Comprehensive evaluation of file systems robustness with {SPIN} model checking}, journal = {Softw. Test. Verification Reliab.}, volume = {32}, number = {6}, year = {2022}, url = {https://doi.org/10.1002/stvr.1828}, doi = {10.1002/STVR.1828}, timestamp = {Sat, 10 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/stvr/YuanAG22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/TanakaAKTKC22, author = {Kento Tanaka and Toshiaki Aoki and Tatsuji Kawai and Takashi Tomita and Daisuke Kawakami and Nobuo Chida}, editor = {Hong Va Leong and Sahra Sedigh Sarvestani and Yuuichi Teranishi and Alfredo Cuzzocrea and Hiroki Kashiwazaki and Dave Towey and Ji{-}Jiang Yang and Hossain Shahriar}, title = {A Formal Specification Language Based on Positional Relationship Between Objects in Automated Driving Systems}, booktitle = {46th {IEEE} Annual Computers, Software, and Applications Conferenc, {COMPSAC} 2022, Los Alamitos, CA, USA, June 27 - July 1, 2022}, pages = {950--955}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/COMPSAC54236.2022.00147}, doi = {10.1109/COMPSAC54236.2022.00147}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/compsac/TanakaAKTKC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/IshiiTANDT22, author = {Daisuke Ishii and Takashi Tomita and Toshiaki Aoki and The Quyen Ngo and Thi Bich Ngoc Do and Hideaki Takai}, editor = {Adri{\'{a}}n Riesco and Min Zhang}, title = {SMT-Based Model Checking of Industrial Simulink Models}, booktitle = {Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, {ICFEM} 2022, Madrid, Spain, October 24-27, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13478}, pages = {156--172}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-17244-1\_10}, doi = {10.1007/978-3-031-17244-1\_10}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icfem/IshiiTANDT22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icissp/PattiyanonA22, author = {Charnon Pattiyanon and Toshiaki Aoki}, editor = {Paolo Mori and Gabriele Lenzini and Steven Furnell}, title = {Analysis and Enhancement of Self-sovereign Identity System Properties Compiling Standards and Regulations}, booktitle = {Proceedings of the 8th International Conference on Information Systems Security and Privacy, {ICISSP} 2022, Online Streaming, February 9-11, 2022}, pages = {133--144}, publisher = {{SCITEPRESS}}, year = {2022}, url = {https://doi.org/10.5220/0010877300003120}, doi = {10.5220/0010877300003120}, timestamp = {Tue, 06 Jun 2023 14:58:01 +0200}, biburl = {https://dblp.org/rec/conf/icissp/PattiyanonA22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/modelsward/PattiyanonAI22, author = {Charnon Pattiyanon and Toshiaki Aoki and Daisuke Ishii}, editor = {Lu{\'{\i}}s Ferreira Pires and Slimane Hammoudi and Edwin Seidewitz}, title = {A Method for Detecting Common Weaknesses in Self-Sovereign Identity Systems Using Domain-Specific Models and Knowledge Graph}, booktitle = {Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, {MODELSWARD} 2022, Online Streaming, February 6-8, 2022}, pages = {219--226}, publisher = {{SCITEPRESS}}, year = {2022}, url = {https://doi.org/10.5220/0010824900003119}, doi = {10.5220/0010824900003119}, timestamp = {Tue, 06 Jun 2023 14:58:00 +0200}, biburl = {https://dblp.org/rec/conf/modelsward/PattiyanonAI22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/IshiiTA22, author = {Daisuke Ishii and Takashi Tomita and Toshiaki Aoki}, editor = {Jyotirmoy V. Deshmukh and Klaus Havelund and Ivan Perez}, title = {Approximate Translation from Floating-Point to Real-Interval Arithmetic}, booktitle = {{NASA} Formal Methods - 14th International Symposium, {NFM} 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13260}, pages = {733--751}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-06773-0\_39}, doi = {10.1007/978-3-031-06773-0\_39}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nfm/IshiiTA22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qrs/IshiiTANDT22, author = {Daisuke Ishii and Takashi Tomita and Toshiaki Aoki and The Quyen Ngo and Thi Bich Ngoc Do and Hideaki Takai}, title = {Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods}, booktitle = {22nd {IEEE} International Conference on Software Quality, Reliability and Security, {QRS} 2022, Guangzhou, China, December 5-9, 2022}, pages = {422--433}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/QRS57517.2022.00050}, doi = {10.1109/QRS57517.2022.00050}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/qrs/IshiiTANDT22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/NguyenTEKA22, author = {Thuy Nguyen and Takashi Tomita and Junpei Endo and Geon{-}ung Kang and Toshiaki Aoki}, editor = {Jiman Hong and Miroslav Bures and Juw Won Park and Tom{\'{a}}s Cern{\'{y}}}, title = {Leveraging hardware-dependent knowledge extraction with multiple program analysis techniques}, booktitle = {{SAC} '22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022}, pages = {1827--1836}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3477314.3507121}, doi = {10.1145/3477314.3507121}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sac/NguyenTEKA22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2206-02992, author = {Daisuke Ishii and Takashi Tomita and Toshiaki Aoki and The Quyen Ngo and Thi Bich Ngoc Do and Hideaki Takai}, title = {SMT-Based Model Checking of Industrial Simulink Models}, journal = {CoRR}, volume = {abs/2206.02992}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2206.02992}, doi = {10.48550/ARXIV.2206.02992}, eprinttype = {arXiv}, eprint = {2206.02992}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2206-02992.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/stvr/NguyenTEA21, author = {Thuy Nguyen and Takashi Tomita and Junpei Endo and Toshiaki Aoki}, title = {Integrating pattern matching and abstract interpretation for verifying cautions of microcontrollers}, journal = {Softw. Test. Verification Reliab.}, volume = {31}, number = {8}, year = {2021}, url = {https://doi.org/10.1002/stvr.1788}, doi = {10.1002/STVR.1788}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/stvr/NguyenTEA21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qrs/TranA21, author = {Nhat{-}Hoa Tran and Toshiaki Aoki}, title = {SSpinJa: Facilitating Schedulers in Model Checking}, booktitle = {21st {IEEE} International Conference on Software Quality, Reliability and Security, {QRS} 2021, Hainan, China, December 6-10, 2021}, pages = {632--641}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/QRS54544.2021.00073}, doi = {10.1109/QRS54544.2021.00073}, timestamp = {Wed, 16 Mar 2022 22:32:21 +0100}, biburl = {https://dblp.org/rec/conf/qrs/TranA21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2112-02804, author = {Daisuke Ishii and Takashi Tomita and Toshiaki Aoki}, title = {Approximate Translation from Floating-Point to Real-Interval Arithmetic}, journal = {CoRR}, volume = {abs/2112.02804}, year = {2021}, url = {https://arxiv.org/abs/2112.02804}, eprinttype = {arXiv}, eprint = {2112.02804}, timestamp = {Wed, 08 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2112-02804.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2112-05411, author = {Daisuke Ishii and Takashi Tomita and Kenji Onishi and Toshiaki Aoki}, title = {Compositional Test Generation of Industrial Synchronous Systems}, journal = {CoRR}, volume = {abs/2112.05411}, year = {2021}, url = {https://arxiv.org/abs/2112.05411}, eprinttype = {arXiv}, eprint = {2112.05411}, timestamp = {Tue, 14 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2112-05411.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/TomitaIMTA20, author = {Takashi Tomita and Daisuke Ishii and Toru Murakami and Shigeki Takeuchi and Toshiaki Aoki}, title = {Template-Based Monte-Carlo Test-Suite Generation for Large and Complex Simulink Models}, journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.}, volume = {103-A}, number = {2}, pages = {451--461}, year = {2020}, url = {http://search.ieice.org/bin/summary.php?id=e103-a\_2\_451}, doi = {10.1587/TRANSFUN.2019MAP0010}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ieicet/TomitaIMTA20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jss/GuoAL20, author = {Xiaoyun Guo and Toshiaki Aoki and Hsin{-}Hung Lin}, title = {Model checking of in-vehicle networking systems with {CAN} and FlexRay}, journal = {J. Syst. Softw.}, volume = {161}, year = {2020}, url = {https://doi.org/10.1016/j.jss.2019.110461}, doi = {10.1016/J.JSS.2019.110461}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jss/GuoAL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/TranHNA20, author = {Hoang{-}Viet Tran and Pham Ngoc Hung and Viet{-}Ha Nguyen and Toshiaki Aoki}, title = {A framework for assume-guarantee regression verification of evolving software}, journal = {Sci. Comput. Program.}, volume = {193}, pages = {102439}, year = {2020}, url = {https://doi.org/10.1016/j.scico.2020.102439}, doi = {10.1016/J.SCICO.2020.102439}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/TranHNA20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ieem/FujitaHA20, author = {Kenji Fujita and Kunihiko Hiraishi and Toshiaki Aoki}, title = {Frequency Probabilistic Risk Assessment Using Coloured Petri Nets for Telemedicine}, booktitle = {{IEEE} International Conference on Industrial Engineering and Engineering Management, {IEEM} 2020, Singapore, December 14-17, 2020}, pages = {1098--1102}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/IEEM45057.2020.9309771}, doi = {10.1109/IEEM45057.2020.9309771}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ieem/FujitaHA20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/prdc/AokiKCT20, author = {Toshiaki Aoki and Daisuke Kawakami and Nobuo Chida and Takashi Tomita}, title = {Dataset Fault Tree Analysis for Systematic Evaluation of Machine Learning Systems}, booktitle = {25th {IEEE} Pacific Rim International Symposium on Dependable Computing, {PRDC} 2020, Perth, Australia, December 1-4, 2020}, pages = {100--109}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/PRDC50213.2020.00021}, doi = {10.1109/PRDC50213.2020.00021}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/prdc/AokiKCT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qrs/YuanAG20, author = {Jingcheng Yuan and Toshiaki Aoki and Xiaoyun Guo}, title = {Comprehensive Robustness Evaluation of File Systems with Model Checking}, booktitle = {20th {IEEE} International Conference on Software Quality, Reliability and Security, {QRS} 2020, Macau, China, December 11-14, 2020}, pages = {99--110}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/QRS51102.2020.00025}, doi = {10.1109/QRS51102.2020.00025}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qrs/YuanAG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tase/2020, editor = {Toshiaki Aoki and Qin Li}, title = {International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2020, Hangzhou, China, December 11-13, 2020}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/TASE49443.2020}, doi = {10.1109/TASE49443.2020}, isbn = {978-1-7281-4086-5}, timestamp = {Tue, 27 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tase/2020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/TranCA19, author = {Nhat{-}Hoa Tran and Yuki Chiba and Toshiaki Aoki}, title = {Model Checking in the Presence of Schedulers Using a Domain-Specific Language for Scheduling Policies}, journal = {{IEICE} Trans. Inf. Syst.}, volume = {102-D}, number = {7}, pages = {1280--1295}, year = {2019}, url = {https://doi.org/10.1587/transinf.2017EDP7391}, doi = {10.1587/TRANSINF.2017EDP7391}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ieicet/TranCA19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/Aoki19b, author = {Toshiaki Aoki}, title = {Foreword}, journal = {{IEICE} Trans. Inf. Syst.}, volume = {102-D}, number = {8}, pages = {1438}, year = {2019}, url = {https://doi.org/10.1587/transinf.2018FOF0001}, doi = {10.1587/TRANSINF.2018FOF0001}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ieicet/Aoki19b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/NguyenATY19, author = {Thu{-}Trang Nguyen and Toshiaki Aoki and Takashi Tomita and Iori Yamada}, title = {Multiple Program Analysis Techniques Enable Precise Check for {SEI} {CERT} {C} Coding Standard}, booktitle = {26th Asia-Pacific Software Engineering Conference, {APSEC} 2019, Putrajaya, Malaysia, December 2-5, 2019}, pages = {70--77}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/APSEC48747.2019.00019}, doi = {10.1109/APSEC48747.2019.00019}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/NguyenATY19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/NguyenATE19, author = {Thuy Nguyen and Toshiaki Aoki and Takashi Tomita and Junpei Endo}, title = {Integrating Static Program Analysis Tools for Verifying Cautions of Microcontroller}, booktitle = {26th Asia-Pacific Software Engineering Conference, {APSEC} 2019, Putrajaya, Malaysia, December 2-5, 2019}, pages = {86--93}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/APSEC48747.2019.00021}, doi = {10.1109/APSEC48747.2019.00021}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/NguyenATE19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/TomitaIMTA19, author = {Takashi Tomita and Daisuke Ishii and Toru Murakami and Shigeki Takeuchi and Toshiaki Aoki}, editor = {Marsha Chechik and Daniel Str{\"{u}}ber and D{\'{a}}niel Varr{\'{o}}}, title = {A scalable Monte-Carlo test-case generation tool for large and complex simulink models}, booktitle = {Proceedings of the 11th International Workshop on Modelling in Software Engineerings, MiSE@ICSE 2019, Montreal, QC, Canada, May 26-27, 2019}, pages = {39--46}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1109/MiSE.2019.00014}, doi = {10.1109/MISE.2019.00014}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/TomitaIMTA19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/NguyenMATY19, author = {Thu Trang Nguyen and Pattaravut Maleehuan and Toshiaki Aoki and Takashi Tomita and Iori Yamada}, editor = {Marcus Ciolkowski and Dusica Marijan and Matthias Galster and Weiyi Shang and Andreas Jedlitschka and Rakesh Shukla and Kanchana Padmanabhan}, title = {Reducing false positives of static analysis for {SEI} {CERT} {C} coding standard}, booktitle = {Proceedings of the Joint 7th International Workshop on Conducting Empirical Studies in Industry and 6th International Workshop on Software Engineering Research and Industrial Practice, CESSER-IP@ICSE 2019, Montreal, QC, Canada, May 27, 2019}, pages = {41--48}, publisher = {{IEEE} / {ACM}}, year = {2019}, url = {https://dl.acm.org/citation.cfm?id=3338717}, doi = {10.1109/CESSER-IP.2019.00015}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/NguyenMATY19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spin/TranA19, author = {Nhat{-}Hoa Tran and Toshiaki Aoki}, editor = {Fabrizio Biondi and Thomas Given{-}Wilson and Axel Legay}, title = {Conformance Testing of Schedulers for DSL-based Model Checking}, booktitle = {Model Checking Software - 26th International Symposium, {SPIN} 2019, Beijing, China, July 15-16, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11636}, pages = {208--225}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30923-7\_12}, doi = {10.1007/978-3-030-30923-7\_12}, timestamp = {Sat, 12 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/spin/TranA19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/MaleehuanCA18, author = {Pattaravut Maleehuan and Yuki Chiba and Toshiaki Aoki}, title = {A Verification Framework for Assembly Programs Under Relaxed Memory Model Using {SMT} Solver}, journal = {{IEICE} Trans. Inf. Syst.}, volume = {101-D}, number = {12}, pages = {3038--3058}, year = {2018}, url = {https://doi.org/10.1587/transinf.2018EDP7099}, doi = {10.1587/TRANSINF.2018EDP7099}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ieicet/MaleehuanCA18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsrt/YangAT18, author = {Zhengguo Yang and Toshiaki Aoki and Yasuo Tan}, editor = {Eva Besada{-}Portas and Oscar Rodr{\'{\i}}guez Polo and Robson E. De Grande and Jos{\'{e}} Luis Risco{-}Mart{\'{\i}}n}, title = {Multiple Conformance to Hybrid Automata for Checking Smart House Temperature Change}, booktitle = {22nd {IEEE/ACM} International Symposium on Distributed Simulation and Real Time Applications, {DS-RT} 2018, Madrid, Spain, October 15-17, 2018}, pages = {224--233}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/DISTRA.2018.8601005}, doi = {10.1109/DISTRA.2018.8601005}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsrt/YangAT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/prdc/YangAT18, author = {Zhengguo Yang and Toshiaki Aoki and Yasuo Tan}, title = {Modeling the Required Indoor Temperature Change by Hybrid Automata for Detecting Thermal Problems}, booktitle = {23rd {IEEE} Pacific Rim International Symposium on Dependable Computing, {PRDC} 2018, Taipei, Taiwan, December 4-7, 2018}, pages = {135--144}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/PRDC.2018.00024}, doi = {10.1109/PRDC.2018.00024}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/prdc/YangAT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/TranCA18, author = {Nhat{-}Hoa Tran and Yuki Chiba and Toshiaki Aoki}, editor = {Hisham M. Haddad and Roger L. Wainwright and Richard Chbeir}, title = {Qualitative and quantitative analysis with scheduling policies in model checking}, booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing, {SAC} 2018, Pau, France, April 09-13, 2018}, pages = {1873--1880}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3167132.3167332}, doi = {10.1145/3167132.3167332}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sac/TranCA18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/LeCA18, author = {Khanh Trinh Le and Yuki Chiba and Toshiaki Aoki}, editor = {Jun Pang and Chenyi Zhang and Jifeng He and Jian Weng}, title = {Formalization and Verification of {AUTOSAR} {OS} Standard's Memory Protection}, booktitle = {2018 International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2018, Guangzhou, China, August 29-31, 2018}, pages = {68--75}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/TASE.2018.00017}, doi = {10.1109/TASE.2018.00017}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/LeCA18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/GuoLAC17, author = {Xiaoyun Guo and Hsin{-}Hung Lin and Toshiaki Aoki and Yuki Chiba}, editor = {Jian Lv and He Jason Zhang and Mike Hinchey and Xiao Liu}, title = {A Reusable Framework for Modeling and Verifying In-Vehicle Networking Systems in the Presence of {CAN} and FlexRay}, booktitle = {24th Asia-Pacific Software Engineering Conference, {APSEC} 2017, Nanjing, China, December 4-8, 2017}, pages = {140--149}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/APSEC.2017.20}, doi = {10.1109/APSEC.2017.20}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/GuoLAC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/TranCA17, author = {Nhat{-}Hoa Tran and Yuki Chiba and Toshiaki Aoki}, editor = {Jian Lv and He Jason Zhang and Mike Hinchey and Xiao Liu}, title = {Domain-Specific Language Facilitates Scheduling in Model Checking}, booktitle = {24th Asia-Pacific Software Engineering Conference, {APSEC} 2017, Nanjing, China, December 4-8, 2017}, pages = {417--426}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/APSEC.2017.48}, doi = {10.1109/APSEC.2017.48}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/TranCA17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cyphy/TomitaIMTA17, author = {Takashi Tomita and Daisuke Ishii and Toru Murakami and Shigeki Takeuchi and Toshiaki Aoki}, editor = {Roger D. Chamberlain and Walid Taha and Martin T{\"{o}}rngren}, title = {Template-Based Monte-Carlo Test Generation for Simulink Models}, booktitle = {Cyber Physical Systems. Design, Modeling, and Evaluation - 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {11267}, pages = {63--78}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-030-17910-6\_5}, doi = {10.1007/978-3-030-17910-6\_5}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cyphy/TomitaIMTA17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/MaleehuanCA17, author = {Pattaravut Maleehuan and Yuki Chiba and Toshiaki Aoki}, editor = {Fr{\'{e}}d{\'{e}}ric Mallet and Min Zhang and Eric Madelaine}, title = {Assembly program verification for multiprocessors with relaxed memory model using {SMT} solver}, booktitle = {11th International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2017, Sophia Antipolis, France, September 13-15, 2017}, pages = {1--8}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/TASE.2017.8285629}, doi = {10.1109/TASE.2017.8285629}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/MaleehuanCA17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/istr/ZhangAH16, author = {Min Zhang and Toshiaki Aoki and Yueying He}, title = {A spiral process of formalization and verification: {A} case study on verification of the scheduling mechanism of {OSEK/VDX}}, journal = {J. Inf. Secur. Appl.}, volume = {31}, pages = {41--53}, year = {2016}, url = {https://doi.org/10.1016/j.jisa.2016.05.002}, doi = {10.1016/J.JISA.2016.05.002}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/istr/ZhangAH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/VuCYA16, author = {Dieu{-}Huong Vu and Yuki Chiba and Kenro Yatake and Toshiaki Aoki}, title = {Verifying {OSEK/VDX} {OS} Design Using Its Formal Specification}, booktitle = {10th International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2016, Shanghai, China, July 17-19, 2016}, pages = {81--88}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/TASE.2016.18}, doi = {10.1109/TASE.2016.18}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/VuCYA16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/VuCYA15, author = {Dieu{-}Huong Vu and Yuki Chiba and Kenro Yatake and Toshiaki Aoki}, title = {A Framework for Verifying the Conformance of Design to Its Formal Specifications}, journal = {{IEICE} Trans. Inf. Syst.}, volume = {98-D}, number = {6}, pages = {1137--1149}, year = {2015}, url = {https://doi.org/10.1587/transinf.2014FOP0004}, doi = {10.1587/TRANSINF.2014FOP0004}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ieicet/VuCYA15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/ZhangAC15, author = {Haitao Zhang and Toshiaki Aoki and Yuki Chiba}, title = {Verifying {OSEK/VDX} Applications: {A} Sequentialization-Based Model Checking Approach}, journal = {{IEICE} Trans. Inf. Syst.}, volume = {98-D}, number = {10}, pages = {1765--1776}, year = {2015}, url = {https://doi.org/10.1587/transinf.2015EDP7043}, doi = {10.1587/TRANSINF.2015EDP7043}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ieicet/ZhangAC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/OgawaIKA15, author = {Hideto Ogawa and Makoto Ichii and Fumihiro Kumeno and Toshiaki Aoki}, editor = {Sheikh Iqbal Ahamed and Carl K. Chang and William C. Chu and Ivica Crnkovic and Pao{-}Ann Hsiung and Gang Huang and Jingwei Yang}, title = {Experimental Fault Analysis Process Implemented Using Model Extraction and Model Checking}, booktitle = {39th {IEEE} Annual Computer Software and Applications Conference, {COMPSAC} 2015, Taichung, Taiwan, July 1-5, 2015. Volume 2}, pages = {95--104}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/COMPSAC.2015.118}, doi = {10.1109/COMPSAC.2015.118}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/OgawaIKA15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ftscs/AokiTCMNN15, author = {Toshiaki Aoki and Kriangkrai Traichaiyaporn and Yuki Chiba and Masahiro Matsubara and Masataka Nishi and Fumio Narisawa}, editor = {Cyrille Artho and Peter Csaba {\"{O}}lveczky}, title = {Modeling Safety Requirements of {ISO26262} Using Goal Trees and Patterns}, booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {596}, pages = {206--221}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-29510-7\_12}, doi = {10.1007/978-3-319-29510-7\_12}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ftscs/AokiTCMNN15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icst/ZhangAC15, author = {Haitao Zhang and Toshiaki Aoki and Yuki Chiba}, title = {Yes! You Can Use Your Model Checker to Verify {OSEK/VDX} Applications}, booktitle = {8th {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015, Graz, Austria, April 13-17, 2015}, pages = {1--10}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/ICST.2015.7102612}, doi = {10.1109/ICST.2015.7102612}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icst/ZhangAC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ftscs/VuCYA14, author = {Dieu{-}Huong Vu and Yuki Chiba and Kenro Yatake and Toshiaki Aoki}, editor = {Cyrille Artho and Peter Csaba {\"{O}}lveczky}, title = {Checking the Conformance of a Promela Design to its Formal Specification in Event-B}, booktitle = {Formal Techniques for Safety-Critical Systems - Third International Workshop, {FTSCS} 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {476}, pages = {110--126}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-17581-2\_8}, doi = {10.1007/978-3-319-17581-2\_8}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ftscs/VuCYA14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ftscs/ZhangAC14, author = {Haitao Zhang and Toshiaki Aoki and Yuki Chiba}, editor = {Cyrille Artho and Peter Csaba {\"{O}}lveczky}, title = {A Spin-Based Approach for Checking {OSEK/VDX} Applications}, booktitle = {Formal Techniques for Safety-Critical Systems - Third International Workshop, {FTSCS} 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {476}, pages = {239--255}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-17581-2\_16}, doi = {10.1007/978-3-319-17581-2\_16}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ftscs/ZhangAC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/OgawaIKA13, author = {Hideto Ogawa and Makoto Ichii and Fumihiko Kumeno and Toshiaki Aoki}, editor = {Pornsiri Muenchaisri and Gregg Rothermel}, title = {A Practical Study of Debugging Using Model Checking}, booktitle = {20th Asia-Pacific Software Engineering Conference, {APSEC} 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 2}, pages = {134--139}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/APSEC.2013.128}, doi = {10.1109/APSEC.2013.128}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/OgawaIKA13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/ZhangALZCY13, author = {Haitao Zhang and Toshiaki Aoki and Hsin{-}Hung Lin and Min Zhang and Yuki Chiba and Kenro Yatake}, editor = {Pornsiri Muenchaisri and Gregg Rothermel}, title = {SMT-Based Bounded Model Checking for {OSEK/VDX} Applications}, booktitle = {20th Asia-Pacific Software Engineering Conference, {APSEC} 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 1}, pages = {307--314}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/APSEC.2013.49}, doi = {10.1109/APSEC.2013.49}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/ZhangALZCY13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/TraichaiyapornA13, author = {Kriangkrai Traichaiyaporn and Toshiaki Aoki}, editor = {Pornsiri Muenchaisri and Gregg Rothermel}, title = {Preserving Correctness of Requirements Evolution through Refinement in Event-B}, booktitle = {20th Asia-Pacific Software Engineering Conference, {APSEC} 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 1}, pages = {315--322}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/APSEC.2013.50}, doi = {10.1109/APSEC.2013.50}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/TraichaiyapornA13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/0001NAKHS13, author = {Kenji Taguchi and Hideaki Nishihara and Toshiaki Aoki and Fumihiro Kumeno and Koji Hayamizu and Koichi Shinozaki}, title = {Building a Body of Knowledge on Model Checking for Software Development}, booktitle = {37th Annual {IEEE} Computer Software and Applications Conference, {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013}, pages = {784--789}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/COMPSAC.2013.129}, doi = {10.1109/COMPSAC.2013.129}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/0001NAKHS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ftscs/GuoLYA13, author = {Xiaoyun Guo and Hsin{-}Hung Lin and Kenro Yatake and Toshiaki Aoki}, editor = {Cyrille Artho and Peter Csaba {\"{O}}lveczky}, title = {An {UPPAAL} Framework for Model Checking Automotive Systems with FlexRay Protocol}, booktitle = {Formal Techniques for Safety-Critical Systems - Second International Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013. Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {419}, pages = {36--53}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-05416-2\_4}, doi = {10.1007/978-3-319-05416-2\_4}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ftscs/GuoLYA13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ftscs/TraichaiyapornA13, author = {Kriangkrai Traichaiyaporn and Toshiaki Aoki}, editor = {Cyrille Artho and Peter Csaba {\"{O}}lveczky}, title = {Refinement Tree and Its Patterns: {A} Graphical Approach for Event-B Modeling}, booktitle = {Formal Techniques for Safety-Critical Systems - Second International Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013. Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {419}, pages = {246--261}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-05416-2\_16}, doi = {10.1007/978-3-319-05416-2\_16}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ftscs/TraichaiyapornA13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icst/YatsuAKHFAF13, author = {Hirokazu Yatsu and Takahiro Ando and Weiqiang Kong and Kenji Hisazumi and Akira Fukuda and Toshiaki Aoki and Kokichi Futatsugi}, title = {Towards Formal Description of Standards for Automotive Operating Systems}, booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013}, pages = {13--14}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/ICSTW.2013.8}, doi = {10.1109/ICSTW.2013.8}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icst/YatsuAKHFAF13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qsic/ZhangAYZL13, author = {Haitao Zhang and Toshiaki Aoki and Kenro Yatake and Min Zhang and Hsin{-}Hung Lin}, title = {An Approach for Checking {OSEK/VDX} Applications}, booktitle = {2013 13th International Conference on Quality Software, Najing, China, July 29-30, 2013}, pages = {113--116}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/QSIC.2013.62}, doi = {10.1109/QSIC.2013.62}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qsic/ZhangAYZL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sose/KikuchiA13, author = {Shinji Kikuchi and Toshiaki Aoki}, title = {Evaluation of Operational Vulnerability in Cloud Service Management Using Model Checking}, booktitle = {Seventh {IEEE} International Symposium on Service-Oriented System Engineering, {SOSE} 2013, San Francisco, CA, USA, March 25-28, 2013}, pages = {37--48}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/SOSE.2013.31}, doi = {10.1109/SOSE.2013.31}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sose/KikuchiA13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/LinAK12, author = {Hsin{-}Hung Lin and Toshiaki Aoki and Takuya Katayama}, title = {Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking}, journal = {{IEICE} Trans. Inf. Syst.}, volume = {95-D}, number = {7}, pages = {1882--1893}, year = {2012}, url = {https://doi.org/10.1587/transinf.E95.D.1882}, doi = {10.1587/TRANSINF.E95.D.1882}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ieicet/LinAK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/HungNAK12, author = {Pham Ngoc Hung and Viet Ha Nguyen and Toshiaki Aoki and Takuya Katayama}, title = {On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification}, journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.}, volume = {95-A}, number = {9}, pages = {1451--1460}, year = {2012}, url = {https://doi.org/10.1587/transfun.E95.A.1451}, doi = {10.1587/TRANSFUN.E95.A.1451}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ieicet/HungNAK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/YatakeA12, author = {Kenro Yatake and Toshiaki Aoki}, title = {SMT-based enumeration of object graphs from {UML} class diagrams}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {37}, number = {4}, pages = {1--8}, year = {2012}, url = {https://doi.org/10.1145/2237796.2237812}, doi = {10.1145/2237796.2237812}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/YatakeA12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/YatakeA12, author = {Kenro Yatake and Toshiaki Aoki}, editor = {Abhik Roychoudhury and Meenakshi D'Souza}, title = {Model Checking of {OSEK/VDX} {OS} Design Model Based on Environment Modeling}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7521}, pages = {183--197}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-32943-2\_15}, doi = {10.1007/978-3-642-32943-2\_15}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictac/YatakeA12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rivf/HungNAK12, author = {Pham Ngoc Hung and Viet Ha Nguyen and Toshiaki Aoki and Takuya Katayama}, title = {An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification}, booktitle = {2012 {IEEE} {RIVF} International Conference on Computing {\&} Communication Technologies, Research, Innovation, and Vision for the Future (RIVF), Ho Chi Minh City, Vietnam, February 27 - March 1, 2012}, pages = {1--6}, publisher = {{IEEE}}, year = {2012}, url = {https://doi.org/10.1109/rivf.2012.6169862}, doi = {10.1109/RIVF.2012.6169862}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rivf/HungNAK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/TanizakiAK12, author = {Hiroaki Tanizaki and Toshiaki Aoki and Takuya Katayama}, title = {A Variability Management Method for Software Configuration Files}, booktitle = {Proceedings of the 24th International Conference on Software Engineering {\&} Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood City, San Francisco Bay, {USA} July 1-3, 2012}, pages = {672--677}, publisher = {Knowledge Systems Institute Graduate School}, year = {2012}, timestamp = {Thu, 12 Mar 2020 11:30:50 +0100}, biburl = {https://dblp.org/rec/conf/seke/TanizakiAK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/soict/VuA12, author = {Dieu{-}Huong Vu and Toshiaki Aoki}, editor = {Eric Castelli and Khanh Tran Duc and Chi Mai Luong and Viet Tran}, title = {Faithfully formalizing {OSEK/VDX} operating system specification}, booktitle = {Symposium on Information and Communication Technology 2012, SoICT '12, Halong City, Quang Ninh , Viet Nam, August 23-24, 2012}, pages = {13--20}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2350716.2350721}, doi = {10.1145/2350716.2350721}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/soict/VuA12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icfem/2012, editor = {Toshiaki Aoki and Kenji Taguchi}, title = {Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November 12-16, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7635}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-34281-3}, doi = {10.1007/978-3-642-34281-3}, isbn = {978-3-642-34280-6}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfem/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/ChenA11, author = {Jiang Chen and Toshiaki Aoki}, editor = {Tran Dan Thu and Karl R. P. H. Leung}, title = {Conformance Testing for {OSEK/VDX} Operating System Using Model Checking}, booktitle = {18th Asia Pacific Software Engineering Conference, {APSEC} 2011, Ho Chi Minh, Vietnam, December 5-8, 2011}, pages = {274--281}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/APSEC.2011.26}, doi = {10.1109/APSEC.2011.26}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/ChenA11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecbs/LinAK11, author = {Hsin{-}Hung Lin and Toshiaki Aoki and Takuya Katayama}, title = {Automated Adaptor Generation for Services Based on Pushdown Model Checking}, booktitle = {18th {IEEE} International Conference and Workshops on the Engineering of Computer-Based Systems, {ECBS} 2011, Las Vegas, NV, USA, 27-29 April, 2011}, pages = {130--139}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/ECBS.2011.33}, doi = {10.1109/ECBS.2011.33}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ecbs/LinAK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icws/PacharoenASB11, author = {Warawoot Pacharoen and Toshiaki Aoki and Athasit Surarerks and Pattarasinee Bhattarakosol}, title = {Conformance Verification between Web Service Choreography and Implementation Using Learning and Model Checking}, booktitle = {{IEEE} International Conference on Web Services, {ICWS} 2011, Washington, DC, USA, July 4-9, 2011}, pages = {722--723}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/ICWS.2011.113}, doi = {10.1109/ICWS.2011.113}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icws/PacharoenASB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/HungNAK10, author = {Pham Ngoc Hung and Viet Ha Nguyen and Toshiaki Aoki and Takuya Katayama}, title = {A Minimized Assumption Generation Method for Component-Based Software Verification}, journal = {{IEICE} Trans. Inf. Syst.}, volume = {93-D}, number = {8}, pages = {2172--2181}, year = {2010}, url = {https://doi.org/10.1587/transinf.E93.D.2172}, doi = {10.1587/TRANSINF.E93.D.2172}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ieicet/HungNAK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isorc/LinAK10, author = {Hsin{-}Hung Lin and Toshiaki Aoki and Takuya Katayama}, title = {Non-regular Adaptation of Services Using Model Checking}, booktitle = {13th {IEEE} International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, {ISORC} 2010, Carmona, Sevilla, Spain, 5-6 May 2010}, pages = {170--174}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/ISORC.2010.30}, doi = {10.1109/ISORC.2010.30}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isorc/LinAK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rtcsa/SathawornwichitAK10, author = {Chaiwat Sathawornwichit and Toshiaki Aoki and Takuya Katayama}, title = {Modeling of Real-Time System Designs for Parametric Analysis}, booktitle = {16th {IEEE} International Conference on Embedded and Real-Time Computing Systems and Applications, {RTCSA} 2010, Macau, SAR, China, 23-25 August 2010}, pages = {81--91}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/RTCSA.2010.28}, doi = {10.1109/RTCSA.2010.28}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rtcsa/SathawornwichitAK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spin/YatakeA10, author = {Kenro Yatake and Toshiaki Aoki}, editor = {Jaco van de Pol and Michael Weber}, title = {Automatic Generation of Model Checking Scripts Based on Environment Modeling}, booktitle = {Model Checking Software - 17th International {SPIN} Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6349}, pages = {58--75}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16164-3\_5}, doi = {10.1007/978-3-642-16164-3\_5}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/spin/YatakeA10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/HungAK09, author = {Pham Ngoc Hung and Toshiaki Aoki and Takuya Katayama}, title = {Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software}, journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.}, volume = {92-A}, number = {11}, pages = {2772--2780}, year = {2009}, url = {https://doi.org/10.1587/transfun.E92.A.2772}, doi = {10.1587/TRANSFUN.E92.A.2772}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ieicet/HungAK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigcse/TaharaYTAH09, author = {Yasuyuki Tahara and Nobukazu Yoshioka and Kenji Taguchi and Toshiaki Aoki and Shinichi Honiden}, title = {Evolution of a course on model checking for practical applications}, journal = {{ACM} {SIGCSE} Bull.}, volume = {41}, number = {2}, pages = {38--44}, year = {2009}, url = {https://doi.org/10.1145/1595453.1595460}, doi = {10.1145/1595453.1595460}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sigcse/TaharaYTAH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigcse/NishiharaSHATK09, author = {Hideaki Nishihara and Koichi Shinozaki and Koji Hayamizu and Toshiaki Aoki and Kenji Taguchi and Fumihiro Kumeno}, title = {Model checking education for software engineers in Japan}, journal = {{ACM} {SIGCSE} Bull.}, volume = {41}, number = {2}, pages = {45--50}, year = {2009}, url = {https://doi.org/10.1145/1595453.1595461}, doi = {10.1145/1595453.1595461}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sigcse/NishiharaSHATK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/HungAK09, author = {Pham Ngoc Hung and Toshiaki Aoki and Takuya Katayama}, editor = {Martin Leucker and Carroll Morgan}, title = {A Minimized Assumption Generation Method for Component-Based Software Verification}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5684}, pages = {277--291}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-03466-4\_18}, doi = {10.1007/978-3-642-03466-4\_18}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictac/HungAK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isorc/AokiSHK09, author = {Toshiaki Aoki and Tadashi Sekiguchi and Masayuki Hirayama and Tomoji Kishi}, title = {Detecting and Analyzing State Inconsistencies in Multi-task Software}, booktitle = {2009 {IEEE} International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, {ISORC} 2009, Tokyo, Japan, 17-20 March 2009}, pages = {326--330}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/ISORC.2009.32}, doi = {10.1109/ISORC.2009.32}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isorc/AokiSHK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwpse/HungAK09, author = {Pham Ngoc Hung and Toshiaki Aoki and Takuya Katayama}, editor = {Tom Mens and Kim Mens and Michel Wermelinger}, title = {An effective framework for assume-guarantee verification of evolving component-based software}, booktitle = {Proceedings of the joint international and annual {ERCIM} workshops on Principles of software evolution {(IWPSE)} and software evolution (Evol) workshops, Amsterdam, Netherlands, August 24-28, 2009}, pages = {109--118}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1595808.1595829}, doi = {10.1145/1595808.1595829}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iwpse/HungAK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isorc/Aoki08, author = {Toshiaki Aoki}, title = {Model Checking Multi-Task Software on Real-Time Operating Systems}, booktitle = {11th {IEEE} International Symposium on Object-Oriented Real-Time Distributed Computing {(ISORC} 2008), 5-7 May 2008, Orlando, Florida, {USA}}, pages = {551--555}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/ISORC.2008.46}, doi = {10.1109/ISORC.2008.46}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isorc/Aoki08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/AokiK07, author = {Toshiaki Aoki and Takuya Katayama}, title = {Statechart-based Verification of Object-Oriented Design Models}, booktitle = {14th Asia-Pacific Software Engineering Conference {(APSEC} 2007), 5-7 December 2007, Nagoya, Japan}, pages = {278--285}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/APSEC.2007.86}, doi = {10.1109/APSEC.2007.86}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/AokiK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/splc/LeeJAM07, author = {Jaejoon Lee and Isabel John and Toshiaki Aoki and John D. McGregor}, title = {{SPLC} 2007 Dectoral Symposium}, booktitle = {Software Product Lines, 11th International Conference, {SPLC} 2007, Kyoto, Japan, September 10-14, 2007, Proceedings. Second Volume (Workshops)}, pages = {155--156}, publisher = {Kindai Kagaku Sha Co. Ltd., Tokyo, Japan}, year = {2007}, timestamp = {Tue, 10 Mar 2009 09:43:04 +0100}, biburl = {https://dblp.org/rec/conf/splc/LeeJAM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/KatayamaNYKNOYAOU05, author = {Takuya Katayama and Tatsuo Nakajima and Taiichi Yuasa and Tomoji Kishi and Shin Nakajima and Shuichi Oikawa and Masahiro Yasugi and Toshiaki Aoki and Mitsutaka Okazaki and Seiji Umatani}, title = {Highly Reliable Embedded Software Development Using Advanced Software Technologies}, journal = {{IEICE} Trans. Inf. Syst.}, volume = {88-D}, number = {6}, pages = {1105--1116}, year = {2005}, url = {https://doi.org/10.1093/ietisy/e88-d.6.1105}, doi = {10.1093/IETISY/E88-D.6.1105}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ieicet/KatayamaNYKNOYAOU05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/YatakeAK05, author = {Kenro Yatake and Toshiaki Aoki and Takuya Katayama}, editor = {Dang Van Hung and Martin Wirsing}, title = {Implementing Application-Specific Object-Oriented Theories in {HOL}}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3722}, pages = {501--516}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11560647\_33}, doi = {10.1007/11560647\_33}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictac/YatakeAK05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isorc/AokiK05, author = {Toshiaki Aoki and Takuya Katayama}, title = {Formalization and Analysis of Dataflow in Object-Oriented Design Models}, booktitle = {Eighth {IEEE} International Symposium on Object-Oriented Real-Time Distributed Computing {(ISORC} 2005), 18-20 May 2005, Seattle, WA, {USA}}, pages = {95--105}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/ISORC.2005.28}, doi = {10.1109/ISORC.2005.28}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isorc/AokiK05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwpse/AokiK04, author = {Toshiaki Aoki and Takuya Katayama}, title = {Foundations for Evolutionary Construction of State Transition Models}, booktitle = {7th International Workshop on Principles of Software Evolution {(IWPSE} 2004), 6-7 September 2004, Kyoto, Japan}, pages = {143--146}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/IWPSE.2004.1334779}, doi = {10.1109/IWPSE.2004.1334779}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iwpse/AokiK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vveis/YatakeAK04, author = {Kenro Yatake and Toshiaki Aoki and Takuya Katayama}, editor = {Juan Carlos Augusto and Ulrich Ultes{-}Nitsche}, title = {Collaboration-based verification of Object-Oriented models in {HOL}}, booktitle = {Verification and Validation of Enterprise Information Systems, Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems, {VVEIS} 2004, In conjunction with {ICEIS} 2004, Porto, Portugal, April 2004}, pages = {78--80}, publisher = {{INSTICC} Press}, year = {2004}, timestamp = {Fri, 25 Jun 2004 15:11:15 +0200}, biburl = {https://dblp.org/rec/conf/vveis/YatakeAK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wstfeus/KishiANNK04, author = {Tomoji Kishi and Toshiaki Aoki and Shin Nakajima and Natsuko Noda and Takuya Katayama}, title = {Project Report: High-Reliable Object-Oriented Embedded Software Design}, booktitle = {2nd {IEEE} Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, {WSTFEUS} 2004, Vienna, Austria, May 11-12, 2004}, pages = {144--148}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/WSTFES.2004.1300430}, doi = {10.1109/WSTFES.2004.1300430}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wstfeus/KishiANNK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/OkazakiAK02, author = {Mitsutaka Okazaki and Toshiaki Aoki and Takuya Katayama}, title = {Extracting threads from concurrent objects for the design of embedded systems}, booktitle = {9th Asia-Pacific Software Engineering Conference {(APSEC} 2002), 4-6 December 2002, Gold Coast, Queensland, Australia}, pages = {107--116}, publisher = {{IEEE} Computer Society}, year = {2002}, url = {https://doi.org/10.1109/APSEC.2002.1182980}, doi = {10.1109/APSEC.2002.1182980}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/OkazakiAK02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uml/AokiTK01, author = {Toshiaki Aoki and Takaaki Tateishi and Takuya Katayama}, editor = {Andy Evans and Robert B. France and Ana M. D. Moreira and Bernhard Rumpe}, title = {An Axiomatic Formalization of {UML} Models}, booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the {\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto, Canada}, series = {{LNI}}, volume = {{P-7}}, pages = {13--28}, publisher = {{GI}}, year = {2001}, url = {https://dl.gi.de/handle/20.500.12116/30860}, timestamp = {Tue, 04 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/uml/AokiTK01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/AokiK98, author = {Toshiaki Aoki and Takuya Katayama}, title = {Unification and Consistency Verification of Object-Oriented Analysis Models}, booktitle = {5th Asia-Pacific Software Engineering Conference {(APSEC} '98), 2-4 December 1998, Taipei, Taiwan, {ROC}}, pages = {296--303}, publisher = {{IEEE} Computer Society}, year = {1998}, url = {https://doi.org/10.1109/APSEC.1998.733732}, doi = {10.1109/APSEC.1998.733732}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/AokiK98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.