石井 大輔  ISHII Daisuke

Proc. 22nd International Conference on Software Quality, Reliability and Security (QRS)

巻: - ページ: 422-433

10.1109/qrs57517.2022.00050

Proc. 23rd International Conference on Formal Engineering Methods (ICFEM)

巻: 13478 ページ: 156-172

10.1007/978-3-031-17244-1_10

Proc. NASA Formal Methods

巻: 13260 ページ: 733-751

10.1007/978-3-031-06773-0_39

Journal of Computational and Applied Mathematics

巻: 377 ページ: 112893-112893

10.1016/j.cam.2020.112893

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

巻: E103.A 号: 2 ページ: 451-461

10.1587/transfun.2019MAP0010

130007793381

Journal of Computational and Applied Mathematics

巻: 377 ページ: 1-13

Proceedings of International Conference on Runtime Verification, Lecture Notes in Computer Science

巻: 10548 ページ: 370-379

10.1007/978-3-319-67531-2_23

Reliable Computing

巻: 23 ページ: 163-185

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

巻: E99.A 号: 2 ページ: 442-453

10.1587/transfun.E99.A.442

130005121531

Reliable Computing

巻: 23 ページ: 163-185

Electronic Notes in Theoretical Computer Science

巻: 317 ページ: 85-100

10.1016/j.entcs.2015.10.009

Lecture Notes in Computer Science

巻: 8656 ページ: 398-406

10.1007/978-3-319-10428-7_30

計測と制御

巻: 53(12) ページ: 1086-1092

130005626615

Artificial Intelligence

巻: 211 ページ: 34-50

10.1016/j.artint.2014.02.001

計測と制御

巻: 53 ページ: 1086-1092

130005626615

In Logics for System Analysis Workshop (LfSA)

ページ: 3-17

http://www.ls.cs.cmu.edu/LfSA12/LfSA12.pdf

Constraints Journal

巻: 17(4) 号: 4 ページ: 432-460

10.1007/s10601-012-9126-y

Int.J.Softw.Tools.Technol.Transfer

巻: Vol.13(未定)

International Journal on Software Tools for Technology Transfer (STTT)

巻: 13 号: 5 ページ: 449-461

10.1007/s10009-011-0193-y

コンピュータソフトウェア

巻: Vol.28, No.1 ページ: 306-311

130004892168

コンピュータソフトウェア Vol.28, No.1

ページ: 306-311

130004892168

Int.J.Softw.Tools.Technol.Transfer Vol.13(掲載決定)

情報処理学会論文誌数理モデル化と応用 1(1)

ページ: 149-159

110006827845

情報処理学会論文誌数理モデル化と応用 1(1)

ページ: 149-159

110006827845

情報処理学会論文誌数理モデル化と応用 Vol.1, No.1

ページ: 149-159

110006827845