Cyrille Artho

2007
18	EE	Cyrille Artho, Zhongwei Chen, Shinichi Honiden: AOP-based automated unit test classification of large benchmarks. COMPSAC (2) 2007: 17-22
17	EE	Cyrille Artho, Klaus Havelund, Shinichi Honiden: Visualization of Concurrent Program Executions. COMPSAC (2) 2007: 541-546
16	EE	Cyrille Artho, Boris Zweimüller, Armin Biere, Etsuya Shibayama, Shinichi Honiden: Efficient Model Checking of Applications with Input/Output. EUROCAST 2007: 515-522
15	EE	Cyrille Artho, Christian Sommer, Shinichi Honiden: Model Checking Networked Programs in the Presence of Transmission Failures. TASE 2007: 219-228
2006
14	EE	Cyrille Artho, Pierre-Loïc Garoche: Accurate Centralization for Applying Model Checking on Networked Applications. ASE 2006: 177-188
13	EE	Cyrille Artho, Armin Biere, Shinichi Honiden: Enforcer - Efficient Failure Injection. FM 2006: 412-427
2005
12	EE	Cyrille Artho, Armin Biere: Combined Static and Dynamic Analysis. Electr. Notes Theor. Comput. Sci. 131: 3-14 (2005)
11	EE	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	EE	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	EE	Cyrille Artho, Klaus Havelund, Armin Biere: Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors. ATVA 2004: 150-164
8	EE	Cyrille Artho, Viktor Schuppan, Armin Biere, Pascal Eugster, Marcel Baur, Boris Zweimüller: JNuke: Efficient Dynamic Analysis for Java. CAV 2004: 462-465
7	EE	Cyrille Artho, Klaus Havelund: Applying Jlint to Space Exploration Software. VMCAI 2004: 297-308
2003
6	EE	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	EE	Armin Biere, Cyrille Artho, Malek Haroud, Viktor Schuppan: Formal Methods Group ETH Zürich. Electr. Notes Theor. Comput. Sci. 80: (2003)
3	EE	Cyrille Artho, Klaus Havelund, Armin Biere: High-level data races. Softw. Test., Verif. Reliab. 13(4): 207-227 (2003)
2002
2	EE	Armin Biere, Cyrille Artho, Viktor Schuppan: Liveness Checking as Safety Checking. Electr. Notes Theor. Comput. Sci. 66(2): (2002)
2001
1	EE	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] [16]
4	Zhongwei Chen	[18]
5	Doron Drusinsky	[6]
6	Pascal Eugster	[8]
7	Pierre-Loïc Garoche	[14]
8	Allen Goldberg	[6] [10]
9	Malek Haroud	[4]
10	Klaus Havelund	[3] [5] [6] [7] [9] [10] [17]
11	Shinichi Honiden	[13] [15] [16] [17] [18]
12	Sarfraz Khurshid	[10]
13	Michael R. Lowry	[6] [10]
14	Corina S. Pasareanu	[6] [10]
15	Grigore Rosu	[6] [10]
16	Viktor Schuppan	[2] [4] [8]
17	Koushik Sen	[10]
18	Etsuya Shibayama	[16]
19	Christian Sommer	[15]
20	Willem Visser	[6] [10]
21	Richard Washington	[10]
22	Boris Zweimüller	[8] [16]