ARTHO Cyrille Artho Cyrille

Researcher Number	30462831
Affiliation (based on the past Project Information) *help	2015 – 2016: 国立研究開発法人産業技術総合研究所, 情報技術研究部門, 主任研究員 2015: 国立研究開発法人産業技術総合研究所, 情報セキュリティセンター, 研究員 2015: 産業技術総合研究所, 情報セキュリティセンター, 研究員 2014: 独立行政法人産業技術総合研究所, 情報セキュリティセンター, 研究員 2013 – 2014: 独立行政法人産業技術総合研究所, セキュアシステム研究部門, 主任研究員 … More 2013: 独立行政法人産業技術総合研究所, その他部局等, 研究員 2010 – 2013: 独立行政法人産業技術総合研究所, 情報セキュリティ研究センター, 研究員 2012: 独立行政法人産業技術総合研究所, セキュアシステム研究部門, 研究員 2008 – 2011: 産業技術総合研究所, 情報セキュリティ研究センター, 研究員 Less
Review Section/Research Field	Except Principal Investigator Software / Software
Keywords	Except Principal Investigator チェックポインティング / モデル検査 / ネットワークソフトウェア / 実行時検証 / 実環境モデル検査 / クラウドコンピューティング / ソフトウェアモデル検査 / 仕様記述・仕様検証 / 仮想計算機

Integrated Runtime Monitoring of Network Software by Fusion of Runtime Verification and Model Checking
- Principal Investigator
  
  Yamamoto Mitsuharu
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Chiba University
Software model checking methods for cloud computing middleware
- Principal Investigator
  
  Hagiya Masami
- Project Period (FY)
  2011 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  The University of Tokyo
Model Checking Network Applications using Distributed Checkpointing
- Principal Investigator
  
  YAMAMOTO Mitsuharu
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Chiba University
Communication Backtracking by Virtual Machines and Applications to Model Checking
- Principal Investigator
  
  YAMAMOTO Mitsuharu
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Chiba University

All 2017 2016 2015 2014 2013 2012 2011 2010 2009 Other

All Journal Article Presentation

[Journal Article] Model-based API Testing of Apache ZooKeeper2017
- Author(s)
  Cyrille Valentin Artho, Quentin Gros, Guillaume Rousset, Kazuaki Banzai, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, and Mitsuharu Yamamoto
- Journal Title
  
  10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)
  
  Volume: 印刷中
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-26280019
[Journal Article] Runtime Monitoring for Concurrent Systems2016
- Author(s)
  Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, and Mitsuharu Yamamoto
- Journal Title
  
  Runtime Verification - 16th International Conference, (RV 2016)
  
  Volume: LNCS 10012 Pages: 386-403
- DOI
  10.1007/978-3-319-46982-9_24
- ISBN
  9783319469812, 9783319469829
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-26280019
[Journal Article] Guiding random test generation with program analysis2016
- Author(s)
  Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Johannes Gmeiner, Rudolf Ramler
- Journal Title
  
  Proc Software Engineering 2016
  
  Volume: 2016 Pages: 15-16
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23240003
[Journal Article] Classification of Randomly Generated Test Cases2016
- Author(s)
  Cyrille Artho, Lei Ma
- Journal Title
  
  1st International Workshop on Validating Software Tests
  
  Volume: 印刷中
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-26280019
[Journal Article] Java Pathfinder on Android Devices2016
- Author(s)
  Alexander Kohan, Mitsuharu Yamamoto, Cyrille Artho, Yoriyuki Yamagata, Lei Ma, Masami Hagiya, and Yoshinori Tanabe
- Journal Title
  
  ACM SIGSOFT Software Engineering Notes
  
  Volume: 41(6) Issue: 6 Pages: 1-5
- DOI
  10.1145/3011286.3011292
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-26280019
[Journal Article] Precondition Coverage in Software Testing2016
- Author(s)
  Cyrille Artho, Guillaume Rousset, Quentin Gros
