Cyrille Artho

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 63

Top Venues

ACM SIGSOFT Softw. Eng. Notes

CoRR

Sci. Comput. Program.

ASE

ETH Zurich (PHD)

Education History

ETH Zurich

PHD

Publications

Cyrille Artho, Pavel Parízek, Daohan Qu, Varadraj Galgali, Pu (Luke) Yi
JPF: From 2003 to 2023. TACAS (2) (2024)
Han Fu, Sigrid Eldh, Kristian Wiklund, Andreas Ermedahl, Philipp Haller, Cyrille Artho
In industrial embedded software, are some compilation errors easier to localize and fix than others? CoRR (2024)
Cyrille Artho, Peter Csaba Ölveczky
Preface Formal Techniques for Safety-Critical Systems (FTSCS 2022). Sci. Comput. Program. 237 (2024)
Ye Liu, Yi Li, Cyrille Artho, Yixuan Liu
Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction. CoRR (2024)
Aïssata Maiga, Cyrille Artho, Florian Gilcher, Yannick Moy
Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library. FTSCS (2023)
Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider
CLawK: Monitoring Business Processes in Smart Contracts. CoRR (2023)
Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider
Capturing Smart Contract Design with DCR Graphs. CoRR (2023)
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, Matt Walker, Hongru Wang, Qiuchen Yan
The Java Pathfinder Workshop 2022. ACM SIGSOFT Softw. Eng. Notes 48 (1) (2023)
Qiuchen Yan, Cyrille Artho, Pavel Parízek
Towards Wider Support for Java String Functions. ACM SIGSOFT Softw. Eng. Notes 48 (1) (2023)
Johan Besseling, Cyrille Artho
Using Theia Trace Viewer to Visualize JPF Traces. ACM SIGSOFT Softw. Eng. Notes 48 (1) (2023)
Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider
Capturing Smart Contract Design with DCR Graphs. SEFM (2023)
Haijun Wang, Ye Liu, Yi Li, Shangwei Lin, Cyrille Artho, Lei Ma, Yang Liu
Oracle-Supported Dynamic Exploit Generation for Smart Contracts. IEEE Trans. Dependable Secur. Comput. 19 (3) (2022)
Ye Liu, Yi Li, Shang-Wei Lin, Cyrille Artho
Finding permission bugs in smart contracts with role mining. ISSTA (2022)
Mojtaba Eshghie, Li Quan, Gustav Andersson Kasche, Filip Jacobson, Cosimo Bassi, Cyrille Artho
CircleChain: Tokenizing Products with a Role-based Scheme for a Circular Economy. CoRR (2022)
Han Fu, Sigrid Eldh, Kristian Wiklund, Andreas Ermedahl, Cyrille Artho
Prevalence of continuous integration failures in industrial systems with hardware-in-the-loop testing. ISSRE Workshops (2022)
Mojtaba Eshghie, Cyrille Artho, Dilian Gurov
Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning. CoRR (2021)
Mojtaba Eshghie, Cyrille Artho, Dilian Gurov
Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning. EASE (2021)
Marcus Birgersson, Cyrille Artho, Musard Balliu
Security-Aware Multi-User Architecture for IoT. QRS (2021)
Yang Zhou, Cyrille Artho
TC4JPF: Using Trace Compass to Visualize JPF Traces. ACM SIGSOFT Softw. Eng. Notes 46 (3) (2021)
Cyrille Artho, Adam Benali, Rudolf Ramler
Test Benchmarks: Which One Now and in Future? QRS (2021)
Cyrille Artho, Peter Csaba Ölveczky
Formal Techniques for Safety-Critical Systems (FTSCS 2018). Sci. Comput. Program. 208 (2021)
Cyrille Artho, Kazuaki Banzai, Quentin Gros, Guillaume Rousset, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers. Softw. Test. Verification Reliab. 30 (7-8) (2020)
Kohei Nishino, Takashi Kitamura, Tomoji Kishi, Cyrille Artho
Toward an Encoding Approach to Interaction-based Test Suite Minimization. ICST Workshops (2020)
Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu
The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 45 (2) (2020)
Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz
Multi-objective Search for Model-based Testing. QRS (2020)
Cyrille Artho, Willem Visser
Java Pathfinder at SV-COMP 2019 (Competition Contribution). TACAS (3) (2019)
Lasse Berglund, Cyrille Artho
Method summaries for JPF. ACM SIGSOFT Softw. Eng. Notes 44 (4) (2019)
Cyrille Artho, Peter Csaba Ölveczky
Formal Techniques for Safety-Critical Systems (FTSCS 2016). Sci. Comput. Program. 175 (2019)
Jun Yoneyama, Cyrille Artho, Yoshinori Tanabe, Masami Hagiya
Model-based Network Fault Injection for IoT Protocols. ENASE (2019)
Haijun Wang, Yi Li, Shang-Wei Lin, Cyrille Artho, Lei Ma, Yang Liu
Oracle-Supported Dynamic Exploit Generation for Smart Contracts. CoRR (2019)
Cyrille Artho, Monali Pande, Qiyi Tang
Visual Analytics for Concurrent Java Executions. ASE (2019)
Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz
Visualization and Abstractions for Execution Paths in Model-Based Software Testing. IFM (2019)
Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, Yliès Falcone, Srdan Krstic, Martin Leucker, Florian Lorber, João M. Lourenço, Leonardo Mariani, César Sánchez, Gerardo Schneider, Volker Stolz
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. CoRR (2019)
Cyrille Artho, Peter Csaba Ölveczky
Formal Techniques for Safety-Critical Systems (FTSCS 2015). Sci. Comput. Program. 154 (2018)
Takashi Kitamura, Quentin Maissonneuve, Eun-Hye Choi, Cyrille Artho, Angelo Gargantini
Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving. SAFECOMP (2018)
Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman, Cyrille Artho
Specification and verification of synchronization with condition variables. Sci. Comput. Program. 163 (2018)
Cyrille Artho, Peter Csaba Ölveczky
Formal Techniques for Safety-Critical Systems (FTSCS 2014). Sci. Comput. Program. 133 (2017)
Cyrille Artho, Quentin Gros, Guillaume Rousset, Kazuaki Banzai, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Model-Based API Testing of Apache ZooKeeper. ICST (2017)
Cyrille Artho, Guillaume Rousset
Model-based Testing of the Java Network API. FESCA@ETAPS (2017)
Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Shinya Sakuragi, Eun-Hye Choi, Cyrille Artho
Classification Tree Method with Parameter Shielding. SAFECOMP (2017)
Cyrille Artho, Lei Ma
Classification of Randomly Generated Test Cases. VST@SANER (2016)
Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, Mitsuharu Yamamoto
Runtime Monitoring for Concurrent Systems. RV (2016)
Akihisa Yamada, Armin Biere, Cyrille Artho, Takashi Kitamura, Eun-Hye Choi
Greedy combinatorial test case generation using unsatisfiable cores. ASE (2016)
Alexander Kohan, Mitsuharu Yamamoto, Cyrille Artho, Yoriyuki Yamagata, Lei Ma, Masami Hagiya, Yoshinori Tanabe
Java Pathfinder on Android Devices. ACM SIGSOFT Softw. Eng. Notes 41 (6) (2016)
Cyrille Artho, Quentin Gros, Guillaume Rousset
Precondition Coverage in Software Testing. VST@SANER (2016)
Eun-Hye Choi, Cyrille Artho, Takashi Kitamura, Osamu Mizuno, Akihisa Yamada
Distance-Integrated Combinatorial Testing. ISSRE (2016)
Eun-Hye Choi, Shunya Kawabata, Osamu Mizuno, Cyrille Artho, Takashi Kitamura
Test Effectiveness Evaluation of Prioritized Combinatorial Testing: A Case Study. QRS (2016)
Saurabh Gadia, Cyrille Artho, Gedare Bloom
Verifying Nested Lock Priority Inheritance in RTEMS with Java Pathfinder. ICFEM (2016)
Alexander Kohan, Mitsuharu Yamamoto, Cyrille Artho
Automated Dataset Construction from Web Resources with Tool Kayur. CANDAR (2016)
Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, Armin Biere
Optimization of Combinatorial Testing by Incremental SAT Solving. ICST (2015)
Cyrille Artho, Peter Csaba Ölveczky
Preface. Sci. Comput. Program. 113 (2015)
Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Johannes Gmeiner, Rudolf Ramler
GRT: Program-Analysis-Guided Random Testing (T). ASE (2015)
Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Johannes Gmeiner, Rudolf Ramler
GRT: An Automated Test Generator Using Orchestrated Program Analysis. ASE (2015)
Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Cyrille Artho, Eun-Hye Choi, Thi Bich Ngoc Do, Yutaka Oiwa, Shinya Sakuragi
Combinatorial Testing for Tree-Structured Test Models with Constraints. QRS (2015)
Cyrille Artho, Martina Seidl, Quentin Gros, Eun-Hye Choi, Takashi Kitamura, Akira Mori, Rudolf Ramler, Yoriyuki Yamagata
Model-Based Testing of Stateful APIs with Modbat. ASE (2015)
Cyrille Artho, Peter Csaba Ölveczky
Preface. Sci. Comput. Program. 103 (2015)
Nazim Sebih, Masami Hagiya, Franz Weitl, Mitsuharu Yamamoto, Cyrille Artho, Yoshinori Tanabe
Software Model Checking of UDP-based Distributed Applications. Int. J. Netw. Comput. 5 (2) (2015)
Cyrille Artho, Kuniyasu Suzaki, Masami Hagiya, Watcharin Leungwattanakit, Richard Potter, Eric Platon, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
Using Checkpointing and Virtualization for Fault Injection. Int. J. Netw. Comput. 5 (2) (2015)
Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto
Cardinality of UDP Transmission Outcomes. SETTA (2015)
Cyrille Artho, Einar Broch Johnsen, Martin Leucker, Keiko Nakata
Static analysis meets runtime verification (NII Shonan Meeting 2015-5). NII Shonan Meet. Rep. 2015 (2015)
Cyrille Artho, Klaus Havelund, Rahul Kumar, Yoriyuki Yamagata
Domain-Specific Languages with Scala. ICFEM (2015)
Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
GRT at the SBST 2015 Tool Competition. SBST@ICSE (2015)
Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Akihisa Yamada, Yutaka Oiwa
Priority Integration for Weighted Combinatorial Testing. COMPSAC (2015)
Nazim Sebih, Franz Weitl, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Software Model Checking of UDP-based Distributed Applications. CANDAR (2014)
Richard Potter, Cyrille Artho, Kuniyasu Suzaki, Masami Hagiya
A Knoppix-based demonstration environment for JPF. ACM SIGSOFT Softw. Eng. Notes 39 (1) (2014)
Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Eric Platon, Richard Potter, Kuniyasu Suzaki, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
Using Checkpointing and Virtualization for Fault Injection. CANDAR (2014)
Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato
Efficient testing of software product lines via centralization (short paper). GPCE (2014)
Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Yutaka Oiwa
Design of Prioritized N-Wise Testing. ICTSS (2014)
Lei Ma, Cyrille Artho, Hiroyuki Sato
Project centralization based on graph coloring. SAC (2014)
Lei Ma, Cyrille Artho, Hiroyuki Sato
Improving Automatic Centralization by Version Separation. Inf. Media Technol. 9 (1) (2014)
Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto, Koichi Takahashi
Modular Software Model Checking for Distributed Systems. IEEE Trans. Software Eng. 40 (5) (2014)
Jakob Mund, Ralf Huuck, Ansgar Fehnker, Cyrille Artho
The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis. ATVA (2013)
Cyrille Artho, Koji Hayamizu, Rudolf Ramler, Yoriyuki Yamagata
With an Open Mind: How to Write Good Models. FTSCS (2013)
Kuniyasu Suzaki, Kengo Iijima, Toshiki Yagi, Cyrille Artho
Implementation of a Memory Disclosure Attack on Memory Deduplication of Virtual Machines. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (1) (2013)
Lei Ma, Cyrille Artho, Hiroyuki Sato
Analyzing Distributed Java Applications by Automatic Centralization. COMPSAC Workshops (2013)
Cyrille Artho, Armin Biere, Martina Seidl
Model-Based Testing for Verification Back-Ends. TAP@STAF (2013)
Cyrille Artho, Masami Hagiya, Richard Potter, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
Software model checking for distributed systems with selector-based, non-blocking communication. ASE (2013)
Cyrille Artho, Kuniyasu Suzaki, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
Why do software packages conflict? MSR (2012)
Kuniyasu Suzaki, Kengo Iijima, Toshiki Yagi, Cyrille Artho
Memory deduplication as a threat to the guest OS. EUROSEC (2011)
Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Model checking distributed systems by combining caching and process checkpointing. ASE (2011)
Cyrille Artho
Iterative delta debugging. Int. J. Softw. Tools Technol. Transf. 13 (3) (2011)
Cyrille Artho, Roberto Di Cosmo, Kuniyasu Suzaki, Stefano Zacchiroli
Sources of Inter-package Conflicts in Debian CoRR (2011)
Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto
Model Checking of Concurrent Algorithms: From Java to C. DIPES/BICC (2010)
Kuniyasu Suzaki, Toshiki Yagi, Kengo Iijima, Anh-Quynh Nguyen, Cyrille Artho, Yoshihito Watanebe
Moving from Logical Sharing of Guest OS to Physical Sharing of Deduplication on Virtual Machine. HotSec (2010)
Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Verifying networked programs using a model checker extension. ICSE Companion (2009)
Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Cache-Based Model Checking of Networked Applications: From Linear to Branching Time. ASE (2009)
Cyrille Artho
Separation of Transitions, Actions, and Exceptions in Model-Based Testing. EUROCAST (2009)
Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe
Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs. SNPD (2008)
Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe
Tools and Techniques for Model Checking Networked Programs. SNPD (2008)
Cyrille Artho
Iterative Delta Debugging. Haifa Verification Conference (2008)
Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe
Efficient Model Checking of Networked Applications. TOOLS (46) (2008)
Cyrille Artho, Boris Zweimüller, Armin Biere, Etsuya Shibayama, Shinichi Honiden
Efficient Model Checking of Applications with Input/Output. EUROCAST (2007)
Cyrille Artho, Christian Sommer, Shinichi Honiden
Model Checking Networked Programs in the Presence of Transmission Failures. TASE (2007)
Cyrille Artho, Klaus Havelund, Shinichi Honiden
Visualization of Concurrent Program Executions. COMPSAC (2) (2007)
Cyrille Artho, Zhongwei Chen, Shinichi Honiden
AOP-based automated unit test classification of large benchmarks. COMPSAC (2) (2007)
Cyrille Artho, Armin Biere, Shinichi Honiden
Enforcer - Efficient Failure Injection. FM (2006)
Cyrille Artho, Armin Biere
Advanced Unit Testing: How to Scale up a Unit Test Framework. AST (2006)
Cyrille Artho, Armin Biere, Shinichi Honiden
Exhaustive Testing of Exception Handlers with Enforcer. FMCO (2006)
Cyrille Artho, Pierre-Loïc Garoche
Accurate Centralization for Applying Model Checking on Networked Applications. ASE (2006)
Cyrille Artho, Armin Biere
Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis. Electron. Notes Theor. Comput. Sci. 141 (1) (2005)

Cyrille Artho.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Cyrille Artho