UML-Based Analysis of Power Consumption for Real-Time Embedded Systems. - Matthias Hagner; Adina Aniculaesei; Ursula Goltz (TrustCom, 2011)

Towards integrated rule-driven software development for IT ecosystems. - Benjamin Mensing; Ursula Goltz; Adina Aniculaesei; Sebastian Herold; Andreas Rausch 001; Stefan Gärtner 001; Kurt Schneider (DEST, 2012)

Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments. - Adina Aniculaesei; Daniel Arnsberger; Falk Howar; Andreas Rausch 001 (V2CPS@IFM, 2016)

Toward a Holistic Software Systems Engineering Approach for Dependable Autonomous Systems. - Adina Aniculaesei; Jörg Grieser; Andreas Rausch 001; Karina Rehfeldt; Tim Warnecke (SEFAIAS@ICSE, 2018)

Automated generation of requirements-based test cases for an adaptive cruise control system. - Adina Aniculaesei; Falk Howar; Peer Denecke; Andreas Rausch 001 (VST@SANER, 2018)

Using the SCADE Toolchain to Generate Requirements-Based Test Cases for an Adaptive Cruise Control System. - Adina Aniculaesei; Andreas Vorwald; Andreas Rausch 001 (MoDELS (Companion), 2019)

Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report. - Tomás Bures; Danny Weyns; Bradley R. Schmerl; John S. Fitzgerald; Adina Aniculaesei; Christian Berger 001; João Cambeiro; Jan Carlson; Shafiul Azam Chowdhury; Marian Daun; Nianyu Li; Matthias Markthaler; et al. (ACM SIGSOFT Softw. Eng. Notes, 2019)

Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations. - Jan Toennemann; Adina Aniculaesei; Andreas Rausch 001 (SAST, 2020)

Architecture-based Hybrid Approach to Verify Safety-critical Automotive System Functions by Combining Data-driven and Formal Methods. - Adina Aniculaesei; Andreas Vorwald; Meng Zhang; Andreas Rausch 001 (ICSA Companion, 2021)

Towards Specification Completion for Systems with Emergent Behavior based on DevOps. - Mohamed Toufik Ailane; Adina Aniculaesei; Christoph Knieke; Andreas Rausch 001; Fauzi Sholichin (CSCI, 2022)

Runtime Safety Assurance of Autonomous Vehicles used for Last-mile Delivery in Urban Environments. - Iqra Aslam; Adina Aniculaesei; Abhishek Buragohain; Daniel Bamal; Andreas Rausch 001 (CoRR, 2023)

Connected Dependability Cage Approach for Safe Automated Driving. - Adina Aniculaesei; Iqra Aslam; Daniel Bamal; Felix Helsch; Andreas Vorwald; Meng Zhang; Andreas Rausch 001 (CoRR, 2023)

A Method for the Runtime Validation of AI-based Environment Perception in Automated Driving System. - Iqra Aslam; Abhishek Buragohain; Daniel Bamal; Adina Aniculaesei; Meng Zhang; Andreas Rausch 001 (CoRR, 2024)

Engineering of Safety in Automated Safety-Critical Systems through Design-time Verification and Runtime Validation of Environment Assumptions. - Adina Aniculaesei (Dr. Hut, 2025)