Author of the publication

CASA: An Approach for Exposing and Documenting Concurrency-Related Software Properties.

, , and . SAMOS, volume 13511 of Lecture Notes in Computer Science, page 139-154. Springer, (2022)

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.

 

Other publications of authors with the same name

CASA: An Approach for Exposing and Documenting Concurrency-Related Software Properties., , and . SAMOS, volume 13511 of Lecture Notes in Computer Science, page 139-154. Springer, (2022)State of Practice: LLMs in Software Engineering and Software Architecture., and . ICSA-C, page 311-318. IEEE, (2024)ArchViMP - a Framework for Automatic Extraction of Concurrency-related Software Architectural Properties., and . ICPP Workshops, page 18:1-18:10. ACM, (2021)ACIA: A Methodology for identification of Architectural Design Patterns that support Continuous Integration based on Continuous Assessment., and . ICSA Companion, page 198-205. IEEE, (2022)Towards Runtime Monitoring for Malicious Behaviors Detection in Smart Ecosystems., , , , , , and . ISSRE Workshops, page 200-203. IEEE, (2019)State of the Practice Survey: Predicting the Influence of AI Adoption on System Software Architecture in Traditional Embedded Systems., and . ECSA Companion, volume 1269 of Communications in Computer and Information Science, page 155-169. Springer, (2020)Towards virtual validation of distributed functions., , , , and . SummerSim, page 5:1-5:12. ACM, (2019)Testing the Implementation of Concurrent AUTOSAR Drivers Against Architecture Decisions., , , and . ICSA, page 171-180. IEEE, (2019)Detection of conflicts and inconsistencies between architecture solutions., , , , and . ECSA (Companion), page 183-189. ACM, (2019)Rapid Identification of Shared Memory in Multithreaded Embedded Systems with Static Scheduling., , , , , and . ICPP Workshops, page 15:1-15:8. ACM, (2019)