Applying Static Analysis to Large-Scale, Multi-Threaded Java Programs. - Cyrille Artho; Armin Biere (Australian Software Engineering Conference, 2001)

Liveness Checking as Safety Checking. - Armin Biere; Cyrille Artho; Viktor Schuppan (FMICS, 2002)

Experiments with Test Case Generation and Runtime Analysis. - Cyrille Artho; Doron Drusinsky; Allen Goldberg; Klaus Havelund; Michael R. Lowry; Corina S. Pasareanu; Grigore Rosu; Willem Visser (Abstract State Machines, 2003)

Formal Methods Group ETH Zürich. - Armin Biere; Cyrille Artho; Malek Haroud; Viktor Schuppan (FMICS, 2003)

High-level data races. - Cyrille Artho; Klaus Havelund; Armin Biere (Softw. Test. Verification Reliab., 2003)

Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors. - Cyrille Artho; Klaus Havelund; Armin Biere (ATVA, 2004)

JNuke: Efficient Dynamic Analysis for Java. - Cyrille Artho; Viktor Schuppan; Armin Biere; Pascal Eugster; Marcel Baur; Boris Zweimüller (CAV, 2004)

Applying Jlint to Space Exploration Software. - Cyrille Artho; Klaus Havelund (VMCAI, 2004)

Combined Static and Dynamic Analysis. - Cyrille Artho; Armin Biere (AIOOL@VMCAI, 2005)

Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis. - Cyrille Artho; Armin Biere (Bytecode@ETAPS, 2005)

Combining test case generation and runtime verification. - Cyrille Artho; Howard Barringer; Allen Goldberg; Klaus Havelund; Sarfraz Khurshid; Michael R. Lowry; Corina S. Pasareanu; Grigore Rosu; Koushik Sen; Willem Visser; Richard Washington (Theor. Comput. Sci., 2005)

Combining static and dynamic analysis to find multi-threading faults beyond data races. - Cyrille Artho (2005)

Enforcer - Efficient Failure Injection. - Cyrille Artho; Armin Biere; Shinichi Honiden (FM, 2006)

Exhaustive Testing of Exception Handlers with Enforcer. - Cyrille Artho; Armin Biere; Shinichi Honiden (FMCO, 2006)

Advanced Unit Testing: How to Scale up a Unit Test Framework. - Cyrille Artho; Armin Biere (AST, 2006)

Accurate Centralization for Applying Model Checking on Networked Applications. - Cyrille Artho; Pierre-Loïc Garoche (ASE, 2006)

AOP-based automated unit test classification of large benchmarks. - Cyrille Artho; Zhongwei Chen; Shinichi Honiden (COMPSAC (2), 2007)

Visualization of Concurrent Program Executions. - Cyrille Artho; Klaus Havelund; Shinichi Honiden (COMPSAC (2), 2007)

Efficient Model Checking of Applications with Input/Output. - Cyrille Artho; Boris Zweimüller; Armin Biere; Etsuya Shibayama; Shinichi Honiden (EUROCAST, 2007)

Model Checking Networked Programs in the Presence of Transmission Failures. - Cyrille Artho; Christian Sommer 001; Shinichi Honiden (TASE, 2007)

Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs. - Cyrille Artho; Watcharin Leungwattanakit; Masami Hagiya; Yoshinori Tanabe (SNPD, 2008)

Tools and Techniques for Model Checking Networked Programs. - Cyrille Artho; Watcharin Leungwattanakit; Masami Hagiya; Yoshinori Tanabe (SNPD, 2008)

Efficient Model Checking of Networked Applications. - Cyrille Artho; Watcharin Leungwattanakit; Masami Hagiya; Yoshinori Tanabe (TOOLS (46), 2008)

Separation of Transitions, Actions, and Exceptions in Model-Based Testing. - Cyrille Artho (EUROCAST, 2009)

