緒方 和博  Ogata Kazuhiro

Proceedings of the 29th International DMS Conference on Visualization and Visual Languages

巻: ISBN 1-891706-57-8 ページ: 1-6

10.18293/dmsviva2023-010

Proceedings of the 35th International Conference on Software Engineering & Knowledge Engineering

巻: ISBN 1-891706-56-X ページ: 103-108

10.18293/seke2023-014

IEEE Access

巻: 10 ページ: 133749-133765

10.1109/access.2022.3230844

IEEE Access

巻: 10 ページ: 24955-24975

10.1109/access.2022.3155629

14th International Workshop on Rewriting Logic and Its Applications

巻: LNCS 13252 ページ: 253-273

10.1007/978-3-031-12441-9_13

34th International Conference on Software Engineering and Knowledge Engineering

巻: NA ページ: 388-393

10.18293/seke2022-058

45th IEEE Computer Society Computers, Software, and Applications Conference

巻: 0 ページ: 854-863

10.1109/compsac51774.2021.00118

Mathematics

巻: 9 号: 4 ページ: 368-368

10.3390/math9040368

7th International Symposium on System and Software Reliability

巻: 0 ページ: 155-166

10.1109/isssr53171.2021.00011

18th International Colloquium on Theoretical Aspects of Computing

巻: 0 ページ: 105-111

10.1007/978-3-030-85315-0_7

The Computer Journal

巻: - 号: 6 ページ: 1353-1364

10.1093/comjnl/bxaa183

27th Asia-Pacific Software Engineering Conference (27th APSEC)

巻: - ページ: 356-364

10.1109/apsec51365.2020.00044

IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)

巻: - ページ: 79-86

10.1109/qrs-c51114.2020.00024

Proc. of 9th International Workshop on SOFL+MSVL

巻: - ページ: 42-58

10.1007/978-3-030-41418-4_4

International Journal of Software Engineering and Knowledge Engineering

巻: 30 号: 10 ページ: 1481-1523

10.1142/s0218194020400215

Frontiers of Computer Science (FCS)

巻: 13(1) ページ: 51-72

Proc. of 2019 International Conference on Advanced Information Technologies

巻: - ページ: 250-255

10.1109/aitc.2019.8920978

Proc. of 31st International Conference on Software Engineering and Knowledge Engineerin

巻: - ページ: 159-164

10.18293/seke2019-021

ACM Transactions on Software Engineering and Methodology

巻: 27(2)

Proceedings of the 25th Asia-Pacific Software Engineering Conference (APSEC 2018)

巻: -

Proceedings of 7th International Workshop on SOFL+MSVL (SOFL+MSVL 2017), LNCS 10795

巻: - ページ: 3-23

Journal of Information Security and Applications (JISA)

巻: 42 ページ: 71-86

Proceedings of the 5th International Conference on Dependable Systems and Their Applications

巻: - ページ: 136-141

Proceedings of the 5th International Conference on Dependable Systems and Their Applications

巻: - ページ: 126-135

Proceedings of 7th International Workshop on SOFL+MSVL (SOFL+MSVL 2017), LNCS 10795

巻: - ページ: 200-217

Proceedings of 6th International Workshop on SOFL + MSVL (SOFL+MSVL 2016), Springer

巻: LNCS 10189 ページ: 201-219

10.1007/978-3-319-57708-1_12

Proc. of IEEE ICDCS 2017

巻: NA

Proceedings of 15th IEEE International Conference on Dependable, Autonomic and Secure Computing (15th DASC)

巻: - ページ: 604-611

Frontiers of Computer Science (FCS)

巻: -

Formal Aspects of Computing, Springer (FAoC)

巻: 29(2) ページ: 309-334

Proceedings of 25th Asia-Pacific Software Engineering Conference (APSEC 2017)

巻: - ページ: 618-623

Proceedings of 37th IEEE International Conference on Distributed Computing Systems

巻: - ページ: 1586-1596

Journal of Information Security and Applications (JISA)

巻: 36 ページ: 101-111

Proceedings of 7th Annual Conference on Software Analysis, Testing and Evolution (SATE 2017)

巻: - ページ: 53-62

Springer Lecture Notes in Computer Science (Fundamental Approaches to Software Engineering, 19th FASE)

巻: 9633 ページ: 377-380

10.1007/978-3-662-49665-7_22

Journal of Information Security and Applications, Elsevier

巻: 31 ページ: 23-40

10.1016/j.jisa.2016.05.001

電子情報通信学会，信学技報

巻: vol.114, no.510, SS2014-55 ページ: 1-6

Proc. of 22nd Asia-Pacific Software Engineering Conference

巻: -

Proc. of 2015 Second International Symposium on Dependable Computing and Internet of Things

巻: - ページ: 30-39

10.1109/dcit.2015.13

Springer Lecture Note in Computer Science (Formal Methods and Software Engineering, 17th ICFEM)

巻: 9407 ページ: 33-49

10.1007/978-3-319-25423-4_3

Springer Lecture Notes in Electrical Engineering (Advances in Computer Science and Ubiquitous Computing)

巻: 373 ページ: 15-21

10.1007/978-981-10-0281-6_3

