Logo Loading

Scientific Papers

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

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

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

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

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

Enter your keyword