Verifying networked programs using a model checker extension. - Watcharin Leungwattanakit; Cyrille Artho; Masami Hagiya; Yoshinori Tanabe; Mitsuharu Yamamoto (ICSE Companion, 2009)

Cache-Based Model Checking of Networked Applications: From Linear to Branching Time. - Cyrille Artho; Watcharin Leungwattanakit; Masami Hagiya; Yoshinori Tanabe; Mitsuharu Yamamoto (ASE, 2009)

Introduction of Virtualization Technology to Multi-Process Model Checking. - Watcharin Leungwattanakit; Cyrille Valentin Artho; Masami Hagiya; Yoshinori Tanabe; Mitsuharu Yamamoto (NASA Formal Methods, 2009)

Model Checking of Concurrent Algorithms: From Java to C. - Cyrille Artho; Masami Hagiya; Watcharin Leungwattanakit; Yoshinori Tanabe; Mitsuharu Yamamoto (DIPES/BICC, 2010)

Run-Time Verification of Networked Software. - Cyrille Valentin Artho (RV, 2010)

Moving from Logical Sharing of Guest OS to Physical Sharing of Deduplication on Virtual Machine. - Kuniyasu Suzaki; Toshiki Yagi; Kengo Iijima; Anh-Quynh Nguyen; Cyrille Artho; Yoshihito Watanebe (HotSec, 2010)

Memory deduplication as a threat to the guest OS. - Kuniyasu Suzaki; Kengo Iijima; Toshiki Yagi; Cyrille Artho (EUROSEC, 2011)

Model checking distributed systems by combining caching and process checkpointing. - Watcharin Leungwattanakit; Cyrille Artho; Masami Hagiya; Yoshinori Tanabe; Mitsuharu Yamamoto (ASE, 2011)

Sources of Inter-package Conflicts in Debian - Cyrille Artho; Roberto Di Cosmo; Kuniyasu Suzaki; Stefano Zacchiroli (CoRR, 2011)

Iterative delta debugging. - Cyrille Artho (Int. J. Softw. Tools Technol. Transf., 2011)

Why do software packages conflict? - Cyrille Artho; Kuniyasu Suzaki; Roberto Di Cosmo; Ralf Treinen; Stefano Zacchiroli (MSR, 2012)

The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis. - Jakob Mund; Ralf Huuck; Ansgar Fehnker; Cyrille Artho (ATVA, 2013)

Analyzing Distributed Java Applications by Automatic Centralization. - Lei Ma 003; Cyrille Artho; Hiroyuki Sato (COMPSAC Workshops, 2013)

With an Open Mind: How to Write Good Models. - Cyrille Artho; Koji Hayamizu; Rudolf Ramler; Yoriyuki Yamagata (FTSCS, 2013)

Modbat: A Model-Based API Tester for Event-Driven Systems. - Cyrille Valentin Artho; Armin Biere; Masami Hagiya; Eric Platon; Martina Seidl; Yoshinori Tanabe; Mitsuharu Yamamoto (Haifa Verification Conference, 2013)

Software model checking for distributed systems with selector-based, non-blocking communication. - Cyrille Artho; Masami Hagiya; Richard Potter; Yoshinori Tanabe; Franz Weitl; Mitsuharu Yamamoto (ASE, 2013)

Model-Based Testing for Verification Back-Ends. - Cyrille Artho; Armin Biere; Martina Seidl (TAP@STAF, 2013)

Implementation of a Memory Disclosure Attack on Memory Deduplication of Virtual Machines. - Kuniyasu Suzaki; Kengo Iijima; Toshiki Yagi; Cyrille Artho (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013)

Efficient testing of software product lines via centralization (short paper). - Lei Ma 003; Cyrille Artho; Cheng Zhang; Hiroyuki Sato (GPCE, 2014)

Design of Prioritized N-Wise Testing. - Eun-Hye Choi; Takashi Kitamura 001; Cyrille Artho; Yutaka Oiwa (ICTSS, 2014)

