Cyrille Artho (Selection)

Cyrille Valentin Artho

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

34		Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto: Model checking distributed systems by combining caching and process checkpointing. ASE 2011: 103-112
31		Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto: Model Checking of Concurrent Algorithms: From Java to C. DIPES/BICC 2010: 90-101
29		Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto: Cache-Based Model Checking of Networked Applications: From Linear to Branching Time. ASE 2009: 447-458
27		Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto: Verifying networked programs using a model checker extension. ICSE Companion 2009: 409-410
26		Watcharin Leungwattanakit, Cyrille Valentin Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto: Introduction of Virtualization Technology to Multi-Process Model Checking. NASA Formal Methods 2009: 106-110
24		Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe: Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs. SNPD 2008: 807-813
23		Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe: Tools and Techniques for Model Checking Networked Programs. SNPD 2008: 852-857
22		Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe: Efficient Model Checking of Networked Applications. TOOLS (46) 2008: 22-40

Selection of 8 from 35 records - Cyrille Artho has 30 coauthors

Last update 2012-09-10 CET by the DBLP Team — Content released under the ODC-BY 1.0 license — See also our legal information page