信学技報

巻: 114 ページ: 49-54

110010001774

Proc. of 2015 Second International Symposium on Dependable Computing and Internet of Things

巻: - ページ: 1-10

10.1109/dcit.2015.23

Technical Report IASI-CNR R. 3, 2014, ISSN: 1128-3378

巻: -

Specification, Algebra, and Software, LNCS, Springer

巻: 8373 ページ: 630-656

10.1007/978-3-642-54624-2_31

IEICE TRANSACTIONS on Information and Systems

巻: E97-D(5) ページ: 1160-1170

130004519231

Pro. of 10th RTA, LNCS, Springer

巻: 8663 ページ: 280-296

10.1007/978-3-319-12904-4_16

Proc. of the 21st Asia-Pacific Software Engineering Conference (21st APSEC), IEEE

巻: -

Specification, Algebra, and Software, LNCS, Springer

巻: 8373 ページ: 92-109

10.1007/978-3-642-54624-2_5

Specification, Algebra, and Software, LNCS, Springer

巻: 8373 ページ: 578-602

10.1007/978-3-642-54624-2_29

Proceedings of the International Conference on Electronics, Information and Communication (ICEIC 2013)

巻: - ページ: 144-145

Proc. of the 37th Annual International Computer Software & Applications Conference (37th COMPSAC), IEEE Computer Society Press

巻: - ページ: 648-657

10.1109/compsac.2013.104

Proceedings of the 20th Asia-Pacific Software Engineering Conference

巻: 0 ページ: 565-570

10.1109/apsec.2013.82

Proc. of the 2nd Workshop on Validation Strategies for Software Evolution (2nd VSSE), ENTCS 294, Elsevier

巻: - ページ: 12-23

10.1016/j.entcs.2013.02.013

120005469624

Proceedings of the International MultiConference of Engineers and Computer Scientists 2013

巻: I, IMECS ページ: 516-521

The Journal of Universal Computer Science (J. UCS)

巻: 19(6) ページ: 771-804

Proceedings of the 20th Asia-Pacific Software Engineering Conference (20th APSEC), IEEE

ページ: 565-570

IAENG International Journal of Computer Science

巻: 40-2 ページ: 117-123

Proceedings of the 37th Annual International Computer Software & Applications Conference (37th COMPSAC)

巻: 0 ページ: 0-0

Proceedings of the 37th Annual International Computer Software & Applications Conference (37th COMPSAC), IEEE Computer Society Press

ページ: 648-657

Proc. of the 20th Asia-Pacific Software Engineering Conference (20th APSEC), IEEE

巻: - ページ: 565-570

Proc.of the International MultiConference of Engineers and Computer Scientists 2012

ページ: 269-274

Theoretical Computer Science (TCS)

巻: 464 ページ: 90-112

10.1016/j.tcs.2012.07.041

Proceedings of the 19th Asia-Pacific Software Engineering Conference (19th APSEC), IEEE

巻: - ページ: 511-516

10.1109/apsec.2012.99

Proceedings of the 14th International Conference on Formal Engineering Methods (14th ICFEM)

巻: Springer LNCS 7635 ページ: 87-102

10.1007/978-3-642-34281-3_9

Proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (5th ISoLA), Part I

巻: Springer LNCS 7610 ページ: 126-142

10.1007/978-3-642-34032-1_15

The Journal of Universal Computer Science (J.UCS)

巻: 18(16) ページ: 2204-2233

Pre-Proceedings of WRLA 2012

ページ: 183-198

Proceedings of the 14th International Conference on Formal Engineering Methods (14th ICFEM)

巻: 7635 ページ: 87-102

Proceedings of the 19th Asia-Pacific Software Engineering Conference　(19th APSEC), IEEE

巻: - ページ: 664-673

10.1109/apsec.2012.100

IEICE TRANSACTIONS on Information and Systems

巻: E94-D(5) ページ: 976-988

10029506958

IEICE TRANSACTIONS on Information and Systems

巻: E94-D(5) ページ: 976-988

10029506958

コンピュータソフトウェア(日本ソフトウェア科学会論文誌) 25

ページ: 78-84

130004549110

IEICE TRANSACTIONS on Information and Systems E91-D(5)

ページ: 1492-1503

10026803820

IEICE TRANSACTIONS on Information and Systems E91-D

ページ: 1492-1503

10026803820

Int'l J.Software Engineeing & Knowledge Engineering 17

ページ: 783-804

Proc.of the 6th Int'l Conf on Integrated Formal Methods LNCS4951

ページ: 393-412

110006386813

IEICE Trans.Fundamentals E90-A

ページ: 1690-1703

110007540867

International Journal of Software Engineering and knowledge Engineering 17・1

ページ: 3-32

Communications, Computer Science E90-A(8)

ページ: 1690-1703

Proc. of the 8^th International Conference on Formal Engineering Methods (LNCS 4260)

ページ: 114-131

120000861068

Proc. of the 6^th International Conference on Quality Software

ページ: 49-56

Proc. of the 18^th International Conference on Software Engineering and knowledge Engineering

ページ: 440-445

Proc. of the 1^st Asian Working Conference on Verified Software

ページ: 48-59