Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Cyrille Artho
@inproceedings{DBLP:conf/tacas/ArthoPQGY24,
author = {Cyrille Artho and
Pavel Par{\'{\i}}zek and
Daohan Qu and
Varadraj Galgali and
Pu (Luke) Yi},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {{JPF:} From 2003 to 2023},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14571},
pages = {3--22},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57249-4\_1},
doi = {10.1007/978-3-031-57249-4\_1},
timestamp = {Sun, 14 Apr 2024 18:32:16 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ArthoPQGY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-13279,
author = {Ye Liu and
Yi Li and
Cyrille Artho and
Yixuan Liu},
title = {Specification Mining for Smart Contracts with Trace Slicing and Predicate
Abstraction},
journal = {CoRR},
volume = {abs/2403.13279},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.13279},
doi = {10.48550/ARXIV.2403.13279},
eprinttype = {arXiv},
eprint = {2403.13279},
timestamp = {Thu, 11 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-13279.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/ShermanNABJKKKKPPPWWY23,
author = {Elena Sherman and
Yannic Noller and
Cyrille Artho and
Franck van Breugel and
Anto Nanah Ji and
John Kellerman and
Parssa Khazra and
Filip Kliber and
Gaurang Kudale and
Pavel Par{\'{\i}}zek and
Corina S. Pasareanu and
Ron Pressler and
Matt Walker and
Hongru Wang and
Qiuchen Yan},
title = {The Java Pathfinder Workshop 2022},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {48},
number = {1},
pages = {19--21},
year = {2023},
url = {https://doi.org/10.1145/3573074.3573080},
doi = {10.1145/3573074.3573080},
timestamp = {Mon, 27 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/ShermanNABJKKKKPPPWWY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/BesselingA23,
author = {Johan Besseling and
Cyrille Artho},
title = {Using Theia Trace Viewer to Visualize {JPF} Traces},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {48},
number = {1},
pages = {22--26},
year = {2023},
url = {https://doi.org/10.1145/3573074.3573081},
doi = {10.1145/3573074.3573081},
timestamp = {Thu, 23 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/BesselingA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/YanAP23,
author = {Qiuchen Yan and
Cyrille Artho and
Pavel Par{\'{\i}}zek},
title = {Towards Wider Support for Java String Functions},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {48},
number = {1},
pages = {37},
year = {2023},
url = {https://doi.org/10.1145/3573074.3573084},
doi = {10.1145/3573074.3573084},
timestamp = {Thu, 23 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/YanAP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/MaigaAGM23,
author = {A{\"{\i}}ssata Maiga and
Cyrille Artho and
Florian Gilcher and
Yannick Moy},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Does Rust {SPARK} Joy? Safe Bindings from Rust to SPARK, Applied to
the BBQueue Library},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Workshop on Formal
Techniques for Safety-Critical Systems, {FTSCS} 2023, Cascais, Portugal,
22 October 2023},
pages = {37--47},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3623503.3623534},
doi = {10.1145/3623503.3623534},
timestamp = {Thu, 26 Oct 2023 16:21:33 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/MaigaAGM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/EshghieAAHS23,
author = {Mojtaba Eshghie and
Wolfgang Ahrendt and
Cyrille Artho and
Thomas Troels Hildebrandt and
Gerardo Schneider},
editor = {Carla Ferreira and
Tim A. C. Willemse},
title = {Capturing Smart Contract Design with {DCR} Graphs},
booktitle = {Software Engineering and Formal Methods - 21st International Conference,
{SEFM} 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14323},
pages = {106--125},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47115-5\_7},
doi = {10.1007/978-3-031-47115-5\_7},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/EshghieAAHS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftscs/2023,
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Proceedings of the 9th {ACM} {SIGPLAN} International Workshop on Formal
Techniques for Safety-Critical Systems, {FTSCS} 2023, Cascais, Portugal,
22 October 2023},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3623503},
doi = {10.1145/3623503},
timestamp = {Thu, 26 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-04581,
author = {Mojtaba Eshghie and
Wolfgang Ahrendt and
Cyrille Artho and
Thomas Troels Hildebrandt and
Gerardo Schneider},
title = {Capturing Smart Contract Design with {DCR} Graphs},
journal = {CoRR},
volume = {abs/2305.04581},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.04581},
doi = {10.48550/ARXIV.2305.04581},
eprinttype = {arXiv},
eprint = {2305.04581},
timestamp = {Fri, 12 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-04581.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-08254,
author = {Mojtaba Eshghie and
Wolfgang Ahrendt and
Cyrille Artho and
Thomas Troels Hildebrandt and
Gerardo Schneider},
title = {CLawK: Monitoring Business Processes in Smart Contracts},
journal = {CoRR},
volume = {abs/2305.08254},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.08254},
doi = {10.48550/ARXIV.2305.08254},
eprinttype = {arXiv},
eprint = {2305.08254},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-08254.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/WangLLLAML22,
author = {Haijun Wang and
Ye Liu and
Yi Li and
Shangwei Lin and
Cyrille Artho and
Lei Ma and
Yang Liu},
title = {Oracle-Supported Dynamic Exploit Generation for Smart Contracts},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {19},
number = {3},
pages = {1795--1809},
year = {2022},
url = {https://doi.org/10.1109/TDSC.2020.3037332},
doi = {10.1109/TDSC.2020.3037332},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tdsc/WangLLLAML22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/FuEWEA22,
author = {Han Fu and
Sigrid Eldh and
Kristian Wiklund and
Andreas Ermedahl and
Cyrille Artho},
title = {Prevalence of continuous integration failures in industrial systems
with hardware-in-the-loop testing},
booktitle = {{IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} 2022 - Workshops, Charlotte, NC, USA, October 31
- Nov. 3, 2022},
pages = {61--66},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ISSREW55968.2022.00040},
doi = {10.1109/ISSREW55968.2022.00040},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/FuEWEA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LiuL0A22,
author = {Ye Liu and
Yi Li and
Shang{-}Wei Lin and
Cyrille Artho},
editor = {Sukyoung Ryu and
Yannis Smaragdakis},
title = {Finding permission bugs in smart contracts with role mining},
booktitle = {{ISSTA} '22: 31st {ACM} {SIGSOFT} International Symposium on Software
Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022},
pages = {716--727},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3533767.3534372},
doi = {10.1145/3533767.3534372},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/LiuL0A22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftscs/2022,
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on Formal
Techniques for Safety-Critical Systems, {FTSCS} 2022, Auckland, New
Zealand, 7 December 2022},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3563822},
doi = {10.1145/3563822},
isbn = {978-1-4503-9907-4},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftscs/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-11212,
author = {Mojtaba Eshghie and
Li Quan and
Gustav Andersson Kasche and
Filip Jacobson and
Cosimo Bassi and
Cyrille Artho},
title = {CircleChain: Tokenizing Products with a Role-based Scheme for a Circular
Economy},
journal = {CoRR},
volume = {abs/2205.11212},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.11212},
doi = {10.48550/ARXIV.2205.11212},
eprinttype = {arXiv},
eprint = {2205.11212},
timestamp = {Mon, 30 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-11212.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ArthoO21,
author = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Formal Techniques for Safety-Critical Systems {(FTSCS} 2018)},
journal = {Sci. Comput. Program.},
volume = {208},
pages = {102658},
year = {2021},
url = {https://doi.org/10.1016/j.scico.2021.102658},
doi = {10.1016/J.SCICO.2021.102658},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/ArthoO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/ZhouA21,
author = {Yang Zhou and
Cyrille Artho},
title = {{TC4JPF:} Using Trace Compass to Visualize {JPF} Traces},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {46},
number = {3},
pages = {42--46},
year = {2021},
url = {https://doi.org/10.1145/3468744.3468757},
doi = {10.1145/3468744.3468757},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/ZhouA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ease/EshghieAG21,
author = {Mojtaba Eshghie and
Cyrille Artho and
Dilian Gurov},
editor = {Ruzanna Chitchyan and
Jingyue Li and
Barbara Weber and
Tao Yue},
title = {Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning},
booktitle = {{EASE} 2021: Evaluation and Assessment in Software Engineering, Trondheim,
Norway, June 21-24, 2021},
pages = {305--312},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3463274.3463348},
doi = {10.1145/3463274.3463348},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ease/EshghieAG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/BirgerssonAB21,
author = {Marcus Birgersson and
Cyrille Artho and
Musard Balliu},
title = {Security-Aware Multi-User Architecture for IoT},
booktitle = {21st {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2021, Hainan, China, December 6-10, 2021},
pages = {102--113},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/QRS54544.2021.00021},
doi = {10.1109/QRS54544.2021.00021},
timestamp = {Wed, 16 Mar 2022 22:32:21 +0100},
biburl = {https://dblp.org/rec/conf/qrs/BirgerssonAB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/ArthoBR21,
author = {Cyrille Artho and
Adam Benali and
Rudolf Ramler},
title = {Test Benchmarks: Which One Now and in Future?},
booktitle = {21st {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2021, Hainan, China, December 6-10, 2021},
pages = {328--336},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/QRS54544.2021.00044},
doi = {10.1109/QRS54544.2021.00044},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qrs/ArthoBR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-07420,
author = {Mojtaba Eshghie and
Cyrille Artho and
Dilian Gurov},
title = {Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning},
journal = {CoRR},
volume = {abs/2102.07420},
year = {2021},
url = {https://arxiv.org/abs/2102.07420},
eprinttype = {arXiv},
eprint = {2102.07420},
timestamp = {Thu, 18 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-07420.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/ArthoPAABBBCCDE20,
author = {Cyrille Artho and
Quoc{-}Sang Phan and
Peter Aldous and
Alyas Almaawi and
Lucas Bang and
Lasse Berglund and
Tevfik Bultan and
Zhenbang Chen and
Hayes Converse and
Wei Dong and
William Eiers and
Milos Gligoric and
Simon Goldsmith and
Lars Grunske and
Joshua Hooker and
Ismet Burak Kadron and
Timo Kehrer and
Sarfraz Khurshid and
Xuan{-}Bach Dinh Le and
David Lo and
Eric Mercer and
Sasa Misailovic and
Egor Namakonov and
Hoang Lam Nguyen and
Yannic Noller and
Benjamin Ogles and
Rohan Padhye and
Pavel Par{\'{\i}}zek and
Corina S. Pasareanu and
Sheridan Jacob Powell and
Seemanta Saha and
Koushik Sen and
Elena Sherman and
Kyle Storey and
Minxing Tang and
Willem Visser and
Ji Wang and
Hengbiao Yu},
title = {The Java Pathfinder Workshop 2019},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {45},
number = {2},
pages = {20--22},
year = {2020},
url = {https://doi.org/10.1145/3385678.3385685},
doi = {10.1145/3385678.3385685},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/ArthoPAABBBCCDE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/ArthoBGRMKHTY20,
author = {Cyrille Artho and
Kazuaki Banzai and
Quentin Gros and
Guillaume Rousset and
Lei Ma and
Takashi Kitamura and
Masami Hagiya and
Yoshinori Tanabe and
Mitsuharu Yamamoto},
title = {Model-based testing of Apache ZooKeeper: Fundamental {API} usage and
watchers},
journal = {Softw. Test. Verification Reliab.},
volume = {30},
number = {7-8},
year = {2020},
url = {https://doi.org/10.1002/stvr.1720},
doi = {10.1002/STVR.1720},
timestamp = {Sat, 25 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/ArthoBGRMKHTY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/NishinoKKA20,
author = {Kohei Nishino and
Takashi Kitamura and
Tomoji Kishi and
Cyrille Artho},
title = {Toward an Encoding Approach to Interaction-based Test Suite Minimization},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {211--212},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00043},
doi = {10.1109/ICSTW50294.2020.00043},
timestamp = {Wed, 13 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/NishinoKKA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/0048AKS20,
author = {Rui Wang and
Cyrille Artho and
Lars Michael Kristensen and
Volker Stolz},
title = {Multi-objective Search for Model-based Testing},
booktitle = {20th {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2020, Macau, China, December 11-14, 2020},
pages = {130--141},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/QRS51102.2020.00029},
doi = {10.1109/QRS51102.2020.00029},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qrs/0048AKS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ArthoO19,
author = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Formal Techniques for Safety-Critical Systems {(FTSCS} 2016)},
journal = {Sci. Comput. Program.},
volume = {175},
pages = {35--36},
year = {2019},
url = {https://doi.org/10.1016/j.scico.2019.02.001},
doi = {10.1016/J.SCICO.2019.02.001},
timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/ArthoO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/BerglundA19,
author = {Lasse Berglund and
Cyrille Artho},
title = {Method summaries for {JPF}},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {44},
number = {4},
pages = {16},
year = {2019},
url = {https://doi.org/10.1145/3364452.33644560},
doi = {10.1145/3364452.33644560},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/BerglundA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/YoneyamaATH19,
author = {Jun Yoneyama and
Cyrille Artho and
Yoshinori Tanabe and
Masami Hagiya},
editor = {Ernesto Damiani and
George Spanoudakis and
Leszek A. Maciaszek},
title = {Model-based Network Fault Injection for IoT Protocols},
booktitle = {Proceedings of the 14th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2019, Heraklion,
Crete, Greece, May 4-5, 2019},
pages = {201--209},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007618102010209},
doi = {10.5220/0007618102010209},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/YoneyamaATH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/WangAKS19,
author = {Rui Wang and
Cyrille Artho and
Lars Michael Kristensen and
Volker Stolz},
editor = {Wolfgang Ahrendt and
Silvia Lizeth Tapia Tarifa},
title = {Visualization and Abstractions for Execution Paths in Model-Based
Software Testing},
booktitle = {Integrated Formal Methods - 15th International Conference, {IFM} 2019,
Bergen, Norway, December 2-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11918},
pages = {474--492},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34968-4\_26},
doi = {10.1007/978-3-030-34968-4\_26},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/WangAKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ArthoPT19,
author = {Cyrille Artho and
Monali Pande and
Qiyi Tang},
title = {Visual Analytics for Concurrent Java Executions},
booktitle = {34th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2019, San Diego, CA, USA, November 11-15, 2019},
pages = {1102--1105},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ASE.2019.00112},
doi = {10.1109/ASE.2019.00112},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ArthoPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ArthoV19,
author = {Cyrille Artho and
Willem Visser},
editor = {Dirk Beyer and
Marieke Huisman and
Fabrice Kordon and
Bernhard Steffen},
title = {Java Pathfinder at {SV-COMP} 2019 (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague,
Czech Republic, April 6-11, 2019, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11429},
pages = {224--228},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17502-3\_18},
doi = {10.1007/978-3-030-17502-3\_18},
timestamp = {Fri, 09 Apr 2021 18:45:37 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ArthoV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftscs/2018,
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Formal Techniques for Safety-Critical Systems - 6th International
Workshop, {FTSCS} 2018, Gold Coast, Australia, November 16, 2018,
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1008},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-12988-0},
doi = {10.1007/978-3-030-12988-0},
isbn = {978-3-030-12987-3},
timestamp = {Wed, 06 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftscs/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-03776,
author = {Wolfgang Ahrendt and
Cyrille Artho and
Christian Colombo and
Yli{\`{e}}s Falcone and
Srdan Krstic and
Martin Leucker and
Florian Lorber and
Jo{\~{a}}o M. Louren{\c{c}}o and
Leonardo Mariani and
C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Volker Stolz},
title = {{COST} Action {IC} 1402 ArVI: Runtime Verification Beyond Monitoring
- Activity Report of Working Group 1},
journal = {CoRR},
volume = {abs/1902.03776},
year = {2019},
url = {http://arxiv.org/abs/1902.03776},
eprinttype = {arXiv},
eprint = {1902.03776},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-03776.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-06605,
author = {Haijun Wang and
Yi Li and
Shang{-}Wei Lin and
Cyrille Artho and
Lei Ma and
Yang Liu},
title = {Oracle-Supported Dynamic Exploit Generation for Smart Contracts},
journal = {CoRR},
volume = {abs/1909.06605},
year = {2019},
url = {http://arxiv.org/abs/1909.06605},
eprinttype = {arXiv},
eprint = {1909.06605},
timestamp = {Wed, 07 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-06605.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ArthoO18,
author = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Formal Techniques for Safety-Critical Systems {(FTSCS} 2015)},
journal = {Sci. Comput. Program.},
volume = {154},
pages = {1--2},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2017.12.008},
doi = {10.1016/J.SCICO.2017.12.008},
timestamp = {Fri, 09 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ArthoO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GomesGHA18,
author = {Pedro de Carvalho Gomes and
Dilian Gurov and
Marieke Huisman and
Cyrille Artho},
title = {Specification and verification of synchronization with condition variables},
journal = {Sci. Comput. Program.},
volume = {163},
pages = {174--189},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2018.05.001},
doi = {10.1016/J.SCICO.2018.05.001},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GomesGHA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/KitamuraMCAG18,
author = {Takashi Kitamura and
Quentin Maissonneuve and
Eun{-}Hye Choi and
Cyrille Artho and
Angelo Gargantini},
editor = {Barbara Gallina and
Amund Skavhaug and
Friedemann Bitsch},
title = {Optimal Test Suite Generation for Modified Condition Decision Coverage
Using {SAT} Solving},
booktitle = {Computer Safety, Reliability, and Security - 37th International Conference,
{SAFECOMP} 2018, V{\"{a}}ster{\aa}s, Sweden, September 19-21,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11093},
pages = {123--138},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99130-6\_9},
doi = {10.1007/978-3-319-99130-6\_9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/KitamuraMCAG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcre/2018vst,
editor = {Cyrille Artho and
Rudolf Ramler},
title = {2018 {IEEE} Workshop on Validation, Analysis and Evolution of Software
Tests, VST@SANER 2018, Campobasso, Italy, March 20, 2018},
publisher = {{IEEE}},
year = {2018},
url = {https://ieeexplore.ieee.org/xpl/conhome/8321343/proceeding},
isbn = {978-1-5386-6492-6},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wcre/2018vst.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijnc/KohanYA17,
author = {Alexander Kohan and
Mitsuharu Yamamoto and
Cyrille Valentin Artho},
title = {Automated Dataset Construction from Web Resources with Tool Kayur},
journal = {Int. J. Netw. Comput.},
volume = {7},
number = {2},
pages = {271--294},
year = {2017},
url = {http://www.ijnc.org/index.php/ijnc/article/view/154},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijnc/KohanYA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ArthoO17,
author = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Formal Techniques for Safety-Critical Systems {(FTSCS} 2014)},
journal = {Sci. Comput. Program.},
volume = {133},
pages = {89--90},
year = {2017},
url = {https://doi.org/10.1016/j.scico.2016.10.002},
doi = {10.1016/J.SCICO.2016.10.002},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/ArthoO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ArthoGRBMKHTY17,
author = {Cyrille Artho and
Quentin Gros and
Guillaume Rousset and
Kazuaki Banzai and
Lei Ma and
Takashi Kitamura and
Masami Hagiya and
Yoshinori Tanabe and
Mitsuharu Yamamoto},
title = {Model-Based {API} Testing of Apache ZooKeeper},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {288--298},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.33},
doi = {10.1109/ICST.2017.33},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ArthoGRBMKHTY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/KitamuraYHSCA17,
author = {Takashi Kitamura and
Akihisa Yamada and
Goro Hatayama and
Shinya Sakuragi and
Eun{-}Hye Choi and
Cyrille Artho},
editor = {Stefano Tonetta and
Erwin Schoitsch and
Friedemann Bitsch},
title = {Classification Tree Method with Parameter Shielding},
booktitle = {Computer Safety, Reliability, and Security - 36th International Conference,
{SAFECOMP} 2017, Trento, Italy, September 13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10488},
pages = {230--241},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66266-4\_15},
doi = {10.1007/978-3-319-66266-4\_15},
timestamp = {Wed, 13 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/KitamuraYHSCA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ArthoR17,
author = {Cyrille Artho and
Guillaume Rousset},
editor = {Jan Kofron and
Jana Tumova},
title = {Model-based Testing of the Java Network {API}},
booktitle = {Proceedings International Workshop on Formal Engineering approaches
to Software Components and Architectures, FESCA@ETAPS 2017, Uppsala,
Sweden, 22nd April 2017},
series = {{EPTCS}},
volume = {245},
pages = {46--51},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.245.4},
doi = {10.4204/EPTCS.245.4},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/ArthoR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftscs/2016,
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Formal Techniques for Safety-Critical Systems - 5th International
Workshop, {FTSCS} 2016, Tokyo, Japan, November 14, 2016, Revised Selected
Papers},
series = {Communications in Computer and Information Science},
volume = {694},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-53946-1},
doi = {10.1007/978-3-319-53946-1},
isbn = {978-3-319-53945-4},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/KohanYAYMHT16,
author = {Alexander Kohan and
Mitsuharu Yamamoto and
Cyrille Artho and
Yoriyuki Yamagata and
Lei Ma and
Masami Hagiya and
Yoshinori Tanabe},
title = {Java Pathfinder on Android Devices},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {41},
number = {6},
pages = {1--5},
year = {2016},
url = {https://doi.org/10.1145/3011286.3011292},
doi = {10.1145/3011286.3011292},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/KohanYAYMHT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic-nc/KohanYA16,
author = {Alexander Kohan and
Mitsuharu Yamamoto and
Cyrille Artho},
title = {Automated Dataset Construction from Web Resources with Tool Kayur},
booktitle = {Fourth International Symposium on Computing and Networking, {CANDAR}
2016, Hiroshima, Japan, November 22-25, 2016},
pages = {98--104},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/CANDAR.2016.0029},
doi = {10.1109/CANDAR.2016.0029},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic-nc/KohanYA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/GadiaAB16,
author = {Saurabh Gadia and
Cyrille Artho and
Gedare Bloom},
editor = {Kazuhiro Ogata and
Mark Lawford and
Shaoying Liu},
title = {Verifying Nested Lock Priority Inheritance in {RTEMS} with Java Pathfinder},
booktitle = {Formal Methods and Software Engineering - 18th International Conference
on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
14-18, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10009},
pages = {417--432},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47846-3\_26},
doi = {10.1007/978-3-319-47846-3\_26},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/GadiaAB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ChoiAKM016,
author = {Eun{-}Hye Choi and
Cyrille Artho and
Takashi Kitamura and
Osamu Mizuno and
Akihisa Yamada},
title = {Distance-Integrated Combinatorial Testing},
booktitle = {27th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2016, Ottawa, ON, Canada, October 23-27, 2016},
pages = {93--104},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ISSRE.2016.26},
doi = {10.1109/ISSRE.2016.26},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issre/ChoiAKM016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/0002BAKC16,
author = {Akihisa Yamada and
Armin Biere and
Cyrille Artho and
Takashi Kitamura and
Eun{-}Hye Choi},
editor = {David Lo and
Sven Apel and
Sarfraz Khurshid},
title = {Greedy combinatorial test case generation using unsatisfiable cores},
booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
pages = {614--624},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2970276.2970335},
doi = {10.1145/2970276.2970335},
timestamp = {Sat, 30 Sep 2023 09:51:40 +0200},
biburl = {https://dblp.org/rec/conf/kbse/0002BAKC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/ChoiKMAK16,
author = {Eun{-}Hye Choi and
Shunya Kawabata and
Osamu Mizuno and
Cyrille Artho and
Takashi Kitamura},
title = {Test Effectiveness Evaluation of Prioritized Combinatorial Testing:
{A} Case Study},
booktitle = {2016 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2016, Vienna, Austria, August 1-3, 2016},
pages = {61--68},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/QRS.2016.17},
doi = {10.1109/QRS.2016.17},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qrs/ChoiKMAK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/YamagataAHIMTY16,
author = {Yoriyuki Yamagata and
Cyrille Artho and
Masami Hagiya and
Jun Inoue and
Lei Ma and
Yoshinori Tanabe and
Mitsuharu Yamamoto},
editor = {Yli{\`{e}}s Falcone and
C{\'{e}}sar S{\'{a}}nchez},
title = {Runtime Monitoring for Concurrent Systems},
booktitle = {Runtime Verification - 16th International Conference, {RV} 2016, Madrid,
Spain, September 23-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10012},
pages = {386--403},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46982-9\_24},
doi = {10.1007/978-3-319-46982-9\_24},
timestamp = {Wed, 28 Dec 2022 16:42:42 +0100},
biburl = {https://dblp.org/rec/conf/rv/YamagataAHIMTY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/MaAZSGR16,
author = {Lei Ma and
Cyrille Valentin Artho and
Cheng Zhang and
Hiroyuki Sato and
Johannes Gmeiner and
Rudolf Ramler},
editor = {Jens Knoop and
Uwe Zdun},
title = {Guiding random test generation with program analysis},
booktitle = {Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik,
23.-26. Februar 2016, Wien, {\"{O}}sterreich},
series = {{LNI}},
volume = {{P-252}},
pages = {15--16},
publisher = {{GI}},
year = {2016},
url = {https://dl.gi.de/handle/20.500.12116/707},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/MaAZSGR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/ArthoGR16,
author = {Cyrille Artho and
Quentin Gros and
Guillaume Rousset},
title = {Precondition Coverage in Software Testing},
booktitle = {First International Workshop on Validating Software Tests, VST@SANER
2016, Osaka, Japan, March 15, 2016},
pages = {21--24},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SANER.2016.31},
doi = {10.1109/SANER.2016.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/ArthoGR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/ArthoM16,
author = {Cyrille Artho and
Lei Ma},
title = {Classification of Randomly Generated Test Cases},
booktitle = {First International Workshop on Validating Software Tests, VST@SANER
2016, Osaka, Japan, March 15, 2016},
pages = {29--32},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SANER.2016.32},
doi = {10.1109/SANER.2016.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/ArthoM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2016,
editor = {Cyrille Artho and
Axel Legay and
Doron Peled},
title = {Automated Technology for Verification and Analysis - 14th International
Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9938},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46520-3},
doi = {10.1007/978-3-319-46520-3},
isbn = {978-3-319-46519-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftscs/2015,
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Formal Techniques for Safety-Critical Systems - Fourth International
Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {596},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29510-7},
doi = {10.1007/978-3-319-29510-7},
isbn = {978-3-319-29509-1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijnc/ArthoSHLPPTWY15,
author = {Cyrille Artho and
Kuniyasu Suzaki and
Masami Hagiya and
Watcharin Leungwattanakit and
Richard Potter and
Eric Platon and
Yoshinori Tanabe and
Franz Weitl and
Mitsuharu Yamamoto},
title = {Using Checkpointing and Virtualization for Fault Injection},
journal = {Int. J. Netw. Comput.},
volume = {5},
number = {2},
pages = {347--372},
year = {2015},
url = {http://www.ijnc.org/index.php/ijnc/article/view/112},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijnc/ArthoSHLPPTWY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijnc/SebihHWYAT15,
author = {Nazim Sebih and
Masami Hagiya and
Franz Weitl and
Mitsuharu Yamamoto and
Cyrille Artho and
Yoshinori Tanabe},
title = {Software Model Checking of UDP-based Distributed Applications},
journal = {Int. J. Netw. Comput.},
volume = {5},
number = {2},
pages = {373--402},
year = {2015},
url = {http://www.ijnc.org/index.php/ijnc/article/view/113},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijnc/SebihHWYAT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ArthoO15,
author = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Preface},
journal = {Sci. Comput. Program.},
volume = {103},
pages = {1--2},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.01.006},
doi = {10.1016/J.SCICO.2015.01.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ArthoO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ArthoO15a,
author = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Preface},
journal = {Sci. Comput. Program.},
volume = {113},
pages = {83--84},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.10.001},
doi = {10.1016/J.SCICO.2015.10.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ArthoO15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ChoiKA0O15,
author = {Eun{-}Hye Choi and
Takashi Kitamura and
Cyrille Artho and
Akihisa Yamada and
Yutaka Oiwa},
editor = {Sheikh Iqbal Ahamed and
Carl K. Chang and
William C. Chu and
Ivica Crnkovic and
Pao{-}Ann Hsiung and
Gang Huang and
Jingwei Yang},
title = {Priority Integration for Weighted Combinatorial Testing},
booktitle = {39th {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} 2015, Taichung, Taiwan, July 1-5, 2015. Volume 2},
pages = {242--247},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/COMPSAC.2015.113},
doi = {10.1109/COMPSAC.2015.113},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/ChoiKA0O15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ArthoHKY15,
author = {Cyrille Artho and
Klaus Havelund and
Rahul Kumar and
Yoriyuki Yamagata},
editor = {Michael J. Butler and
Sylvain Conchon and
Fatiha Za{\"{\i}}di},
title = {Domain-Specific Languages with Scala},
booktitle = {Formal Methods and Software Engineering - 17th International Conference
on Formal Engineering Methods, {ICFEM} 2015, Paris, France, November
3-5, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9407},
pages = {1--16},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25423-4\_1},
doi = {10.1007/978-3-319-25423-4\_1},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/ArthoHKY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MaAZSHTY15,
author = {Lei Ma and
Cyrille Artho and
Cheng Zhang and
Hiroyuki Sato and
Masami Hagiya and
Yoshinori Tanabe and
Mitsuharu Yamamoto},
editor = {Gregory Gay and
Giuliano Antoniol},
title = {{GRT} at the {SBST} 2015 Tool Competition},
booktitle = {8th {IEEE/ACM} International Workshop on Search-Based Software Testing,
{SBST} 2015, Florence, Italy, May 18-19, 2015},
pages = {48--51},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SBST.2015.19},
doi = {10.1109/SBST.2015.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MaAZSHTY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/YamadaKACOB15,
author = {Akihisa Yamada and
Takashi Kitamura and
Cyrille Artho and
Eun{-}Hye Choi and
Yutaka Oiwa and
Armin Biere},
title = {Optimization of Combinatorial Testing by Incremental {SAT} Solving},
booktitle = {8th {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2015, Graz, Austria, April 13-17, 2015},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICST.2015.7102599},
doi = {10.1109/ICST.2015.7102599},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/YamadaKACOB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MaAZSGR15,
author = {Lei Ma and
Cyrille Artho and
Cheng Zhang and
Hiroyuki Sato and
Johannes Gmeiner and
Rudolf Ramler},
editor = {Myra B. Cohen and
Lars Grunske and
Michael Whalen},
title = {{GRT:} Program-Analysis-Guided Random Testing {(T)}},
booktitle = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
pages = {212--223},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ASE.2015.49},
doi = {10.1109/ASE.2015.49},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MaAZSGR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MaAZSGR15a,
author = {Lei Ma and
Cyrille Artho and
Cheng Zhang and
Hiroyuki Sato and
Johannes Gmeiner and
Rudolf Ramler},
editor = {Myra B. Cohen and
Lars Grunske and
Michael Whalen},
title = {{GRT:} An Automated Test Generator Using Orchestrated Program Analysis},
booktitle = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
pages = {842--847},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ASE.2015.102},
doi = {10.1109/ASE.2015.102},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MaAZSGR15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ArthoSGCKMRY15,
author = {Cyrille Artho and
Martina Seidl and
Quentin Gros and
Eun{-}Hye Choi and
Takashi Kitamura and
Akira Mori and
Rudolf Ramler and
Yoriyuki Yamagata},
editor = {Myra B. Cohen and
Lars Grunske and
Michael Whalen},
title = {Model-Based Testing of Stateful APIs with Modbat},
booktitle = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
pages = {858--863},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ASE.2015.95},
doi = {10.1109/ASE.2015.95},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ArthoSGCKMRY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/Kitamura0HACDOS15,
author = {Takashi Kitamura and
Akihisa Yamada and
Goro Hatayama and
Cyrille Artho and
Eun{-}Hye Choi and
Thi Bich Ngoc Do and
Yutaka Oiwa and
Shinya Sakuragi},
title = {Combinatorial Testing for Tree-Structured Test Models with Constraints},
booktitle = {2015 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2015, Vancouver, BC, Canada, August 3-5, 2015},
pages = {141--150},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/QRS.2015.29},
doi = {10.1109/QRS.2015.29},
timestamp = {Wed, 13 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qrs/Kitamura0HACDOS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/WeitlSAHTYY15,
author = {Franz Weitl and
Nazim Sebih and
Cyrille Artho and
Masami Hagiya and
Yoshinori Tanabe and
Yoriyuki Yamagata and
Mitsuharu Yamamoto},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {Cardinality of {UDP} Transmission Outcomes},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {120--134},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_8},
doi = {10.1007/978-3-319-25942-0\_8},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/setta/WeitlSAHTYY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftscs/2014,
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Formal Techniques for Safety-Critical Systems - Third International
Workshop, {FTSCS} 2014, Luxembourg, November 6-7, 2014. Revised Selected
Papers},
series = {Communications in Computer and Information Science},
volume = {476},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-17581-2},
doi = {10.1007/978-3-319-17581-2},
isbn = {978-3-319-17580-5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/ArthoJLN15,
author = {Cyrille Artho and
Einar Broch Johnsen and
Martin Leucker and
Keiko Nakata},
title = {Static analysis meets runtime verification {(NII} Shonan Meeting 2015-5)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2015},
year = {2015},
url = {https://shonan.nii.ac.jp/seminars/062/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/ArthoJLN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/PotterASH14,
author = {Richard Potter and
Cyrille Artho and
Kuniyasu Suzaki and
Masami Hagiya},
title = {A Knoppix-based demonstration environment for {JPF}},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {39},
number = {1},
pages = {1--5},
year = {2014},
url = {https://doi.org/10.1145/2557833.2560574},
doi = {10.1145/2557833.2560574},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/PotterASH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LeungwattanakitAHTYT14,
author = {Watcharin Leungwattanakit and
Cyrille Artho and
Masami Hagiya and
Yoshinori Tanabe and
Mitsuharu Yamamoto and
Koichi Takahashi},
title = {Modular Software Model Checking for Distributed Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {40},
number = {5},
pages = {483--501},
year = {2014},
url = {https://doi.org/10.1109/TSE.2013.49},
doi = {10.1109/TSE.2013.49},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/LeungwattanakitAHTYT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/MaAZS14,
author = {Lei Ma and
Cyrille Artho and
Cheng Zhang and
Hiroyuki Sato},
editor = {Ulrik Pagh Schultz and
Matthew Flatt},
title = {Efficient testing of software product lines via centralization (short
paper)},
booktitle = {Generative Programming: Concepts and Experiences, GPCE'14, Vasteras,
Sweden, September 15-16, 2014},
pages = {49--52},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2658761.2658768},
doi = {10.1145/2658761.2658768},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/gpce/MaAZS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic-nc/SebihWAHTY14,
author = {Nazim Sebih and
Franz Weitl and
Cyrille Artho and
Masami Hagiya and
Yoshinori Tanabe and
Mitsuharu Yamamoto},
title = {Software Model Checking of UDP-based Distributed Applications},
booktitle = {Second International Symposium on Computing and Networking, {CANDAR}
2014, Shizuoka, Japan, December 10-12, 2014},
pages = {96--105},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CANDAR.2014.66},
doi = {10.1109/CANDAR.2014.66},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic-nc/SebihWAHTY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic-nc/ArthoHLPPSTWY14,
author = {Cyrille Artho and
Masami Hagiya and
Watcharin Leungwattanakit and
Eric Platon and
Richard Potter and
Kuniyasu Suzaki and
Yoshinori Tanabe and
Franz Weitl and
Mitsuharu Yamamoto},
title = {Using Checkpointing and Virtualization for Fault Injection},
booktitle = {Second International Symposium on Computing and Networking, {CANDAR}
2014, Shizuoka, Japan, December 10-12, 2014},
pages = {144--150},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CANDAR.2014.45},
doi = {10.1109/CANDAR.2014.45},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic-nc/ArthoHLPPSTWY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/ChoiKAO14,
author = {Eun{-}Hye Choi and
Takashi Kitamura and
Cyrille Artho and
Yutaka Oiwa},
editor = {Mercedes G. Merayo and
Edgardo Montes de Oca},
title = {Design of Prioritized N-Wise Testing},
booktitle = {Testing Software and Systems - 26th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2014, Madrid, Spain, September 23-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8763},
pages = {186--191},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44857-1\_14},
doi = {10.1007/978-3-662-44857-1\_14},
timestamp = {Wed, 13 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/ChoiKAO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MaAS14,
author = {Lei Ma and
Cyrille Artho and
Hiroyuki Sato},
editor = {Yookun Cho and
Sung Y. Shin and
Sang{-}Wook Kim and
Chih{-}Cheng Hung and
Jiman Hong},
title = {Project centralization based on graph coloring},
booktitle = {Symposium on Applied Computing, {SAC} 2014, Gyeongju, Republic of
Korea - March 24 - 28, 2014},
pages = {1086--1093},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2554850.2554930},
doi = {10.1145/2554850.2554930},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/MaAS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftscs/2013,
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Formal Techniques for Safety-Critical Systems - Second International
Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {419},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-05416-2},
doi = {10.1007/978-3-319-05416-2},
isbn = {978-3-319-05415-5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/SuzakiIYA13,
author = {Kuniyasu Suzaki and
Kengo Iijima and
Toshiki Yagi and
Cyrille Artho},
title = {Implementation of a Memory Disclosure Attack on Memory Deduplication
of Virtual Machines},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {96-A},
number = {1},
pages = {215--224},
year = {2013},
url = {https://doi.org/10.1587/transfun.E96.A.215},
doi = {10.1587/TRANSFUN.E96.A.215},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/SuzakiIYA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/MundHFA13,
author = {Jakob Mund and
Ralf Huuck and
Ansgar Fehnker and
Cyrille Artho},
editor = {Dang Van Hung and
Mizuhito Ogawa},
title = {The Quest for Precision: {A} Layered Approach for Data Race Detection
in Static Analysis},
booktitle = {Automated Technology for Verification and Analysis - 11th International
Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8172},
pages = {516--525},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02444-8\_45},
doi = {10.1007/978-3-319-02444-8\_45},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/MundHFA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/MaAS13,
author = {Lei Ma and
Cyrille Artho and
Hiroyuki Sato},
title = {Analyzing Distributed Java Applications by Automatic Centralization},
booktitle = {{IEEE} 37th Annual Computer Software and Applications Conference,
{COMPSAC} Workshops 2013, Kyoto, Japan, July 22-26, 2013},
pages = {691--696},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/COMPSACW.2013.137},
doi = {10.1109/COMPSACW.2013.137},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/compsac/MaAS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/ArthoHRY13,
author = {Cyrille Artho and
Koji Hayamizu and
Rudolf Ramler and
Yoriyuki Yamagata},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {With an Open Mind: How to Write Good Models},
booktitle = {Formal Techniques for Safety-Critical Systems - Second International
Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {419},
pages = {3--18},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05416-2\_2},
doi = {10.1007/978-3-319-05416-2\_2},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/ArthoHRY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ArthoBHPSTY13,
author = {Cyrille Valentin Artho and
Armin Biere and
Masami Hagiya and
Eric Platon and
Martina Seidl and
Yoshinori Tanabe and
Mitsuharu Yamamoto},
editor = {Valeria Bertacco and
Axel Legay},
title = {Modbat: {A} Model-Based {API} Tester for Event-Driven Systems},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {112--128},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_8},
doi = {10.1007/978-3-319-03077-7\_8},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/ArthoBHPSTY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ArthoHPTWY13,
author = {Cyrille Artho and
Masami Hagiya and
Richard Potter and
Yoshinori Tanabe and
Franz Weitl and
Mitsuharu Yamamoto},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Software model checking for distributed systems with selector-based,
non-blocking communication},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {169--179},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693077},
doi = {10.1109/ASE.2013.6693077},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/kbse/ArthoHPTWY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/ArthoBS13,
author = {Cyrille Artho and
Armin Biere and
Martina Seidl},
editor = {Margus Veanes and
Luca Vigan{\`{o}}},
title = {Model-Based Testing for Verification Back-Ends},
booktitle = {Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest,
Hungary, June 16-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7942},
pages = {39--55},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38916-0\_3},
doi = {10.1007/978-3-642-38916-0\_3},
timestamp = {Tue, 23 Jun 2020 17:47:28 +0200},
biburl = {https://dblp.org/rec/conf/tap/ArthoBS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/ArthoSCTZ12,
author = {Cyrille Artho and
Kuniyasu Suzaki and
Roberto Di Cosmo and
Ralf Treinen and
Stefano Zacchiroli},
editor = {Michele Lanza and
Massimiliano Di Penta and
Tao Xie},
title = {Why do software packages conflict?},
booktitle = {9th {IEEE} Working Conference of Mining Software Repositories, {MSR}
2012, June 2-3, 2012, Zurich, Switzerland},
pages = {141--150},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/MSR.2012.6224274},
doi = {10.1109/MSR.2012.6224274},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/msr/ArthoSCTZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1212-6574,
editor = {Peter Csaba {\"{O}}lveczky and
Cyrille Artho},
title = {Proceedings First International Workshop on Formal Techniques for
Safety-Critical Systems, {FTSCS} 2012, Kyoto, Japan, November 12,
2012},
series = {{EPTCS}},
volume = {105},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.105},
doi = {10.4204/EPTCS.105},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-6574.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Artho11,
author = {Cyrille Artho},
title = {Iterative delta debugging},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {13},
number = {3},
pages = {223--246},
year = {2011},
url = {https://doi.org/10.1007/s10009-010-0139-9},
doi = {10.1007/S10009-010-0139-9},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Artho11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosec/SuzakiIYA11,
author = {Kuniyasu Suzaki and
Kengo Iijima and
Toshiki Yagi and
Cyrille Artho},
editor = {Engin Kirda and
Steven Hand},
title = {Memory deduplication as a threat to the guest {OS}},
booktitle = {Proceedings of the Fourth European Workshop on System Security, EUROSEC'11,
April 10, 2011, Salzburg, Austria},
pages = {1},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1972551.1972552},
doi = {10.1145/1972551.1972552},
timestamp = {Tue, 20 Dec 2022 17:33:10 +0100},
biburl = {https://dblp.org/rec/conf/eurosec/SuzakiIYA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LeungwattanakitAHTY11,
author = {Watcharin Leungwattanakit and
Cyrille Artho and
Masami Hagiya and
Yoshinori Tanabe and
Mitsuharu Yamamoto},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Model checking distributed systems by combining caching and process
checkpointing},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {103--112},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100043},
doi = {10.1109/ASE.2011.6100043},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LeungwattanakitAHTY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-1354,
author = {Cyrille Artho and
Roberto Di Cosmo and
Kuniyasu Suzaki and
Stefano Zacchiroli},
title = {Sources of Inter-package Conflicts in Debian},
journal = {CoRR},
volume = {abs/1110.1354},
year = {2011},
url = {http://arxiv.org/abs/1110.1354},
eprinttype = {arXiv},
eprint = {1110.1354},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-1354.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/ArthoHLTY10,
author = {Cyrille Artho and
Masami Hagiya and
Watcharin Leungwattanakit and
Yoshinori Tanabe and
Mitsuharu Yamamoto},
editor = {Mike Hinchey and
Bernd Kleinjohann and
Lisa Kleinjohann and
Peter A. Lindsay and
Franz J. Rammig and
Jon Timmis and
Marilyn Wolf},
title = {Model Checking of Concurrent Algorithms: From Java to {C}},
booktitle = {Distributed, Parallel and Biologically Inspired Systems - 7th {IFIP}
{TC} 10 Working Conference, {DIPES} 2010 and 3rd {IFIP} {TC} 10 International
Conference, {BICC} 2010, Held as Part of {WCC} 2010, Brisbane, Australia,
September 20-23, 2010. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {329},
pages = {90--101},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15234-4\_10},
doi = {10.1007/978-3-642-15234-4\_10},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-3/ArthoHLTY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/Artho10,
author = {Cyrille Valentin Artho},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Run-Time Verification of Networked Software},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {59--73},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_7},
doi = {10.1007/978-3-642-16612-9\_7},
timestamp = {Thu, 26 Jan 2023 14:05:55 +0100},
biburl = {https://dblp.org/rec/conf/rv/Artho10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/SuzakiYINAW10,
author = {Kuniyasu Suzaki and
Toshiki Yagi and
Kengo Iijima and
Anh{-}Quynh Nguyen and
Cyrille Artho and
Yoshihito Watanebe},
editor = {Wietse Z. Venema},
title = {Moving from Logical Sharing of Guest {OS} to Physical Sharing of Deduplication
on Virtual Machine},
booktitle = {5th {USENIX} Workshop on Hot Topics in Security, HotSec'10, Washington,
D.C., USA, August 10, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/hotsec10/moving-logical-sharing-guest-os-physical-sharing-deduplication-virtual-machine},
timestamp = {Mon, 01 Feb 2021 08:43:16 +0100},
biburl = {https://dblp.org/rec/conf/uss/SuzakiYINAW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Artho09,
author = {Cyrille Artho},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {Separation of Transitions, Actions, and Exceptions in Model-Based
Testing},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2009, 12th International
Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5717},
pages = {279--286},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04772-5\_37},
doi = {10.1007/978-3-642-04772-5\_37},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Artho09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LeungwattanakitAHTY09,
author = {Watcharin Leungwattanakit and
Cyrille Artho and
Masami Hagiya and
Yoshinori Tanabe and
Mitsuharu Yamamoto},
title = {Verifying networked programs using a model checker extension},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Companion Volume},
pages = {409--410},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE-COMPANION.2009.5071036},
doi = {10.1109/ICSE-COMPANION.2009.5071036},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/LeungwattanakitAHTY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ArthoLHTY09,
author = {Cyrille Artho and
Watcharin Leungwattanakit and
Masami Hagiya and
Yoshinori Tanabe and
Mitsuharu Yamamoto},
title = {Cache-Based Model Checking of Networked Applications: From Linear
to Branching Time},
booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
Software Engineering, Auckland, New Zealand, November 16-20, 2009},
pages = {447--458},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ASE.2009.43},
doi = {10.1109/ASE.2009.43},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ArthoLHTY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/LeungwattanakitAHTY09,
author = {Watcharin Leungwattanakit and
Cyrille Valentin Artho and
Masami Hagiya and
Yoshinori Tanabe and
Mitsuharu Yamamoto},
editor = {Ewen Denney and
Dimitra Giannakopoulou and
Corina S. Pasareanu},
title = {Introduction of Virtualization Technology to Multi-Process Model Checking},
booktitle = {First {NASA} Formal Methods Symposium - {NFM} 2009, Moffett Field,
California, USA, April 6-8, 2009},
series = {{NASA} Conference Proceedings},
volume = {{NASA/CP-2009-215407}},
pages = {106--110},
year = {2009},
timestamp = {Tue, 17 Jul 2012 14:23:04 +0200},
biburl = {https://dblp.org/rec/conf/nfm/LeungwattanakitAHTY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/Artho08,
author = {Cyrille Artho},
editor = {Hana Chockler and
Alan J. Hu},
title = {Iterative Delta Debugging},
booktitle = {Hardware and Software: Verification and Testing, 4th International
Haifa Verification Conference, {HVC} 2008, Haifa, Israel, October
27-30, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5394},
pages = {99--113},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01702-5\_13},
doi = {10.1007/978-3-642-01702-5\_13},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/Artho08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/ArthoLHT08,
author = {Cyrille Artho and
Watcharin Leungwattanakit and
Masami Hagiya and
Yoshinori Tanabe},
title = {Architecture-aware Partial Order Reduction to Accelerate Model Checking
of Networked Programs},
booktitle = {Ninth {ACIS} International Conference on Software Engineering, Artificial
Intelligence, Networking and Parallel/Distributed Computing, {SNPD}
2008, In conjunction with Second International Workshop on Advanced
Internet Technology and Applications, August 6-8, 2008, Phuket, Thailand},
pages = {807--813},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SNPD.2008.50},
doi = {10.1109/SNPD.2008.50},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snpd/ArthoLHT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/ArthoLHT08a,
author = {Cyrille Artho and
Watcharin Leungwattanakit and
Masami Hagiya and
Yoshinori Tanabe},
title = {Tools and Techniques for Model Checking Networked Programs},
booktitle = {Ninth {ACIS} International Conference on Software Engineering, Artificial
Intelligence, Networking and Parallel/Distributed Computing, {SNPD}
2008, In conjunction with Second International Workshop on Advanced
Internet Technology and Applications, August 6-8, 2008, Phuket, Thailand},
pages = {852--857},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SNPD.2008.36},
doi = {10.1109/SNPD.2008.36},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snpd/ArthoLHT08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/ArthoLHT08,
author = {Cyrille Artho and
Watcharin Leungwattanakit and
Masami Hagiya and
Yoshinori Tanabe},
editor = {Richard F. Paige and
Bertrand Meyer},
title = {Efficient Model Checking of Networked Applications},
booktitle = {Objects, Components, Models and Patterns, 46th International Conference,
{TOOLS} {EUROPE} 2008, Zurich, Switzerland, June 30 - July 4, 2008.
Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {11},
pages = {22--40},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69824-1\_3},
doi = {10.1007/978-3-540-69824-1\_3},
timestamp = {Wed, 24 Jun 2020 15:26:33 +0200},
biburl = {https://dblp.org/rec/conf/tools/ArthoLHT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ArthoCH07,
author = {Cyrille Artho and
Zhongwei Chen and
Shinichi Honiden},
title = {AOP-based automated unit test classification of large benchmarks},
booktitle = {31st Annual International Computer Software and Applications Conference,
{COMPSAC} 2007, Beijing, China, July 24-27, 2007. Volume 2},
pages = {17--22},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/COMPSAC.2007.75},
doi = {10.1109/COMPSAC.2007.75},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/ArthoCH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ArthoHH07,
author = {Cyrille Artho and
Klaus Havelund and
Shinichi Honiden},
title = {Visualization of Concurrent Program Executions},
booktitle = {31st Annual International Computer Software and Applications Conference,
{COMPSAC} 2007, Beijing, China, July 24-27, 2007. Volume 2},
pages = {541--546},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/COMPSAC.2007.236},
doi = {10.1109/COMPSAC.2007.236},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/ArthoHH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/ArthoZBSH07,
author = {Cyrille Artho and
Boris Zweim{\"{u}}ller and
Armin Biere and
Etsuya Shibayama and
Shinichi Honiden},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {Efficient Model Checking of Applications with Input/Output},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2007, 11th International
Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria,
Spain, February 12-16, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4739},
pages = {515--522},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75867-9\_65},
doi = {10.1007/978-3-540-75867-9\_65},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/ArthoZBSH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ArthoSH07,
author = {Cyrille Artho and
Christian Sommer and
Shinichi Honiden},
title = {Model Checking Networked Programs in the Presence of Transmission
Failures},
booktitle = {First Joint {IEEE/IFIP} Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2007, June 5-8, 2007, Shanghai, China},
pages = {219--228},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/TASE.2007.33},
doi = {10.1109/TASE.2007.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/ArthoSH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ArthoBH06,
author = {Cyrille Artho and
Armin Biere and
Shinichi Honiden},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Enforcer - Efficient Failure Injection},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {412--427},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_28},
doi = {10.1007/11813040\_28},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/ArthoBH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/ArthoBH06,
author = {Cyrille Artho and
Armin Biere and
Shinichi Honiden},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Exhaustive Testing of Exception Handlers with Enforcer},
booktitle = {Formal Methods for Components and Objects, 5th International Symposium,
{FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4709},
pages = {26--46},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74792-5\_2},
doi = {10.1007/978-3-540-74792-5\_2},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/ArthoBH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ArthoB06,
author = {Cyrille Artho and
Armin Biere},
editor = {Hong Zhu and
Joseph R. Horgan and
Shing{-}Chi Cheung and
J. Jenny Li},
title = {Advanced Unit Testing: How to Scale up a Unit Test Framework},
booktitle = {Proceedings of the 2006 International Workshop on Automation of Software
Test, {AST} 2006, Shanghai, China, May 23, 2006},
pages = {92--98},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1138929.1138947},
doi = {10.1145/1138929.1138947},
timestamp = {Thu, 30 Apr 2020 12:10:35 +0200},
biburl = {https://dblp.org/rec/conf/icse/ArthoB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ArthoG06,
author = {Cyrille Artho and
Pierre{-}Lo{\"{\i}}c Garoche},
title = {Accurate Centralization for Applying Model Checking on Networked Applications},
booktitle = {21st {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2006), 18-22 September 2006, Tokyo, Japan},
pages = {177--188},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ASE.2006.10},
doi = {10.1109/ASE.2006.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ArthoG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ch/Artho2005,
author = {Cyrille Artho},
title = {Combining static and dynamic analysis to find multi-threading faults
beyond data races},
school = {{ETH} Zurich},
year = {2005},
url = {https://d-nb.info/975260316},
urn = {urn:nbn:se:kth:diva-199171},
doi = {10.3929/ETHZ-A-005005473},
isbn = {3-89649-997-1},
timestamp = {Sun, 04 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/ch/Artho2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ArthoBGHKLPRSVW05,
author = {Cyrille Artho and
Howard Barringer and
Allen Goldberg and
Klaus Havelund and
Sarfraz Khurshid and
Michael R. Lowry and
Corina S. Pasareanu and
Grigore Rosu and
Koushik Sen and
Willem Visser and
Richard Washington},
title = {Combining test case generation and runtime verification},
journal = {Theor. Comput. Sci.},
volume = {336},
number = {2-3},
pages = {209--234},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.11.007},
doi = {10.1016/J.TCS.2004.11.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ArthoBGHKLPRSVW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArthoB05,
author = {Cyrille Artho and
Armin Biere},
editor = {Agostino Cortesi and
Francesco Logozzo},
title = {Combined Static and Dynamic Analysis},
booktitle = {Proceedings of the First International Workshop on Abstract Interpretation
of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January
21, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {131},
pages = {3--14},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.01.018},
doi = {10.1016/J.ENTCS.2005.01.018},
timestamp = {Tue, 13 Dec 2022 15:04:42 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ArthoB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArthoB05a,
author = {Cyrille Artho and
Armin Biere},
editor = {Fausto Spoto},
title = {Subroutine Inlining and Bytecode Abstraction to Simplify Static and
Dynamic Analysis},
booktitle = {Proceedings of the First Workshop on Bytecode Semantics, Verification,
Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April
9, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {141},
number = {1},
pages = {109--128},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.02.034},
doi = {10.1016/J.ENTCS.2005.02.034},
timestamp = {Tue, 13 Dec 2022 11:21:43 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ArthoB05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ArthoHB04,
author = {Cyrille Artho and
Klaus Havelund and
Armin Biere},
editor = {Farn Wang},
title = {Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors},
booktitle = {Automated Technology for Verification and Analysis: Second International
Conference, {ATVA} 2004, Taipei, Taiwan, ROC, October 31-November
3, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3299},
pages = {150--164},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30476-0\_16},
doi = {10.1007/978-3-540-30476-0\_16},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/ArthoHB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ArthoSBEBZ04,
author = {Cyrille Artho and
Viktor Schuppan and
Armin Biere and
Pascal Eugster and
Marcel Baur and
Boris Zweim{\"{u}}ller},
editor = {Rajeev Alur and
Doron A. Peled},
title = {JNuke: Efficient Dynamic Analysis for Java},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {462--465},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_37},
doi = {10.1007/978-3-540-27813-9\_37},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/ArthoSBEBZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ArthoH04,
author = {Cyrille Artho and
Klaus Havelund},
editor = {Bernhard Steffen and
Giorgio Levi},
title = {Applying Jlint to Space Exploration Software},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 5th International
Conference, {VMCAI} 2004, Venice, Italy, January 11-13, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2937},
pages = {297--308},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24622-0\_24},
doi = {10.1007/978-3-540-24622-0\_24},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/ArthoH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/ArthoHB03,
author = {Cyrille Artho and
Klaus Havelund and
Armin Biere},
title = {High-level data races},
journal = {Softw. Test. Verification Reliab.},
volume = {13},
number = {4},
pages = {207--227},
year = {2003},
url = {https://doi.org/10.1002/stvr.281},
doi = {10.1002/STVR.281},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/ArthoHB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/ArthoDGHLPRV03,
author = {Cyrille Artho and
Doron Drusinsky and
Allen Goldberg and
Klaus Havelund and
Michael R. Lowry and
Corina S. Pasareanu and
Grigore Rosu and
Willem Visser},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Experiments with Test Case Generation and Runtime Analysis},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {87--107},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_5},
doi = {10.1007/3-540-36498-6\_5},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/ArthoDGHLPRV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nddl/ArthoHB03,
author = {Cyrille Artho and
Klaus Havelund and
Armin Biere},
editor = {Pedro T. Isa{\'{\i}}as and
Florence S{\`{e}}des and
Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {High-Level Data Races},
booktitle = {New Technologies for Information Systems, Proceedings of the 3rd International
Workshop on New Developments in Digital Libraries, {NDDL} 2003, and
the 1st International Workshop on Validation and Verification of Software
for Enterprise Information Systems, {VVEIS} 2003, In conjunction with
{ICEIS} 2003, Angers, France, April 2003},
pages = {82--93},
publisher = {{ICEIS} Press},
year = {2003},
timestamp = {Thu, 23 Oct 2014 13:51:12 +0200},
biburl = {https://dblp.org/rec/conf/nddl/ArthoHB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BiereAHS03,
author = {Armin Biere and
Cyrille Artho and
Malek Haroud and
Viktor Schuppan},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {Formal Methods Group {ETH} Z{\"{u}}rich},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {289--293},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80828-4},
doi = {10.1016/S1571-0661(04)80828-4},
timestamp = {Tue, 06 Dec 2022 10:12:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BiereAHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BiereAS02,
author = {Armin Biere and
Cyrille Artho and
Viktor Schuppan},
editor = {Rance Cleaveland and
Hubert Garavel},
title = {Liveness Checking as Safety Checking},
booktitle = {7th International {ERCIM} Workshop in Formal Methods for Industrial
Critical Systems, {FMICS} 2002, {ICALP} 2002 Satellite Workshop, M{\'{a}}laga,
Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {2},
pages = {160--177},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80410-9},
doi = {10.1016/S1571-0661(04)80410-9},
timestamp = {Tue, 06 Dec 2022 10:27:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BiereAS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/ArthoB01,
author = {Cyrille Artho and
Armin Biere},
title = {Applying Static Analysis to Large-Scale, Multi-Threaded Java Programs},
booktitle = {13th Australian Software Engineering Conference {(ASWEC} 2001), 26-28
August 2001, Canberra, Australia},
pages = {68--75},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ASWEC.2001.948499},
doi = {10.1109/ASWEC.2001.948499},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/ArthoB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-16 20:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