Project centralization based on graph coloring. - Lei Ma 003; Cyrille Artho; Hiroyuki Sato (SAC, 2014)

Improving Automatic Centralization by Version Separation. - Lei Ma 003; Cyrille Artho; Hiroyuki Sato (Inf. Media Technol., 2014)

A Knoppix-based demonstration environment for JPF. - Richard Potter; Cyrille Artho; Kuniyasu Suzaki; Masami Hagiya (ACM SIGSOFT Softw. Eng. Notes, 2014)

Modular Software Model Checking for Distributed Systems. - Watcharin Leungwattanakit; Cyrille Artho; Masami Hagiya; Yoshinori Tanabe; Mitsuharu Yamamoto; Koichi Takahashi (IEEE Trans. Software Eng., 2014)

Priority Integration for Weighted Combinatorial Testing. - Eun-Hye Choi; Takashi Kitamura 001; Cyrille Artho; Akihisa Yamada 002; Yutaka Oiwa (COMPSAC, 2015)

Domain-Specific Languages with Scala. - Cyrille Artho; Klaus Havelund; Rahul Kumar 001; Yoriyuki Yamagata (ICFEM, 2015)

GRT at the SBST 2015 Tool Competition. - Lei Ma 003; Cyrille Artho; Cheng Zhang; Hiroyuki Sato; Masami Hagiya; Yoshinori Tanabe; Mitsuharu Yamamoto (SBST@ICSE, 2015)

Optimization of Combinatorial Testing by Incremental SAT Solving. - Akihisa Yamada 002; Takashi Kitamura 001; Cyrille Artho; Eun-Hye Choi; Yutaka Oiwa; Armin Biere (ICST, 2015)

Model-Based Testing of Stateful APIs with Modbat. - Cyrille Artho; Martina Seidl; Quentin Gros; Eun-Hye Choi; Takashi Kitamura 001; Akira Mori; Rudolf Ramler; Yoriyuki Yamagata (ASE, 2015)

GRT: Program-Analysis-Guided Random Testing (T). - Lei Ma 003; Cyrille Artho; Cheng Zhang; Hiroyuki Sato; Johannes Gmeiner; Rudolf Ramler (ASE, 2015)

GRT: An Automated Test Generator Using Orchestrated Program Analysis. - Lei Ma 003; Cyrille Artho; Cheng Zhang; Hiroyuki Sato; Johannes Gmeiner; Rudolf Ramler (ASE, 2015)

Combinatorial Testing for Tree-Structured Test Models with Constraints. - Takashi Kitamura 001; Akihisa Yamada 002; Goro Hatayama; Cyrille Artho; Eun-Hye Choi; Thi Bich Ngoc Do; Yutaka Oiwa; Shinya Sakuragi (QRS, 2015)

Cardinality of UDP Transmission Outcomes. - Franz Weitl; Nazim Sebih; Cyrille Artho; Masami Hagiya; Yoshinori Tanabe; Yoriyuki Yamagata; Mitsuharu Yamamoto (SETTA, 2015)

Using Checkpointing and Virtualization for Fault Injection. - Cyrille Artho; Kuniyasu Suzaki; Masami Hagiya; Watcharin Leungwattanakit; Richard Potter; Eric Platon; Yoshinori Tanabe; Franz Weitl; Mitsuharu Yamamoto (Int. J. Netw. Comput., 2015)

Software Model Checking of UDP-based Distributed Applications. - Nazim Sebih; Masami Hagiya; Franz Weitl; Mitsuharu Yamamoto; Cyrille Artho; Yoshinori Tanabe (Int. J. Netw. Comput., 2015)

Preface. - Cyrille Artho; Peter Csaba Ölveczky (Sci. Comput. Program., 2015)

Static analysis meets runtime verification (NII Shonan Meeting 2015-5). - Cyrille Artho; Einar Broch Johnsen; Martin Leucker; Keiko Nakata 001 (NII Shonan Meet. Rep., 2015)