- Journal Title
  
  1st International Workshop on Validating Software Tests
  
  Volume: 印刷中
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280019
[Journal Article] Model-Based Testing of Stateful APIs with Modbat2015
- Author(s)
  Cyrille Artho, Martina Seidl, Quentin Gros, Eun-Hye Choi, Takashi Kitamura, Akira Mori, Rudolf Ramler, Yoriyuki Yamagata
- Journal Title
  
  Proc 30th IEEE/ACM International Conference on Automated Software Engineering
  
  Volume: 2015 Pages: 858-863
- DOI
  10.1109/ase.2015.95
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-26280019
[Journal Article] Software Model Checking of UDP-based Distributed Applications2015
- Author(s)
  Nazim Sebih, Masami Hagiya, Franz Weitl, Mitsuharu Yamamoto, Cyrille Artho, Yoshinori Tanabe
- Journal Title
  
  International Journal of Networking and Computing
  
  Volume: 5 Issue: 2 Pages: 373-402
- DOI
  10.15803/ijnc.5.2_373
- NAID
  130005091737
- ISSN
  2185-2839, 2185-2847
- Language
  English
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-26280019
[Journal Article] GRT: An Automated Test Generator Using Orchestrated Program Analysis2015
- Author(s)
  Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Johannes Gmeiner, Rudolf Ramler
- Journal Title
  
  Proc 30th IEEE/ACM International Conference on Automated Software Engineering
  
  Volume: 2015 Pages: 842-847
- DOI
  10.1109/ase.2015.102
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-26280019
[Journal Article] GRT at the SBST 2015 Tool Competition2015
- Author(s)
  Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
- Journal Title
  
  Proc 8th IEEE/ACM International Workshop on Search-Based Software Testing
  
  Volume: 2015 Pages: 48-51
- DOI
  10.1109/sbst.2015.19
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-26280019
[Journal Article] Cardinality of UDP Transmission Outcomes2015
- Author(s)
  Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto
- Journal Title
  
  Proc 1st International Symposium on Dependable Software Engineering: Theories, Tools, and Applications
  
  Volume: 2015 Pages: 120-134
- DOI
  10.1007/978-3-319-25942-0_8
- ISBN
  9783319259413, 9783319259420
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-26280019
[Journal Article] Domain-Specific Languages with Scala2015
- Author(s)
  Cyrille Artho, Klaus Havelund, Rahul Kumar, Yoriyuki Yamagata
- Journal Title
  
  Proc 17th International Conference on Formal Engineering Methods
  
  Volume: 2015 Pages: 1-16
- DOI
  10.1007/978-3-319-25423-4_1
- ISBN
  9783319254227, 9783319254234
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-26280019
[Journal Article] Software Model Checking of UDP-based Distributed Applications2015
- Author(s)
  Nazim Sebih, Masami Hagiya, Franz Weitl, Mitsuharu Yamamoto, Cyrille Artho, Yoshinori Tanabe
- Journal Title
  
  International Journal of Networking and Computing
  
  Volume: 5 Pages: 373-402
- NAID
  130005091737
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-23240003
[Journal Article] Using Checkpointing and Virtualization for Fault Injection2015
- Author(s)
  Cyrille Artho, Kuniyasu Suzaki, Masami Hagiya, Watcharin Leungwattanakit, Richard Potter, Eric Platon, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
- Journal Title
  
  International Journal of Networking and Computing
  
  Volume: 5 Issue: 2 Pages: 347-372
- DOI
  10.15803/ijnc.5.2_347
- NAID
  130005091738
- ISSN
  2185-2839, 2185-2847
- Language
  English
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-26280019
[Journal Article] GRT: Program-Analysis-Guided Random Testing2015
- Author(s)
  Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Johannes Gmeiner, Rudolf Ramler
- Journal Title
  
  Proc 30th IEEE/ACM International Conference on Automated Software Engineering
  
  Volume: 2015 Pages: 212-223
- DOI
  10.1109/ase.2015.49
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-26280019
[Journal Article] Using Checkpointing and Virtualization for Fault Injection2014
- Author(s)
  Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Eric Platon, Richard Potter, Kuniyasu Suzaki, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
