Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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 = {Tue, 23 May 2023 16:51:35 +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}
}
a service of 
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.
last updated on 2024-04-25 02:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
