{"id":6463,"date":"2018-09-26T22:32:51","date_gmt":"2018-09-26T22:32:51","guid":{"rendered":"https:\/\/msecproject.eu\/?page_id=6463"},"modified":"2021-10-21T15:24:16","modified_gmt":"2021-10-21T15:24:16","slug":"scientific-papers","status":"publish","type":"page","link":"https:\/\/msecproject.eu\/ja\/scientific-papers\/","title":{"rendered":"\u00e7\u00a7\u2018\u00e5\u00ad\u00a6\u00e6\u0192\u2026\u00e5\u00a0\u00b1\u00e8\u00aa\u0152"},"content":{"rendered":"

[vc_row][vc_column][vc_column_text]<\/p>\n

Access below. More scientific publications and details on scientific conferences coming soon.<\/strong><\/h3>\n

[\/vc_column_text][g5plus_space desktop=”90″ tablet=”70″ tablet_portrait=”60″ mobile_landscape=”50″ mobile=”40″][\/vc_column][\/vc_row][vc_row][vc_column][vc_tta_accordion][vc_tta_section title=”Identifying safety properties guaranteed in changed environment at runtime“” tab_id=”1568043814609-6dc2d392-8479″][vc_column_text]Aizawa, K. Tei and S. Honiden, “Identifying safety properties guaranteed in changed environment at runtime”<\/a><\/strong><\/p>\n

2018 IEEE International Conference on Agents (ICA), Singapore, 2018, pp. 75-80, doi: <\/span>(28\/31-07-2018)<\/span><\/p>\n

September 2018[\/vc_column_text][\/vc_tta_section][vc_tta_section title=”Cleaning up the mess: from monitoring to discovery and notification of infected\/insecure IoT devices” tab_id=”1634826849694-395b77f3-b1e7″][vc_column_text]Katsunari Yoshioka “Cleaning up the mess: from monitoring to discovery and notification of infected\/insecure IoT devices”<\/a>. <\/strong><\/p>\n

Keynote speach. 5th France-Japan Cybersecurity Workshop.<\/span><\/p>\n

April 24, 2019[\/vc_column_text][\/vc_tta_section][vc_tta_section title=”Modelling and Analysing Resilient Cyber-Physical Systems” tab_id=”1568043814610-f14afc81-a39c”][vc_column_text]Amel Bennaceur et al., “Modelling and Analysing Resilient Cyber-Physical Systems<\/a>” <\/strong><\/p>\n

2019 IEEE\/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Montreal, QC, Canada, 2019, pp. 70-76.<\/span><\/p>\n

May 25, 2019[\/vc_column_text][\/vc_tta_section][vc_tta_section title=”A Runtime Monitoring Framework to Enforce Invariants on Reinforcement Learning Agents Exploring Complex Environments” tab_id=”1568046730262-16d0eaae-1262″][vc_column_text]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<\/a>,”<\/strong> <\/span><\/p>\n

2019 IEEE\/ACM 2nd International Workshop on Robotics Software Engineering (RoSE), Montreal, QC, Canada, 2019, pp. 5-12.<\/span><\/p>\n

May 27, 2019<\/p>\n

[\/vc_column_text][\/vc_tta_section][vc_tta_section title=”Landscape of IoT Patterns” tab_id=”1568049696502-d80eb720-1edd”][vc_column_text]H. Washizaki et al., “Landscape of IoT Patterns<\/a>“<\/strong> <\/span><\/p>\n

2019 IEEE\/ACM 1st International Workshop on Software Engineering Research & Practices for the Internet of Things (SERP4IoT), Montreal, QC, Canada, 2019, pp. 57-60, <\/span><\/p>\n

May 27, 2019[\/vc_column_text][\/vc_tta_section][vc_tta_section title=”Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems” tab_id=”1568049699537-a21488c7-1c64″][vc_column_text]Kazuya Aizawa, Kenji Tei and Shinichi Honiden<\/strong>, Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems<\/strong><\/span><\/a><\/p>\n

The 16th IEEE International Conference on Advanced & Trusted Computing (ATC 2019)<\/p>\n

August 2019[\/vc_column_text][\/vc_tta_section][vc_tta_section title=”Situation-Aware Emotion Regulation of Conversational Agents with Kinetic Earables” tab_id=”1601541390058-16c87d8a-e483″][vc_column_text]Shin Katayama,<\/strong> \u00e2\u20ac\u0153Situation-Aware<\/a><\/span> Emotion Regulation of Conversational Agents with Kinetic <\/a>Earables<\/a>\u00e2\u20ac\u009d<\/a><\/span><\/strong><\/p>\n

8th International Conference on Affective Computing and Intelligent Interaction (ACII), Cambridge, United Kingdom<\/p>\n

September 2019<\/p>\n

[\/vc_column_text][\/vc_tta_section][vc_tta_section title=”Minimising Makespan of Discrete Controllers: A Qualitative Approach” tab_id=”1601541692549-2c02b594-3b47″][vc_column_text]Castellano, E., Braberman, V., D’Ippolito, N., Uchitel, S., & Tei, K. (2019). “Minimising Makespan of Discrete Controllers: A Qualitative Approach”.<\/strong> <\/a><\/strong><\/p>\n

In 2019 IEEE 58th Conference on Decision and Control, CDC 2019 <\/em>(pp. 1068-1075), Institute of Electrical and Electronics Engineers Inc.<\/p>\n

December 2019[\/vc_column_text][\/vc_tta_section][vc_tta_section title=”SmileCityReport: Emotion-aware Participatory Sensing for Smart Cities with Double-sided Photo Shooting” tab_id=”1601542125458-9a361f77-c3d8″][vc_column_text]Wataru Sasaki, Yusaku Eigen, Arturo Medela, Antonis Litke, Venessa Clemente Nunez, Tadashi Okoshi, Jin Nakazawa, \u00e2\u20ac\u0153SmileCityReport: Emotion-aware Participatory Sensing for Smart Cities with Double-sided Photo Shooting<\/a><\/strong><\/p>\n

2020 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops), Online, virtual conference<\/p>\n

March 2020[\/vc_column_text][\/vc_tta_section][vc_tta_section title=”QuietPlace: An Ultrasound-Based Proof of Location Protocol with Strong Identities” tab_id=”1601541977173-3ab35f89-ee2e”][vc_column_text]Kounas, D., Voutyras, O., Palaiokrassas, G., Litke, A., & Varvarigou, T. (2020). QuietPlace: An Ultrasound-Based Proof of Location Protocol with Strong Identities<\/a><\/strong><\/p>\n

Applied System Innovation, 3(2), 19<\/p>\n

April 7, 2020[\/vc_column_text][\/vc_tta_section][vc_tta_section title=”A Graph Model Based Blockchain Implementation for Increasing Performance and Security in Decentralized Ledger Systems” tab_id=”1601542081106-4b2f413e-15a6″][vc_column_text]Tsoulias K., Palaiokrassas G., Fragkos G., Litke A., Varvarigou T. (2020), <\/strong>A Graph Model Based Blockchain Implementation for Increasing Performance and Security in Decentralized Ledger Systems<\/a><\/strong><\/p>\n

IEEE Access, Volume 8<\/p>\n

July 1, 2020[\/vc_column_text][\/vc_tta_section][vc_tta_section title=”ThingGate: A Gateway for Managing Traffic of Bare-metal IoT Honeypot” tab_id=”1601541885588-022dfe93-5e4a”][vc_column_text]Chun-Jung Wu1,Katsunari Yoshioka and Tsutomu Matsumoto. “ThingGate: A Gateway for Managing Traffic of Bare-metal IoT Honeypot”<\/a><\/strong><\/p>\n

Journal of Information Processing Vol.28 481’492<\/p>\n

September, 2020[\/vc_column_text][\/vc_tta_section][vc_tta_section title=”Method of Applying Df-pn Algorithm to On-the-fly Controller Synthesis” tab_id=”1634828411644-d4c34b91-e5ef”][vc_column_text]K. Kuwana, K. Tei, Y. Fukazawa and S. Honiden, “Method of Applying Df-pn Algorithm to On-the-fly Controller Synthesis,” <\/a><\/strong><\/p>\n

2020 IEEE Third International Conference on Artificial Intelligence and Knowledge Engineering (AIKE), 2020, pp. 168-173,<\/span><\/p>\n

December 2020[\/vc_column_text][\/vc_tta_section][vc_tta_section title=”Identifying achievable goals for adaptive replanning against runtime environment change” tab_id=”1634828662296-7657df86-c203″][vc_column_text]Jialong Li, Kenji Tei and Shinichi Honiden, \u00e2\u20ac\u0153Identifying achievable goals for adaptive replanning against runtime environment change\u00e2\u20ac\u009d<\/a><\/strong><\/p>\n

The 20th International Conference on Intelligent Systems Design and Applications (ISDA), <\/span><\/p>\n

December 2020[\/vc_column_text][\/vc_tta_section][vc_tta_section title=”Efficient Difference Analysis Algorithm for Runtime Requirement Degradation under System Functional Fault” tab_id=”1634828527512-27b38648-23ae”][vc_column_text]J. Li, K. Aizawa, K. Tei and S. Honiden, <\/strong>“Efficient Difference Analysis Algorithm for Runtime Requirement Degradation under System Functional Fault,”<\/strong> <\/a><\/span><\/p>\n

2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing (EUC), 2020, pp. 33-40.<\/span><\/p>\n

January 2021[\/vc_column_text][\/vc_tta_section][vc_tta_section title=”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” tab_id=”1609932813444-4a731d83-946a”][vc_column_text]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”<\/a><\/strong><\/p>\n

Journal of the ITU Association of Japan, volume 51, n\u00ba1<\/p>\n

January 2021[\/vc_column_text][\/vc_tta_section][vc_tta_section title=”Self-adaptive Hydroponics Care System for Human-hydroponics Coexistence” tab_id=”1634828772275-920002a2-e5bc”][vc_column_text]Jialong Li, Zhenyu Mao, Zhen Cao, Kenji Tei, Shinichi Honiden, \u00e2\u20ac\u0153Self-adaptive Hydroponics Care System for Human-hydroponics Coexistence\u00e2\u20ac\u009d<\/a><\/strong><\/p>\n

2021 IEEE 3rd Global Conference on Life Sciences and Technologies, pp.204-206<\/span><\/p>\n

March 2021[\/vc_column_text][\/vc_tta_section][vc_tta_section title=”Differential Controller Synthesis at Runtime Using Changed Parts of Environment Model” tab_id=”1634828975120-59cb55de-8063″][vc_column_text]Takanori Hirano, Kenji Tei, Kazuya Aizawa and Shinichi Honiden, \u00e2\u20ac\u0153Differential Controller Synthesis at Runtime Using Changed Parts of Environment Model\u00e2\u20ac\u009d<\/a><\/strong><\/p>\n

2021 IEEE 8th International Conference on Industrial Engineering and Applications (ICIEA 2021), pp.91-100<\/span><\/p>\n

April 2021[\/vc_column_text][\/vc_tta_section][vc_tta_section title=”Reversing Smart Contracts with Ghidra (2021)” tab_id=”1625050635033-8eab4777-0909″][vc_column_text]A. De La Piedra Ghidra-EVM: Reversing Smart Contracts with Ghidra (2021)<\/a><\/strong>,<\/strong> <\/span><\/p>\n

Black Hat Arsenal, (CEA) <\/span><\/p>\n

May 7, 2021<\/span>[\/vc_column_text][\/vc_tta_section][vc_tta_section title=”SOXCollaborator: A Bridge System to Realize Open-Data Commerce by Collaborating with SOXFire and Blockchain Marketplace” tab_id=”1634829033892-3aafb222-5cae”][vc_column_text]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 B<\/a>lockchain Marketplace<\/a><\/strong>.<\/strong> <\/span><\/p>\n

IPSJ – Information Processing Society of Japan. <\/span><\/p>\n

August 26, 2021<\/span>[\/vc_column_text][\/vc_tta_section][vc_tta_section title=”Empirical Analysis of Security and Power-Saving Features of Port Knocking Technique Applied to an IoT Device” tab_id=”1634829208460-11d00efd-1cb7″][vc_column_text]Bokhari, A., Inoue, Y., Kato, S., Yoshioka, K., and Matsumoto, T. <\/strong>“Empirical Analysis of Security and Power-Saving Features of Port Knocking Technique Applied to an IoT Device”.<\/strong> <\/a><\/span><\/p>\n

Journal of Information Processing, Vol.29, pp.572-580<\/span><\/p>\n

September 2021[\/vc_column_text][\/vc_tta_section][vc_tta_section title=”A methodology for generating Systems Architectural Glimpse statements using the 5W1H maxim” tab_id=”1634829299244-d958356a-75c8″][vc_column_text]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, <\/a><\/strong><\/p>\n

MDPI Computers: Edge and Cloud Computing in IoT<\/span><\/p>\n

September 2021[\/vc_column_text][\/vc_tta_section][vc_tta_section title=”Combining blockchains, smart contracts and complex sensors management platform for hyper-connected smart cities: an IoT data marketplace use case” tab_id=”1634829418662-fa3a32d4-fb9b”][vc_column_text]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”.<\/a><\/strong><\/p>\n

MDPI Computers: Edge and Cloud Computing in IoT<\/span><\/p>\n

September 2021[\/vc_column_text][\/vc_tta_section][vc_tta_section title=”A Development Method for Safe Node-RED Systems using Discrete Controller Synthesis” tab_id=”1634829541732-00190f6d-f0fa”][vc_column_text]ICCS, KEIO, NII and YNU. \u00e2\u20ac\u0153A Development Method for Safe Node-RED Systems using Discrete Controller Synthesis<\/a>” <\/strong><\/p>\n

Submitted paper to the <\/span>IEEE iThings2021<\/span><\/p>\n

September6, 2021[\/vc_column_text][\/vc_tta_section][\/vc_tta_accordion][\/vc_column][\/vc_row]<\/p>\n<\/div>","protected":false},"excerpt":{"rendered":"

[vc_row][vc_column][vc_column_text] Access below. More scientific publications and details on scientific confe […]<\/p>\n","protected":false},"author":1,"featured_media":6973,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-6463","page","type-page","status-publish","has-post-thumbnail","hentry"],"translation":{"provider":"WPGlobus","version":"3.0.2","language":"ja","enabled_languages":["gb","ja"],"languages":{"gb":{"title":true,"content":true,"excerpt":false},"ja":{"title":true,"content":false,"excerpt":false}}},"_links":{"self":[{"href":"https:\/\/msecproject.eu\/ja\/wp-json\/wp\/v2\/pages\/6463","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/msecproject.eu\/ja\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/msecproject.eu\/ja\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/msecproject.eu\/ja\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/msecproject.eu\/ja\/wp-json\/wp\/v2\/comments?post=6463"}],"version-history":[{"count":1,"href":"https:\/\/msecproject.eu\/ja\/wp-json\/wp\/v2\/pages\/6463\/revisions"}],"predecessor-version":[{"id":9312,"href":"https:\/\/msecproject.eu\/ja\/wp-json\/wp\/v2\/pages\/6463\/revisions\/9312"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/msecproject.eu\/ja\/wp-json\/wp\/v2\/media\/6973"}],"wp:attachment":[{"href":"https:\/\/msecproject.eu\/ja\/wp-json\/wp\/v2\/media?parent=6463"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}