( en | de | ru )

 

Disambiguation of "Seceleanu, Cristina"

Author of the publication

copydeleteadd this publication to your clipboard
Pruning Architectural Models of Automotive Embedded Systems via Dependency Analysis.

, , and . SEAA, page 293-302. IEEE Computer Society, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Cristina Sattarhoff

Cristina Häring

Cristina Voss

Cristina Niculescu

Cristina Cozzini

 

Other publications of authors with the same name

An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models., , , , and . CoRR, (2018)A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation., , , and . RTNS, page 3-12. ACM, (2016)Specifying Industrial System Requirements using Specification Patterns: A Case Study of Evaluation with Practitioners., and . ENASE, page 92-103. SciTePress, (2019)SMT-based consistency analysis of industrial systems requirements., , , and . SAC, page 1272-1279. ACM, (2017)From UML Modeling to UPPAAL Model checking of 5G Dynamic Service Orchestration., , and . ECBS, page 11:1-11:10. ACM, (2021)Pattern-Based Verification of ROS 2 Nodes Using UPPAAL., , , , and . FMICS, volume 14290 of Lecture Notes in Computer Science, page 57-75. Springer, (2023)Statistical Analysis of Resource Usage of Embedded Systems Modeled in EAST-ADL., , and . ISVLSI, page 380-385. IEEE Computer Society, (2015)Verification and Validation of Concurrent and Distributed Systems (Track Summary)., and . ISoLA (1), volume 12476 of Lecture Notes in Computer Science, page 421-425. Springer, (2020)Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL., , , and . ICST Workshops, page 69-76. IEEE Computer Society, (2017)Towards a Two-Layer Framework for Verifying Autonomous Vehicles., , , and . NFM, volume 11460 of Lecture Notes in Computer Science, page 186-203. Springer, (2019)