MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Cyrille Artho" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

ATOM

Finding Faults in Multi-Threaded Programs
by Cyrille Artho — 2001 — Master’s thesis
…Finding faults in multi-threaded programs Cyrille Artho 03/15/2001 Abstract Multi…
Cited by 7 (1 self) – Add To MetaCart

Accurate centralization for applying model checking on networked applications
by Cyrille Artho — 2006 — In Proc. ASE 2006
…Accurate Centralization for Applying Model Checking on Networked Applications Cyrille Artho…
Cited by 9 (6 self) – Add To MetaCart

Model checking networked programs in the presence of transmission failures
by Cyrille Artho — 2007 — In Proc. 1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007
…Model Checking Networked Programs in the Presence of Transmission Failures Cyrille Artho National…
Cited by 4 (2 self) – Add To MetaCart

Advanced Unit Testing - How to Scale up a Unit Test Framework
by Cyrille Artho, Armin Biere — 2006 — In Proc. Workshop on Automation of Software Test (AST 2006
…ABSTRACT Advanced Unit Testing How to Scale up a Unit Test Framework Cyrille Artho ∗ Nat. Inst…
Cited by 3 (2 self) – Add To MetaCart

Combined static and dynamic analysis
by Cyrille Artho, Armin Biere — 2005 — In Proc. AIOOL ’05, ENTCS
…Combined Static and Dynamic Analysis Cyrille Artho 1 and Armin Biere 2 1 Computer Systems…
Cited by 5 (3 self) – Add To MetaCart

Enforcer – efficient failure injection
by Cyrille Artho, Armin Biere, Shinichi Honiden — 2006 — In Proc. FM 2006
…Enforcer – Efficient Failure Injection Cyrille Artho 1 , Armin Biere 2 , and Shinichi Honiden 1 1…
Cited by 7 (4 self) – Add To MetaCart

Efficient model checking of applications with input/output
by Cyrille Artho, Armin Biere, Etsuya Shibayama, Shinichi Honiden — 2007 — Post-proceedings of Eurocast 2007
… Efficient Model Checking of Applications with Input/Output Cyrille Artho1, Boris Zweim"uller2…
Cited by 2 (2 self) – Add To MetaCart

Using block-local atomicity to detect stale-value concurrency errors
by Cyrille Artho, Klaus Havelund, Armin Biere — 2004 — In Farn Wang, editor, Proc. ATVA ’04
…Using Block-local Atomicity to Detect Stale-value Concurrency Errors Cyrille Artho 1 , Klaus…
Cited by 8 (6 self) – Add To MetaCart

Liveness Checking as Safety Checking
by Armin Biere, Cyrille Artho, Viktor Schuppan — 2002 — In FMICS’02: Formal Methods for Industrial Critical Systems, volume 66(2) of ENTCS
…://www.elsevier.nl/locate/entcs/volume66.html 18 pages Liveness Checking as Safety Checking Armin Biere, Cyrille Artho, Viktor Schuppan…
Cited by 29 (2 self) – Add To MetaCart

High-Level Data Races
by Cyrille Artho, Klaus Havelund, Armin Biere, Annin Biere — 2003 — Journal on Software Testing, Verification & Reliability (STVR
…High-Level Data Races Cyrille Artho , Klaus Havelund 2, and Annin Biere Computer Systems…
Cited by 36 (10 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB