Yoshinobu Kawabe

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