From post

Towards Integrated Correctness Analysis and Performance Evaluation of Software Systems (Doctoral Forum Paper).

. SERENE, том 11732 из Lecture Notes in Computer Science, стр. 109-117. Springer, (2019)

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.

 

Другие публикации лиц с тем же именем

Safety Controller Synthesis for a Mobile Manufacturing Cobot., , , , и . SEFM, том 13550 из Lecture Notes in Computer Science, стр. 271-287. Springer, (2022)Towards Integrated Correctness Analysis and Performance Evaluation of Software Systems (Doctoral Forum Paper).. SERENE, том 11732 из Lecture Notes in Computer Science, стр. 109-117. Springer, (2019)Towards Adaptive Planning of Assistive-care Robot Tasks., , , и . FMAS/ASYDE@SEFM, том 371 из EPTCS, стр. 175-183. (2022)Probabilistic Program Performance Analysis., , и . SEAA, стр. 148-157. IEEE, (2021)Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles., , , и . FASE, том 12076 из Lecture Notes in Computer Science, стр. 357-377. Springer, (2020)Analyzing and Debugging Normative Requirements via Satisfiability Checking., , , , , , , , , и 4 other автор(ы). ICSE, стр. 214:1-214:12. ACM, (2024)Probabilistic program performance analysis with confidence intervals., , и . Inf. Softw. Technol., (апреля 2023)Software Performance Engineering with Performance Antipatterns and Code-level Probabilistic Analysis., , и . MoDELS (Companion), стр. 249-253. IEEE, (2021)