Adina Aniculaesei

14 papers B 1Journal 4Unranked 8
YearRankTypeTitle / Venue / Authors
2025 — —
Engineering of Safety in Automated Safety-Critical Systems through Design-time Verification and Runtime Validation of Environment Assumptions.
Adina Aniculaesei
2024 J jnl
A Method for the Runtime Validation of AI-based Environment Perception in Automated Driving System.
CoRR
Iqra Aslam, Abhishek Buragohain, Daniel Bamal, Adina Aniculaesei, Meng Zhang, Andreas Rausch
2023 J jnl
Connected Dependability Cage Approach for Safe Automated Driving.
CoRR
Adina Aniculaesei, Iqra Aslam, Daniel Bamal, Felix Helsch, Andreas Vorwald, Meng Zhang, Andreas Rausch
2023 J jnl
Runtime Safety Assurance of Autonomous Vehicles used for Last-mile Delivery in Urban Environments.
CoRR
Iqra Aslam, Adina Aniculaesei, Abhishek Buragohain, Daniel Bamal, Andreas Rausch
2022 — conf
Towards Specification Completion for Systems with Emergent Behavior based on DevOps.
CSCI
Mohamed Toufik Ailane, Adina Aniculaesei, Christoph Knieke, Andreas Rausch, Fauzi Sholichin
2021 — conf
Architecture-based Hybrid Approach to Verify Safety-critical Automotive System Functions by Combining Data-driven and Formal Methods.
ICSA Companion
Adina Aniculaesei, Andreas Vorwald, Meng Zhang, Andreas Rausch
2020 — conf
Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations.
SAST
Jan Toennemann, Adina Aniculaesei, Andreas Rausch
2019 J jnl
Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report.
ACM SIGSOFT Softw. Eng. Notes
Tomás Bures, Danny Weyns, Bradley R. Schmerl, John S. Fitzgerald, Adina Aniculaesei, Christian Berger, João Cambeiro, Jan Carlson, Shafiul Azam Chowdhury, Marian Daun, Nianyu Li, Matthias Markthaler, Claudio Menghi, Birgit Penzenstadler, Aedan D. Pettit, Robert G. Pettit IV, Luca Sabatucci, Christos Tranoris, Hans Vangheluwe, Sebastian Voss, Edith Zavala
2019 — conf
Using the SCADE Toolchain to Generate Requirements-Based Test Cases for an Adaptive Cruise Control System.
MoDELS (Companion)
Adina Aniculaesei, Andreas Vorwald, Andreas Rausch
2018 — conf
Automated generation of requirements-based test cases for an adaptive cruise control system.
VST@SANER
Adina Aniculaesei, Falk Howar, Peer Denecke, Andreas Rausch
2018 — conf
Toward a Holistic Software Systems Engineering Approach for Dependable Autonomous Systems.
SEFAIAS@ICSE
Adina Aniculaesei, Jörg Grieser, Andreas Rausch, Karina Rehfeldt, Tim Warnecke
2016 — conf
Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments.
V2CPS@IFM
Adina Aniculaesei, Daniel Arnsberger, Falk Howar, Andreas Rausch
2012 — conf
Towards integrated rule-driven software development for IT ecosystems.
DEST
Benjamin Mensing, Ursula Goltz, Adina Aniculaesei, Sebastian Herold, Andreas Rausch, Stefan Gärtner, Kurt Schneider
2011 B conf
UML-Based Analysis of Power Consumption for Real-Time Embedded Systems.
TrustCom
Matthias Hagner, Adina Aniculaesei, Ursula Goltz