Get started
Author

Akihito Iwai

Observed names: A. Iwai, Iwai, Akihito
Institution: Denso (Japan)
ORCID: 0009-0000-8479-8619
Observed ORCID: 0009-0000-8479-8619
OpenAlex ID: A5056227671
Automotive Cloud Service Systems Based on Service-Oriented Architecture and Its Evaluation
2011 · Akihito Iwai, Mikio Aoyama · IEEE ... International Conference on Cloud Computing · 44
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial
2015 · Philip Daian, Yliès Falcone, et al. · Lecture notes in computer science · 24
A formal model of re-execution in software process
2002 · M. Suzuki, A. Iwai, et al. · 14
Aspect-Oriented Programming for Web Controller Layer
2008 · Keiji Hokamura, Naoyasu Ubayashi, et al. · Asia-Pacific Software Engineering Conference (APSEC) · 13
Trends in automotive embedded systems
2012 · Dan Gunnarsson, Stefan Kuntz, et al. · ACM International Conference on Embedded Software (EMSOFT) · 6
RV-ECU: Maximum Assurance In-Vehicle Safety Monitoring
2016 · Philip Daian, Shinichi Shiraishi, et al. · SAE technical papers on CD-ROM/SAE technical paper series · 5
Translation Pattern of BPEL Process into Promela Code
2011 · Ryosuke Nakashiro, Yasutaka Kamei, et al. · Joint Conference of the International Workshop on Software Measurement and the International Conference on Software Process and Product Measurement (IWSM-MENSURA) · 5
Experiences with automotive service modeling
2010 · Akihito Iwai, Norio Oohashi, et al. · Workshop on Domain-Specific Modeling (DSM) · 5
Trends in automotive embedded systems
2012 · Dan Gunnarsson, Stefan Kuntz, et al. · International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES) · 4
AOWP: Web-Specific AOP Framework for PHP
2009 · Keiji Hokamura, Ryoto Naruse, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 4
System simulation from operational data
2015 · Armin Wasicek, Edward A. Lee, et al. · ACM/IEEE Design Automation Conference (DAC) · 3
PDF
Incentive Based Multi-Objective Optimization in Electric Vehicle Navigation including Battery Charging
2014 · Tomohisa Hayakawa, Kyohei Ishikawa, et al. · IFAC Proceedings Volumes · 3
Trends in automotive embedded systems
2012 · Dan Gunnarsson, Stefan Kuntz, et al. · International Conference on Hardware/Software Codesign and System Synthesis · 1
A Goal-Oriented Requirements Analysis Method for Distributed Autonomous Transportation Systems
2009 · Nomura Jun, Naruse Ryoto, et al. · IEICE Technical Report; IEICE Tech. Rep. · 1
Trends of automotive software platform
2009 · Akihito Iwai · IEICE Technical Report; IEICE Tech. Rep. · 1
lf-ms-evaluation: Evaluation harness and raw data for "Controlled Degradation, Not Dispatch Reordering" (TCRS 2026 / IEEE ESL)
2026 · Matsubara, Yutaka, Huang, Wenhung Kevin, et al. · Zenodo (CERN European Organization for Nuclear Research)
Controlled Degradation, Not Dispatch Reordering: Semantics-Preserving Overload Control in Lingua Franca
2026 · Yutaka Matsubara, Wenhung Kevin Huang, et al. · IEEE Embedded Systems Letters
Software-Defined Vehicles: Challenges and Orchestrating Mixed-Criticality Services Using Lingua Franca
2025 · Wenhung Kevin Huang, Yoshinori Terazawa, et al. · IEEE Embedded Systems Letters
Efficient Collection and Delivery of Video Data for Traffic Congestion Surveillance on Roads Using Vehicular Participatory Sensing
2012 · Morihiko Tamai, Keiichi Yasumoto, et al. · 電子情報通信学会技術研究報告. ITS
Verification of BPEL Workflows Design using Model Checking
2011 · Ryosuke Nakashiro, Yasutaka Kamei, et al. · IEICE Technical Report; IEICE Tech. Rep.
Component-based goal modeling with formal refinement patterns
2010 · Jun Nomura, Naruse Ryoto, et al. · IEICE Technical Report; IEICE Tech. Rep.
Application of Open Distributed Aspect-Oriented Framework to Intelligent Transportation Systems
2009 · Naruse Ryoto, Nomura Jun, et al. · IEICE Technical Report; IEICE Tech. Rep.
Past and Future of Platform-based Designs
2009 · Murakami Kazuaki, Akihito Iwai, et al. · IEICE Technical Report; IEICE Tech. Rep.
Works count: 23
Citation count: 133
H-index: 5
I10-index: 4
Year
Topic
Type