| 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 | 68 | 2018 |
| 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 | 41 | 2016 |
| 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 | 24 | 2011 |
| 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 | 20 | 2018 |
| 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 | 11 | 2019 |
| 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 | 8 | 2012 |
| 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 | 7 | 2019 |
| 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 | 6 | 2023 |
| 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, 2022 | 6 | 2022 |
| 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 | 4 | 2021 |
| 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 | 4 | 2020 |
| 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 | 4 | 2019 |
| 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 | 3 | 2023 |
| Runtime safety assurance of autonomous vehicles used for last-mile delivery in urban environments I Aslam, A Aniculaesei, A Buragohain, D Bamal, A Rausch Next Chapter in Mobility: Technische und betriebswirtschaftliche Aspekte …, 2024 | 2 | 2024 |
| AI-Driven Runtime Monitoring of Energy Consumption in Autonomous Delivery Drones M Urban, A Aniculaesei, A Rausch Intelligent Systems Conference, 267-283, 2023 | 1 | 2023 |
| 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 | 1 | 2022 |
| 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 | 1 | 2020 |
| Runtime Safety Assurance I Aslam, A Aniculaesei, A Buragohain Next Chapter in Mobility: Technische und betriebswirtschaftliche Aspekte, 399, 2024 | | 2024 |
| Runtime Safety Assurance of Autonomous Last-Mile Delivery Vehicles in Urban-like Environment I Aslam, A Aniculaesei, A Buragohain, M Zhang, D Bamal, A Rausch SAE Technical Paper, 2024 | | 2024 |
| A Method for ODD Specification and Verification with Application for Industrial Automated Driving Systems A Aniculaesei, C Schindler, C Knieke, A Rausch, D Rohne, A Richter 2023 International Conference on Computational Science and Computational …, 2023 | | 2023 |