Verifying Nested Lock Priority Inheritance in RTEMS with Java Pathfinder. - Saurabh Gadia; Cyrille Artho; Gedare Bloom (ICFEM, 2016)

Distance-Integrated Combinatorial Testing. - Eun-Hye Choi; Cyrille Artho; Takashi Kitamura 001; Osamu Mizuno; Akihisa Yamada 002 (ISSRE, 2016)

Greedy combinatorial test case generation using unsatisfiable cores. - Akihisa Yamada 002; Armin Biere; Cyrille Artho; Takashi Kitamura 001; Eun-Hye Choi (ASE, 2016)

Test Effectiveness Evaluation of Prioritized Combinatorial Testing: A Case Study. - Eun-Hye Choi; Shunya Kawabata; Osamu Mizuno; Cyrille Artho; Takashi Kitamura 001 (QRS, 2016)

Runtime Monitoring for Concurrent Systems. - Yoriyuki Yamagata; Cyrille Artho; Masami Hagiya; Jun Inoue 001; Lei Ma 003; Yoshinori Tanabe; Mitsuharu Yamamoto (RV, 2016)

Guiding random test generation with program analysis. - Lei Ma 003; Cyrille Valentin Artho; Cheng Zhang; Hiroyuki Sato; Johannes Gmeiner; Rudolf Ramler (Software Engineering, 2016)

Precondition Coverage in Software Testing. - Cyrille Artho; Quentin Gros; Guillaume Rousset (VST@SANER, 2016)

Classification of Randomly Generated Test Cases. - Cyrille Artho; Lei Ma 003 (VST@SANER, 2016)

Java Pathfinder on Android Devices. - Alexander Kohan; Mitsuharu Yamamoto; Cyrille Artho; Yoriyuki Yamagata; Lei Ma 003; Masami Hagiya; Yoshinori Tanabe (ACM SIGSOFT Softw. Eng. Notes, 2016)

Model-Based API Testing of Apache ZooKeeper. - Cyrille Artho; Quentin Gros; Guillaume Rousset; Kazuaki Banzai; Lei Ma 003; Takashi Kitamura 001; Masami Hagiya; Yoshinori Tanabe; Mitsuharu Yamamoto (ICST, 2017)

Classification Tree Method with Parameter Shielding. - Takashi Kitamura 001; Akihisa Yamada 002; Goro Hatayama; Shinya Sakuragi; Eun-Hye Choi; Cyrille Artho (SAFECOMP, 2017)

Model-based Testing of the Java Network API. - Cyrille Artho; Guillaume Rousset (FESCA@ETAPS, 2017)

Automated Dataset Construction from Web Resources with Tool Kayur. - Alexander Kohan; Mitsuharu Yamamoto; Cyrille Valentin Artho (Int. J. Netw. Comput., 2017)

Formal Techniques for Safety-Critical Systems (FTSCS 2014). - Cyrille Artho; Peter Csaba Ölveczky (Sci. Comput. Program., 2017)

Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving. - Takashi Kitamura 001; Quentin Maissonneuve; Eun-Hye Choi; Cyrille Artho; Angelo Gargantini (SAFECOMP, 2018)

Formal Techniques for Safety-Critical Systems (FTSCS 2015). - Cyrille Artho; Peter Csaba Ölveczky (Sci. Comput. Program., 2018)

Specification and verification of synchronization with condition variables. - Pedro de Carvalho Gomes; Dilian Gurov; Marieke Huisman; Cyrille Artho (Sci. Comput. Program., 2018)

Model-based Network Fault Injection for IoT Protocols. - Jun Yoneyama; Cyrille Artho; Yoshinori Tanabe; Masami Hagiya (ENASE, 2019)

Visualization and Abstractions for Execution Paths in Model-Based Software Testing. - Rui Wang 048; Cyrille Artho; Lars Michael Kristensen; Volker Stolz (IFM, 2019)

