Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Cyrille Artho
Cyrille Valentin Artho
2010 – today
- 2013
[j8]Kuniyasu Suzaki, Kengo Iijima, Toshiki Yagi, Cyrille Artho: Implementation of a Memory Disclosure Attack on Memory Deduplication of Virtual Machines. IEICE Transactions 96-A(1): 215-224 (2013)- [c28]Jakob Mund, Ralf Huuck, Ansgar Fehnker, Cyrille Artho: The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis. ATVA 2013: 516-525
- [c27]Cyrille Artho, Armin Biere, Martina Seidl: Model-Based Testing for Verification Back-Ends. TAP 2013: 39-55
- 2012
- [c26]Cyrille Artho, Kuniyasu Suzaki, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli: Why do software packages conflict? MSR 2012: 141-150
- [e1]Peter Csaba Ölveczky, Cyrille Artho (Eds.): Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems. EPTCS 105, 2012
- 2011
- [j7]
- [c25]Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto: Model checking distributed systems by combining caching and process checkpointing. ASE 2011: 103-112
- [i1]Cyrille Artho, Roberto Di Cosmo, Kuniyasu Suzaki, Stefano Zacchiroli: Sources of Inter-package Conflicts in Debian. CoRR abs/1110.1354 (2011)
- 2010
- [c24]Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto: Model Checking of Concurrent Algorithms: From Java to C. DIPES/BICC 2010: 90-101
- [c23]
2000 – 2009
- 2009
- [c22]Cyrille Artho: Separation of Transitions, Actions, and Exceptions in Model-Based Testing. EUROCAST 2009: 279-286
- [c21]Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto: Verifying networked programs using a model checker extension. ICSE Companion 2009: 409-410
- [c20]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
- [c19]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
- 2008
- [c18]
- [c17]Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe: Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs. SNPD 2008: 807-813
- [c16]Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe: Tools and Techniques for Model Checking Networked Programs. SNPD 2008: 852-857
- [c15]Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe: Efficient Model Checking of Networked Applications. TOOLS (46) 2008: 22-40
- 2007
- [c14]Cyrille Artho, Zhongwei Chen, Shinichi Honiden: AOP-based automated unit test classification of large benchmarks. COMPSAC (2) 2007: 17-22
- [c13]Cyrille Artho, Klaus Havelund, Shinichi Honiden: Visualization of Concurrent Program Executions. COMPSAC (2) 2007: 541-546
- [c12]Cyrille Artho, Boris Zweimüller, Armin Biere, Etsuya Shibayama, Shinichi Honiden: Efficient Model Checking of Applications with Input/Output. EUROCAST 2007: 515-522
- [c11]Cyrille Artho, Christian Sommer, Shinichi Honiden: Model Checking Networked Programs in the Presence of Transmission Failures. TASE 2007: 219-228
- 2006
- [c10]Cyrille Artho, Armin Biere, Shinichi Honiden: Enforcer - Efficient Failure Injection. FM 2006: 412-427
- [c9]Cyrille Artho, Armin Biere, Shinichi Honiden: Exhaustive Testing of Exception Handlers with Enforcer. FMCO 2006: 26-46
- [c8]Cyrille Artho, Armin Biere: Advanced Unit Testing: How to Scale up a Unit Test Framework. AST 2006: 92-98
- [c7]Cyrille Artho, Pierre-Loïc Garoche: Accurate Centralization for Applying Model Checking on Networked Applications. ASE 2006: 177-188
- 2005
- [b1]Cyrille Artho: Combining static and dynamic analysis to find multi-threading faults beyond data races. ETH Zurich 2005, ISBN 3-89649-997-1, pp. 1-198
- [j6]Cyrille Artho, Armin Biere: Combined Static and Dynamic Analysis. Electr. Notes Theor. Comput. Sci. 131: 3-14 (2005)
- [j5]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)
- [j4]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
- [c6]Cyrille Artho, Klaus Havelund, Armin Biere: Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors. ATVA 2004: 150-164
- [c5]Cyrille Artho, Viktor Schuppan, Armin Biere, Pascal Eugster, Marcel Baur, Boris Zweimüller: JNuke: Efficient Dynamic Analysis for Java. CAV 2004: 462-465
- [c4]
- 2003
- [j3]Armin Biere, Cyrille Artho, Malek Haroud, Viktor Schuppan: Formal Methods Group ETH Zürich. Electr. Notes Theor. Comput. Sci. 80: 289-293 (2003)
- [j2]Cyrille Artho, Klaus Havelund, Armin Biere: High-level data races. Softw. Test., Verif. Reliab. 13(4): 207-227 (2003)
- [c3]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
- [c2]
- 2002
- [j1]Armin Biere, Cyrille Artho, Viktor Schuppan: Liveness Checking as Safety Checking. Electr. Notes Theor. Comput. Sci. 66(2): 160-177 (2002)
- 2001
- [c1]Cyrille Artho, Armin Biere: Applying Static Analysis to Large-Scale, Multi-Threaded Java Programs. Australian Software Engineering Conference 2001: 68-75
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:59 CEST by the dblp team