Adina Aniculaesei

Postdoc at Formal methods
Image of Adina Aniculaesei

Showing 5 publications

2025

Improving Safety of Autonomous Vehicles: A Verifiable Method for Graceful Degradation of Decision and Control Responsibilities

Adina Aniculaesei, Iqra Aslam, Meng Zhang et al
SAE International Journal of Connected and Automated Vehicles. Vol. 8 (2), p. 297-315
Journal article
2025

Runtime Monitoring Approach to Safeguard Behavior of Autonomous Vehicles at Traffic Lights

Adina Aniculaesei, Yousri Elhajji
Electronics (Switzerland). Vol. 14 (12)
Journal article
2024

Runtime Safety Assurance of Autonomous Vehicles Used for Last-Mile Delivery in Urban Environments

Iqra Aslam, Adina Aniculaesei, Abhishek Buragohain et al
Next Chapter in Mobility - Technische und betriebswirtschaftliche Aspekte, p. 399-414
Book chapter
2024

AI-Driven Runtime Monitoring of Energy Consumption in Autonomous Delivery Drones

Moritz Urban, Adina Aniculaesei, Andreas Rausch
Proceedings of the 2023 Intelligent Systems Conference (IntelliSys). Vol. 825, p. 267-283
Paper in proceeding
2024

A Method for the Runtime Validation of AI-based Environment Perception in Automated Driving Systems

Iqra Aslam, Abhishek Buragohain, Daniel Bamal et al
ADAPTIVE 2024 The Sixteenth International Conference on Adaptive and Self-Adaptive Systems and Applications, p. 17-25
Paper in proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

There are no projects.
There might be more projects where Adina Aniculaesei participates, but you have to be logged in as a Chalmers employee to see them.