Towards Scalable Model Checking of Reflective Systems via Labeled Transition Systems
Tei, Kenji, Tahara, Yasuyuki, Ohsuga, Akihiko
Published in IEEE transactions on software engineering (01.03.2023)
Published in IEEE transactions on software engineering (01.03.2023)
Get full text
Journal Article
Optimization design of piles subjected to horizontal loads based on reliability theory
Zhao, Wen-yi, Xu, Zhi-Jun, Zheng, Jun-Jie
Published in Journal of Central South University (01.07.2014)
Published in Journal of Central South University (01.07.2014)
Get full text
Journal Article
Dynamic Update of Discrete Event Controllers
Nahabedian, Leandro, Braberman, Victor, Dippolito, Nicolas, Honiden, Shinichi, Kramer, Jeff, Tei, Kenji, Uchitel, Sebastian
Published in IEEE transactions on software engineering (01.11.2020)
Published in IEEE transactions on software engineering (01.11.2020)
Get full text
Journal Article
Dynamic estimation and reliability control of quality assurance for bored piles
Zhao, Wen-yi, Xu, Zhi-jun, Zheng, Jun-jie, Bian, Xiao-ya
Published in Journal of Central South University (01.03.2014)
Published in Journal of Central South University (01.03.2014)
Get full text
Journal Article
Goal-oriented Knowledge Reuse via Curriculum Evolution for Reinforcement Learning-based Adaptation
Li, Jialong, Zhang, Mingyue, Mao, Zhenyu, Zhao, Haiyan, Jin, Zhi, Honiden, Shinichi, Tei, Kenji
Published in 2022 29th Asia-Pacific Software Engineering Conference (APSEC) (01.12.2022)
Published in 2022 29th Asia-Pacific Software Engineering Conference (APSEC) (01.12.2022)
Get full text
Conference Proceeding
Done is better than perfect: Iterative Adaptation via Multi-grained Requirement Relaxation
Li, Jialong, Tei, Kenji
Published in 2022 IEEE 30th International Requirements Engineering Conference (RE) (01.08.2022)
Published in 2022 IEEE 30th International Requirements Engineering Conference (RE) (01.08.2022)
Get full text
Conference Proceeding
OACAL: Finding Module-consistent Specifications to Secure Systems from Weakened User Obligations
Jiang, Pengcheng, Tei, Kenji
Published in 2021 IEEE Symposium Series on Computational Intelligence (SSCI) (05.12.2021)
Published in 2021 IEEE Symposium Series on Computational Intelligence (SSCI) (05.12.2021)
Get full text
Conference Proceeding
Preference Adaptation: user satisfaction is all you need
Li, Nianyu, Zhang, Mingyue, Li, Jialong, Kang, Eunsuk, Tei, Kenji
Published in 2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) (01.05.2023)
Published in 2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) (01.05.2023)
Get full text
Conference Proceeding
S-CLAIM: An Agent-based Programming Language for AmI, A Smart-Room Case Study
Baljak, Valentina, Benea, Marius Tudor, Seghrouchni, Amal El Fallah, Herpson, Cédric, Honiden, Shinichi, Nguyen, Thi Thuy Nga, Olaru, Andrei, Shimizu, Ryo, Tei, Kenji, Toriumi, Susumu
Published in Procedia computer science (01.01.2012)
Published in Procedia computer science (01.01.2012)
Get full text
Journal Article
Heterogeneous Information Network based Adaptive Social Influence Learning for Recommendation and Explanation
Li, Munan, Tei, Kenji, Fukazawa, Yoshiaki
Published in 2020 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT) (01.12.2020)
Published in 2020 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT) (01.12.2020)
Get full text
Conference Proceeding
From Local to Global: A Curriculum Learning Approach for Reinforcement Learning-based Traffic Signal Control
Zheng, Nianzhao, Li, Jialong, Mao, Zhenyu, Tei, Kenji
Published in 2022 IEEE 2nd International Conference on Software Engineering and Artificial Intelligence (SEAI) (10.06.2022)
Published in 2022 IEEE 2nd International Conference on Software Engineering and Artificial Intelligence (SEAI) (10.06.2022)
Get full text
Conference Proceeding