Diversity-aware fairness testing of machine learning classifiers through hashing-based sampling.
Zhenjiang Zhao, Takahisa Toda, Takashi Kitamura. Information and Software Technology, 2023.

Experimenting with an Intrinsically-Typed Probabilistic Programming Language in Coq.
Ayumu Saito, Reynald Affeldt. 21st Asian Symposium on Programming Languages and Systems (APLAS'23), 2023.

Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs.
Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga. Artificial Intelligence, 2023.

Formalizing Statistical Causality via Modal Logic.
Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga. 18th European Conference on Logics in Artificial Intelligence (JELIA'23), 2023.

Measure Construction by Extension in Dependent Type Theory with Application to Integration.
Reynald Affeldt, Cyril Cohen. Journal of Automated Reasoning, 2023.

Semantics of Probabilistic Programs using s-Finite Kernels in Coq.
Reynald Affeldt, Cyril Cohen, Ayumu Saito. 12th International Conference on Certified Programs and Proofs (CPP'23), 2023.

Quality assurance study with mismatched data in sentiment analysis.
Tinghui Ouyang, Yoshiki Seo, Yutaka Oiwa. 29th Asia-Pacific Software Engineering Conference (APSEC'22), 2022.

Efficient Fairness Testing Through Hash-Based Sampling.
Zhenjiang Zhao, Takahisa Toda, Takashi Kitamura. 14th Symposium on Search-Based Software Engineering (SSBSE'22), 2022.

Applying Combinatorial Testing to Verification-Based Fairness Testing.
Takashi Kitamura, Zhenjiang Zhao, Takahisa Toda. 14th Symposium on Search-Based Software Engineering (SSBSE'22), 2022.

Towards a Practical Library for Monadic Equational Reasoning in Coq.
Ayumu Saito, Reynald Affeldt. 14th International Conference on Mathematics of Program Construction (MPC'22), 2022.

Autonomous driving quality assurance with data uncertainty analysis.
Tinghui Ouyang, Yoshinao Isobe, Saïma Sultana, Yoshiki Seo, Yutaka Oiwa. International Joint Conference on Neural Network (IJCNN'22), 2022.

An efficient discrimination discovery method for fairness testing.
Shinya Sano, Takashi Kitamura, Shingo Takada. SEKE'22, 2022.

Information Leakage Games: Exploring Information as a Utility Function.
Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi. ACM Transactions on Privacy and Security, 2022.

Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic.
Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga. 18th International Conference on Principles of Knowledge Representation and Reasoning (KR'21), 2021.

Locality Sensitive Hashing with Extended Differential Privacy.
Natasha Fernandes, Yusuke Kawamoto, Takao Murakami. 26th European Symposium on Research in Computer Security (ESORICS'21), 2021. PDF

AI robustness analysis with consideration of corner cases.
Tinghui Ouyang, Yoshinao Isobe, Vicent Sanz Marco, Jun Ogata, Yoshiki Seo, Yutaka Oiwa. AITest 2021.

A trustful monad for axiomatic reasoning with probability and nondeterminism.
Reynald Affeldt, Jacques Garrigue, David Nowak, and Takafumi Saikawa. Journal of Functional Programming, 2021. PDF

Formalization of the Lebesgue Measure in MathComp-Analysis.
Reynald Affeldt, Cyril Cohen. The Coq Workshop 2021. PDF

Porting the Mathematical Components library to Hierarchy Builder.
Reynald Affeldt, Xavier Allamigeon, Yves Bertot, Quentin Canu, Cyril Cohen, Pierre Roux, Kazuhiko Sakaguchi, Enrico Tassi, Laurent Théry, Anton Trunov. The Coq Workshop 2021. PDF

TransMIA: Membership Inference Attacks Using Transfer Shadow Training.
Seira Hidano, Takao Murakami, Yusuke Kawamoto. International Joint Conference on Neural Network (IJCNN'21), 2021. PDF

Coverage-Guided Fairness Testing.
Daniel Perez Morales, Takashi Kitamura, Shingo Takada. IEEE-ACIS 20th International Summer Semi-Virtual Conference on Computer and Information Science (ICIS'20), 2021. DOI

Extending Equational Monadic Reasoning with Monad Transformers.
Reynald Affeldt, David Nowak. 26th International Conference on Types for Proofs and Programs (TYPES'20), 2021. PDF

Corner case data description and detection.
Tinghui Ouyang, Vicent Sant Marco, Yoshinao Isobe, Hideki Asoh, Yutaka Oiwa, Yoshiki Seo. 1st Workshop on AI Engineering - Software Engineering for AI (WAIN'21), 2021. PDF

Privacy-Preserving Multiple Tensor Factorization for Synthesizing Large-Scale Location Traces with Cluster-Specific Features.
Takao Murakami, Koki Hamada, Yusuke Kawamoto, and Takuma Hatano. Proceedings on Privacy Enhancing Technologies, 2021. PDF

An epistemic approach to the formal specification of statistical machine learning.
Yusuke Kawamoto. Software and Systems Modeling, 2021. PDF