Keijiro Araki - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 53 from 53

2019

ViennaDoc: An Animatable and Testable Specification Documentation ToolTomohiro Oda, Keijiro Araki, Yasuhiro Yamamoto, Kumiyo Nakakoji, Hiroshi Sako, Han-Myung Chang, Peter Gorm Larsen. FM 2020: 289-302 [doi]

2017

A Formal Modeling Tool for Exploratory Modeling in Software DevelopmentTomohiro Oda, Keijiro Araki, Peter Gorm Larsen. ieicet, 100-D(6):1210-1217, 2017. [doi]

2016

Promotion of Formal Approaches in Japanese Software Industry and a Best Practice of FeliCa's Case (Extended Abstract)Keijiro Araki, Taro Kurita. icfem 2016: 18-25 [doi]

ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen. iwst 2016: 4 [doi]

2015

Adaptive Context-Awareness Model for Cultural Heritage Information Based on User NeedsAbdul Kadir Jailani, Shigeru Kusakabe, Keijiro Araki. iiaiaai 2015: 339-342 [doi]

Practices for Formal Models as Documents: Evolution of VDM Application to "Mobile FeliCa" IC Chip FirmwareTaro Kurita, Fuyuki Ishikawa, Keijiro Araki. FM 2015: 593-596 [doi]

Visualizing centrality of process area networks in CMMI-DEVShigeru Kusakabe, Hsin-hung Lin, Yoichi Omori, Keijiro Araki. ispw 2015: 173-174 [doi]

Well-defined Software Process as Vehicle to Understand Effectiveness of Formal MethodsShigeru Kusakabe, Yoichi Omori, Keijiro Araki. FM 2015: 51-58 [doi]

Towards Verifying VDM Using SPINHsin-hung Lin, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki. ftscs 2016: 241-256 [doi]

VDMPad: A Lightweight IDE for Exploratory VDM-SL SpecificationTomohiro Oda, Keijiro Araki, Peter Gorm Larsen. ICSE 2015: 33-39 [doi]

2014

Generating supportive hypotheses in introducing formal methods using a software processes improvement modelShigeru Kusakabe, Hsin-hung Lin, Yoichi Omori, Keijiro Araki. ICSE 2014: 24-30 [doi]

Requirements Development of Energy Management System for a Unit in Smart CampusShigeru Kusakabe, Hsin-hung Lin, Yoichi Omori, Keijiro Araki. iiaiaai 2014: 405-410 [doi]

2012

SIMPEL: An innovative web application interface supporting online course management systemMardiana Araki, Keijiro Araki. ithet 2012: 1-8 [doi]

2009

Leveraging Light-weight Formal Methods with Functional Programming Approach on CloudShigeru Kusakabe, Yoichi Omori, Keijiro Araki. ICSOFT 2009: 264-268

Large Scale Business-academia Collaboration in Master Education CourseNoriaki Sakamoto, Mitsuaki Fukase, Tsunenori Mine, Shigeru Kusakabe, Tsuneo Nakanishi, Yoichi Omori, Mohammad Mesbah Uddin, Keijiro Araki, Akira Fukuda, Hiroto Yasuura, Teruaki Kitasuka. csedu 2009: 159-166

2007

Enforcing the optimal set of controls for state feedback with non-redundant controllersEleazar Jiménez Serrano, Keijiro Araki, Shigeru Kusakabe. SMC 2007: 1394-1399 [doi]

On the Row Vectors of the Set of Multiple and Simultaneous Controls with Controlled Dan/Petri NetsEleazar Jiménez Serrano, Keijiro Araki, Shigeru Kusakabe. imecs 2007: 1516-1521

2005

Privacy-Aware Location Dependent Services over Wireless Internet with AnycastKosuke Tomonaga, Masataka Ohta, Keijiro Araki. human 2005: 311-321 [doi]

2004

Reusable Formal Specification for Embedded SystemsYuji Arichika, Keijiro Araki. apsec 2004: 557-558 [doi]

2003

Study on Merge of Overlapped TCP Traffic Using Reliable Multicast TransportYoshikazu Watanabe, Koji Okamura, Keijiro Araki. icoin 2003: 253-262 [doi]

