output
20172025
most citedTesting kinematic distances under a realistic Galactic potential

42 citations

7 papers

cs.SE2025★ 2 cited

Parallelized Code Generation from Simulink Models for Event-driven and Timer-driven ROS 2 Nodes

Kenshin Obi, Ryo Yoshinaka, Hiroshi Fujimoto +1

In recent years, the complexity and scale of embedded systems, especially in the rapidly developing field of autonomous driving systems, have increased significantly. This has led…

cs.SE2025★ 1 cited

Model-based Development for Autonomous Driving Software Considering Parallelization

Kenshin Obi, Takumi Onozawa, Hiroshi Fujimoto +1

In recent years, autonomous vehicles have attracted attention as one of the solutions to various social problems. However, autonomous driving software requires real-time performanc…

astro-ph.GA2025★ 2 cited

Characterizing the roles of transitory obscured phases and inner torus in shaping the fractions of obscured AGN at cosmic noon

Alba V. Alonso-Tetilla, Francesco Shankar, Fabio Fontanot +11

The origin of obscuration in Active Galactic Nuclei (AGN) is still a matter of contention. It is unclear whether obscured AGN are primarily due to line-of-sight effects, a transito…

astro-ph.GA2025★ 8 cited

MISTRAL: a model for AGN winds from radiatively efficient accretion in cosmological simulations

Marion Farcy, Michaela Hirschmann, Rachel S. Somerville +11

Feedback from active galactic nuclei (AGN) is crucial for regulating galaxy evolution. Motivated by observations of broad absorption line winds from rapidly accreting supermassive…

astro-ph.GA2024★ 42 cited

Testing kinematic distances under a realistic Galactic potential

Glen H. Hunter, Mattia C. Sormani, Jan P. Beckmann +15

Obtaining reliable distance estimates to gas clouds within the Milky Way is challenging in the absence of certain tracers. The kinematic distance approach has been used as an alter…

cs.SE2023

Model-Checking in the Loop Model-Based Testing for Automotive Operating Systems

Toshiaki Aoki, Aritoshi Hata, Kazusato Kanamori +7

While vehicles have primarily been controlled through mechanical means in years past, an increasing number of embedded control systems are being installed and used, keeping pace wi…