Visual Analytics for Concurrent Java Executions. - Cyrille Artho; Monali Pande; Qiyi Tang 001 (ASE, 2019)

Java Pathfinder at SV-COMP 2019 (Competition Contribution). - Cyrille Artho; Willem Visser (TACAS (3), 2019)

COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. - Wolfgang Ahrendt; Cyrille Artho; Christian Colombo 001; Yliès Falcone; Srdan Krstic; Martin Leucker; Florian Lorber; João M. Lourenço; Leonardo Mariani; César Sánchez 001; Gerardo Schneider; Volker Stolz (CoRR, 2019)

Oracle-Supported Dynamic Exploit Generation for Smart Contracts. - Haijun Wang 002; Yi Li 008; Shang-Wei Lin 001; Cyrille Artho; Lei Ma 003; Yang Liu 003 (CoRR, 2019)

Formal Techniques for Safety-Critical Systems (FTSCS 2016). - Cyrille Artho; Peter Csaba Ölveczky (Sci. Comput. Program., 2019)

Method summaries for JPF. - Lasse Berglund; Cyrille Artho (ACM SIGSOFT Softw. Eng. Notes, 2019)

Toward an Encoding Approach to Interaction-based Test Suite Minimization. - Kohei Nishino; Takashi Kitamura 001; Tomoji Kishi; Cyrille Artho (ICST Workshops, 2020)

Multi-objective Search for Model-based Testing. - Rui Wang 048; Cyrille Artho; Lars Michael Kristensen; Volker Stolz (QRS, 2020)

The Java Pathfinder Workshop 2019. - Cyrille Artho; Quoc-Sang Phan; Peter Aldous; Alyas Almaawi; Lucas Bang; Lasse Berglund; Tevfik Bultan; Zhenbang Chen; Hayes Converse; Wei Dong 006; William Eiers; Milos Gligoric 001; et al. (ACM SIGSOFT Softw. Eng. Notes, 2020)

Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers. - Cyrille Artho; Kazuaki Banzai; Quentin Gros; Guillaume Rousset; Lei Ma 003; Takashi Kitamura 001; Masami Hagiya; Yoshinori Tanabe; Mitsuharu Yamamoto (Softw. Test. Verification Reliab., 2020)

Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning. - Mojtaba Eshghie; Cyrille Artho; Dilian Gurov (EASE, 2021)

Test Benchmarks: Which One Now and in Future? - Cyrille Artho; Adam Benali; Rudolf Ramler (QRS, 2021)

Security-Aware Multi-User Architecture for IoT. - Marcus Birgersson; Cyrille Artho; Musard Balliu (QRS, 2021)

Formal Techniques for Safety-Critical Systems (FTSCS 2018). - Cyrille Artho; Peter Csaba Ölveczky (Sci. Comput. Program., 2021)

TC4JPF: Using Trace Compass to Visualize JPF Traces. - Yang Zhou; Cyrille Artho (ACM SIGSOFT Softw. Eng. Notes, 2021)

Prevalence of continuous integration failures in industrial systems with hardware-in-the-loop testing. - Han Fu; Sigrid Eldh; Kristian Wiklund; Andreas Ermedahl; Cyrille Artho (ISSRE Workshops, 2022)

Finding permission bugs in smart contracts with role mining. - Ye Liu 012; Yi Li 008; Shang-Wei Lin 001; Cyrille Artho (ISSTA, 2022)

CircleChain: Tokenizing Products with a Role-based Scheme for a Circular Economy. - Mojtaba Eshghie; Li Quan; Gustav Andersson Kasche; Filip Jacobson; Cosimo Bassi; Cyrille Artho (CoRR, 2022)