- Journal Title
  
  Proc. Second International Symposium on Computing and Networking
  
  Volume: 2014 Pages: 144-150
- DOI
  10.1109/candar.2014.45
- NAID
  130005091738
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-26280019
[Journal Article] Software Model Checking of UDP-based Distributed Applications2014
- Author(s)
  Nazim Sebih, Franz Weitl, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
- Journal Title
  
  Proc. Second International Symposium on Computing and Networking
  
  Volume: 2014 Pages: 96-105
- DOI
  10.1109/candar.2014.66
- NAID
  130005091737
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-26280019
[Journal Article] A Knoppix-based demonstration environment for JPF2014
- Author(s)
  Richard Potter, Cyrille Artho, Kuniyasu Suzaki, Masami Hagiya
- Journal Title
  
  ACM SIGSOFT Software Engineering Notes
  
  Volume: 39 Issue: 1 Pages: 1-5
- DOI
  10.1145/2557833.2560574
- Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23240003
[Journal Article] Modular Software Model Checking for Distributed Systems2014
- Author(s)
  Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto, and Koichi Takahashi
- Journal Title
  
  IEEE Transactions on Software Engineering
  
  Volume: - Issue: 5 Pages: 483-501
- DOI
  10.1109/tse.2013.49
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-23300004
[Journal Article] Modbat: A Model-Based API Tester for Event-Driven Systems2013
- Author(s)
  Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, and Mitsuharu Yamamoto
- Journal Title
  
  Proceedings of the 9th Haifa Verification Conference, Lecture Notes in Computer Science
  
  Volume: 8244 Pages: 112-128
- DOI
  10.1007/978-3-319-03077-7_8
- ISBN
  9783319030760, 9783319030777
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-23300004
[Journal Article] Implementation of a Memory Disclosure Attack on Memory Deduplication of Virtual Machines2013
- Author(s)
  K. Suzaki, K. Iijima, T. Yagi, C. Artho
- Journal Title
  
  IEICE Trans. Fundamentals
  
  Volume: E96.A Issue: 1 Pages: 215-224
- DOI
  10.1587/transfun.E96.A.215
- NAID
  10031167105
- ISSN
  0916-8508, 1745-1337
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23240003
[Journal Article] Software Model Checking for Distributed Systems with Selector-Based, Non-blocking Communication2013
- Author(s)
  Cyrille Artho, Masami Hagiya, Richard Potter, Yoshinori Tanabe, Franz Weitl, and Mitsuharu Yamamoto
- Journal Title
  
  28th IEEE/ACM International Conference on Automated Software Engineering
  
  Volume: - Pages: 169-179
- DOI
  10.1109/ase.2013.6693077
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-23300004, KAKENHI-PROJECT-23300011
[Journal Article] Why Do Software Packages Conflict?2012
- Author(s)
  C. Artho, K. Suzaki, R. di Cosmo, R. Treinen, S. Zacchiroli
- Journal Title
  
  9th IEEE Working Conference of Mining Software Repositories
  
  Volume: - Pages: 141-150
- DOI
  10.1109/msr.2012.6224274
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23240003
[Journal Article] Model checking distributed systems by combining caching and process checkpointing2011
- Author(s)
  Watcharin Leungwattanakit
- Journal Title
  
  26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)
  
  Volume: 1 Pages: 103-112
- DOI
  10.1109/ase.2011.6100043
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500006, KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-23300004, KAKENHI-PROJECT-23300011
[Journal Article] Model Checking of Concurrent Algorithms : From Java to C2010
- Author(s)
  Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto
- Journal Title
  
  IFIP Advances in Information and Communication Technology Vol.329
  
  Pages: 90-101
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300006
[Journal Article] Model Checking of Concurrent Algorithms : From Java to C2010
- Author(s)
  Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto
- Journal Title
  
  IFIP Advances in Information and Communication Technology
  
  Volume: 329 Pages: 90-101
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300006
[Journal Article] Model Checking of Concurrent Algorithms : From Java to C2010
- Author(s)
  Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto
