Artho Cyrille  ARTHO Cyrille

10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)

巻: 印刷中

Runtime Verification - 16th International Conference, (RV 2016)

巻: LNCS 10012 ページ: 386-403

10.1007/978-3-319-46982-9_24

Proc Software Engineering 2016

巻: 2016 ページ: 15-16

1st International Workshop on Validating Software Tests

巻: 印刷中

ACM SIGSOFT Software Engineering Notes

巻: 41(6) 号: 6 ページ: 1-5

10.1145/3011286.3011292

1st International Workshop on Validating Software Tests

巻: 印刷中

Proc 30th IEEE/ACM International Conference on Automated Software Engineering

巻: 2015 ページ: 858-863

10.1109/ase.2015.95

International Journal of Networking and Computing

巻: 5 号: 2 ページ: 373-402

10.15803/ijnc.5.2_373

130005091737

Proc 30th IEEE/ACM International Conference on Automated Software Engineering

巻: 2015 ページ: 842-847

10.1109/ase.2015.102

Proc 8th IEEE/ACM International Workshop on Search-Based Software Testing

巻: 2015 ページ: 48-51

10.1109/sbst.2015.19

Proc 1st International Symposium on Dependable Software Engineering: Theories, Tools, and Applications

巻: 2015 ページ: 120-134

10.1007/978-3-319-25942-0_8

Proc 17th International Conference on Formal Engineering Methods

巻: 2015 ページ: 1-16

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

International Journal of Networking and Computing

巻: 5 ページ: 373-402

130005091737

International Journal of Networking and Computing

巻: 5 号: 2 ページ: 347-372

10.15803/ijnc.5.2_347

130005091738

Proc 30th IEEE/ACM International Conference on Automated Software Engineering

巻: 2015 ページ: 212-223

10.1109/ase.2015.49

Proc. Second International Symposium on Computing and Networking

巻: 2014 ページ: 144-150

10.1109/candar.2014.45

130005091738

Proc. Second International Symposium on Computing and Networking

巻: 2014 ページ: 96-105

10.1109/candar.2014.66

130005091737

ACM SIGSOFT Software Engineering Notes

巻: 39 号: 1 ページ: 1-5

10.1145/2557833.2560574

IEEE Transactions on Software Engineering

巻: - 号: 5 ページ: 483-501

10.1109/tse.2013.49

Proceedings of the 9th Haifa Verification Conference, Lecture Notes in Computer Science

巻: 8244 ページ: 112-128

10.1007/978-3-319-03077-7_8

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

巻: E96.A 号: 1 ページ: 215-224

10.1587/transfun.E96.A.215

10031167105

28th IEEE/ACM International Conference on Automated Software Engineering

巻: - ページ: 169-179

10.1109/ase.2013.6693077

9th IEEE Working Conference of Mining Software Repositories

巻: - ページ: 141-150

10.1109/msr.2012.6224274

26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)

巻: 1 ページ: 103-112

10.1109/ase.2011.6100043

IFIP Advances in Information and Communication Technology Vol.329

ページ: 90-101

IFIP Advances in Information and Communication Technology

巻: 329 ページ: 90-101

DIPES 2010 : IFIP Conference on Distributed and Parallel Embedded Systems (掲載確定)

Proceedings of the First international conference on Runtime verification

ページ: 59-73

24th IEEE/ACM International Conference on Automated Software Engineering

ページ: 447-458

First NASA Formal Methods Symposium, NASA Conference Publication

ページ: 106-110

31st International Conference on Software Engineering, Companion Volume

ページ: 409-410

24th IEEE/ACM International Conference on Automated Software Engineering

ページ: 447-458