Oracle-Supported Dynamic Exploit Generation for Smart Contracts. - Haijun Wang 002; Ye Liu 012; Yi Li 008; Shangwei Lin 001; Cyrille Artho; Lei Ma 003; Yang Liu 003 (IEEE Trans. Dependable Secur. Comput., 2022)

Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library. - Aïssata Maiga; Cyrille Artho; Florian Gilcher; Yannick Moy (FTSCS, 2023)

Capturing Smart Contract Design with DCR Graphs. - Mojtaba Eshghie; Wolfgang Ahrendt; Cyrille Artho; Thomas Troels Hildebrandt; Gerardo Schneider (SEFM, 2023)

CLawK: Monitoring Business Processes in Smart Contracts. - Mojtaba Eshghie; Wolfgang Ahrendt; Cyrille Artho; Thomas Troels Hildebrandt; Gerardo Schneider (CoRR, 2023)

Using Theia Trace Viewer to Visualize JPF Traces. - Johan Besseling; Cyrille Artho (ACM SIGSOFT Softw. Eng. Notes, 2023)

The Java Pathfinder Workshop 2022. - Elena Sherman; Yannic Noller; Cyrille Artho; Franck van Breugel; Anto Nanah Ji; John Kellerman; Parssa Khazra; Filip Kliber; Gaurang Kudale; Pavel Parízek; Corina S. Pasareanu; Ron Pressler; et al. (ACM SIGSOFT Softw. Eng. Notes, 2023)

Towards Wider Support for Java String Functions. - Qiuchen Yan; Cyrille Artho; Pavel Parízek (ACM SIGSOFT Softw. Eng. Notes, 2023)

Activity Recognition Protection for IoT Trigger-Action Platforms. - Mahmoud Aghvamipanah; Morteza Amini; Cyrille Artho; Musard Balliu (EuroS&P, 2024)

In Industrial Embedded Software, are Some Compilation Errors Easier to Localize and Fix than Others? - Han Fu; Sigrid Eldh; Kristian Wiklund; Andreas Ermedahl; Philipp Haller; Cyrille Artho (ICST, 2024)

Oracle-Guided Vulnerability Diversity and Exploit Synthesis of Smart Contracts Using LLMs. - Mojtaba Eshghie; Cyrille Artho (ASE, 2024)

HighGuard: Cross-Chain Business Logic Monitoring of Smart Contracts. - Mojtaba Eshghie; Cyrille Artho; Hans Stammler; Wolfgang Ahrendt; Thomas T. Hildebrandt; Gerardo Schneider (ASE, 2024)

Sharing without Showing: Secure Cloud Analytics with Trusted Execution Environments. - Marcus Birgersson; Cyrille Artho; Musard Balliu (SecDev, 2024)

JPF: From 2003 to 2023. - Cyrille Artho; Pavel Parízek; Daohan Qu; Varadraj Galgali; Pu (Luke) Yi 001 (TACAS (2), 2024)

From Creation to Exploitation: The Oracle Lifecycle. - Mojtaba Eshghie; Mikael Jafari; Cyrille Artho (SANER (Companion), 2024)

SoliDiffy: AST Differencing for Solidity Smart Contracts. - Mojtaba Eshghie; Viktor Åryd; Cyrille Artho; Martin Monperrus (CoRR, 2024)

Preface Formal Techniques for Safety-Critical Systems (FTSCS 2022). - Cyrille Artho; Peter Csaba Ölveczky (Sci. Comput. Program., 2024)

Leveraging Petri Nets for Workflow Anomaly Detection in Microservice Architectures. - Priyanka Kamboj; Cyrille Artho; Roberto Guanciale; Reyhaneh Jabbarvand; Brighten Godfrey (Petri Nets, 2025)

ContractViz: Extending Eclipse Trace Compass for Smart Contract Transaction Analysis. - Xiaolin Liu; Adel Belkhiri; Mónica Jin; Yi Li 008; Cyrille Artho (SANER, 2025)

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction. - Ye Liu 012; Yixuan Liu; Yi Li 008; Cyrille Artho (SANER, 2025)