Adina Aniculaesei

According to our database, Adina Aniculaesei authored at least 12 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Connected Dependability Cage Approach for Safe Automated Driving.

Adina Aniculaesei, Iqra Aslam, Daniel Bamal, Felix Helsch, Andreas Vorwald, Meng Zhang, Andreas Rausch

CoRR, 2023

Runtime Safety Assurance of Autonomous Vehicles used for Last-mile Delivery in Urban Environments.

Iqra Aslam, Adina Aniculaesei, Abhishek Buragohain, Daniel Bamal, Andreas Rausch

CoRR, 2023

2022

Towards Specification Completion for Systems with Emergent Behavior based on DevOps.

Mohamed Toufik Ailane, Adina Aniculaesei, Christoph Knieke, Andreas Rausch, Fauzi Sholichin

Proceedings of the International Conference on Computational Science and Computational Intelligence, 2022

2021

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

Proceedings of the 18th IEEE International Conference on Software Architecture Companion, 2021

2020

Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations.

Jan Toennemann, Adina Aniculaesei, Andreas Rausch

Proceedings of the SAST 20: 5th Brazilian Symposium on Systematic and Automated Software Testing, 2020

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, 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

ACM SIGSOFT Softw. Eng. Notes, 2019

Using the SCADE Toolchain to Generate Requirements-Based Test Cases for an Adaptive Cruise Control System.

Adina Aniculaesei, Andreas Vorwald, Andreas Rausch

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

2018

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

Adina Aniculaesei, Falk Howar, Peer Denecke, Andreas Rausch

Proceedings of the 2018 IEEE Workshop on Validation, 2018

Toward a Holistic Software Systems Engineering Approach for Dependable Autonomous Systems.

Adina Aniculaesei, Jörg Grieser, Andreas Rausch, Karina Rehfeldt, Tim Warnecke

Proceedings of the 1st IEEE/ACM International Workshop on Software Engineering for AI in Autonomous Systems, 2018

2016

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

Adina Aniculaesei, Daniel Arnsberger, Falk Howar, Andreas Rausch

Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems, 2016

2012

Towards integrated rule-driven software development for IT ecosystems.

Benjamin Mensing, Ursula Goltz, Adina Aniculaesei, Sebastian Herold, Andreas Rausch, Stefan Gärtner, Kurt Schneider

Proceedings of the 6th IEEE International Conference on Digital Ecosystems and Technologies, 2012

2011

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

Matthias Hagner, Adina Aniculaesei, Ursula Goltz

Proceedings of the IEEE 10th International Conference on Trust, 2011