PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Seceleanu, Cristina"

Author of the publication

copydeleteadd this publication to your clipboard
SMT-based consistency analysis of industrial systems requirements.

, , , and . SAC, page 1272-1279. ACM, (2017)

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 Tarín

Univ. -Prof. Dr. -Ing. Cristina Tarin Sauer University of Stuttgart

Dr. phil. Maria Cristina Giacomin University of Stuttgart

Cristina Tereza Mehl University of Stuttgart

Andrea Cristina Ramirez Herrera University of Stuttgart

 

Other publications of authors with the same name

Statistical Analysis of Resource Usage of Embedded Systems Modeled in EAST-ADL., , and . ISVLSI, page 380-385. IEEE Computer Society, (2015)SMT-based consistency analysis of industrial systems requirements., , , and . SAC, page 1272-1279. ACM, (2017)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)An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models., , , , and . CoRR, (2018)Do We Need an Integrated Framework for Ambient Assisted Living?, , and . UCAmI (2), volume 10070 of Lecture Notes in Computer Science, page 52-63. (2016)Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic., , and . SEFM, volume 10469 of Lecture Notes in Computer Science, page 332-348. Springer, (2017)Messge from the ECPE Organizing Committee., , , , , and . COMPSAC, page 281. IEEE Computer Society, (2016)Towards a Two-Layer Framework for Verifying Autonomous Vehicles., , , and . NFM, volume 11460 of Lecture Notes in Computer Science, page 186-203. Springer, (2019)Cyber-physical Systems: Interoperability and Distributed Intelligence.. COMPSAC, page 45. IEEE Computer Society, (2015)