Adina Aniculaesei
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2011–2021
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ICSA | 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 |
| 2019 | MODELS | Using the SCADE Toolchain to Generate Requirements-Based Test Cases for an Adaptive Cruise Control System. | Adina Aniculaesei, Andreas Vorwald, Andreas Rausch |
| 2018 | ICSE | Toward a Holistic Software Systems Engineering Approach for Dependable Autonomous Systems. | Adina Aniculaesei, Jrg Grieser, Andreas Rausch, Karina Rehfeldt, Tim Warnecke |
| 2011 | TrustCom | UML-Based Analysis of Power Consumption for Real-Time Embedded Systems. | Matthias Hagner, Adina Aniculaesei, Ursula Goltz |