Keijiro Araki - RankMe

62 papers B 10C 8Misc 1Journal 4Unranked 36

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