- Journal Title
  
  DIPES 2010 : IFIP Conference on Distributed and Parallel Embedded Systems (掲載確定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300006
[Journal Article] Run-Time Verification of Networked Software2010
- Author(s)
  Cyrille Valentin Artho
- Journal Title
  
  Proceedings of the First international conference on Runtime verification
  
  Pages: 59-73
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300006
[Journal Article] Cache-based Model Checking of Networked Applications : From Linear to Branching Time2009
- Author(s)
  Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
- Journal Title
  
  24th IEEE/ACM International Conference on Automated Software Engineering
  
  Pages: 447-458
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300006
[Journal Article] Introduction of virtualization technology to multi-process model checking2009
- Author(s)
  Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
- Journal Title
  
  First NASA Formal Methods Symposium, NASA Conference Publication
  
  Pages: 106-110
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300006
[Journal Article] Verifying networked programs using a model checker extension2009
- Author(s)
  Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
- Journal Title
  
  31st International Conference on Software Engineering, Companion Volume
  
  Pages: 409-410
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300006
[Journal Article] Cache-based Model Checking of Networked Applicattions : From Linear to Branching Time2009
- Author(s)
  Cyrille Artho, Watcharin Leung wattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
- Journal Title
  
  24th IEEE/ACM International Conference on Automated Software Engineering
  
  Pages: 447-458
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300006
[Presentation] Classification of Randomly Generated Test Cases2016
- Author(s)
  Cyrille Artho, Lei Ma
- Organizer
  1st International Workshop on Validating Software Tests
- Place of Presentation
  大阪大学 (大阪府大阪市)
- Year and Date
  2016-03-15
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23240003
[Presentation] Domain-Specific Languages with Scala2016
- Author(s)
  Cyrille Artho
- Organizer
  ScalaMatsuri 2016
- Place of Presentation
  東京国際交流館(東京都江東区)
- Year and Date
  2016-01-31
- Data Source
  KAKENHI-PROJECT-26280019
[Presentation] Monitoring Distributed Applications with Java Pathfinder2016
- Author(s)
  Lei Ma, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Alexander Kohan and Mitsuharu Yamamoto
- Organizer
  Java Pathfinder Workshop 2016
- Place of Presentation
  Seattle, USA
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280019
[Presentation] Classification of Randomly Generated Test Cases2016
- Author(s)
  Cyrille Artho, Lei Ma
- Organizer
  1st International Workshop on Validating Software Tests
- Place of Presentation
  大阪大学(大阪府吹田市)
- Year and Date
  2016-03-15
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280019
[Presentation] Precondition Coverage in Software Testing2016
- Author(s)
  Cyrille Artho
- Organizer
  1st International Workshop on Validating Software Tests
- Place of Presentation
  大阪大学(大阪府吹田市)
- Year and Date
  2016-03-15
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280019
[Presentation] Precondition Coverage in Software Testing2016
- Author(s)
  Cyrille Artho, Guillaume Rousset, Quentin Gros
- Organizer
  1st International Workshop on Validating Software Tests
- Place of Presentation
  大阪大学 (大阪府大阪市)
- Year and Date
  2016-03-15
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23240003
[Presentation] Model-Based Testing of Stateful APIs with Modbat2015
- Author(s)
  Cyrille Artho
- Organizer
  30th IEEE/ACM International Conference on Automated Software Engineering
- Place of Presentation
  Lincoln (USA)
- Year and Date
  2015-11-13
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280019
[Presentation] Domain-Specific Languages with Scala2015
- Author(s)
  Cyrille Artho
- Organizer
  17th International Conference on Formal Engineering Methods, ICFEM 2015
- Place of Presentation
  Paris (France)
- Year and Date
  2015-11-05
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280019
[Presentation] Domain-Specific Languages with Scala2015
- Author(s)
  Cyrille Artho, Klaus Havelund, Rahul Kumar, Yoriyuki Yamagata
- Organizer
  17th International Conference on Formal Engineering Methods
- Place of Presentation
  パリ (フランス)
- Year and Date
  2015-12-05
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23240003
[Presentation] GRT at the SBST 2015 Tool Competition2015
- Author(s)
  Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
- Organizer
  8th IEEE/ACM International Workshop on Search-Based Software Testing
- Place of Presentation
  フィレンツェ (イタリア)
- Year and Date
  2015-05-02
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23240003
[Presentation] Model-Based Testing of Stateful APIs with Modbat2015
- Author(s)
  Cyrille Artho, Martina Seidl, Quentin Gros, Eun-Hye Choi, Takashi Kitamura, Akira Mori, Rudolf Ramler, Yoriyuki Yamagata
- Organizer
  30th IEEE/ACM International Conference on Automated Software Engineering
- Place of Presentation
  リンカーン (米国)
- Year and Date
  2015-11-13
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23240003
[Presentation] GRT: An Automated Test Generator Using Orchestrated Program Analysis2015
- Author(s)
  Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Johannes Gmeiner, Rudolf Ram\ ler
- Organizer
  30th IEEE/ACM International Conference on Automated Software Engineering
- Place of Presentation
  リンカーン (米国)
- Year and Date
  2015-11-12
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23240003
[Presentation] GRT: Program-Analysis-Guided Random Testing2015
- Author(s)
  Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Johannes Gmeiner, Rudolf Ramler
- Organizer
  30th IEEE/ACM International Conference on Automated Software Engineering
- Place of Presentation
  リンカーン (米国)
- Year and Date
  2015-11-11
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23240003
[Presentation] Cardinality of UDP Transmission Outcomes2015
- Author(s)
  Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto
- Organizer
  1st International Symposium on Dependable Software Engineering: Theories, Tools, and Applications
- Place of Presentation
  南京 (中国)
- Year and Date
  2015-11-04
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23240003
[Presentation] Using Checkpointing and Virtualization for Fault Injection2014
- Author(s)
  Cyrille Artho
- Organizer
  CANDAR'14: The Second International Symposium on Computing and Networking - Across Practical Development and Theoretical Research -
- Place of Presentation
  静岡県静岡市
- Year and Date
  2014-12-11
- Data Source
  KAKENHI-PROJECT-26280019
[Presentation] With an Open Mind: How to Write Good Models2013
- Author(s)
  C. Artho, K. Hayamizu, R. Ramler, Y. Yamagata
- Organizer
  2nd Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2013)
