Cyrille Artho

	2009
25		Cyrille Artho: Separation of Transitions, Actions, and Exceptions in Model-Based Testing. EUROCAST 2009: 279-286
24		Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto: Verifying networked programs using a model checker extension. ICSE Companion 2009: 409-410
	2008
23		Cyrille Artho: Iterative Delta Debugging. Haifa Verification Conference 2008: 99-113
22		Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe: Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs. SNPD 2008: 807-813
21		Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe: Tools and Techniques for Model Checking Networked Programs. SNPD 2008: 852-857
20		Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe: Efficient Model Checking of Networked Applications. TOOLS (46) 2008: 22-40
	2007
19		Cyrille Artho, Zhongwei Chen, Shinichi Honiden: AOP-based automated unit test classification of large benchmarks. COMPSAC (2) 2007: 17-22
18		Cyrille Artho, Klaus Havelund, Shinichi Honiden: Visualization of Concurrent Program Executions. COMPSAC (2) 2007: 541-546
17		Cyrille Artho, Boris Zweimüller, Armin Biere, Etsuya Shibayama, Shinichi Honiden: Efficient Model Checking of Applications with Input/Output. EUROCAST 2007: 515-522
16		Cyrille Artho, Christian Sommer, Shinichi Honiden: Model Checking Networked Programs in the Presence of Transmission Failures. TASE 2007: 219-228
	2006
15		Cyrille Artho, Pierre-Loïc Garoche: Accurate Centralization for Applying Model Checking on Networked Applications. ASE 2006: 177-188
14		Cyrille Artho, Armin Biere, Shinichi Honiden: Enforcer - Efficient Failure Injection. FM 2006: 412-427
13		Cyrille Artho, Armin Biere, Shinichi Honiden: Exhaustive Testing of Exception Handlers with Enforcer. FMCO 2006: 26-46
	2005
12		Cyrille Artho, Armin Biere: Combined Static and Dynamic Analysis. Electr. Notes Theor. Comput. Sci. 131: 3-14 (2005)
11		Cyrille Artho, Armin Biere: Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis. Electr. Notes Theor. Comput. Sci. 141(1): 109-128 (2005)
10		Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington: Combining test case generation and runtime verification. Theor. Comput. Sci. 336(2-3): 209-234 (2005)
	2004
9		Cyrille Artho, Klaus Havelund, Armin Biere: Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors. ATVA 2004: 150-164
8		Cyrille Artho, Viktor Schuppan, Armin Biere, Pascal Eugster, Marcel Baur, Boris Zweimüller: JNuke: Efficient Dynamic Analysis for Java. CAV 2004: 462-465
7		Cyrille Artho, Klaus Havelund: Applying Jlint to Space Exploration Software. VMCAI 2004: 297-308
	2003
6		Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser: Experiments with Test Case Generation and Runtime Analysis. Abstract State Machines 2003: 87-107
5		Cyrille Artho, Klaus Havelund, Armin Biere: High-Level Data Races. NDDL/VVEIS 2003: 82-93
4		Armin Biere, Cyrille Artho, Malek Haroud, Viktor Schuppan: Formal Methods Group ETH Zürich. Electr. Notes Theor. Comput. Sci. 80: (2003)
3		Cyrille Artho, Klaus Havelund, Armin Biere: High-level data races. Softw. Test., Verif. Reliab. 13(4): 207-227 (2003)
	2002
2		Armin Biere, Cyrille Artho, Viktor Schuppan: Liveness Checking as Safety Checking. Electr. Notes Theor. Comput. Sci. 66(2): (2002)
	2001
1		Cyrille Artho, Armin Biere: Applying Static Analysis to Large-Scale, Multi-Threaded Java Programs. Australian Software Engineering Conference 2001: 68-75

Coauthor Index

1	Howard Barringer	[10]
2	Marcel Baur	[8]
3	Armin Biere	[1] [2] [3] [4] [5] [8] [9] [11] [12] [13] [14] [17]
4	Zhongwei Chen	[19]
5	Doron Drusinsky	[6]
6	Pascal Eugster	[8]
7	Pierre-Loïc Garoche	[15]
8	Allen Goldberg	[6] [10]
9	Masami Hagiya	[20] [21] [22] [24]
10	Malek Haroud	[4]
11	Klaus Havelund	[3] [5] [6] [7] [9] [10] [18]
12	Shinichi Honiden	[13] [14] [16] [17] [18] [19]
13	Sarfraz Khurshid	[10]
14	Watcharin Leungwattanakit	[20] [21] [22] [24]
15	Michael R. Lowry	[6] [10]
16	Corina S. Pasareanu	[6] [10]
17	Grigore Rosu	[6] [10]
18	Viktor Schuppan	[2] [4] [8]
19	Koushik Sen	[10]
20	Etsuya Shibayama	[17]
21	Christian Sommer	[16]
22	Yoshinori Tanabe	[20] [21] [22] [24]
23	Willem Visser	[6] [10]
24	Richard Washington	[10]
25	Mitsuharu Yamamoto	[24]
26	Boris Zweimüller	[8] [17]

Colors in the list of coauthors