Keijiro Araki

According to our database, Keijiro Araki authored at least 56 papers between 1986 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

ViennaDoc: An Animatable and Testable Specification Documentation Tool.

Tomohiro Oda, Keijiro Araki, Yasuhiro Yamamoto, Kumiyo Nakakoji, Hiroshi Sako, Han-Myung Chang, Peter Gorm Larsen

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2017

A Formal Modeling Tool for Exploratory Modeling in Software Development.

Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen

IEICE Trans. Inf. Syst., 2017

2016

ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4.

Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen

Proceedings of the 11th edition of the International Workshop on Smalltalk Technologies, 2016

Promotion of Formal Approaches in Japanese Software Industry and a Best Practice of FeliCa's Case (Extended Abstract).

Keijiro Araki, Taro Kurita

Proceedings of the Formal Methods and Software Engineering, 2016

2015

Visualizing centrality of process area networks in CMMI-DEV.

Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki

Proceedings of the 2015 International Conference on Software and System Process, 2015

Adaptive Context-Awareness Model for Cultural Heritage Information Based on User Needs.

Abdul Kadir Jailani, Shigeru Kusakabe, Keijiro Araki

Proceedings of the IIAI 4th International Congress on Advanced Applied Informatics, 2015

VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification.

Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen

Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

Towards Verifying VDM Using SPIN.

Hsin-Hung Lin, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki

Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

Well-defined Software Process as Vehicle to Understand Effectiveness of Formal Methods.

Shigeru Kusakabe, Yoichi Omori, Keijiro Araki

Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, 2015

Practices for Formal Models as Documents: Evolution of VDM Application to "Mobile FeliCa" IC Chip Firmware.

Taro Kurita, Fuyuki Ishikawa, Keijiro Araki

Proceedings of the FM 2015: Formal Methods, 2015

2014

Requirements Development of Energy Management System for a Unit in Smart Campus.

Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki

Proceedings of the IIAI 3rd International Conference on Advanced Applied Informatics, 2014

Generating supportive hypotheses in introducing formal methods using a software processes improvement model.

Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki

Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014

2012

SIMPEL: An innovative web application interface supporting online course management system.

Mardiana Araki, Keijiro Araki

Proceedings of the 2012 International Conference on Information Technology Based Higher Education and Training, 2012

2009

Leveraging Light-weight Formal Methods with Functional Programming Approach on Cloud.

Shigeru Kusakabe, Yoichi Omori, Keijiro Araki

Proceedings of the ICSOFT 2009, 2009

Large Scale Business-academia Collaboration in Master Education Course.

Noriaki Sakamoto, Mitsuaki Fukase, Tsunenori Mine, Shigeru Kusakabe, Tsuneo Nakanishi, Yoichi Omori, Mohammad Mesbah Uddin, Keijiro Araki, Akira Fukuda, Hiroto Yasuura, Teruaki Kitasuka

Proceedings of the CSEDU 2009 - Proceedings of the First International Conference on Computer Supported Education, Lisboa, Portugal, March 23-26, 2009, 2009

2007

Enforcing the optimal set of controls for state feedback with non-redundant controllers.

Eleazar Jiménez Serrano, Keijiro Araki, Shigeru Kusakabe

Proceedings of the IEEE International Conference on Systems, 2007

On the Row Vectors of the Set of Multiple and Simultaneous Controls with Controlled Dan/Petri Nets.

Eleazar Jiménez Serrano, Keijiro Araki, Shigeru Kusakabe

Proceedings of the International MultiConference of Engineers and Computer Scientists 2007, 2007

2005

Privacy-Aware Location Dependent Services over Wireless Internet with Anycast.

Kosuke Tomonaga, Masataka Ohta, Keijiro Araki

Proceedings of the Web and Communication Technologies and Internet-Related Social Issues, 2005

2004

Reusable Formal Specification for Embedded Systems.

Yuji Arichika, Keijiro Araki

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2003

Study on Merge of Overlapped TCP Traffic Using Reliable Multicast Transport.

Yoshikazu Watanabe, Koji Okamura, Keijiro Araki

Proceedings of the Information Networking, 2003

2002

Design and Evaluation of Dynamic Protocol Selection Architecture for Reliable Multicast.

Kensuke Shibata, Koji Okamura, Keijiro Araki

Proceedings of the 2002 Symposium on Applications and the Internet (SAINT 2002), 28 January, 2002

2001

Design of Gateway System between Different Signalling Protocols of the Multimedia Session on the Internet.

Kentaro Takei, Koji Okamura, Keijiro Araki

Proceedings of the 15th International Conference on Information Networking, 2001

Design of General Reliable Multicast Architecture with Active Network Framework.

Masataka Sonoda, Koji Okamura, Keijiro Araki

Proceedings of the 15th International Conference on Information Networking, 2001

Design of Scalable Interdomain IP Multicast Architecture.

Motoyuki Ohmori, Koji Okamura, Keijiro Araki

Proceedings of the 15th International Conference on Information Networking, 2001

1999

Estimating minimum parallel execution time of loops with loop-carried dependencies.

Tsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Keijiro Araki, Akira Fukuda

Syst. Comput. Jpn., 1999

NaraView: An Interactive 3D Visualization System for Parallelization of Programs.

Mariko Sasakura, Kazuki Joe, Yoshitoshi Kunieda, Keijiro Araki

Int. J. Parallel Program., 1999

VRML Program Slicing.

Hiroshi Maruyama, Keijiro Araki

Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999

1998

Can a Niching Method Locate Multiple Attractors Embedded in the Hopfield Network?

Akira Imada, Keijiro Araki

Proceedings of the Simulated Evolution and Learning, 1998

How Real-valued Random Synapses Evolve Toward Symmetry with Diploid Chromosomes?

