Yoshinobu Kawabe

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 15

Top Topics

Colored Petri Nets

Programming Language

Theorem Proving

Top Venues

IEICE Trans. Inf. Syst.

Publications

Yoshinobu Kawabe
Foreword. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 106 (5) (2023)
Takumi Kitagawa, Tetsushi Ohki, Yuki Koizumi, Yoshinobu Kawabe, Toru Hasegawa, Masakatsu Nishigaki
Deterrence-Based Trust: A Study on Improving the Credibility of Social Media Messages in Disaster Using Registered Volunteers. NBiS (2021)
Yoshinobu Kawabe, Yuki Koizumi, Tetsushi Ohki, Masakatsu Nishigaki, Toru Hasegawa, Tetsuhisa Oda
On Trust Confusional, Trust Ignorant, and Trust Transitions. IFIPTM (2019)
Mohammad Jahanian, Toru Hasegawa, Yoshinobu Kawabe, Yuki Koizumi, Amr Magdy, Masakatsu Nishigaki, Tetsushi Ohki, K. K. Ramakrishnan
DiReCT: Disaster Response Coordination with Trusted Volunteers. ICT-DM (2019)
Shivashish Jaishy, Nobuhiro Ito, Yoshinobu Kawabe
Problem Solving with Interactive-Theorem Proving - A Case Study. ACIT/CSII/BCD (2017)
Shivashish Jaishy, Yoshiki Fukushige, Nobuhiro Ito, Kazunori Iwata, Yoshinobu Kawabe
An Evaluation of BAR: Breakdown Agent Replacement Algorithm for SCRAM. ACIT/CSII/BCD (2017)
Shivashish Jaishy, Yoshiki Fukushige, Nobuhiro Ito, Kazunori Iwata, Yoshinobu Kawabe
Assessment of BAR: Breakdown Agent Replacement Algorithm for SCRAM. Int. J. Softw. Innov. 5 (3) (2017)
Yoshinobu Kawabe, Nobuhiro Ito
On Computer-Assisted Verification of Timed Anonymity of Multi-Agent Systems. ACIT/CSII/BCD (2017)
Yoshiyuki Kozuka, Toshiyuki Hayashi, Takashi Syamoto, Nobuhiro Ito, Kazunori Iwata, Yoshinobu Kawabe
A Algorithm with Expected Value: Path Planning That Avoids Stochastic Traffic Obstacles. ICA (2016)
Yoshinobu Kawabe
Foreword. IEICE Trans. Inf. Syst. (6) (2016)
Yoshinobu Kawabe, Nobuhiro Ito
On backward-style verification for timed anonymity of security protocols. GCCE (2016)
Masahiro Yamamoto, Kazuhiro Suzuki, Ryosuke Ogawa, Nobuhiro Ito, Yoshinobu Kawabe
Robust location tracking method for mixed reality robots using a rotation search method. ICIS (2015)
Masato Yamauchi, Nobuhiro Ito, Yoshinobu Kawabe
Verifying ignition timing of gasoline direct injection engine's PCM. ICIS (2015)
Shivashish Jaishy, Nobuhiro Ito, Yoshinobu Kawabe
BAR: Breakdown Agent Replacement Algorithm for SCRAM. ACIT-CSI (2015)
Yoshitaka Kato, Masaya Ozaki, Jun'ya Kani, Nobuhiro Ito, Yoshinobu Kawabe
Developing Compiler for Nihongo Programming Language PEN. ACIT-CSI (2015)
Masato Yamauchi, Nobuhiro Ito, Yoshinobu Kawabe
Toward Formal Verification of ECU for Gasoline Direct Injection Engines. IIAI-AAI (2014)
Manami Osawa, Noriaki Yoshimasa, Yoshinobu Kawabe
On embedded programming education with a tiny Lisp. ICIS (2013)
Jun Sakoh, Noriaki Yoshimasa, Yoshinobu Kawabe
Automated proof for equivalence of telephone systems. ICIS (2013)
Yasuyuki Tsukada, Ken Mano, Hideki Sakurada, Yoshinobu Kawabe
Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach. Trans. Data Priv. 3 (3) (2010)
Ken Mano, Yoshinobu Kawabe, Hideki Sakurada, Yasuyuki Tsukada
Role Interchange for Anonymity and Privacy of Voting. J. Log. Comput. 20 (6) (2010)
Yoshinobu Kawabe, Nobuhiro Ito, Naohiro Ishii
On Formal Modeling of TOPPERS Embedded Software. SERA (2010)
Ichiro Hasuo, Yoshinobu Kawabe, Hideki Sakurada
Probabilistic anonymity via coalgebraic simulations. Theor. Comput. Sci. 411 (22-24) (2010)
Yasuyuki Tsukada, Ken Mano, Hideki Sakurada, Yoshinobu Kawabe
Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach. CSE (3) (2009)
Yoshinobu Kawabe, Ken Mano, Hideki Sakurada, Yasuyuki Tsukada
On Backward-Style Anonymity Verification. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (9) (2008)
Yoshinobu Kawabe, Hideki Sakurada
An Adversary Model for Simulation-Based Anonymity Proof. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (4) (2008)
Yoshinobu Kawabe, Ken Mano, Hideki Sakurada, Yasuyuki Tsukada
Theorem-proving anonymity of infinite-state systems. Inf. Process. Lett. 101 (1) (2007)
Yoshinobu Kawabe, Hideki Sakurada
A Formal Approach to Designing Anonymous Software. SERA (2007)
Ichiro Hasuo, Yoshinobu Kawabe
Probabilistic Anonymity Via Coalgebraic Simulations. ESOP (2007)
Yoshinobu Kawabe, Ken Mano, Eiichi Horita, Kiyoshi Kogure
Name creation implements restriction in the pi-calculus. Systems and Computers in Japan 36 (2) (2005)
Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe, Hiroaki Kuwabara, Kiyoshi Agusa, Shoji Yuen
-calculus-based language Nepi. Electron. Notes Theor. Comput. Sci. 139 (1) (2005)
Yoshinobu Kawabe, Ken Mano
Verifying Trace Equivalence of a Shared-Memory-Style Communication System. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (4) (2005)
Ken Mano, Yoshinobu Kawabe
The Nepi Network Programming System: A Programming Environment for Distributed Systems. NCA (2004)
Yoshinobu Kawabe, Ken Mano, Kiyoshi Kogure
Programming System: A pi-Calculus-Based Approach to Agent-Based Programming. FAABS (2000)
Yoshinobu Kawabe, Naohiro Ishii
On Modularity of the Completeness in Order-Sorted Term Rewriting Systems. COCOON (1997)
Yoshinobu Kawabe, Naohiro Ishii
Currying of Order-Sorted Term Rewriting Systems. COCOON (1995)