2002

Design and Evaluation of Dynamic Protocol Selection Architecture for Reliable MulticastKensuke Shibata, Koji Okamura, Keijiro Araki. saint 2002: 262-269 [doi]

2001

Design of General Reliable Multicast Architecture with Active Network FrameworkMasataka Sonoda, Koji Okamura, Keijiro Araki. icoin 2001: 825-830 [doi]

Design of Gateway System between Different Signalling Protocols of the Multimedia Session on the InternetKentaro Takei, Koji Okamura, Keijiro Araki. icoin 2001: 297 [doi]

Design of Scalable Interdomain IP Multicast ArchitectureMoto yuki Ohmori, Koji Okamura, Keijiro Araki. icoin 2001: 819-824 [doi]

1999

VRML Program SlicingHiroshi Maruyama, Keijiro Araki. apsec 1999: 355-358 [doi]

Estimating minimum parallel execution time of loops with loop-carried dependenciesTsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Keijiro Araki, Akira Fukuda. scjapan, 30(10):57-68, 1999. [doi]

NaraView: An Interactive 3D Visualization System for Parallelization of ProgramsMariko Sasakura, Kazuki Joe, Yoshitoshi Kunieda, Keijiro Araki. ijpp, 27(2):111-129, 1999.

1998

What does the Landscape of a Hopfield Associative Memory Look Like?Akira Imada, Keijiro Araki. eps 1998: 647-656

Can a Niching Method Locate Multiple Attractors Embedded in the Hopfield Network?Akira Imada, Keijiro Araki. seal 1999: 325-332 [doi]

How Real-valued Random Synapses Evolve Toward Symmetry with Diploid Chromosomes?Akira Imada, Keijiro Araki. nc 1998: 164-169

A Calculus Based on the Agent-Place ModelKenji Taguchi, Keijiro Araki. icfem 1998: 56-63 [doi]

1997

1996

Lamarckian Evolution of Associative MemoryAkira Imada, Keijiro Araki. icec 1996: 676-680

Consistency Checking between Data and Process Diagrams Based on Formal MethodsSyouri Kouno, Han-Myung Chang, Keijiro Araki. compsac 1996: 261-269 [doi]

Estimating Minimum Execution Time of Perfect Loop Nests with Loop-Carried DependencesTsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Keijiro Araki, Akira Fukuda. lcpc 1997: 597-599

Estimating Parallel Execution Time of Loops with Loop-Carried DependenciesTsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Keijiro Araki, Akira Fukuda. icpp 1996: 61-69

3D Visualization of Program Structure and Data Dependence for Parallelizing Compilers and Parallel ProgrammingMariko Sasakura, Satoko Kiwada, Kazuki Joe, Tsuneo Nakanishi, Keijiro Araki. lcpc 1997: 591-593

Extending Z with State Transition ConstraintsKenji Taguchi, Keijiro Araki. compsac 1996: 246-260 [doi]

1995

1994

1992

Support tool and strategy for type error correction with polymorphic typesHiroshi Maruyama, Masaki Matsuyama, Keijiro Araki. compsac 1992: 287-293 [doi]

Application of a neural network to human tastingA. Suganuma, M. Kataoka, Keijiro Araki. compsac 1992: 277-282 [doi]

1991

A General Framework for DebuggingKeijiro Araki, Zengo Furukawa, Jingde Cheng. IEEE Software, 8(3):14-20, 1991.

1986

The use of Ada in the development of distributed systems: experience implementing a communications systemKeijiro Araki, Kazuo Ushijima. wadas 1986: 245-251 [doi]

All Publications

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Keijiro Araki'

Viewing Publication 1 - 53 from 53

2019

2017

2016

2015

2014

2012

2009

2007

2005

2004

2003

2002

2001

1999

1998

1997

1996

1995

1994

1992

1991

1986

All Publications

Filter by Year [-]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Keijiro Araki'

Viewing Publication 1 - 53 from 53

2019

2017

2016

2015

2014

2012

2009

2007

2005

2004

2003

2002

2001

1999

1998

1997

1996

1995

1994

1992

1991

1986

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1