- Place of Presentation
  Crowne Plaza Hotel, Queenstown (ニュージーランド)
- Data Source
  KAKENHI-PROJECT-23240003
[Presentation] Analyzing Multi-process Java Program by Automatic Centralization2013
- Author(s)
  L. Ma, C. Artho, H. Sato
- Organizer
  2nd IEEE Int. Workshop on Tools in Process
- Place of Presentation
  京都テルサ（京都）
- Data Source
  KAKENHI-PROJECT-23240003
[Presentation] Model-based Testing for Verification Backends2013
- Author(s)
  A. Biere, M. Seidl, C. Artho
- Organizer
  Tests and Proofs (TAP) 2013
- Place of Presentation
  ブダペスト（ハンガリー）
- Data Source
  KAKENHI-PROJECT-23240003
[Presentation] The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis2013
- Author(s)
  J. Mund, R. Huuck, A. Fehnker, C. Artho
- Organizer
  11th Int. Symposium on Automated Technology for Verification and Analysis
- Place of Presentation
  ベトナム国立大学（ベトナム、ハノイ）
- Data Source
  KAKENHI-PROJECT-23240003
[Presentation] Software Model Checking for Distributed Systems with Selector-Based, Non-Blocking Communication2013
- Author(s)
  C. Artho, M. Hagiya, R. Potter, Y. Tanabe, F. Weitl, M. Yamamoto
- Organizer
  28th Int. Conf. on Automated Software Engineering
- Place of Presentation
  Crowne Plaza Cabana（米国、カリフォルニア州）
- Data Source
  KAKENHI-PROJECT-23240003
