Access below. More scientific publications and details on scientific conferences coming soon.
Aizawa, K. Tei and S. Honiden, “Identifying safety properties guaranteed in changed environment at runtime”
2018 IEEE International Conference on Agents (ICA), Singapore, 2018, pp. 75-80, doi: (28/31-07-2018)
September 2018
Cleaning up the mess: from monitoring to discovery and notification of infected/insecure IoT devices
Katsunari Yoshioka “Cleaning up the mess: from monitoring to discovery and notification of infected/insecure IoT devices”.
Keynote speach. 5th France-Japan Cybersecurity Workshop.
April 24, 2019
Amel Bennaceur et al., “Modelling and Analysing Resilient Cyber-Physical Systems”
2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Montreal, QC, Canada, 2019, pp. 70-76.
May 25, 2019
P. Mallozzi, E. Castellano, P. Pelliccione, G. Schneider and K. Tei, “A Runtime Monitoring Framework to Enforce Invariants on Reinforcement Learning Agents Exploring Complex Environments,”
2019 IEEE/ACM 2nd International Workshop on Robotics Software Engineering (RoSE), Montreal, QC, Canada, 2019, pp. 5-12.
May 27, 2019
H. Washizaki et al., “Landscape of IoT Patterns“
2019 IEEE/ACM 1st International Workshop on Software Engineering Research & Practices for the Internet of Things (SERP4IoT), Montreal, QC, Canada, 2019, pp. 57-60,
May 27, 2019
Kazuya Aizawa, Kenji Tei and Shinichi Honiden, Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems
The 16th IEEE International Conference on Advanced & Trusted Computing (ATC 2019)
August 2019
Shin Katayama, “Situation-Aware Emotion Regulation of Conversational Agents with Kinetic Earables”
8th International Conference on Affective Computing and Intelligent Interaction (ACII), Cambridge, United Kingdom
September 2019
Castellano, E., Braberman, V., D’Ippolito, N., Uchitel, S., & Tei, K. (2019). “Minimising Makespan of Discrete Controllers: A Qualitative Approach”.
In 2019 IEEE 58th Conference on Decision and Control, CDC 2019 (pp. 1068-1075), Institute of Electrical and Electronics Engineers Inc.
December 2019
Wataru Sasaki, Yusaku Eigen, Arturo Medela, Antonis Litke, Venessa Clemente Nunez, Tadashi Okoshi, Jin Nakazawa, “SmileCityReport: Emotion-aware Participatory Sensing for Smart Cities with Double-sided Photo Shooting
2020 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops), Online, virtual conference
March 2020
Kounas, D., Voutyras, O., Palaiokrassas, G., Litke, A., & Varvarigou, T. (2020). QuietPlace: An Ultrasound-Based Proof of Location Protocol with Strong Identities
Applied System Innovation, 3(2), 19
April 7, 2020
Tsoulias K., Palaiokrassas G., Fragkos G., Litke A., Varvarigou T. (2020), A Graph Model Based Blockchain Implementation for Increasing Performance and Security in Decentralized Ledger Systems
IEEE Access, Volume 8
July 1, 2020
Chun-Jung Wu1,Katsunari Yoshioka and Tsutomu Matsumoto. “ThingGate: A Gateway for Managing Traffic of Bare-metal IoT Honeypot”
Journal of Information Processing Vol.28 481–492
September, 2020
K. Kuwana, K. Tei, Y. Fukazawa and S. Honiden, “Method of Applying Df-pn Algorithm to On-the-fly Controller Synthesis,”
2020 IEEE Third International Conference on Artificial Intelligence and Knowledge Engineering (AIKE), 2020, pp. 168-173,
December 2020
Jialong Li, Kenji Tei and Shinichi Honiden, “Identifying achievable goals for adaptive replanning against runtime environment change”
The 20th International Conference on Intelligent Systems Design and Applications (ISDA),
December 2020
J. Li, K. Aizawa, K. Tei and S. Honiden, “Efficient Difference Analysis Algorithm for Runtime Requirement Degradation under System Functional Fault,”
2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing (EUC), 2020, pp. 33-40.
January 2021
Keiko Dogushi and Vanessa Clemente Nunez, “Research on security technology effective for smart city society and demonstration in real cities in Japan and Europe-Introduction of Japan-Europe joint research and development project “M-Sec”
Journal of the ITU Association of Japan, volume 51, nº1
January 2021
Jialong Li, Zhenyu Mao, Zhen Cao, Kenji Tei, Shinichi Honiden, “Self-adaptive Hydroponics Care System for Human-hydroponics Coexistence”
2021 IEEE 3rd Global Conference on Life Sciences and Technologies, pp.204-206
March 2021
Takanori Hirano, Kenji Tei, Kazuya Aizawa and Shinichi Honiden, “Differential Controller Synthesis at Runtime Using Changed Parts of Environment Model”
2021 IEEE 8th International Conference on Industrial Engineering and Applications (ICIEA 2021), pp.91-100
April 2021
A. De La Piedra Ghidra-EVM: Reversing Smart Contracts with Ghidra (2021),
Black Hat Arsenal, (CEA)
May 7, 2021
Takafumi Kawasaki, Georgios Palaiokrassas, Akira Tsuge, Tadashi Okoshi, Antonis Litke, Jin Nakazawa. SOXCollaborator: A Bridge System to Realize Open-Data Commerce by Collaborating with SOXFire and Blockchain Marketplace.
IPSJ – Information Processing Society of Japan.
August 26, 2021
Bokhari, A., Inoue, Y., Kato, S., Yoshioka, K., and Matsumoto, T. “Empirical Analysis of Security and Power-Saving Features of Port Knocking Technique Applied to an IoT Device”.
Journal of Information Processing, Vol.29, pp.572-580
September 2021
Orfeas Voutyras, Aamir H. Bokhari, Akira Tsuge, George Palaiokrassas, Takafumi Kawasaki, Xavier Cases Camats, Jin Nakazawa, Antonios Litke, Tadashi Okoshi, Theodora Varvarigou, A methodology for generating Systems Architectural Glimpse statements using the 5W1H maxim,
MDPI Computers: Edge and Cloud Computing in IoT
September 2021
Georgios Palaiokrassas, Petros Skoufis, Orfefs Voutyras, Takafumi Kawasaki, Mathieu Gallissot, Radhouene Azzabi, Akira Tsuge, Antonios Litke, Tadashi Okoshi, Jin Nakazawa, Theodora Varvarigou, “Combining blockchains, smart contracts and complex sensors management platform for hyper-connected smart cities: an IoT data marketplace use case”.
MDPI Computers: Edge and Cloud Computing in IoT
September 2021
ICCS, KEIO, NII and YNU. “A Development Method for Safe Node-RED Systems using Discrete Controller Synthesis”
Submitted paper to the IEEE iThings2021
September6, 2021