Author of the publication

A Practical Application of UPPAAL and DTRON for Runtime Verification.

, , , and . SER&IP@ICSE, page 39-45. IEEE, (2015)

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

A Practical Application of UPPAAL and DTRON for Runtime Verification., , , and . SER&IP@ICSE, page 39-45. IEEE, (2015)A Two-phase Metamorphic Approach for Testing Industrial Control Systems., , , , , and . ETFA, page 1-4. IEEE, (2022)An Automated Approach for Creating Workload Models from Server Log Data., , and . ICSOFT EA, page 14-25. SciTePress, (2014)Automatic Performance Space Exploration of Web Applications., , and . GECON, volume 9512 of Lecture Notes in Computer Science, page 223-235. Springer, (2015)Exploratory Performance Testing Using Reinforcement Learning., , , and . SEAA, page 156-163. IEEE, (2019)Efficient Early Anomaly Detection of Network Security Attacks Using Deep Learning., and . CSR, page 154-159. IEEE, (2023)Preliminary Results in Using Attention for Increasing Attack Identification Efficiency., , and . ICSTW, page 159-164. IEEE, (2023)Applying Test-Driven Development for Improved Feedback and Automation of Grading in Academic Courses on Software Development., , and . FISEE, volume 12271 of Lecture Notes in Computer Science, page 310-323. Springer, (2019)Model-based performance testing in the cloud using the mbpet tool., , , and . ICPE, page 423-424. ACM, (2013)Automatic performance space exploration of web applications using genetic algorithms., and . SAC, page 795-800. ACM, (2016)