Keijiro Araki

Publication Activity (10 Years)

Years Active: 1986-2019
Publications (10 Years): 4

Top Topics

Software Process

Top Venues

IEICE Trans. Inf. Syst.

Publications

Tomohiro Oda, Keijiro Araki, Yasuhiro Yamamoto, Kumiyo Nakakoji, Hiroshi Sako, Han-Myung Chang, Peter Gorm Larsen
ViennaDoc: An Animatable and Testable Specification Documentation Tool. FM Workshops (2) (2019)
Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen
A Formal Modeling Tool for Exploratory Modeling in Software Development. IEICE Trans. Inf. Syst. (6) (2017)
Keijiro Araki, Taro Kurita
Promotion of Formal Approaches in Japanese Software Industry and a Best Practice of FeliCa's Case (Extended Abstract). ICFEM (2016)
Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen
ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4. IWST (2016)
Hsin-Hung Lin, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki
Towards Verifying VDM Using SPIN. FTSCS (2015)
Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki
Visualizing centrality of process area networks in CMMI-DEV. ICSSP (2015)
Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen
VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification. FormaliSE@ICSE (2015)
Shigeru Kusakabe, Yoichi Omori, Keijiro Araki
Well-defined Software Process as Vehicle to Understand Effectiveness of Formal Methods. FMSEE&T@FM (2015)
Taro Kurita, Fuyuki Ishikawa, Keijiro Araki
Practices for Formal Models as Documents: Evolution of VDM Application to "Mobile FeliCa" IC Chip Firmware. FM (2015)
Abdul Kadir Jailani, Shigeru Kusakabe, Keijiro Araki
Adaptive Context-Awareness Model for Cultural Heritage Information Based on User Needs. IIAI-AAI (2015)
Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki
Generating supportive hypotheses in introducing formal methods using a software processes improvement model. FormaliSE (2014)
Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki
Requirements Development of Energy Management System for a Unit in Smart Campus. IIAI-AAI (2014)
Mardiana Araki, Keijiro Araki
SIMPEL: An innovative web application interface supporting online course management system. ITHET (2012)
Shigeru Kusakabe, Yoichi Omori, Keijiro Araki
Leveraging Light-weight Formal Methods with Functional Programming Approach on Cloud. ICSOFT (1) (2009)
Noriaki Sakamoto, Mitsuaki Fukase, Tsunenori Mine, Shigeru Kusakabe, Tsuneo Nakanishi, Yoichi Omori, Mohammad Mesbah Uddin, Keijiro Araki, Akira Fukuda, Hiroto Yasuura, Teruaki Kitasuka
Large Scale Business-academia Collaboration in Master Education Course. CSEDU (2) (2009)
Eleazar Jiménez Serrano, Keijiro Araki, Shigeru Kusakabe
On the Row Vectors of the Set of Multiple and Simultaneous Controls with Controlled Dan/Petri Nets. IMECS (2007)
Eleazar Jiménez Serrano, Keijiro Araki, Shigeru Kusakabe
Enforcing the optimal set of controls for state feedback with non-redundant controllers. SMC (2007)
Kosuke Tomonaga, Masataka Ohta, Keijiro Araki
Privacy-Aware Location Dependent Services over Wireless Internet with Anycast. Human.Society@Internet (2005)
Yuji Arichika, Keijiro Araki
Reusable Formal Specification for Embedded Systems. APSEC (2004)
Yoshikazu Watanabe, Koji Okamura, Keijiro Araki
Study on Merge of Overlapped TCP Traffic Using Reliable Multicast Transport. ICOIN (2003)
Kensuke Shibata, Koji Okamura, Keijiro Araki
Design and Evaluation of Dynamic Protocol Selection Architecture for Reliable Multicast. SAINT (2002)
Kentaro Takei, Koji Okamura, Keijiro Araki
Design of Gateway System between Different Signalling Protocols of the Multimedia Session on the Internet. ICOIN (2001)
Motoyuki Ohmori, Koji Okamura, Keijiro Araki
Design of Scalable Interdomain IP Multicast Architecture. ICOIN (2001)
Masataka Sonoda, Koji Okamura, Keijiro Araki
Design of General Reliable Multicast Architecture with Active Network Framework. ICOIN (2001)
Mariko Sasakura, Kazuki Joe, Yoshitoshi Kunieda, Keijiro Araki
NaraView: An Interactive 3D Visualization System for Parallelization of Programs. Int. J. Parallel Program. 27 (2) (1999)
Tsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Keijiro Araki, Akira Fukuda
Estimating minimum parallel execution time of loops with loop-carried dependencies. Systems and Computers in Japan 30 (10) (1999)
Hiroshi Maruyama, Keijiro Araki
VRML Program Slicing. APSEC (1999)
Akira Imada, Keijiro Araki
What does the Landscape of a Hopfield Associative Memory Look Like? Evolutionary Programming (1998)
Akira Imada, Keijiro Araki
Can a Niching Method Locate Multiple Attractors Embedded in the Hopfield Network? SEAL (1998)
Akira Imada, Keijiro Araki
Explorations of fitness landscapes of a Hopfield associative memory with random and evolutionary walks. KES (2) (1998)
Kenji Taguchi, Keijiro Araki
A Calculus Based on the Agent-Place Model. ICFEM (1998)
Akira Imada, Keijiro Araki
How Real-valued Random Synapses Evolve Toward Symmetry with Diploid Chromosomes? NC (1998)
Akira Imada, Keijiro Araki
Searching Real-Valued Synaptic Weights of Hopfield's Associative Memory Using Evolutionary Programming. Evolutionary Programming (1997)
Akira Imada, Keijiro Araki
Evolution of Hopfield Model of Associative Memory by the Breeder Genetic Algorithm. ICGA (1997)
Akira Imada, Keijiro Araki
Evolution of Random Synaptic Weights of the Hopfield Associative Memory: How Chaotic Trajectories Turn into Fixed Point Attractors? ICONIP (1) (1997)
Akira Imada, Keijiro Araki
The Baldwin Effect on the Evolution of Associative Memory. ICANNGA (1997)
Akira Imada, Keijiro Araki
Random Perturbations to Hebbian Synapses of Associative Memory Using a Genetic Algorithm. IWANN (1997)
Kenji Taguchi, Keijiro Araki
The State-Based CCS Semantics for Concurrent Z Specification. ICFEM (1997)
Mariko Sasakura, Kazuki Joe, Keijiro Araki
NaraView: An Interactive 3D Visualization System for Parallelization of Programs. ISHPC (1997)
Syouri Kouno, Han-Myung Chang, Keijiro Araki
Consistency Checking between Data and Process Diagrams Based on Formal Methods. COMPSAC (1996)
Tsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Keijiro Araki, Akira Fukuda
Estimating Parallel Execution Time of Loops with Loop-Carried Dependencies. ICPP, Vol. 3 (1996)
Mariko Sasakura, Satoko Kiwada, Kazuki Joe, Tsuneo Nakanishi, Keijiro Araki
3D Visualization of Program Structure and Data Dependence for Parallelizing Compilers and Parallel Programming. LCPC (1996)
Tsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Keijiro Araki, Akira Fukuda
Estimating Minimum Execution Time of Perfect Loop Nests with Loop-Carried Dependences. LCPC (1996)
Kenji Taguchi, Keijiro Araki
Extending Z with State Transition Constraints. COMPSAC (1996)
Akira Imada, Keijiro Araki
Lamarckian Evolution of Associative Memory. International Conference on Evolutionary Computation (1996)
Teruaki Kitasuka, Kazuki Joe, Dale Schouten, Akira Fukuda, Keijiro Araki
A loop parallelization technique for linear dependence vector. PACT (1995)
Ian J. Hayes, Keijiro Araki, David J. Duke, Val E. Veraart
Are Formal Methods Relevant? APSEC (1995)
Tsuneo Nakanishi, Kazuki Joe, Hideki Saito, Akira Fukuda, Keijiro Araki
Partitioning Algorithm a Combined End Program Partitioning Algorithm on the Data Partitioning Graph. ICPP (2) (1995)
Akira Imada, Keijiro Araki
Genetic Algorithm Enlarges the Capacity of Associative Memory. ICGA (1995)
Makoto Amamiya, Masahiko Satoh, Akifumi Makinouchi, Ken-Ichi Hagiwara, Taiichi Yuasa, Hitoshi Aida, Kazunori Ueda, Keijiro Araki, Tetsuo Ida, Takanobu Baba
Research on programming languages for massively parallel processing. ISPAN (1994)
Tsuneo Nakanishi, Kazuki Joe, Akira Fukuda, Keijiro Araki, Hideki Saito, Constantine D. Polychronopoulos
The Data Partitioning Graph: Extending Data and Control Dependencies for Data Partitioning. LCPC (1994)
Tomohiro Oda, Keijiro Araki
Specification slicing in formal methods of software development. COMPSAC (1993)
Hiroshi Maruyama, Masaki Matsuyama, Keijiro Araki
Support tool and strategy for type error correction with polymorphic types. COMPSAC (1992)
A. Suganuma, M. Kataoka, Keijiro Araki
Application of a neural network to human tasting. COMPSAC (1992)
Keijiro Araki, Zengo Furukawa, Jingde Cheng
A General Framework for Debugging. IEEE Softw. 8 (3) (1991)
Keijiro Araki, Kazuo Ushijima
The use of Ada in the development of distributed systems: experience implementing a communications system. WADAS (1986)