[Presentation] Modbat: A Model-based API Tester for Event-driven Systems2013
- Author(s)
  C. Artho, A. Biere, M. Hagiya, M. Seidl, E. Platon, Y. Tanabe, M. Yamamoto
- Organizer
  9th Haifa Verification Conference
- Place of Presentation
  IBM Research（イスラエル、Haifa）
- Data Source
  KAKENHI-PROJECT-23240003
[Presentation] Modbat: A model-based API tester for event-driven systems2012
- Author(s)
  Cyrille Artho
- Organizer
  第10回ディペンダブルシステムワークショップ (DSW 2012)
- Place of Presentation
  独立行政法人理化学研究所計算科学研究機構
- Data Source
  KAKENHI-PROJECT-23300004
[Presentation] Effects of Memory Randomization, Sanitization and Page Cache on Memory Deduplication2012
- Author(s)
  K. Suzaki, K. Iijima, T. Yagi, C. Artho
- Organizer
  5th European Workshop on System Security
- Place of Presentation
  ベルン（スイス）
- Data Source
  KAKENHI-PROJECT-23240003
[Presentation] Modbat : A model-based API tester for event-driven systems2012
- Author(s)
  Cyrille Artho
- Organizer
  第10回ディペンダブルシステムワークショップ(DSW2012)
- Place of Presentation
  独立行政法人理化学研究所計算科学研究機構
- Data Source
  KAKENHI-PROJECT-23300004
[Presentation] Modbat: A model-based API tester for event-driven systems2012
- Author(s)
  C. Artho, A. Biere, M. Hagiya, R. Potter, R. Ramler, Y. Tanabe, F. Weitl, M. Yamamoto
- Organizer
  the Dependable Systems Workshop 2012
- Place of Presentation
  計算科学研究機構（兵庫）
- Data Source
  KAKENHI-PROJECT-23240003
[Presentation] Why Do Software Packages Conflict?2012
- Author(s)
  C. Artho, K. Suzaki, R. di Cosmo, R. Treinen, S. Zacchiroli
- Organizer
  9th Working Conference on Mining Software Repositories
- Place of Presentation
  チューリッヒ（スイス）
- Data Source
  KAKENHI-PROJECT-23240003
[Presentation] Model Checking Distributed Systems by Combining Caching and Process Checkpointing2011
- Author(s)
  W. Leungwattanakit, C. Artho, M. Hagiya, Y. Tanabe, M. Yamamoto
- Organizer
  26th Int. Conf. on Automated Software Engineering (ASE 2011)
- Place of Presentation
  Oread, Lawrence, Kan, USA
- Data Source
  KAKENHI-PROJECT-23240003
[Presentation] ネットワークアプリケーションのマスター・スレーブ方式モデル検査アルゴリズムについて2011
- Author(s)
  田辺良則, Cyriile Artho, Watcharin Leungwattanakit, 山本光晴, 萩谷昌己
- Organizer
  日本ソフトウェア科学会第28回大会
- Place of Presentation
  沖縄産業支援センター，沖縄県那覇市
- Data Source
  KAKENHI-PROJECT-23240003
[Presentation] Model Checking Networked Software using I/O caching2009
- Author(s)
  Cyrille Artho
- Organizer
  第6回ディペンダブルシステムシンポジウム(DSS2009)
- Place of Presentation
  大阪大学コンベンションセンター
- Year and Date
  2009-12-15
- Data Source
  KAKENHI-PROJECT-20300006
[Presentation] Model-based testing
- Author(s)
  Cyrille Artho
- Organizer
  Shonan Meeting 2014-16
- Place of Presentation
  湘南国際村センター (神奈川県)
- Year and Date
  2014-12-01 – 2014-12-04
- Data Source
  KAKENHI-PROJECT-23240003
[Presentation] Using Checkpointing and Virtualization for Fault Injection
- Author(s)
  Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Eric Platon, Richard Potter, Kuniyasu Suzaki, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
- Organizer
  The Second International Symposium on Computing and Networking (CANDAR 2014)