Akira Imada, Keijiro Araki

Proceedings of the International ICSC / IFAC Symposium on Neural Computation (NC 1998), 1998

Explorations of fitness landscapes of a Hopfield associative memory with random and evolutionary walks.

Akira Imada, Keijiro Araki

Proceedings of the Knowledge-Based Intelligent Electronic Systems, 1998

A Calculus Based on the Agent-Place Model.

Kenji Taguchi, Keijiro Araki

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

What does the Landscape of a Hopfield Associative Memory Look Like?

Akira Imada, Keijiro Araki

Proceedings of the Evolutionary Programming VII, 7th International Conference, 1998

1997

Random Perturbations to Hebbian Synapses of Associative Memory Using a Genetic Algorithm.

Akira Imada, Keijiro Araki

Proceedings of the Biological and Artificial Computation: From Neuroscience to Technology, 1997

NaraView: An Interactive 3D Visualization System for Parallelization of Programs.

Mariko Sasakura, Kazuki Joe, Keijiro Araki

Proceedings of the High Performance Computing, International Symposium, 1997

Evolution of Random Synaptic Weights of the Hopfield Associative Memory: How Chaotic Trajectories Turn into Fixed Point Attractors?

Akira Imada, Keijiro Araki

Proceedings of the Progress in Connectionist-Based Information Systems: Proceedings of the 1997 International Conference on Neural Information Processing and Intelligent Information Systems, 1997

Evolution of Hopfield Model of Associative Memory by the Breeder Genetic Algorithm.

Akira Imada, Keijiro Araki

Proceedings of the 7th International Conference on Genetic Algorithms, 1997

The State-Based CCS Semantics for Concurrent Z Specification.

Kenji Taguchi, Keijiro Araki

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

The Baldwin Effect on the Evolution of Associative Memory.

Akira Imada, Keijiro Araki

Proceedings of the International Conference on Artificial Neural Nets and Genetic Algorithms, 1997

Searching Real-Valued Synaptic Weights of Hopfield's Associative Memory Using Evolutionary Programming.

Akira Imada, Keijiro Araki

Proceedings of the Evolutionary Programming VI, 6th International Conference, 1997

1996

3D Visualization of Program Structure and Data Dependence for Parallelizing Compilers and Parallel Programming.

Mariko Sasakura, Satoko Kiwada, Kazuki Joe, Tsuneo Nakanishi, Keijiro Araki

Proceedings of the Languages and Compilers for Parallel Computing, 1996

Estimating Minimum Execution Time of Perfect Loop Nests with Loop-Carried Dependences.

Tsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Keijiro Araki, Akira Fukuda

Proceedings of the Languages and Compilers for Parallel Computing, 1996

Estimating Parallel Execution Time of Loops with Loop-Carried Dependencies.

Tsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Keijiro Araki, Akira Fukuda

Proceedings of the 1996 International Conference on Parallel Processing, 1996

Lamarckian Evolution of Associative Memory.

Akira Imada, Keijiro Araki

Proceedings of 1996 IEEE International Conference on Evolutionary Computation, 1996

Extending Z with State Transition Constraints.

Kenji Taguchi, Keijiro Araki

Proceedings of the COMPSAC '96, 1996

Consistency Checking between Data and Process Diagrams Based on Formal Methods.

Syouri Kouno, Han-Myung Chang, Keijiro Araki

Proceedings of the COMPSAC '96, 1996

1995

The CDP² Partitioning Algorithm a Combined End Program Partitioning Algorithm on the Data Partitioning Graph.

Tsuneo Nakanishi, Kazuki Joe, Hideki Saito, Akira Fukuda, Keijiro Araki

Proceedings of the 1995 International Conference on Parallel Processing, 1995

Genetic Algorithm Enlarges the Capacity of Associative Memory.

Akira Imada, Keijiro Araki

Proceedings of the 6th International Conference on Genetic Algorithms, 1995

Are Formal Methods Relevant?

Ian J. Hayes, Keijiro Araki, David J. Duke, Val E. Veraart

Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

A loop parallelization technique for linear dependence vector.

Teruaki Kitasuka, Kazuki Joe, Dale Schouten, Akira Fukuda, Keijiro Araki

Proceedings of the IFIP WG10.3 working conference on Parallel architectures and compilation techniques, 1995

1994

The Data Partitioning Graph: Extending Data and Control Dependencies for Data Partitioning.

Tsuneo Nakanishi, Kazuki Joe, Akira Fukuda, Keijiro Araki, Hideki Saito, Constantine D. Polychronopoulos

Proceedings of the Languages and Compilers for Parallel Computing, 1994

Research on programming languages for massively parallel processing.

Makoto Amamiya, Masahiko Satoh, Akifumi Makinouchi, Ken-Ichi Hagiwara, Taiichi Yuasa, Hitoshi Aida, Kazunori Ueda, Keijiro Araki, Tetsuo Ida, Takanobu Baba

Proceedings of the International Symposium on Parallel Architectures, 1994

1993

Specification slicing in formal methods of software development.

Tomohiro Oda, Keijiro Araki

Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993

1992

Application of a neural network to human tasting.

Akira Suganuma, Masato Kataoka, Keijiro Araki

Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992

Support tool and strategy for type error correction with polymorphic types.

Hiroshi Maruyama, Masaki Matsuyama, Keijiro Araki

Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992

1991

A General Framework for Debugging.

Keijiro Araki, Zengo Furukawa, Jingde Cheng

IEEE Softw., 1991

1986

The use of Ada in the development of distributed systems: experience implementing a communications system.

Keijiro Araki, Kazuo Ushijima

Proceedings of the Third Annual Washington Ada Symposium on Ada, 1986