Concepedia

Adina Aniculăesei

AA

5

Publications

119

Citations

5

H-Index

2011

Active since

Affiliations

Clausthal University of Technology(Current)

Technische Universität Braunschweig

Adina Aniculăesei is an author at Clausthal University of Technology specializing in systems engineering, computer science, and engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringAutomationVerificationFormal MethodsFormal VerificationSoftware DesignProgram AnalysisSoftware Testing

Publications per year

2011–2023

5

Publications

5

Towards a holistic software systems engineering approach for dependable autonomous systems

Adina Aniculăesei, Jörg Grieser, Andreas Rausch et al. · 2018 · 49 citations · Full text

Software Maintenance, Engineering, Software Systems +25

Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments

Adina Aniculăesei, Daniel Arnsberger, Falk Howar et al. · Electronic Proceedings in Theoretical Computer Science · 2016 · 26 citations · Full text

Engineering, Verification, Safety Science +21

UML-Based Analysis of Power Consumption for Real-Time Embedded Systems

Matthias Hagner, Adina Aniculăesei, Ursula Goltz · 2011 · 19 citations

Real-time Scheduling, Power-aware Computing, Engineering +13

Automated generation of requirements-based test cases for an adaptive cruise control system

Adina Aniculăesei, Falk Howar, Peer Denecke et al. · 2018 · 14 citations

Software Maintenance, Engineering, Academic Case Study +23

The LogiSmile Project - Piloting Autonomous Vehicles for Last-Mile Logistics in European cities

Clément Lemardelé, Albert Baldó, Adina Aniculăesei et al. · Transportation research procedia · 2023 · 11 citations · Full text

Rows per page

1–5 of 5