dblp.uni-trier.dewww.uni-trier.de

Cyrille Artho Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)