- Place of Presentation
  静岡県コンベンションアーツセンター (静岡県)
- Year and Date
  2014-12-10 – 2014-12-12
- Data Source
  KAKENHI-PROJECT-23240003
[Presentation] Software Model Checking of UDP-based Distributed Applications
- Author(s)
  Nazim Sebih, Franz Weitl, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
- Organizer
  The Second International Symposium on Computing and Networking (CANDAR 2014)
- Place of Presentation
  静岡県コンベンションアーツセンター (静岡県)
- Year and Date
  2014-12-10 – 2014-12-12
- Data Source
  KAKENHI-PROJECT-23240003
[Presentation] Analysis of networked and cloud computing software
- Author(s)
  Cyrille Artho
- Organizer
  第2回ソフトウェアと検証のワークショップ
- Place of Presentation
  産業技術総合研究所 (兵庫県)
- Data Source
  KAKENHI-PROJECT-23240003
[Presentation] Analysis of networked and cloud computing software
- Author(s)
  Cyrille Artho
- Organizer
  International Workshop on Embedded Security of System and Software (IWESSS'12)
- Place of Presentation
  National University of Singapore (シンガポール)
- Data Source
  KAKENHI-PROJECT-23240003
[Presentation] Analysis of networked software
- Author(s)
  Cyrille Artho
- Organizer
  第4回新世代ネットワークおよび将来インターネットに関する日欧シンポジウム
- Place of Presentation
  TKP東京駅八重洲カンファレンスセンター (東京都)
- Data Source
  KAKENHI-PROJECT-23240003

1. YAMAMOTO Mitsuharu (00291295)

# of Collaborated Projects: 4 results

# of Collaborated Products: 28 results
2. HAGIYA Masami (30156252)

# of Collaborated Projects: 4 results

# of Collaborated Products: 29 results
3. TANABE Yoshinori (60443199)

# of Collaborated Projects: 4 results

# of Collaborated Products: 28 results
4. WEITL Franz

# of Collaborated Projects: 3 results

# of Collaborated Products: 10 results
5. POTTER Richard

# of Collaborated Projects: 2 results

# of Collaborated Products: 6 results
6. LEUNGWATTANAKIT Watcharin

# of Collaborated Projects: 2 results

# of Collaborated Products: 5 results
7. SEBIH Nazim

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
8. TAKAHASHI Koichi (40357372)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. YOKOYAMA Shigetoshi (10600968)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. 山形頼之 (40415758)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
11. KOHAN Alexander

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
12. MA Lei

# of Collaborated Projects: 1 results

# of Collaborated Products: 6 results

ARTHO Cyrille Artho Cyrille

Research Projects

Research Products

Co-Researchers

Integrated Runtime Monitoring of Network Software by Fusion of Runtime Verification and Model Checking

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Software model checking methods for cloud computing middleware

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Model Checking Network Applications using Distributed Checkpointing

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Communication Backtracking by Virtual Machines and Applications to Model Checking

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Model-based API Testing of Apache ZooKeeper2017

Author(s)

Journal Title

Data Source

[Journal Article] Runtime Monitoring for Concurrent Systems2016

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Guiding random test generation with program analysis2016

Author(s)

Journal Title

Data Source

[Journal Article] Classification of Randomly Generated Test Cases2016

Author(s)

Journal Title

Data Source

[Journal Article] Java Pathfinder on Android Devices2016

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Precondition Coverage in Software Testing2016

Author(s)

Journal Title

Data Source

[Journal Article] Model-Based Testing of Stateful APIs with Modbat2015

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Software Model Checking of UDP-based Distributed Applications2015

Author(s)

Journal Title

DOI

NAID

ISSN

Language

Data Source

[Journal Article] GRT: An Automated Test Generator Using Orchestrated Program Analysis2015

Author(s)

Journal Title

DOI

Data Source

[Journal Article] GRT at the SBST 2015 Tool Competition2015

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Cardinality of UDP Transmission Outcomes2015

Author(s)