Follow
Adina Aniculăesei
Adina Aniculăesei
PhD Student, TU Clausthal
Verified email at tu-clausthal.de
Title
Cited by
Cited by
Year
Towards a holistic software systems engineering approach for dependable autonomous systems
A Aniculaesei, J Grieser, A Rausch, K Rehfeldt, T Warnecke
Proceedings of the 1st International Workshop on Software Engineering for AI …, 2018
592018
Towards the verification of safety-critical autonomous systems in dynamic environments
A Aniculaesei, D Arnsberger, F Howar, A Rausch
arXiv preprint arXiv:1612.04977, 2016
392016
UML-based analysis of power consumption for real-time embedded systems
M Hagner, A Aniculaesei, U Goltz
2011IEEE 10th International Conference on Trust, Security and Privacy in …, 2011
242011
Automated generation of requirements-based test cases for an adaptive cruise control system
A Aniculaesei, F Howar, P Denecke, A Rausch
2018 IEEE Workshop on Validation, Analysis and Evolution of Software Tests …, 2018
192018
Towards integrated rule-driven software development for IT ecosystems
B Mensing, U Goltz, A Aniculăesei, S Herold, A Rausch, S Gärtner, ...
2012 6th IEEE International Conference on Digital Ecosystems and …, 2012
92012
Graceful degradation of decision and control responsibility for autonomous systems based on dependability cages
A Aniculaesei, J Grieser, A Rausch, K Rehfeldt, T Warnecke
5th International Symposium on Future Active Safety Technology toward Zero …, 2019
82019
Using the scade toolchain to generate requirements-based test cases for an adaptive cruise control system
A Aniculaesei, A Vorwald, A Rausch
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019
72019
Software engineering for smart cyber-physical systems (SEsCPS 2018)-workshop report
T Bures, D Weyns, B Schmerl, J Fitzgerald, A Aniculaesei, C Berger, ...
ACM SIGSOFT Software Engineering Notes 44 (4), 11-13, 2021
52021
Architecture-based Hybrid Approach to Verify Safety-critical Automotive System Functions by Combining Data-driven and Formal Methods
A Aniculaesei, A Vorwald, M Zhang, A Rausch
2021 IEEE 18th International Conference on Software Architecture Companion …, 2021
42021
Asserting functional equivalence between c code and scade models in code-to-model transformations
J Toennemann, A Aniculăesei, A Rausch
Proceedings of the 5th Brazilian Symposium on Systematic and Automated …, 2020
42020
Automated Generation of Requirements-Based Test Cases for an Automotive Function using the SCADE Toolchain
A Aniculaesei, A Vorwald, A Rausch
11th International Conference on Adaptive and Self-Adaptive Systems and …, 2019
42019
Towards Specification Completion for Systems with Emergent Behavior based on DevOps
MT Ailane, A Aniculaesei, C Knieke, A Rausch, F Sholichin
2022 International Conference on Computational Science and Computational …, 2022
12022
Data-driven Approach for Accurate Estimation and Validation of the Ego-Vehicle Speed
A Aniculaesei, M Zhang, A Rausch, C Knieke, M Mansouri, G Telleschi
ICONS 2020: The Fifteenth International Conference on Systems: IARIA, 72-77, 2020
12020
AI-Driven Runtime Monitoring of Energy Consumption in Autonomous Delivery Drones
M Urban, A Aniculaesei, A Rausch
Intelligent Systems Conference, 267-283, 2023
2023
Runtime Safety Assurance of Autonomous Vehicles used for Last-mile Delivery in Urban Environments
I Aslam, A Aniculaesei, A Buragohain, D Bamal, P Rausch
arXiv preprint arXiv:2307.04454, 2023
2023
Connected Dependability Cage Approach for Safe Automated Driving
A Aniculaesei, I Aslam, D Bamal, F Helsch, A Vorwald, M Zhang, ...
International Stuttgart Symposium, 3-21, 2023
2023
The LogiSmile Project-Piloting Autonomous Vehicles for Last-Mile Logistics in European cities
C Lemardelé, A Baldó, A Aniculaesei, A Rausch, M Conill, L Everding, ...
Transportation Research Procedia 71, 180-187, 2023
2023
Runtime Safety Assurance of Autonomous Vehicles used for Last-mile Delivery in Urban Environments (preprint)
I Aslam, A Aniculaesei, A Buragohain, D Bamal, A Rausch
2023
The system can't perform the operation now. Try again later.
Articles 1–18